New Situation Calculus approach tackles obligation-producing actions

By PulseAugur Editorial · [1 sources] · 2026-06-12 07:07

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) →

paper
other

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

New Situation Calculus approach tackles obligation-producing actions

COVERAGE [1]

arXiv cs.MA (Multiagent) TIER_1 English(EN) · Tet Yeap · 2026-06-12 07:07

Obligation-Producing Actions

This paper proposes a Situation Calculus solution to the frame problem for obligation-producing actions, which are actions that create obligations on the part of the agent that performs them. As an example of such actions, we have an opening door action performed by an agent, whi…

COVERAGE [1]

Obligation-Producing Actions

RELATED ENTITIES

RELATED TOPICS