Abstract
In artificial intelligence, knowledge representation and knowledge reasoning are very important problems. There are different reasoning rules for different knowledge representation methods. In this paper, extended formulas are established based on the extended analysis principle of basic-element, and the new knowledge representation methods and knowledge reasoning modes with extended formulas are put forward. Accordingly extended reasoning modes are established. The study will provide new formalized tools for knowledge mining and new reasoning technique for solving contradiction problems.
Chapter PDF
Similar content being viewed by others
References
W. Cai. Extension Theory and its application. Chinese Science Bulletin, Vol. 44, No. 17(1999) 1538–1548.
Cai Wen, Yang Chunyan, He Bin. Preliminary of extension logic [M]. Beijing: Science Press, 2003 (in Chinese).
Cai Wen, Yang Chunyan and Lin Weichu. Methods of Extension Engineering. Beijing: Science Press,2003
P. Z. Wang. My Tentative Knowledge to Matter-element Analysis, From Matter-element Analysis to Extenics (Science and Technology Documentation Pub., Peking, 1995). (in Chinese)
S. G. Hong. A New Study Orientation. From Matter-element Analysis to Extenics (Science and Technology Documentation Pub., Peking, 1995). (in Chinese)
Cai Zixing, Xu Guangyou. Artificial intelligence and its application [M]. Beijing: Tingshua University Press, 2004 (in Chinese).
George. F, Luger. Artificial intelligence-structures and strategies for complex problem solving [M]. Beijing: China Machine Press, 2003
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Yang, C., Wang, G., Li, Y., Cai, W. (2005). Study on Knowledge Reasoning Based on Extended Formulas. In: Li, D., Wang, B. (eds) Artificial Intelligence Applications and Innovations. AIAI 2005. IFIP — The International Federation for Information Processing, vol 187. Springer, Boston, MA. https://doi.org/10.1007/0-387-29295-0_86
Download citation
DOI: https://doi.org/10.1007/0-387-29295-0_86
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-28318-0
Online ISBN: 978-0-387-29295-3
eBook Packages: Computer ScienceComputer Science (R0)