佩德罗·卡巴拉尔 有序析取的逻辑特征。 （英语） Zbl 1218.68069号 AI通讯。 24，第2期，165-175（2011）. 摘要：我们考虑了Brewka、Niemelä和Syrjänen在他们的有序析取逻辑程序（LPOD）中引入的有序析合算子的逻辑处理。LPOD用于在答案集语义下表示逻辑编程中的首选项。它们的语义是通过首先将LPOD转换为一组正常程序（称为分割程序），然后在这些分割程序的答案集之间施加一个偏好关系来定义的。我们将重点放在第一步，并展示如何将有序析取作为派生运算符适当地转换为here-and-here逻辑，从而可以直接捕获拆分程序的答案集。我们使用这个特征不仅为LPOD提供了一个替代实现，而且还检查了\（times \）运算符的几个属性（在强等价变换下），例如，它相对于合取或正则析取的分布性。我们还比较了Kärger、Lopes、Olmedilla和Polleres提出的一个扩展，该扩展结合了\（\ times \）和正则析取。 引用于三文件 MSC公司： 68N17号 逻辑编程 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：答案集编程;有序析取逻辑程序;偏好;平衡逻辑 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}，AI通讯。24，第2号，165--175（2011；Zbl 1218.68069） 全文： arXiv公司 链接