DocumentCode
475927
Title
Notice of Retraction
Representing, managing, and reasoning about mathematical knowledge based on strong relevant logic
Author
Jing-de Cheng
Author_Institution
Dept. of Inf. & Comput. Sci., Saitama Univ., Saitama
Volume
1
fYear
2008
fDate
12-15 July 2008
Firstpage
299
Lastpage
306
Abstract
Notice of Retraction
After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.
We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.
The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.
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.
After careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE´s Publication Principles.
We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.
The presenting author of this paper has the option to appeal this decision by contacting TPII@ieee.org.
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.
Keywords
data mining; knowledge management; knowledge representation; learning (artificial intelligence); knowledge discovery; knowledge management; knowledge reasoning; knowledge representation; machine learning; relevant logic; Cognition; Cybernetics; Knowledge based systems; Knowledge representation; Machine learning; Materials; Mathematics; Knowledge discovery; Knowledge management; Knowledge representation; Machine learning; Relevant reasoning;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics, 2008 International Conference on
Conference_Location
Kunming
Print_ISBN
978-1-4244-2095-7
Type
conf
DOI
10.1109/ICMLC.2008.4620421
Filename
4620421
Link To Document