A semantic characterization of a useful fragment of the situation calculus with knowledge

DOI10.1016/j.artint.2010.04.005zbMath1216.68269OpenAlexW2025270539MaRDI QIDQ543586

Gerhard Lakemeyer, Hector J. Levesque

Publication date: 17 June 2011

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

Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.005

zbMATH Keywords

knowledge representationreasoning about action

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (8)

Progression and verification of situation calculus agents with bounded beliefs ⋮ Belief revision and projection in the epistemic situation calculus ⋮ The situation calculus: a case for modal logic ⋮ Semantical considerations on multiagent only knowing ⋮ On the progression of belief ⋮ John McCarthy's legacy ⋮ McCarthy variations in a modal key ⋮ Incorporating Action Models into the Situation Calculus

Uses Software

• GOLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Knowledge, action, and the frame problem
• A new deductive approach to planning
• How to progress a database
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• All I know: A study in autoepistemic logic
• A Semantical Account of Progression in the Presence of Defaults
• Regression in Modal Logic
• Belief Change: from Situation Calculus to Modal Logic
• Representing action and change by logic programs
• GOLOG: A logic programming language for dynamic domains
• Formalizing action and change in modal logic I: the frame problem
• On knowledge-based programming with sensing in the situation calculus

This page was built for publication: A semantic characterization of a useful fragment of the situation calculus with knowledge