阿莱西奥·洛穆西奥;塞尔格特,马雷克 道义解释系统。 (英语) Zbl 1033.03012号 螺柱日志。 75,第1期,63-92(2003). 摘要:我们研究了Halpern及其同事对解释系统形式主义的扩展,以模拟代理的正确行为。语义模型允许对代理以及整个系统的正确和不正确功能行为的状态进行表示和推理。我们通过将这个语义类映射到合适的Kripke模型类来公理化它。由此产生的逻辑KD45(_n^{i-j})是KD的强大版本,该系统通常被称为标准道义逻辑。我们扩展了这个形式化框架,以包括在解释系统上定义的标准认知概念,并引入了一个新的双索引算子,表示一个代理在假设一组代理正常工作的情况下操作时将拥有的知识。我们从理论和应用两方面讨论了这些问题,并提出了进一步的工作方向。 引用于2评论引用于16文件 理学硕士: 03B45号 模态逻辑(包括规范的逻辑) 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑(包括信念变化) 关键词:解释系统;道义逻辑;多智能体系统 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}和\textit{M.Sergot},Stud.Log。75,编号1,63-92(2003;Zbl 1033.03012) 全文: 内政部