REPRESENTING, MANAGING, AND REASONING ABOUT MATHEMATICAL KNOWLEDGE BASED ON STRONG RELEVANT LOGIC

摘要：

In order to establish a theoretical foundation for representing, managing, and reasoning about mathematical knowledge with a large knowledge-based system or a knowledge grid and then to propose new questions, invent new concepts, discover new theorems automatically for various applications, this paper proposes a new approach to mathematical knowledge representation, management, and reasoning: using strong relevant (relevance) logic rather than classical mathematical logic to underlie mathematical knowledge representation, management, and reasoning. The paper discusses why classical mathematical logic, its various classical conservative extensions, and its non-classical alternatives are not suitable candidates for the right fundamental logic to underlie knowledge discovery / machine learning, and shows that strong relevant logic is a more hopeful candidate for the purpose.

关键词： Knowledge representation Knowledge management Knowledge discovery Machine learning Relevant reasoning

作者: JING-DE CHENG

作者单位: Department of Information and Computer Sciences, Saitama University, Saitama.338-8570, Japan

会议类型: 国际会议

会议名称: 2008 International Conference on Machine Learning and Cybernetics(2008机器学习与控制论国际会议)

会议地点: 昆明

会议语种:英文

页码: 299-306

在线出版日期: 2008-07-12（万方平台首次上网日期，不代表论文的发表时间）