Reason maintenance and scheduling | |
| Author | Huang, Ruo Ting |
| Call Number | AIT Thesis no. CS-92-5 |
| Subject(s) | Truth maintenance systems Scheduling (Management) |
| Note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | The assumption-based reason maintenance(ARMS) system provides a very general facility for all types of default reasoning. One of the principal advantages of the ARMS is that all possible or partial solutions are directly available to the problem solver. By exploiting this capability of the RMS, the problem solver can efficiently work on all solutions simultaneously and avoid the computational expense of. backtracking. However, for some applications this capability is more of hind~ance than a help and some form of backtracking is necessary. We first outline some reasons why backtracking is still necessary, and presents a backtracking algorithm combined with ARMS which backtracks more efficiently than other approaches. We propose a method for the scheduling problem using our new method with ARMS and apply it as a prototype to the problem of classroom scheduling for exams and classes. The applications framework is implemented in ANSI Con the Sun Spare workstation. Efforts have been taken to bring the theories in artificial intelligence into practical use. |
| Year | 1992 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Huynh Ngoc Phien ;Vilas Wuwongse ; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1992 |