回答集语义相关论文
近年来,有序逻辑程序被广泛应用于规划、诊断、行动推理等诸多领域。本文主要研究有序逻辑程序的回答集语义。文中首先通过对有序......
知识表示与推理(特别是非单调推理)是人工智能研究的重要问题之一.Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述......
为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序......