PulseAugur
中
实时 10:31:23
English(EN) Obligation-Producing Actions

新的情境演算方法处理产生义务的行为

作者 PulseAugur 编辑部 · [1 个来源] ·

本文在情境演算框架内引入了一种新颖的方法来解决产生义务的行为的框架问题。这类行为，例如开门后关门，会给执行这些行为的代理人带来义务。所提出的解决方案简化了在义务逻辑语义中使用的可访问性关系的现有描述，并与克里普克风格的可能世界语义保持一致。该工作扩展了基本动作理论和回归算子以适应这些产生义务的行为，确保义务除非被明确解除，否则会持续存在。 AI

排序理由 学术论文发布在arXiv上，详细介绍了一种新的形式逻辑方法。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.MA (Multiagent) 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新的情境演算方法处理产生义务的行为

报道来源 [1]

  1. arXiv cs.MA (Multiagent) TIER_1 English(EN) · Tet Yeap ·

    产生义务的行为

    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…

相关实体

相关话题