The qualification problem: A solution to the problem of anomalous models
From MaRDI portal
Publication:1606323
DOI10.1016/S0004-3702(01)00131-XzbMath0996.68186OpenAlexW1995100605WikidataQ60017039 ScholiaQ60017039MaRDI QIDQ1606323
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(01)00131-x
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence for robotics (68T40)
Related Items (6)
Probabilistic Event Calculus for Event Recognition ⋮ Event calculus and temporal action logics compared ⋮ \(\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 ⋮ Relevance in Belief Update
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
This page was built for publication: The qualification problem: A solution to the problem of anomalous models
