Intelligent Problem Solving about Functional Component of COKB Model and Application
Knowledge representation models and automated reasoning algorithms are the most important problems in designing knowledge-based systems in artificial intelligence, especially in intelligent problem solver (IPS). One of effective models is the Computational Object Knowledge Base model (the COKB model), which can be used to represent the total knowledge and to design the knowledge base of practical intelligent systems. However, besides the well-known knowledge components like concepts, relations, rules, there is another popular form of the knowledge, but has not been deeply researched. It is the functional knowledge component consisting of functions, relations, facts and rules and automated reasoning algorithms on functions. Consequently, in this paper, we will introduce the five-component COKB model and present in detail the knowledge representation method and automated reasoning algorithms for knowledge component about functions. In addition, this method has been used to design and implement an effective application, which can solve problems in solid geometry and produces step-by-step solutions.
KeywordsKnowledge representation automated reasoning intelligent problem solvers knowledge-based systems
Unable to display preview. Download preview PDF.
- 1.Russell, S., Norvig, P.: Artificial Intelligence – A modern approach, 3rd edn. Prentice Hall, by Pearson Education, Inc. (2010)Google Scholar
- 2.van Harmelem, F., Vladimir, Bruce: Handbook of Knowledge Representation. Elsevier (2008) ISBN: 978-0-444-52211-5Google Scholar
- 4.Van Do, N.: Intelligent Problem Solvers in Education. In: Koleshko, V.M. (ed.) Design Method and Applications, Intelligent Systems. InTech (2012) ISBN: 978-953-51-0054-6Google Scholar
- 5.Do, N., Pham, T.L.: Knowledge representation and algorithms for automatic solving integral problems. In: Proceeding of IEEE 2011 6th International Conference on Computer Science & Education (ICCSE 2011), Singapore, pp. 730–735 (2011) ISBN: 978-1-4244-9716-4Google Scholar
- 6.Wu, W.-T.: On the Decision Problem and the Mechanization of Theorem in Elementary Geometry. Scientia Sinica 21, 159–172 (1978) Also in: Automated Theorem Proving: After 25 years, A.M.S., Contemporary Mathematics, 29, pp. 213–234 (1984)Google Scholar
- 10.Doan, Q., Nhu, C.V., Khac, B.P., Ta, M.: Textbook 11th Grade Geometry. Publisher Vietnam Education (2010)Google Scholar
- 11.Nhon Van Do, A.: Program for Studying and Solving Problems in Plane Geometry. In: Proceedings of International on Artificial Intelligence 2000, Las Vegas, USA, pp. 1441–1447 (2000)Google Scholar
- 12.Do, N., Nguyen, H.: A Reasoning method on Knowledge Base of Computational Objects and Designing a System for automatically solving plane geometry problems. In: Proceeding of World Congress on Engineering and Computer Science (WCECS 2011), San Francisco, USA, pp. 294–299 (October 2011) ISBN: 978-988-18210-9-6Google Scholar
- 13.Bernardin, L., Chin, P., DeMarco, P., Geddes, K.O., Hare, D.E.G., Heal, K.M., Labahn, G., May, J.P., McCarron, J., Monagan, M.B., Ohashi, D., Vorkoette, S.M.: Maple Programming Guide. In: Copyright © Maplesoft, a division of Waterloo Maple Inc. (2014), http://www.maplesoft.com
- 15.Bagatrix Math Software Technology ©2010 Bagatrix, Inc. (2010), http://www.mathway.com