New Situation Calculus approach tackles obligation-producing actions

This paper introduces a novel approach within the Situation Calculus framework to address the frame problem specifically for obligation-producing actions. These actions, such as closing a door after opening it, create obligations for the agent performing them. The proposed solution simplifies existing characterizations of the accessibility relation used in deontic logic semantics, aligning with Kripke-style possible-world semantics. The work extends basic action theories and regression operators to accommodate these obligation-producing actions, ensuring that obligations persist unless explicitly discharged. AI

RANK_REASON Academic paper published on arXiv detailing a new formal logic approach. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.MA (Multiagent) →

• alphaXiv
• arXiv
• CatalyzeX
• DagsHub
• Gotit.pub
• Governatori
• Hugging Face
• Kripke
• Raymond Reiter
• ScienceCast
• Situation calculus

• paper
• other

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →