Reasoning about action II: the qualification problem
Artificial Intelligence
Nonmonotonicity and the scope of reasoning
Artificial Intelligence
Automatically generating abstractions for problem solving
Automatically generating abstractions for problem solving
Updating and structure in non-monotonic theories
Updating and structure in non-monotonic theories
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Irrelevance reasoning in knowledge-based systems
Irrelevance reasoning in knowledge-based systems
Artificial Intelligence
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Epistemological problems of artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Localized search for multiagent planning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
ML Systems: A Proof Theory for Contexts
Journal of Logic, Language and Information
Default Reasoning as Situated Monotonic Inference*
Minds and Machines
Two Formalizations of Context: A Comparison
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Comparing formal theories of context in AI
Artificial Intelligence
Distributed context-aware systems
Human-Computer Interaction
On the difference between bridge rules and lifting axioms
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Communicative inferences and context of interests
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Hi-index | 0.00 |
One of the main problems in commonsense reasoning is the qualification problem, ie. the fact that the number of qualifications for most general commonsense statements is virtually infinite. In this paper we argue that a solution to this problem should be based on a (meta) conjecture that the theory used to reason about the world contains all the necessary information. We also show that this theory adequacy conjecture can be made before the application of any of the formalisms proposed in the past, eg. circumscription. Finally, we present a formalization of the solution proposed using contexts and circumscription and use it to solve McCarthy's Glasgow-London-Moscow example.