The qualification problem: A solution to the problem of anomalous models

DOI10.1016/S0004-3702(01)00131-XzbMath0996.68186OpenAlexW1995100605WikidataQ60017039 ScholiaQ60017039MaRDI QIDQ1606323

Michael Thielscher

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

zbMATH Keywords

fluent calculusframe problemramification problemqualification problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence for robotics (68T40)

Related Items (max. 100)

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

• 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
• 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

This page was built for publication: The qualification problem: A solution to the problem of anomalous models