Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Collins, J., and Decoste, D., CATMS: A ATMS which avoids label explosion, Proceedings of AAAI-91, 1991.
De Kleer, J., An Assumption Based Truth Maintenance System, Artificial Intelligence, Vol. 28, No 2, March 1986, pp 127–162.
Doyle, J., A Truth Maintenance System, Artificial Intelligence, Vol. 12, No 3, November 1979, pp 231–272.
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.
Filman, R., Reasoning with Worlds and Truth Maintenance, CACM, Vol. 31, No 4, April 1988, pp 382–401.
Forbus, K.D. and De Kleer, J., Building Problem Solvers, MIT Press, Mass, 1993.
Kimborough, S.O. and Adams, F., Why Nonmonotonic Logic, Decision Support Systems, Vol. 4, 1988, pp 111–127.
Martins, J., The Truth, the Whole Truth and Nothing But the Truth, AI Magazine, Vol. 11, No 5, January 1991, pp 7–25.
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.
Stanojevic, M. et al, Using Truth Maintenance Systems, IEEE Expert, December 1994, pp 46–56.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ram, V., Scogings, C. (1996). Automated time table generation using multiple context reasonig with truth maintenance. In: Burke, E., Ross, P. (eds) Practice and Theory of Automated Timetabling. PATAT 1995. Lecture Notes in Computer Science, vol 1153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61794-9_54
Download citation
DOI: https://doi.org/10.1007/3-540-61794-9_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61794-5
Online ISBN: 978-3-540-70682-3
eBook Packages: Springer Book Archive