• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of applied non-classical logics >What groups do, can do, and know they can do: an analysis in normal modal logics
【24h】

What groups do, can do, and know they can do: an analysis in normal modal logics

机译：小组做什么，可以做什么以及知道他们可以做什么：常规模态逻辑分析

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We investigate a series of logics that allow to reason about agents' actions, abilities, and their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of 'seeing-to-it-that' (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without groups has been axiomatized by Xu (called Ldm). We start by recalling a simplification of the Ldm that has been proposed in previous work, together with an alternative semantics in terms of standard Kripke models. We extend that semantics to groups via a principle of superadditivity, and give a sound and complete axiomatization that we call Ldm~G. We then add a temporal 'next' operator to Ldm~G, and again give a sound and complete axiomatization. We show that Ldm~G subsumes coalition logic CL. Finally, we extend these logics with standard S5 knowledge operators. This enables us to express that agents see to something under uncertainty about the present state or uncertainty about which action is being taken. We focus on the epistemic extension of X-Ldm~G, noted E-X-Ldm~G. In accordance with established terminology in the planning community, we call this extension of X-Ldm~G the conformant X-LdnP. The conformant X-Ldm~G enables us to express that agents are able to perform a uniform strategy. We conclude that in that respect, our epistemic extension of X-Ldm~G is better suited than epistemic extensions of ATL.
机译：我们研究了一系列逻辑，这些逻辑可以推理出代理的行为，能力及其对行为和能力的了解。这些逻辑包括Pauly的联盟逻辑CL，交替时间时间逻辑ATL，“看到它”（STIT）的逻辑及其认知扩展。尽管存在CL和ATL的完全公理化，但Xu却仅将STIT语言的片段（没有时间运算符和组）公理化了（称为Ldm）。我们首先回顾一下先前工作中提出的Ldm的简化，以及标准Kripke模型方面的替代语义。我们通过超可加性原理将语义扩展到组，并给出合理且完整的公理化，我们称之为Ldm〜G。然后，我们向Ldm〜G添加一个时间“下一个”运算符，并再次给出声音并完成公理化。我们证明Ldm〜G包含了联盟逻辑CL。最后，我们使用标准S5知识运算符扩展这些逻辑。这使我们能够表达出代理人看到的东西在当前状态的不确定性或正在采取哪种行动的不确定性上。 E-X-Ldm〜G指出，我们专注于X-Ldm〜G的认知扩展。根据规划界中已建立的术语，我们将X-Ldm〜G的这种扩展称为一致的X-LdnP。一致的X-Ldm〜G使我们能够表示代理能够执行统一的策略。我们得出结论，在这方面，我们的X-Ldm〜G的认知扩展比ATL的认知扩展更合适。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号