English(EN) Obligation-Producing Actions

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

作者 PulseAugur 编辑部 · [1 个来源] · 2026-06-12 07:07

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

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

在 arXiv cs.MA (Multiagent) 阅读 →

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

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 学术论文发布在arXiv上，详细介绍了一种新的形式逻辑方法。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 96 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

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

产生义务的行为

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…

本文如何被排名

报道来源 [1]

产生义务的行为

相关实体

相关话题