State Constraints Revisited

DOI10.1093/logcom/4.5.655zbMath0815.68096OpenAlexW2005473008MaRDI QIDQ4316298

Fangzen Lin, Ray Reiter

Publication date: 30 June 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.5.655

zbMATH Keywords

ramification problemqualification problemsuccessor state axiomsaction precondition axioms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (26)

A description logic based situation calculus ⋮ Knowledge-based programs as building blocks for planning ⋮ Ramification and causality ⋮ Definability and commonsense reasoning ⋮ How to progress a database ⋮ Investigating the solution space for online iterative explanation in goal reasoning agents ⋮ Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) ⋮ John McCarthy's legacy ⋮ First-order logical filtering ⋮ Formalizing sensing actions -- a transition function based approach ⋮ Property persistence in the situation calculus ⋮ The aspect calculus ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ What robots can do: robot programs and effective achievability ⋮ The expressive power of circumscription ⋮ Metatheory of actions: beyond consistency ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Regression in Modal Logic ⋮ Frame problem in dynamic logic ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Position systems in dynamic domains ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Proving properties of states in the situation calculus ⋮ The qualification problem: A solution to the problem of anomalous models ⋮ Knowledge, action, and the frame problem ⋮ SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

This page was built for publication: State Constraints Revisited