Representing action: indeterminacy and ramifications

DOI10.1016/S0004-3702(97)00037-4zbMath0894.68140MaRDI QIDQ1389538

G. Neelakantan Kartha, Enrico Giunchiglia, Vladimir Lifschitz

Publication date: 30 June 1998

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

zbMATH Keywords

ramification problemaction languagescircumscriptionnondeterministic actionsnested abnormality theories

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Related Items

Applications of Action Languages in Cognitive Robotics, Reasoning about actions with loops via Hoare logic, Approximation of action theories and its application to conformant planning, Formalizing sensing actions -- a transition function based approach, An action language for multi-agent domains, Formalizing narratives using nested circumscription, Reasoning about actions: steady versus stabilizing state constraints, Metatheory of actions: beyond consistency, Reasoning about sensing actions in domains with multi-valued fluents, A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system, Weak, strong, and strong cyclic planning via symbolic model checking, SAT-based planning in complex domains: Concurrency, constraints and nondeterminism, Contingent planning under uncertainty via stochastic satisfiability, Logic-based subsumption architecture, Conformant planning via symbolic model checking and heuristic search

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic logic and temporal projection
• Nonmonotonic reasoning in the framework of situation calculus
• Two counterexamples related to Baker's approach to the frame problem
• Computing circumscription revisited: A reduction algorithm
• Two components of an action language
• Nested abnormality theories
• Representing action and change by logic programs
• Representing actions in logic programs and default theories a situation calculus approach