✦ LIBER ✦

Proving properties of states in the situation calculus

✍ Scribed by Raymond Reiter

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 653 KB
Volume: 64
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(93)90109-o

No coin nor oath required. For personal study only.

✦ Synopsis

Reiter, R., Proving properties of states in the situation calculus (Research Note), Artificial Intelligence 64 (1993) 337-351.

In the situation calculus, it is sometimes necessary to prove that certain properties are true in all world states accessible from the initial state. This is the case for some forms of reasoning about the physical world, for certain planning applications, and for verifying integrity constraints in databases. Not surprisingly, this requires a suitable form of mathematical induction. This paper motivates the need for proving properties of states in the situation calculus, proposes appropriate induction principles for this task, and gives examples of their use in databases and for reasoning about the physical world.

📜 SIMILAR VOLUMES

Property persistence in the situation ca

Property persistence in the situation calculus

✍ Ryan F. Kelly; Adrian R. Pearce 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Iterated belief change in the situation

Iterated belief change in the situation calculus

✍ Steven Shapiro; Maurice Pagnucco; Yves Lespérance; Hector J. Levesque 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 389 KB

Non-Markovian control in the Situation C

Non-Markovian control in the Situation Calculus

✍ Alfredo Gabaldon 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Nonmonotonic reasoning in the framework

Nonmonotonic reasoning in the framework of situation calculus

✍ Andrew B. Baker 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 936 KB

Baker, A.B., Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5-23. Most of the solutions proposed to the Yale shooting problem have either introduced new nonmonotonic reasoning methods (generally involving temporal priorities) or completely reformula

From situation calculus to fluent calcul

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

✍ Michael Thielscher 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 192 KB

Successor state axioms provide a solution to the famous Frame Problem as far as the representational aspect is concerned. Solving in classical, monotonic logic the additional inferential Frame Problem, on the other hand, was the major motivation for the development of the Fluent Calculus a decade or

Reasoning about noisy sensors and effect

Reasoning about noisy sensors and effectors in the situation calculus

✍ Fahiem Bacchus; Joseph Y. Halpern; Hector J. Levesque 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 366 KB