×

集体义务和代理人:谁受到指责? (英语) Zbl 1169.68615号

Lomuscio,Alessio(编辑)等人,《计算机科学中的道义逻辑》。第七届计算机科学道义逻辑国际研讨会,2004年DEON,2004年5月26日至28日,葡萄牙马德拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22111-5/pbk)。计算机科学课程讲稿3065。人工智能课堂讲稿,129-145(2004)。
摘要:这项工作解决了对代理人群体的义务问题。我们主要关注的是对集体义务与个人义务之间的结构进行正式分析:如果没有履行针对整个集团的义务,那么集团中的哪个个体代理人应该负责?为此,规划文献中的概念(如计划和任务分配)首先用于概念化集体代理,然后通过动态道义逻辑框架进行形式化。在此背景下,对协调概念的正式描述,旨在管理代理活动之间的相互依赖性,还提供了。
关于整个系列,请参见[Zbl 1051.03004号].

MSC公司:

68T27型 人工智能中的逻辑
03B45号 模态逻辑(包括规范逻辑)
PDF格式BibTeX公司 XML格式引用
全文: 内政部