A Program for Solving problems in Inorganic Chemistry based on Knowledge Base

Authors: Nhon Van Do, Nam Hoai Le, Vien Chan Luong

Abstract:

The Model for Knowledge Base of Computational Objects (KBCO model) has been successfully applied to represent the knowledge of human like Plane Geometry, Physical, Calculus. However, the original model cannot easyly apply in inorganic chemistry field because of the knowledge specific problems. So, the aim of this article is to introduce how we extend the Computional Object (Com-Object) in KBCO model, kinds of fact, problems model, and inference algorithms to develop a program for solving problems in inorganic chemistry. Our purpose is to develop the application that can help students in their study inorganic chemistry at schools. This application was built successful by using Maple, C# and WPF technology. It can solve automatically problems and give human readable solution agree with those writting by students and teachers.

Keywords: artificial intelligence, automated problem solving, knowledge base system, knowledge representation, reasoning strategy, education software/educational applications.

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

References:

[1] Chitta Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge, England, 2003.
[2] Nhon Van Do. A Program for studying and Solving problems in Plane Geometry. In International Conference on Artificial Intelligence 2000, pages 1441-1447, 2000.
[3] Nhon Van Do. A system that supports studying knowledge and solving of analytic geometry problems. In 16th World Computer Congress 2000, Proceedings of Conference on Education Uses of Information and Communication Technologies, pages 236-239, Beijing, 2000.
[4] Nhon Van Do. Model for Knowledge Bases of Computational Objects. IJCSI International Journal of Computer Science Issues, 7(3):11-20, 2010.
[5] Nhon Van Do, Hung Kim Chau, and Van Long Ho. An Intelligent Educational Software for Automatic Problem Solving in Linear Algebra. In The 6th International Conference on Computer Science & Education, number Iccse, pages 697-702, Singapore, 2011.
[6] Nhon Van Do and Thu Le Pham. Knowledge Representation and Algorithms Automatic Solving Integral Problems. In The 6th International Conference on Computer Science & Education, number Iccse, pages 730- 735, Singapore, 2011.
[7] George F. Luger and William A. Stubblefield. Artificial Intelligence: Structures and Strategies for Complex Problem Solving. Benjamin/ Cummings, Redwood City, California, second edition, 1993. Luger, Geoge F. and Stubblefield, William A.
[8] Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 1995.