Intelligent Educational Software in Discrete Mathematics and Graph Theory

被引：6

作者：

Do, Nhon V. ^{[1
]}

Nguyen, Hien D. ^{[1
]}

Mai, Thanh T. ^{[2
]}

机构：

[1] Univ Informat Technol, VNU HCM, Ho Chi Minh City, Vietnam

[2] Ho Chi Minh City Open Univ, Ho Chi Minh City, Vietnam

来源：

NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES (SOMET_18) | 2018年 / 303卷

关键词：

Intelligent software; knowledge engineering; ontology; intelligent problem solver;

D O I：

10.3233/978-1-61499-900-3-925

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Intelligent software has been very useful in education, especially those support studying knowledge. The knowledge of Discrete Mathematics and Graph Theory are essential in STEM education. There have been many computer programs that support students to study in the above knowledge domains such as Wolfram Alpha, Maple, etc. However, they do not satisfy students' requirements. This article will present knowledge representation methods, reasoning and querying techniques to design and to implement an intelligent software for effectively studying Discrete Mathematics and Graph Theory. The system consists of two subsystems for knowledge retrieval, visualization of methods or algorithms, and for solving problems. It can be easily used for studying the knowledge as well as for solving problems.

引用

页码：925 / 938

页数：14

共 13 条

[1]

Arevalillo-Herraez Miguel, 2013, Artificial Intelligence in Education. Proceedings of 16th International Conference (AIED 2013): LNCS 7926, P512, DOI 10.1007/978-3-642-39112-5_52

[2]

Conati C, 2009, 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, P2

[3]

de Mier Anna, 2015, GRAPH THEORY EXERCIS

[4] Perfect COKB Model and Reasoning Methods for the Design of Intelligent Problem Solvers [J].

Do, Nhon V. ;

Mai, Thanh T. .

NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 :35-50

[5]

Do NV, 2013, LECT NOTES COMPUT SC, V7802, P465, DOI 10.1007/978-3-642-36546-1_48

[6]

Do Nhon V., 2012, INTELLIGENT PROBLEM

[7]

Fournier J., 2010, GRAPH THEORY APPL EX

[8]

Klostermeyer William F., 2012, DISCRETE MATH PROBLE

[9]

Kovacs Laura, 2013, Computer Aided Verification. 25th International Conference, CAV 2013. Proceedings. LNCS 8044, P1, DOI 10.1007/978-3-642-39799-8_1

[10]

Li C., 2011, PROBLEMS DISCRETE MA

← 1 2 →