NMSU Advising and Degree Audit System
Checking the fulfillment of graduation requirements for a
degree from an American university is a complex problem.
In this project a logic programming approach is being used
to develop a software system
called NADA for analyzing a student's course grade transcript
to verify that all the conditions for graduation are met.
If the student is not eligible for graduation, the NADA system then acts as
his/her advisor and suggests possible courses that the student can take in
order to graduate. To date, this inference engine has been implemented
along with an Internet accessible user interface
developed in Java. The
system is fully functional and has been specialized for use
by students in the College of Arts and Sciences at New Mexico State University
(NMSU). This work shows the ease with which logic programming systems can be
crafted for complex problems. Other Participants: J. Mendez, A. Karshmer,
J. Brown (Associate Dean of A\&S),
R. Iglesias. This project is supported by the College of
Arts and Sciences at NMSU.
J. Mendez, G. Gupta, A. Karshmer, J. Brown.
``NADA: NMSU Advising and Degree Audit System".
In Proc. First International Conference on Practical
Applications of Constraint Technologies and Logic Programming.
pp. 181-196, 1999.
F. Bassetti, K. Li, A. Malki, E. Pontelli, G. Gupta, "A Logic Programming
System for Checking Graduation Requirements,"
In Proceedings of International Conference on Innovative Applications
of Prolog, London, England, pp. 1-17. 1996.