Automated time table generation using multiple context reasonig with truth maintenance
This paper describes the application of multiple context reasoning and truth maintenance to the automated generation of timetables. The reasoning system used is made up of a rule-based problem-solver which makes inferences and an assumption-based truth maintenance system that maintains a record of the justification of these inferences. While this method has been used for scheduling and planning applications before, the intention in this research is to investigate the practical feasibility of the method on readily accessible hardware. Various implementation prototypes were constructed and tested on a subset of a University Timetabling problem and the results obtained are discussed.
KeywordsProblem Solver Timetabling Problem Nonmonotonic Reasoning Large Search Space Nonmonotonic Logic
Unable to display preview. Download preview PDF.
- 1.Collins, J., and Decoste, D., CATMS: A ATMS which avoids label explosion, Proceedings of AAAI-91, 1991.Google Scholar
- 2.De Kleer, J., An Assumption Based Truth Maintenance System, Artificial Intelligence, Vol. 28, No 2, March 1986, pp 127–162.Google Scholar
- 3.Doyle, J., A Truth Maintenance System, Artificial Intelligence, Vol. 12, No 3, November 1979, pp 231–272.Google Scholar
- 4.Dressler, O., and Farquhar, A., Putting the Problem Solver back in the driver's seat: Contextual Control of the ATMS, Proceedings of the 2nd AAAI Workshop on Model-Based Reasoning, 1990, pp 106–112.Google Scholar
- 5.Filman, R., Reasoning with Worlds and Truth Maintenance, CACM, Vol. 31, No 4, April 1988, pp 382–401.Google Scholar
- 6.Forbus, K.D. and De Kleer, J., Building Problem Solvers, MIT Press, Mass, 1993.Google Scholar
- 7.Kimborough, S.O. and Adams, F., Why Nonmonotonic Logic, Decision Support Systems, Vol. 4, 1988, pp 111–127.Google Scholar
- 8.Martins, J., The Truth, the Whole Truth and Nothing But the Truth, AI Magazine, Vol. 11, No 5, January 1991, pp 7–25.Google Scholar
- 9.Noronha, S.J. and Sarma, V.V.S., Knowledge-Based Approaches for Scheduling Problems: A Survey, IEEE Trans on Knowledge and Data Engineering, Vol. 3, No 2, 1991, pp 160–171.Google Scholar
- 10.Stanojevic, M. et al, Using Truth Maintenance Systems, IEEE Expert, December 1994, pp 46–56.Google Scholar