Nguyễn Đình Hiển * Phạm Thi Vương

* Tác giả liên hệ (ndhien@nomail.com)

Abstract

Knowledge base is a central part of intelligent system, so knowledge representation plays an important role in constructing these systems. Nowadays, there are many various methods for representing knowledge. In fact, a popular form of knowledge domain is knowledge about relations, however, the current models are not efficient for executing and reasoning on this kind of knowledge domain. Besides that, automatic drawing geometric objects is an important and basic tool in solving geometry problems. In this paper, we present a method for modelizing the relations between geometric objects. Base on this model, we also introduce an application of this drawing method for solving plane geometry problems in middle school program.
Keywords: Artificial intelligence, knowledge representation, knowledge base system, relational network

Tóm tắt

Cơ sở tri thức là thành phần trung tâm của một hệ thống thông minh, vì vậy biểu diễn tri thức đóng một vai trò rất quan trọng trong việc xây dựng các hệ thống thông minh. Tri thức của con người rất đa dạng và phức tạp, trong đó, tri thức quan hệ là một dạng  tri thức phổ biến. Tuy nhiên, các mô hình biểu diễn tri thức hiện tại không thật sự hiệu quả cho việc biểu diễn và suy luận cho miền tri thức này trên máy tính. Bên cạnh đó, việc vẽ hình cho các bài toán hình học phẳng là việc rất cần thiết trong quá trình giải toán. Trong bài báo này, chúng tôi sẽ trình bày một phương pháp mô hình hóa tri thức về các quan hệ giữa các đối tượng trong kiến thức hình học phẳng. Trên cơ sở đó, chúng tôi cũng sẽ trình bày một ứng dụng của phương pháp này trong việc thiết kế chương trình vẽ hình tự động cho các bài toán hình học phẳng ở cấp trung học cơ sở.
Từ khóa: Trí tuệ nhân tạo, biểu diễn tri thức, cơ sở tri thức, mạng quan hệ

Article Details

Tài liệu tham khảo

Stuart Russell & Peter Norvig, Artificial Intelligence – A modern approach(third edition), Prentice Hall (2010).

John F. Sowa. Knowledge Representation: Logical, Philosophical and Computational Foundations, Brooks/Cole (2000).

Nhon Van Do (2012). Intelligent Problem Solvers in Education: Design Method and Applications, Intelligent Systems, Prof. Vladimir M. Koleshko (Ed.), ISBN: 978-953-51-0054-6, InTech.

Nhon Van Do, Computational Networks for Knowledge Representation, World Academy of Science, Engineering and Technology, Volume 56, August 2009, ISSN 2070 – 3724 (ICCSISE 2009), Singapore, 2009.

Nhon V. Do, Hien D. Nguyen, A knowledge model about Relations and Application, 4thInternational Conference on Data Mining and Intelligent Information Technology Applications (ICMIA 2012), pp. 701-704, Taiwan, October 2012.

Ministry of Education and Training, Textbook and workbook of plane geometry of grades 6-7-8, Publisher of Education (2006-2007).

Nhon Do, Hien Nguyen, A Reasoning method on Knowledge Base of Computational Ojects and Designing a System for automatically solving plane geometry problems,World Congress on Engineering and Computer Science 2011, (WCECS 2011),San Francisco, USA, October 2011.

John F. Sowa, Arun K. Majumdar, Analogical Reasoning, Proceedings of the International Conference on Conceptual Structures in Dresden, Germany, in July 2003: A. Aldo, W. Lex, & B. Ganter, eds. (2003) Conceptual Structures for Knowledge Creation and Communication, LNAI 2746, Springer-Verlag, pp. 16-36.

W. Ertel, Introduction to Artificial Intelligence, ISSN: 1863-7310, Springer (2011).

George F. Luger & William A Stubblefield, Artificial Intelligence, Addison Wesley Longman, Inc (1998).

Frank van Harmelem & Vladimir & Bruce, Handbook of Knowledge Representation, Elsevier (2008).

Nhon V. Do, Hien D. Nguyen, Thanh T. Mai, Designing an Intelligent Problems Solving System based on Knowledge about Sample Problems, Proceeding of 5thAsian conference on Intelligent Information and Database Systems (ACIIDS 2013), Kuala Lumpur, Malaysia, March 2013, LNAI 7802, pp. 465-475, Springer.