README changes

parent ccd4bd28
......@@ -14,11 +14,10 @@ Contents
6. How To Run an Audit
7. Useful Predicates
1. Description
This program is a degree audit system for degrees at The University of Texas at Dallas. It allows users to create degree plans in the form of logic rules and perform audits to determine if a student can graduate and what classes should be taken if the student cannot graduate.
This program is a degree audit system for degrees at The University of Texas at Dallas. It can determine if a student can graduate and will determine which courses a student should take if they can't graduate. Audits can be performed for degrees at other universities by updating courses.lp and implementing the degree plans.
z
2. License
The Graduation Audit System is distributed under GNU Public License Version 3.
......@@ -60,8 +59,6 @@ This will run the audit for the transcript created by main_writer.py and will de
The system allows for custom degree plans with relatve ease.
NOTE: WHEN CREATING PREDICATES, AN UNDERSCORE BEFORE A PREDICATE HIDES IT IN THE ANSWER SET.
A. First, choose a simple acroynm for the degree. For example, Computer Science could be cs. Also, make note of the year and the type of degree (BS or BA).
B. Next, create a "req" lp file with the naming convention:
......@@ -78,7 +75,7 @@ className is the name of the class. (i.e. cs1337).
typeOfRequirement is what type of requirement the class will fufill.
NOTE: IF THE CLASS IS ABSOLUTELY REQURED TO GRADUATE, ITS TYPEOFREQUIREMENT IS "REQUIED". OTHERWISE, IT IS WHATEVER REQUIREMENT YOU WANT TO NAME IT.
Note: If the class is absolutely required to graduate, its typeOfRequirement is "requied". Otherwise, it is whatever requirement you want to name it.
Example: hist1301 is an American history class that counts toward the American History Requiremnt in the degree plan and it is NOT absolutely required to graduate.
......@@ -166,10 +163,8 @@ G. The last file to create is the rules file and has the naming convention
H. Finally, all 5 files are created and the user can now create the main.lp file (See How To Run An Audit).
NOTE: FOR THIS SYSTEM TO WORK, THE COURSES MUST BE CODED AS LOGICAL FACTS IN "COURSES.LP". THE DEFAULT UNIVERSITY IS THE UNIVERSITY OF TEXAS AT DALLAS. FOR ANY OTHER UNIVERSITY, ALL POSSIBLE CLASSES A STUDENT COULD TAKE SHOUD BE IN "COURSES.LP" AND IT IS RECOMENDED TO CREATE A SCRIPT TO SCRAPE THE DATA FROM A DATABASE. THE RULES SHOULD BE WRITTEN IN THE FORM:
_course(className,hours) where hours is the credit hours.
Note: course.lp should contain all valid courses along with the number of credit hours they can be taken for.
_course(className,hours) where hours is the credit hours.
7. "counting.lp" contains useful predicates to help code graduation rules
......@@ -195,9 +190,6 @@ _takenFor(Student,Course,Req).
_takenForElective(Student,Course).
This rule is used to indicate that a Student has used this Course as an elective credit.
_takenForElective(Student,Course,Req).
This rule
_meetsHours(Student,Req,Min)
This rule will count the amount of credit hours a Student has taken of a certain Req and will be true if the amount of credit hours is greater than the Min.
Req is the name of requirement found in the req file.
......@@ -206,7 +198,7 @@ _meetsHours(Student,Req,Min)
Example: _meetsHours(bob,americanHist,6). %if bob has 6 or more hours of classes that meet the requirement for american histrory, then the pridcate is true.
_auditHours(Student,Req,Min).
This rule will is the same as meetsHours except it will always be true and if the total hours is less than the Min, it will output needsHours(Student,Req,Diff), with Diff as the hours needed in the requirement.
This rule will is the same as meetsHours except it will always be true and if the total hours is less than the Min, needsHours(Student,Req,Diff) will appear in the answer set, with Diff as the hours needed in the requirement.
_meetsElectiveHours(Student,Min).
This rule is the same as meetsHours except the requirement is for electives. Min is the amount of electives needed.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment