摘要

在本文中,我们介绍了一种基于偏好的论证框架的新方法。我们首先介绍一个基于偏好的抽象论证框架(一个抽象的巴勒斯坦权力机构)哪个处理静态首选项.自然地扩展了Dung的可接受语义,抽象的语义PAF公司由提供P(P)-确保攻击关系冲突自由的扩展。其次,作为拟议摘要的实例化PAF公司,我们呈现非抽象PAF公司以及受约束的论证框架(CAF公司)根据优先逻辑程序(PLP)构建。因此,该框架能够处理论证中的静态偏好和完整性约束。第三,通过提供一个层次化的PLP来处理逻辑编程上下文中的动态偏好,我们将框架扩展到了一个动态的PAF公司基于层次PLP构建,以处理论证背景下的动态偏好。第四,我们不仅展示了非抽象论证框架的稳定扩展与扩展逻辑程序的次一致稳定模型之间的对应关系,而且还展示了这种语义之间的对应性PAF公司以及基于顺序-保留映射函数的底层优先逻辑程序的语义。最后,将该框架应用于多智能体系统中智能体之间的交互。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。