佐里·沙姆斯;玛丽娜·德沃斯;尼尔·奥伦;朱利安·帕吉特;佐藤，肯 基于论证的规范性实践推理。 （英语） Zbl 1335.68253号 Black，Elizabeth（编辑）等人，《形式论证的理论与应用》。2015年7月25日至26日在阿根廷布宜诺斯艾利斯举行的TAFA 2015第三届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-28459-0/pbk；978-3-3169-28460-6/电子书）。计算机科学9524课堂讲稿。《人工智能讲义》，226-242（2015）。 总结：推理代理人在特定情况下的最佳做法是一项具有挑战性的任务。在动态环境中，更具挑战性的是旨在规范自利主体行为的规范的存在。实践推理是关于在特定情况下，尤其是在代理人的实际态度（如目标、计划和规范）之间存在冲突的情况下，该做什么的推理。在本文中，我们：（i）为规范性实践推理引入了一个形式化模型，该模型允许代理同时计划多个可能冲突的目标和规范（ii）通过论证方案和关键问题确定代理执行的最佳计划（iii）证明最佳计划的合理性通过基于论证的说服对话实现扎根语义。关于整个系列，请参见[Zbl 1330.68016号]. MSC公司： 68T27型 人工智能中的逻辑 68T42型 Agent技术与人工智能 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shams}等人，Lect。注释计算。科学。9524226-242（2015年；兹比尔1335.68253） 全文： 内政部 链接