弗朗西丝卡·托尼 从逻辑编程和非单调推理到计算论证及其他。 （英语） Zbl 1491.68211号 Baldcucini，Marcelo（编辑）等人，《逻辑编程与非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 36-39 (2017). 摘要：近年来，辩论在人工智能中越来越流行，以支持多种活动和推理形式。本次演讲将追溯人工智能中两种著名的论证形式（即抽象论证和基于假设的论证）的逻辑编程和非单调推理起源。最后，演讲将讨论人工智能利用计算论证的最新发展，特别是支持协作决策。关于整个系列，请参见[Zbl 1367.68005号]. MSC公司： 68T27型 人工智能中的逻辑 第68页第17页 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{F.Toni}，莱克特。注释计算。科学。10377，36-39（2017年；兹bl 1491.68211） 全文： DOI程序