辽、北水；黄华新 论证的部分语义：基本属性和实证。 （英语） Zbl 1267.68225号 J.日志。计算。 23，第3期，541-562（2013）. 摘要：在各种论证系统中，在大多数情况下，只需要评估系统中某些论点的状态，而不需要计算其他论点的状态。基于这一观察，我们首先介绍了一种有效的方法来评估抽象论证框架（AF）中部分论点的状态。给定一个AF和其中的一个子集参数，确定与该子集相关的最小参数集（称为子集的相关参数集）。在满足方向性准则的语义下，由给定子集的相关参数集（称为AF关于该子集的部分语义）诱导的子框架扩展集可以局部求值。然后，我们介绍了论证部分语义的三个基本性质：单调性、可扩展性和可组合性，这为开发高效的AF中部分参数状态评估算法奠定了基础，我们对使用答案集编程计算论证部分语义的特性进行了实证研究。平均结果表明，该方法的计算效益与给定AF失效图的边缘密度密切相关。 引用于6文件 MSC公司： 68T27型 人工智能中的逻辑 关键词：论证语义学；局部计算；抽象论证框架；计算复杂度 软件：ASPARTIX公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Liao}和\textit{H.Huang}，J.Log。计算。23，第3号，541--562（2013；Zbl 1267.68225） 全文： 内政部