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

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.

Authors:

• Nhon Van Do
• Nam Hoai Le
• Vien Chan Luong

Keywords:

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

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.