Abstract
In artificial intelligence, knowledge models play an important role in designing the knowledge base systems and the expert systems. The quality of the intelligent systems depends heavily on the knowledge base built on the models. This paper presents a model of knowledge called functional knowledge model (FKM). This model is used to represent knowledge domains about functions and computing relations between them in different real applications. Besides, this paper also proposes a technique for solving an important problem in functional knowledge domains - simplification of functional expressions. Functional knowledge model is applied to construct an automatic system for simplifying trigonometric expressions in high school. This system can reason automatically from knowledge and provides a step by step solution that similar to the way of human thinking.
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.
References
Sowa, J.F.: Knowledge Representation - Logical, Philosophical, and Computational Foundations. Brooks/Cole, California (2000)
Tim Jones, M.: Aritificial Intelligence - A Systems Approach. Infinity Science Press LLC (2008)
Tyugu, E.: Algorithms and Architectures of Aritificial Intelligence. IOS Press (2007)
Lakemeyer, G., Nebel, B.: Foundations of Knowledge representation and Reasoning. Springer, Heidelberg (1994)
van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier (2008)
Calmet, J., Tjandra, I.A.: Representation of Mathematical Knowledge. In: Raś, Z.W., Zemankova, M. (eds.) ISMIS 1991. LNCS, vol. 542, pp. 469–478. Springer, Heidelberg (1991)
Brewster, C., O’Hara, K.: Knowledge Representation with Ontologies: The Present and Future. IEEE Intelligent Systems 19(1), 72–73 (2004)
Sabine, B., Gills, K., Gills, M.: An Ontological approach to the construction of problem-solving models, Laria Research Report: LRR 2005-03 (2005)
Van Nhon, D.: A system that supports studying knowledge and solving of analytic geometry problems. In: 16th World Computer Congress, Proceedings of Conference on Education Uses of Information and Communication Technologies, Beijing, China, pp. 236–239 (2000)
Do, N.: An Ontology for Knowledge Representation and Applications. Proceeding of World Academy of Science, Engineering and Technology 32 (2008)
Fu, H., Zhong, X., Zeng, Z.: Automated and readable simplification of trigonometric expressions. Mathematical and Computer Modeling 44, 1169–1177 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Do, N., Pham, TL. (2012). A Functional Knowledge Model and Application. In: Pan, JS., Chen, SM., Nguyen, N.T. (eds) Intelligent Information and Database Systems. ACIIDS 2012. Lecture Notes in Computer Science(), vol 7196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28487-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-28487-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28486-1
Online ISBN: 978-3-642-28487-8
eBook Packages: Computer ScienceComputer Science (R0)