[发明专利]一种一阶并行、带优先级和逐点的限定理论计算方法

摘要

本发明公开一种一阶并行、带优先级和逐点的限定理论计算方法，包括：（1）将任意一个一阶限定理论在线性时间内翻译为另一个与之在任意结构上逻辑等价的在稳定语义下的一阶理论，包括四个基于语法层面的主要翻译；（2）对于一阶限定理论中的存在量词，提出了消去存在量词的优化翻译算法，该方法不仅减少了引入的辅助谓词数量，而且减少了由翻译造成的理论的规模的增长；（3）基于以上的翻译和消去存在量词优化算法，本发明实现了一个能够在给定的论域中求出所有极小模型的通用一阶限定理论求解器。本发明解决了一阶并行、带优先级和逐点的限定理论缺乏的求解器的现状，可以设计与实现可高效计算的一阶并行、带优先级和逐点的限定理论求解器。

主权项

一种一阶并行、带优先级和逐点的限定理论计算方法，其特征在于：用于将采用并行、带优先级和逐点的限定理论描述的问题翻译成稳定模型下的一阶理论，在一般结构下消去一阶稳定模型理论中的存在量词，对优化后的一阶回答集逻辑程序调用回答集逻辑程序求解器进行计算；具体包括以下步骤：(1)将任意一个一阶限定理论在线性时间内翻译为另一个与之在任意结构上逻辑等价的在稳定语义下的一阶理论，包括四个基于语法层面的主要翻译：从一阶并行限定理论到一阶稳定理论、从若干个一阶并行限定理论的合取到一阶稳定理论、从一阶带优先级的限定理论到一阶稳定理论、从一阶逐点限定理论到一阶稳定理论；(2)采用消去量词的优化翻译算法消去一阶限定理论中的存在量词；(3)基于以上的翻译和消去存在量词优化算法，将在限定理论语义下的一阶理论最终转化为回答集程序，通过调用回答集求解器，从而实现了一个能够在给定的论域中求出所有极小模型的通用一阶限定理论求解器。