The qualification problem: A solution to the problem of anomalous models
From MaRDI portal
Publication:1606323
DOI10.1016/S0004-3702(01)00131-XzbMath0996.68186WikidataQ60017039 ScholiaQ60017039MaRDI QIDQ1606323
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68T40: Artificial intelligence for robotics
Related Items
\(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem, An epistemic approach to nondeterminism: believing in the simplest course of events, A probabilistic interval-based event calculus for activity recognition, Event calculus and temporal action logics compared, Probabilistic Event Calculus for Event Recognition
Cites Work
- A deductive solution for plan generation
- A new deductive approach to planning
- Reasoning about action. I: A possible worlds approach
- Reasoning about action. II: The qualification problem
- Nonmonotonic logic and temporal projection
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Reasoning about actions: steady versus stabilizing state constraints
- Let's plan it deductively!
- Explanatory update theory: Applications of counterfactual reasoning to causation
- Motivated action theory: A formal theory of causal reasoning
- Alternative approaches to default logic
- Ramification and causality
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- STRIPS: A new approach to the application of theorem proving to problem solving
- State Constraints Revisited
- The concurrent, continuous fluent calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
