Reasoning about action. II: The qualification problem

DOI10.1016/0004-3702(88)90020-3zbMath0645.68110OpenAlexW1497201281MaRDI QIDQ1103420

David E. Smith, Matthew L. Ginsberg

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90020-3

zbMATH Keywords

possible worldsreasoning about actionsqualifications

Mathematics Subject Classification ID

Related Items (12)

Motivated action theory: A formal theory of causal reasoning ⋮ Belief revision in a microworld ⋮ Reasoning about action. I: A possible worlds approach ⋮ Ramification and causality ⋮ \(\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 ⋮ Reasoning about actions: steady versus stabilizing state constraints ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types ⋮ Metatheory of actions: beyond consistency ⋮ Learning action models with minimal observability ⋮ Position systems in dynamic domains ⋮ The qualification problem: A solution to the problem of anomalous models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about action. I: A possible worlds approach
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• STRIPS: A new approach to the application of theorem proving to problem solving
• Counterfactuals

This page was built for publication: Reasoning about action. II: The qualification problem