Skip to main content
SpringerLink
Log in
Book cover

Advanced Topics in Artificial Intelligence pp 208–237Cite as

The application of reason maintenance systems in planning and scheduling

  • Part 4: Planning and Scheduling
  • Conference paper
  • First Online:

  • 131 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 617))

Abstract

The important points to take away from this paper are that RMS's have the potential to provide valuable services to a planning or scheduling system but which services these should be and which are worth the computational expense involved is an open question. There are real, practical, problems in using an RMS for planning and scheduling systems which from reading descriptions of completed systems may not be apparent. That is, if you read a paper about a planning or scheduling system which makes large claims about efficiency gains from the use of an RMS, or which gives the impression that using the RMS was easy and obvious — treat these claims with a healthy dose of scepticism. RMS's and planning/scheduling is a fascinating research area that will certainly continue to generate interesting work, as well as a fair amount of garbage.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Bodington R and Elleby P, “Justification and Assumption-Based Truth Maintenance Systems: When and How to Use Them for Constraint Satisfaction” in Smith B and Kelleher G, “Reason Maintenance Systems and their Applications”, 1988.

    Google Scholar 

  • Chapman D, “Planning for Conjunctive Goals”, Artificial Intelligence, Volume 32, Number 3,1987.

    Google Scholar 

  • Charniak E, Riesbeck C and McDermott D, “Artificial Intelligence Programming”, Laurance Erlbaum, Baltimore, 1979.

    Google Scholar 

  • De Kleer J, “A Comparison of ATMS and CSP Techniques”, Proceedings IJCAI, 1989.

    Google Scholar 

  • De Kleer J, “A General Labelling Algorithm for Assumption Based Truth Maintenance”, Proceedings National Conference on Artificial Intelligence, AAAI, 1988.

    Google Scholar 

  • De Kleer J, “An Assumption-based TMS”, Artificial Intelligence, Volume 28, Number 2, p127–162. 1986a.

    Google Scholar 

  • De Kleer J, “Extending the ATMS”, Artificial Intelligence, Volume 28, Number 2, pl63–196, 1986b

    Google Scholar 

  • De Kleer J, “Problem Solving with the ATMS”, Artificial Intelligence, Volume 28, Number 2, p197–224, 1986c

    Google Scholar 

  • De Kleer J, “Choices without backtracking”, Proceedings National Conference on Artificial Intelligence, AAAI, 1984.

    Google Scholar 

  • De Kleer J, “A Hybrid Truth Maintenance System”, Technical Report, Xerox Palo Alto Research Center, Palo Alto, CA 94304, USA, 1991.

    Google Scholar 

  • De Kleer J and Williams B C, “Back to Backtracking: Controlling the ATMS”, Proceedings National Conference on Artificial Intelligence, AAAI, 1986.

    Google Scholar 

  • Doyle J, “A Truth Maintenance System”, Artificial Intelligence 12,1979.

    Google Scholar 

  • Dressler O and Farquhar A, “Putting the Problem Solver Back in the Drivers Seat”, Proc. 1990 Workshop on Truth Maintenance Systems, Martins and Reinfrank (eds), Heidelberg, Germany: Springer Verlag, 1991.

    Google Scholar 

  • Drummond M, Steel S, Kelleher G, “Truth Maintenance Systems: A major Topic Group Report from the 6th Alvey Planning SIG.”, AIAI-TR-27, AIAI Edinburgh University, 1988.

    Google Scholar 

  • Fikes R E and Nilsson N J, “STRIPS: a new approach to the application of theorem proving to problem solving”, Artificial Intelligence, Volume 2,1971.

    Google Scholar 

  • Filman R E, “Reasoning with worlds and truth maintenance in a knowledge-based programming environment”, Communications of the ACM, Volume 31, Number 4, 1988

    Google Scholar 

  • Forbus K D and de Kleer J, “Focusing the ATMS”, Proceedings Seventh Proceedings National Conference on Artificial Intelligence, 1988.

    Google Scholar 

  • Green C, “Application of Theorem Proving to Problem Solving”, In Webber B L and Nilsson N J, (eds) “Readings in Artificial Intelligence”, Morgan Kaufman (1981).

    Google Scholar 

  • Hanks S and McDermott D, “Default Reasoning, Non-Monotonie Logics and the Frame Problem”, Proceedings National Conference on Artificial Intelligence, AAAI 1986.

    Google Scholar 

  • Hayes P, “A Representation for Robot Plans”, Proceedings IJCAI, 1975.

    Google Scholar 

  • Kelleher G, “LEAPS: An Automatic Planner for Teaching and Help Systems”, Proceedings of ARCE90 (Conference on Advanced Research on Computers in Education), Tokyo, Japan, North Holland, 1990.

    Google Scholar 

  • Kelleher G and Bailey J J, “An Explanation Driven Architecture for a Knowledge Based System in Post-Operative Care”, Proceedings AIME89 (2nd European Conference on AI in Medicine),’ Lecture Notes in Medical Informatics', Springer Verlag, 1989.

    Google Scholar 

  • Kelleher G and van der Gaag L, “The LazyRMS: avoiding work in the ATMS”, Technical Report, Research Instiuut voor Kennis Systemen, Tongersestraat 6, Maastricht, The Netherlands, 1992.

    Google Scholar 

  • Kelleher G and Smith B M, “A Brief Introduction to Reason Maintenance Systems”, in Reason Maintenance Systems and their Application, eds Smith B M and Kelleher G, Ellis Horwood, 1988.

    Google Scholar 

  • Martins J P, “The Truth, the Whole Truth and Nothing But the Truth”, AI Magazine, 1990.

    Google Scholar 

  • Martins J and Shapiro S, “A model for Belief Revision”, Artificial Intelligence, Volume 35, Number 1,1988

    Google Scholar 

  • McAllester D A, “An Outlook on Truth Maintenance”, Artificial Intelligence Laboratory, AIM no 551, Massachusetts Institute of Technology, Cambridge, MA, 1982.

    Google Scholar 

  • Morris P “Curing Anomalous Extensions”, Proceedings National Conference on Artificial Intelligence, AAAI 1987.

    Google Scholar 

  • Morris P and Nado R, “Representing Actions with an Assumption-Based Truth Maintenance System”, Proceedings National Conference on Artificial Intelligence, AAAI, 1986

    Google Scholar 

  • Morris P and Feldman R, “Planning and Truth Maintenance”, Technical Report, Intellicorp, 1989

    Google Scholar 

  • Mott D H, Cunningham J L, Kelleher G and Gadsden J A, “Constraint-Based Reasoning for the Generation of Naval Flying Programmes.” International Journal of Expert Systems, September, 1988.

    Google Scholar 

  • Nadel B, “Constraint Satisfaction Algorithms”, Computational Intelligence, Volume 5, 1989

    Google Scholar 

  • Petrie C J, “Scheduling with REDUX: A Technology for Replanning”, MCC TR ACT-RA-340-90, October, 1990.

    Google Scholar 

  • Petrie C J, “Context Maintenance”, Proceedings National Conference on Artificial Intelligence, AAAI, 1991

    Google Scholar 

  • Provan G M, “A Complexity Analysis of Assumption based Truth Maintenance Systems”, in Smith B and Kelleher G, “Reason Maintenance Systems and their Applications”, 1988.

    Google Scholar 

  • Reiter R and de Kleer J, “Foundations of assumption-based truth maintenance: preliminary report”, Proceedings National Conference on Artificial Intelligence, AAAI, 1987.

    Google Scholar 

  • Shoham Y and McDermott D, “Problems in Formal Temporal Reasoning”, Artificial Intelligence, 36, p49–61, 1988.

    Google Scholar 

  • Smith B M, “Forward Checking, the ATMS and Search Reduction”, in Smith B and Kelleher G, “Reason Maintenance Systems and their Applications”, 1988.

    Google Scholar 

  • Smith B M and Kelleher G, “Reason Maintenance Systems and their Applications” Ellis Horwood, 1988.

    Google Scholar 

  • Tate A, “Project Planning Using a Hierarchic Non Linear Planner”, Report Number 25, AI Research Dept., University of Edinburgh, 1976.

    Google Scholar 

  • Wilkins D E, “Practical Planning”, Morgan Kaufman, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RIKS, Tongersestraat 6, Postbus 463, 6200, AL Maastricht, The Netherlands

    Gerald Kelleher

Authors
  1. Gerald Kelleher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mřrík Olga Štěpánková Rorbert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kelleher, G. (1992). The application of reason maintenance systems in planning and scheduling. In: Mřrík, V., Štěpánková, O., Trappl, R. (eds) Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science, vol 617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55681-8_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-55681-8_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55681-7

  • Online ISBN: 978-3-540-47271-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation