[1]CHEN Wenwei,HUANG Jincai,CHEN Sheng.A knowledge discovery approach in the evolution of mathematics[J].CAAI Transactions on Intelligent Systems,2011,6(5):391-395.
Copy

A knowledge discovery approach in the evolution of mathematics

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 6 Number of periods: 2011 5 Page number: 391-395 Column: 学术论文—人工智能基础 Public date: 2011-10-30
Title:
A knowledge discovery approach in the evolution of mathematics
Author(s):
CHEN Wenwei1; 2;  HUANG Jincai2;  CHEN Sheng3
1.The 3rd Department, Naval Command College, Guangzhou 510431, China；
2.C4ISR Technology National Defense Technology Key Laboratory, National University of Defense Technology, Changsha 410073, China；
3.Software Testing Department, Longtop System Engineering Corp., Beijing 100013, China
Keywords:
mathematic evolution;  knowledge discovery;  creation method;  inclusion method;  formalization transformation;  equivalent transformation;  evolutional transformation
CLC:
TP311.13
DOI:
-
Abstract:
In this paper the mathematic evolution law is studied from the historical development of mathematics. The earliest knowledge of mathematics was acquired by creating mathematic symbols and the concepts of containment and contradiction. By combining mathematic symbols into expressions and equations, the problems are transformed into formalization descriptions. Expressions and equations become formulas and theorems when they are proven correct by simulations and proofs. Formulas and theorems are basic theories in mathematics. Simulations and proofs are equivalent transformations, while a more important knowledge discovery method in mathematic development is evolution transformation, such as transformation of variables, functions, formulas, and methods. These transformations extend new concepts and solve previously unsolvable problems. The theoretical system of mathematics is thereby constructed. Creation, containment, formalization transformation, equivalent transformation, and evolutional transformation are all knowledge discovery methods in the evolution progress of mathematics. 
References:
［1］张红.数学简史［M］.北京: 科学出版社, 2007: 145275.
［2］陈文伟.挖掘变化知识的可拓数据挖掘研究［J］.中国工程科学, 2006, 8(11): 7073.
CHEN Wenwei. The research of mining the mutative knowledge with extension data mining［J］. Engineering Science, 2006, 8(11): 7073.
［3］陈文伟,杨春燕,黄金才.可拓知识与可拓知识推理［J］.哈尔滨工业大学学报, 2006, 38(7): 10941096.
CHEN Wenwei,YANG Chunyan, HUANG Jincai. Extension knowledge and extension knowledge reasoning［J］. Journal of Harbin Institute of Technology, 2006, 38(7): 10941096.
［4］陈文伟.基于本体的可拓知识链获取［J］.智能系统学报, 2007, 2(6): 6871.
CHEN Wenwei. Acquisition of an extensional knowledge chain based on ontology［J］. CAAI Transactions on Intelligent Systems, 2007, 2(6): 6871.
［5］杨春燕.可拓数据挖掘方法及其计算机实现［M］.广州:广东高等教育出版社, 2010: 846.
［6］陈文伟,黄金才,毕季明.适应变化环境的元知识的研究［J］.智能系统学报, 2009, 4(4): 331334.
?CHEN Wenwei, HUANG Jincai, BI Jiming. A study on metaknowledge suitable for a changing environment［J］. CAAI Transactions on Intelligent Systems, 2009, 4(4): 331334.
［7］陈文伟,黄金才,毕季明.解决矛盾问题的可拓模型与可拓知识的研究［J］.数学的实践与认识, 2009, 39(4): 168172.
CHEN Wenwei, HUANG Jincai, BI Jiming. The study of extension models and extension knowledge solving contradiction problems［J］. Mathematics in Practice and Theory, 2009, 39(4): 168172.
［8］陈文伟,黄金才,毕季明.数学进化中矛盾问题的解决方法［J］. 智能技术学报， 2010, 2(1): 7278.
CHEN Wenwei,HUANG Jincai, BI Jiming. Knowledge mining of matchematic evolution approach［J］. CAAI Transactions on Intelligence Technology, 2010, 2(1): 7278.
Similar References:

Memo

-

Last Update: 2011-11-16

Copyright © CAAI Transactions on Intelligent Systems