回答集语义相关论文
近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序......
为了统一并扩充回答集语义，在带有规则序的逻辑程序中，基于不动点原理，采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序......
