人工智能中逻辑推论的探讨

本文从具体事例出发，解析了用直观推论、根据命题逻辑进行推论和谓词逻辑方法求解问题的思路和方法，在结束语中还提出了用于进行更接近人类推论逻辑的非单调逻辑，这是在设计高级知识信息处理系统时，需要加以研究的一个重要课题。