大卫·格罗西;弗兰克·迪格纳姆;Royakkers,Lambèr M。;John-Jules Ch.梅耶。 集体义务和代理人:谁受到指责? (英语) Zbl 1169.68615号 Lomuscio,Alessio(编辑)等人,《计算机科学中的道义逻辑》。第七届计算机科学道义逻辑国际研讨会,2004年DEON,2004年5月26日至28日,葡萄牙马德拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22111-5/pbk)。计算机科学课程讲稿3065。人工智能课堂讲稿,129-145(2004)。 摘要:这项工作解决了对代理人群体的义务问题。我们主要关注的是对集体义务与个人义务之间的结构进行正式分析:如果没有履行针对整个集团的义务,那么集团中的哪个个体代理人应该负责?为此,规划文献中的概念(如计划和任务分配)首先用于概念化集体代理,然后通过动态道义逻辑框架进行形式化。在此背景下,对协调概念的正式描述,旨在管理代理活动之间的相互依赖性,还提供了。关于整个系列,请参见[Zbl 1051.03004号]. 引用于2文件 MSC公司: 68T27型 人工智能中的逻辑 03B45号 模态逻辑(包括规范逻辑) PDF格式BibTeX公司 XML格式引用 \textit{D.Grossi}等人,Lect。注释计算。科学。3065129--145(2004年;Zbl 1169.68615) 全文: 内政部