Reasoning about action. I: A possible worlds approach

DOI10.1016/0004-3702(88)90011-2zbMath0645.68109OpenAlexW1684304711MaRDI QIDQ1103419

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)90011-2

zbMATH Keywords

planningcommonsense reasoningframe problemreasoning about change

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (35)

The computational complexity of propositional STRIPS planning ⋮ Belief revision in a microworld ⋮ Reasoning about action. I: A possible worlds approach ⋮ Reasoning about action. II: The qualification problem ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Constructive modelings for theory change ⋮ Circumscriptive semantics for updating knowledge bases ⋮ A preferential semantics for causal reasoning about action ⋮ A logical framework for evolving software systems ⋮ Chronological ignorance: Experiments in nonmonotonic temporal reasoning ⋮ Applying the persistent set approach in temporal reasoning ⋮ ALX, an action logic for agents with bounded rationality ⋮ Sound and efficient closed-world reasoning for planning ⋮ Ramification and causality ⋮ A programmable approach to maintenance of a finite knowledge base ⋮ An algebraic approach to revising propositional rule-based knowledge bases ⋮ Interactionist-expectative view on agency and learning ⋮ Fast algorithms for revision of some special propositional knowledge bases ⋮ Nonmonotonic reasoning in the framework of situation calculus ⋮ Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) ⋮ R-calculus for ELP: An operational approach to knowledge base maintenance ⋮ The ramification problem in temporal databases: Concurrent execution ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ A logic for reasoning with inconsistent knowledge ⋮ John McCarthy's legacy ⋮ A unifying action calculus ⋮ Generating plans in linear logic. I: Actions as proofs ⋮ Reasoning about actions: steady versus stabilizing state constraints ⋮ Let's plan it deductively! ⋮ Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting ⋮ Position systems in dynamic domains ⋮ Approximate planning ⋮ An information-based theory of conditionals ⋮ The qualification problem: A solution to the problem of anomalous models ⋮ Changes of disjunctively closed bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards a general theory of action and time
• Semantical considerations on nonmonotonic logic
• A theory of diagnosis from first principles
• Reasoning about action. I: A possible worlds approach
• Reasoning about action. II: The qualification problem
• Nonmonotonic logic and temporal projection
• 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. I: A possible worlds approach