Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Artificial Intelligence
Artificial Intelligence
Representing action: indeterminacy and ramifications
Artificial Intelligence
A simple formalization of actions using circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
The qualification problem refers to the difficulty that arises in formalizing actions, because it is difficult or impossible to specify in advance all the preconditions that should hold before an action can be executed. We study the qualification problem in the setting of the situation calculus and give a simple formalization using nested abnormality theories, a formalism based on circumscription. The formalization that we present allows us to combine a solution to the frame problem with a solution to the qualification problem.