分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新...分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.展开更多
文摘分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.
文摘本文为参考文献[7]的续篇,在此继续生成中介逻辑的谓词演算系统MF 的形式定理。定理10 MF:[1]x～A(x)-～xA(x),[2]～■xA(x)■x～A(x)[3]～xA(x)■x～A(x).定理11 MF:[1]x[A(x)→B(x)],xA(x)xB(x),[2]x[A(x)→B(x)],～xA(x)xB(x),[3]x[A(x)→B(x)],x～A(x)■(x)B(x),[4]x[A(x)→B(x)],■xA(x)■xB(x),[5]x[A(x)→B(x)],■x～A(x)■xB(x),[6]x[A(x)→B(x)],～■xA(x)■xB(x).定理12 MF:[1]xA(x)∧B■x[A(x)∧B],x 不在 B 中出现,[2]■xA(x)∧B■x[A(x)∧B],x 不在 B 中出现.[3]xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.[4]■xA(x)∨B■x[A(x)∨B],x 不在 B 中出现.定理14 MF:[1]xA(x)∧■xB(x)x[A(x)∧B(x)],[2]■xA(x)∨xB(x)■x[A(x)∨B(x)],[3]xA(x)∨B(x)■x[A(x)∨B(x)],[4]■x[A(x)∧B(x)]■xA(x)∧■xB(x).定理17 MF:[1]x[A(x)B(x)],x[B(x)C(x)x[A(x)C(x)],[2]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]x[A_1(x)∧A_2(x)B_1(x)∧B_2(x)],[3]x[A_1(x)B_1(x)],x[A_2(x)B_2(x)]■x[A_1(x)∨A_2(x)B_1(x)∨B_2(x)].
