Abstract
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.
This research is funded by Vietnam National University HoChiMinh City (VNU-HCM) under grant number C2014-26-02
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Russell, S., Norvig, P.: Artificial Intelligence – A modern approach, 3rd edn. Prentice Hall, by Pearson Education, Inc. (2010)
van Harmelem, F., Vladimir, Bruce: Handbook of Knowledge Representation. Elsevier (2008) ISBN: 978-0-444-52211-5
Sowa, J.F.: Architectures for Intelligent Systems. IBM Systems Journal 41(3), 331–349 (2002)
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-6
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-4
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)
Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated Production of Traditional Proofs in Solid Geometry. J. Autom. Reasoning 14(2), 257–291 (1995)
Chou, S.C., Gao, X.S., Zhang, J.Z.: A Deductive Database Approach To Automated Geometry Theorem Proving and Discovering. Journal of Automated Reasoning 25(3), 219–246 (2000)
Ye, Z., Chou, S.-C., Gao, X.-S.: An Introduction to Java Geometry Expert. In: Sturm, T., Zengler, C. (eds.) ADG 2008. LNCS, vol. 6301, pp. 189–195. Springer, Heidelberg (2011)
Doan, Q., Nhu, C.V., Khac, B.P., Ta, M.: Textbook 11th Grade Geometry. Publisher Vietnam Education (2010)
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)
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-6
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
Mathematica software, Wolframalpha website. In: Wolfram Media Inc., http://www.wolfram.com/mathematica/ , http://www.wolframalpha.com/
Bagatrix Math Software Technology ©2010 Bagatrix, Inc. (2010), http://www.mathway.com
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Do, V.N., Nguyen, D. (2015). Intelligent Problem Solving about Functional Component of COKB Model and Application. In: Camacho, D., Kim, SW., Trawiński, B. (eds) New Trends in Computational Collective Intelligence. Studies in Computational Intelligence, vol 572. Springer, Cham. https://doi.org/10.1007/978-3-319-10774-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-10774-5_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10773-8
Online ISBN: 978-3-319-10774-5
eBook Packages: EngineeringEngineering (R0)