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. © 2005 by International Federation for Information Processing.
CITATION STYLE
Yang, C., Wang, G., Li, Y., & Cai, W. (2005). Study on knowledge reasoning based on extended formulas. In IFIP Advances in Information and Communication Technology (Vol. 187, pp. 797–805). Springer New York LLC. https://doi.org/10.1007/0-387-29295-0_86
Mendeley helps you to discover research relevant for your work.