A First-Order Logic Framework of Major Choosing Decision Making With an Uncertain Reasoning Function

• Thesis of this project has been published on IEEE Transactions on Systems, Man and Cybernetics: Systems (J), DOI: 10.1109/TSMC.2016.2578459

Abstract：
Intelligent tutoring system (ITS) aims to provide the learners immediate and customized instructions for their studies[1], usually without intervention from a human teacher. Based on the first-order logic model proposed in [2], an expert system is built in this paper to assist college students or remote learners in choosing their majors according to their learning abilities. The system is written in the logic programming language Prolog. It verifies the correctness of the form model [2], with the graduates from 4 academic years as its input data. With respect to the data, the system is optimized and the arguments are adjusted. In addition, an online system is constructed based on the ThinkPHP network architecture, which enables the remote learners to choose their suitable majors at home.

Online System(Chinese): http://202.116.3.232:8082/kmcd/

Keywords：Major choosing; decision making; knowledge-based system; first-order logic; Prolog

[1] Joseph Psotka, Sharon A. Mutter (1988). Intelligent Tutoring Systems: Lessons Learned. Lawrence Erlbaum Associates. ISBN 0-8058-0192-8.

[2] Zhou, Qing, and Fang Yu. "Knowledge-Based Major Choosing Decision Making for Remote Students." Computer Science and Software Engineering, 2008 International Conference on. Vol. 5. IEEE, 2008.