Incorporating action models into the situation calculus

DOI10.1007/978-3-319-06025-5_21MaRDI QIDQ5249683zbMATH OpenOpenAlexFDO

Authors Yong-Mei Liu, Hector J. Levesque

Publication date 11 May 2015

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06025-5_21

zbMATH Keywords

dynamic epistemic logicsituation calculusmulti-agent extensions

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• From Situation Calculus to Dynamic Epistemic Logic
• The situation calculus: a case for modal logic
• On representing actions in multi-agent domains
• Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
• scientific article; zbMATH DE number 2085243

Cites work

• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A qualitative theory of dynamic interactive belief revision
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Dynamic Epistemic Logic and Knowledge Puzzles
• From Situation Calculus to Dynamic Epistemic Logic
• GOLOG: A logic programming language for dynamic domains
• Knowledge, action, and the frame problem
• Logics for epistemic programs
• Logics of communication and change
• Logics of public communications
• McCarthy variations in a modal key
• Reasoning about noisy sensors and effectors in the situation calculus
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(4)

• Intelligent agents in the Situation Calculus: An application to user modelling
• Bounded situation calculus action theories
• Epistemic planning: perspectives on the special issue
• Applying the mu-calculus in planning and reasoning about action

This page was built for publication: Incorporating action models into the situation calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249683)