Automated time table generation using multiple context reasonig with truth maintenance

  • Vevek Ram
  • Chris Scogings
Resoning About Constrainsts
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1153)


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.


Problem Solver Timetabling Problem Nonmonotonic Reasoning Large Search Space Nonmonotonic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Collins, J., and Decoste, D., CATMS: A ATMS which avoids label explosion, Proceedings of AAAI-91, 1991.Google Scholar
  2. 2.
    De Kleer, J., An Assumption Based Truth Maintenance System, Artificial Intelligence, Vol. 28, No 2, March 1986, pp 127–162.Google Scholar
  3. 3.
    Doyle, J., A Truth Maintenance System, Artificial Intelligence, Vol. 12, No 3, November 1979, pp 231–272.Google Scholar
  4. 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. 5.
    Filman, R., Reasoning with Worlds and Truth Maintenance, CACM, Vol. 31, No 4, April 1988, pp 382–401.Google Scholar
  6. 6.
    Forbus, K.D. and De Kleer, J., Building Problem Solvers, MIT Press, Mass, 1993.Google Scholar
  7. 7.
    Kimborough, S.O. and Adams, F., Why Nonmonotonic Logic, Decision Support Systems, Vol. 4, 1988, pp 111–127.Google Scholar
  8. 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. 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. 10.
    Stanojevic, M. et al, Using Truth Maintenance Systems, IEEE Expert, December 1994, pp 46–56.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Vevek Ram
    • 1
  • Chris Scogings
    • 2
  1. 1.Department of Computer ScienceUniversity of NatalScottsvilleSouth Africa
  2. 2.Computer Science DepartmentMassey University - AlbanyNew Zealand

Personalised recommendations