非修正推理相关硕士博士期刊学术论文

实现计算机的自动推理是人工智能领域中的一个重要课题。对于传统的常识推理,新知识可由旧知识以经典逻辑的原理推理得到。然而在......