哈达萨·雅各布维茨;德克·弗梅尔 论证框架的健壮语义。 (英语) Zbl 0933.68088号 J.日志。计算。 9,第2期,215-261(1999). 摘要:我们建议为一个表示论点及其相互作用的论证模型提供一种所谓的“稳健”语义,称为“论证框架”。我们研究了论点可接受性的各种附加定义;我们探讨了这些定义的性质;我们描述了它们的相互关系:例如,稳健模型可以使用元框架的最小(基础良好)模型来表征。论证集可接受性的各种定义都可以处理论证框架内的矛盾。 引用于32文件 MSC公司: 68问题55 计算理论中的语义学 68T27型 人工智能中的逻辑 关键词:健壮语义;论证框架 PDF格式BibTeX公司 XML格式引用 \textit{H.Jakobovits}和\textit{D.Vermeir},J.Log。计算。9,第2号,215--261(1999;Zbl 0933.68088) 全文: 内政部