Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)

DOI10.1016/S0004-3702(99)00087-9zbMath0939.68840OpenAlexW2139771194MaRDI QIDQ1978240

Sheila A. McIlraith

Publication date: 4 June 2000

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00087-9

zbMATH Keywords

state constraintsplanningframe problemramification problemreasoning about actionqualification problemmodel-based reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (10)

A preferential semantics for causal reasoning about action ⋮ A description logic based situation calculus ⋮ A general first-order solution to the ramification problem with cycles ⋮ John McCarthy's legacy ⋮ Approximation of action theories and its application to conformant planning ⋮ A unifying action calculus ⋮ The aspect calculus ⋮ Inductive situation calculus ⋮ Metatheory of actions: beyond consistency ⋮ Knowledge, action, and the frame problem

Uses Software

• GOLOG

Cites Work

• Reasoning about action. I: A possible worlds approach
• On the declarative and procedural semantics of logic programs
• State Constraints Revisited
• GOLOG: A logic programming language for dynamic domains
• Provably correct theories of action
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)