超协调逻辑及其在人工智能中的应用

本项目研究超协调逻辑旨在解决一些传统超协调逻辑中存在的未解问题，提出适合于计算机应用的新超协调逻辑系统，实现超协调自动推理系统，把超协调逻辑应用到工人智能中知识表示和常识推理研究。本项研究成果包括解决了一些超协调逻辑的未解问题，研究清楚了超协调协逻辑和非单调逻辑的新的非经典逻辑，它具有超协调和非单调逻辑的优点，同时克服了它们各自存在的缺点，达到取长补短的目的，可作为在不完全与不协调知识下常识推理的形式化。本成果无论对超协调逻辑的基础或人工智能应用都具有创新性的科学意义和广泛应用。