• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computational Logic in Multi-Agent Systems; Lecture Notes in Artificial Intelligence; 4371 >Acts of Commanding and Changing Obligations
【24h】

Acts of Commanding and Changing Obligations

机译：指挥和改变义务行为

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

摘要

If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In this paper, we will try to model changes brought about by various acts of commanding in terms of a variant of update logic. We will combine a multi-agent variant of the language of monadic deontic logic with a dynamic language to talk about the situations before and after the issuance of commands, and the commands that link those situations. Although the resulting logic inherits various inadequacies from monadic deontic logic, some interesting principles are captured and seen to be valid nonetheless. A complete axiomatization and some interesting valid principles together with concrete examples will be presented, and suggestions for further research will be made.
机译：如果我们要认真对待言语行为这一概念，就必须能够将言语行为视为行为。在本文中，我们将尝试根据更新逻辑的变体来对各种命令行为带来的变化进行建模。我们将结合Monadic宗族逻辑语言的多主体变体与动态语言，以讨论在发出命令之前和之后的情况以及链接这些情况的命令。尽管由此产生的逻辑继承了单子魔性逻辑的各种不足之处，但仍捕获了一些有趣的原理，并认为它们仍然有效。将会给出一个完整的公理化和一些有趣的有效原理以及具体的例子，并提出进一步研究的建议。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号