Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A deductive solution for plan generation
New Generation Computing
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Reasoning about action II: the qualification problem
Artificial Intelligence
Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
A new deductive approach to planning
New Generation Computing
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Alternative approaches to default logic
Artificial Intelligence
Motivated action theory: a formal theory of causal reasoning
Artificial Intelligence
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
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Reasoning about actions: steady versus stabilizing state constraints
Artificial Intelligence
Explanatory update theory: applications of counterfactual reasoning to causation
Artificial Intelligence
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Robot's Dilemma: The Frame Problem in Artificial Intelligence
Robot's Dilemma: The Frame Problem in Artificial Intelligence
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Preferential Semantics for Causal Systems
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
On specificity in default logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A unifying semantics for causal ramifications
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Embodied cognition: a field guide
Artificial Intelligence
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Event calculus and temporal action logics compared
Artificial Intelligence
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Knowledge Qualification through Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Event calculus and temporal action logics compared
Artificial Intelligence
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Modular-ε: an elaboration tolerant approach to the ramification and qualification problems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Argumentation and the event calculus
Logic Programs, Norms and Action
Intelligent Execution Monitoring in Dynamic Environments
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
The ramifications of sharing in data structures
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Intelligent agents in open environments inevitably face the Qualification Problem: The executability of an action can never be predicted with absolute certainty; unexpected circumstances, albeit unlikely, may at any time prevent the successful performance of an action. Reasoning agents in real-world environments rely on a solution to the qualification Problem in order to make useful predictions but also to explain and recover from unexpected action failures. Yet the main theoretical result known today in this context is a negative one: While a solution to the qualification Problem requires to assume away by default abnormal qualifications of actions, straightforward minimization of abnormality falls prey to the production of anomalous models. We present an approach to the Qualification Problem which resolves this anomaly. Anomalous models are shown to arise from ignoring causality, and they are avoided by appealing to just this concept. Our theory builds on the established predicate logic formalism of the Fluent Calculus as a solution to the Frame Problem and to the Ramification Problem in reasoning about actions. The monotonic Fluent Calculus is enhanced by a default theory in order to obtain the nonmonotonic approach called for by the Qualification Problem. The approach has been implemented in an action programming language based on the Fluent Calculus and successfully applied to the high-level control of robots.