有序逻辑程序的编译器
人工智能
2007-05-23 v1
摘要
本文描述了称为 PLP 的系统，用于将有序逻辑程序编译为基于答案集语义的标准逻辑程序。在有序逻辑程序中，规则由唯一术语命名，规则之间的偏好由一组专用原子指定。有序逻辑程序被转换为第二序列、常规的扩展逻辑程序，其中偏好被尊重，即转换后的理论得到的答案集对应于原始理论的首选答案集。由于转换结果是扩展逻辑程序，可以使用现有的逻辑编程系统作为底层推理引擎。特别地，PLP 被设计为逻辑编程系统 dlv 和 smodels 的前端。
引用
@article{arxiv.cs/0003024,
title = {A Compiler for Ordered Logic Programs},
author = {James P. Delgrande and Torsten Schaub and Hans Tompits},
journal= {arXiv preprint arXiv:cs/0003024},
year = {2007}
}