在回答集编程(Answer Set Programming,ASP)中引入偏好已经成为ASP研究的一个研究热点。本文在回答集编程的基础上,主要研究在逻辑程序中对基于重要性和可靠性两种度量的偏好模型的表示和推理,以及多种偏好共存情况下的逻辑程序推理...
详细信息
在回答集编程(Answer Set Programming,ASP)中引入偏好已经成为ASP研究的一个研究热点。本文在回答集编程的基础上,主要研究在逻辑程序中对基于重要性和可靠性两种度量的偏好模型的表示和推理,以及多种偏好共存情况下的逻辑程序推理。\n 本文的主要贡献有:1)提出了分级回答集程序设计(Ranked Answer Set Programming,简称RASP),它是一种将有序逻辑程序规则间偏好解释为基于重要度或可靠度分级的有序逻辑程序新方法;2)研究了D-,B-,W-三种已有偏好模型共存的有序逻辑程序(Multiple-Preference Answer Set Programming,简称MP-ASP)的语义及相关性质。\n 本文工作是对基于回答集语义的有序逻辑程序的丰富,通过提出有序逻辑程序的新语义和推理算法,丰富了有序逻辑程序对基于重要性和可靠性两种常见偏好的处理能力,和多共存偏好处理的能力。特别地,本文的工作也是对很多带有偏好的决策中的“退而求其次”现象提供了一种合理的解释。
暂无评论