Design Method for Knowledge Base Systems in Education Using COKB-ONT

Authors: Nhon Do, Tuyen Trong Tran, Phan Hoai Truong

Abstract:

Nowadays e-Learning is more popular, in Vietnam especially. In e-learning, materials for studying are very important. It is necessary to design the knowledge base systems and expert systems which support for searching, querying, solving of problems. The ontology, which was called Computational Object Knowledge Base Ontology (COB-ONT), is a useful tool for designing knowledge base systems in practice. In this paper, a design method for knowledge base systems in education using COKB-ONT will be presented. We also present the design of a knowledge base system that supports studying knowledge and solving problems in higher mathematics.

Keywords: artificial intelligence, knowledge base systems, ontology, educational software.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1081916

References:

[1] L. Stojanovic, J. Schneider, A. Maedche, S. Libischer, R. Suder, T. Lumpp, A. Abecker, G. Breiter, J. Dinger, The Role of Ontologies in Autonomic Computing Systems, TBM Systems Journal, Vol 43, No 3, 2004.
[2] Stuart Russell & Peter Norvig, Artificial Intelligence - A modern approach (second edition), Prentice Hall, 2003.
[3] John F. Sowa. Knowledge Representation: Logical, Philosophical and Computational Foundations, Brooks/Cole, 2000.
[4] George F. Luger & William A Stubblefield, Artificial Intelligence, Addison Wesley Longman, Inc. 1998.
[5] Gruber, T. R., Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal Human-Computer Studies, 43(5-6):907-928, 1995.
[6] Do Van Nhon, A Program for studying and Solving of problems in Plane Geometry, Proceedings of International Conference on Artificial Intelligence 2000, Las Vegas, USA, 2000, pp. 1441-1447.
[7] Do Van Nhon, A system that supports studying knowledge and solving of analytic geometry problems, 16th World Computer Congress 2000, Proceedings of Conference on Education Uses of Information and Communication Technologies, Beijing, China, 2000, pp. 236-239.
[8] Asunci├│n G├│mez-Pérez & Mariano Férnandez-L├│pez & Oscar Corcho, Ontological Engineering. Springer-Verlag, 2004.
[9] Chitta Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
[10] Guarino, N. Formal Ontology, Conceptual Analysis and Knowledge Representation, International Journal of Human-Computer Studies, 43(5-6):625-640, 1995.
[11] Wen-tsun Wu, Mechanical Theorem Proving in Geometries. Springer- Verlag, 1994.
[12] Chou, S.C. & Gao, X.S. & Zhang, J.Z. Machine Proofs in Geometry. Singapore: Utopia Press, 1994.
[13] Pfalzgraf, J. & Wang, D. Automated Practical Reasoning. New York: Springer-Verlag, 1995.
[14] Lakemeyer, G. & Nebel, B. Foundations of Knowledge representation and Reasoning. Berlin Heidelberg: Springer-Verlag, 1994.
[15] Berge, J.M. & Levia, O. & Rouillard, J. Object-Oriented Modeling. Netherlands: Kluwer Academic Publishers, 1996.
[16] Nhon Do, An ontology for knowledge representation And Applications. Waset, International Conference on Data, Information and Knowledge Management, Singapore, 2008.