Goal Change in the Situation Calculus

DOI10.1093/LOGCOM/EXM050MaRDI QIDQ5431428zbMATH OpenOpenAlexFDO

Authors Steven Shapiro, Yves Lespérance, Hector J. Levesque

Publication date 10 December 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

belief changegoal changesituation calculustheories of action

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Iterated belief change in the situation calculus
• Belief change: from situation calculus to modal logic
• scientific article; zbMATH DE number 89002
• scientific article; zbMATH DE number 912315
• Prioritized goals and subgoals in a logical account of goal change -- a preliminary report

Cited in

(5)

• Asynchronous knowledge with hidden actions in the situation calculus
• Implementing belief change in the situation calculus and an application
• Prioritized goals and subgoals in a logical account of goal change -- a preliminary report
• The rationale behind the concept of goal
• Properties of goal systems: Consistency, conflict, and coherence

This page was built for publication: Goal Change in the Situation Calculus

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