Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #596 | |
|---|---|
| Title: | Using Reason Maintenance Systems to Support Ill Structured Problem Solving |
| Authors: | Logan,B; Corne,D; Smithers,T |
| Date: | Aug 1992 |
| Presented: | This is a revised version of a paper presented at the ECAI'92 workshop on the Application of Reason Maintenance Systems, Vienna, Austria, August, 1992 |
| Keywords: | |
| Abstract: | Problem solving systems incorporating a truth or reason maintenance component have been developed for a number of different domains, including hypothetical reasoning, diagnosis, planning and circuit design. Almost without exception, the problems addressed by these systems are well structured, that is, there exists a complete and consistent statement of the problem requirements when problem solving begins. In this paper we argue that RMS (and in particular assumption-based truth maintenance systems) can also be applied to ill structured problems. We describe a hybrid ATMS-blackboard architecture which has been employed in the development of a number of design support systems in different domains and briefly outline some of the questions raised by our experience with the architecture. |
| Download: | POSTSCRIPT COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}