MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A new equational foundation for the fluent calculus (2000) [2 citations — 1 self]

Download:
Download as a PDF | Download as a PS
by Hans-peter Storr, Michael Thielscher
In Proceedings CL 2000
http://pikas.inf.tu-dresden.de/~mit/publications/conferences/CL00.ps
Add To MetaCart

Abstract:

Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the existing axiomatizations of both equality of states and what it means for a fluent to hold in a state. Our new and conceptually even simpler theory is shown to overcome the restrictions of the existing approach. We prove that the correctness of the Fluent Calculus as a solution to the Frame Problem still holds under the new foundation. Furthermore, we extend our theory by an induction axiom needed for reasoning about integer-valued resources. Stream: Knowledge Representation and Non-monotonic Reasoning 1

Citations

523 The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression – Reiter - 1991
159 Unification theory – Baader, Snyder - 2001
148 editors. The Book of Traces – Diekert, Rozenberg - 1995
91 A new deductive approach to planning – Holldobler, Schneeberger - 1990
50 From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem – Thielscher - 1999
49 A simple solution to the Yale Shooting problem – Baker - 1989
38 Representing the knowledge of a robot – Thielscher - 2000
37 Computing change and specificity with equational logic programs – Holldobler, Thielscher - 1995
29 Let's plan it deductively – Bibel - 1998
21 SLDNF-resolution with equality – Shepherdson - 1992
7 Solving the entailment problem in the fluent calculus using binary decision diagrams – Holldobler, Stör
7 Modeling actions with ramifications in nondeterministic, concurrent, and continuous domains--and a case study – Thielscher - 2000
2 The LMW traffic world in the fluent calculus – Henschel, Thielscher - 1999
2 Logic modelling workshop – Sandewall - 1999
1 Complex plans in the fluent calculus – Holldobler, Storr - 2000
View or Download | Add to My Collection | Correct Errors