詹姆斯·德尔格兰德。;托尔斯滕·绍布;汉斯·托姆皮茨 用于更新逻辑程序的基于首选项的框架。 （英语） Zbl 1149.68328号 Baral，Chitta（编辑）等人，《逻辑编程和非单调推理》。第九届国际会议，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72199-4/pbk）。计算机科学课堂讲稿4483。人工智能课堂讲稿，71-83（2007）。 摘要：我们提出了一个在应答集语义下更新逻辑程序的框架，该框架建立在逻辑编程中关于首选项的现有工作之上。该方法简单而通用，利用了两种不同的互补技术：默认化和偏好。虽然默认化通过引入更多的答案集来解决潜在的冲突，但首选项会在这些答案集中进行选择，从而生成由最近添加的规则生成的答案集。我们检查了框架中关于各种理想属性的实例；大多数情况下，这些属性都可以通过我们框架的实例来满足。最后，所提出的框架也很容易在离线系统中实现。关于整个系列，请参见[Zbl 1119.68003号]. 引用于6文件 MSC公司： 第68页第17页 逻辑编程 软件：LUPS公司 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Delgrande}等人，Lect。注释计算。科学。4483、71--83（2007年；Zbl 1149.68328） 全文： DOI程序