Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #494 | |
|---|---|
| Title: | Assumption-Based Constext Management in the Edinburgh Designer System |
| Authors: | Logan,B; Millington,K; Smithers,T |
| Date: | Aug 1990 |
| Presented: | Revised version of paper prepared for the ECAI-90 Workshop on Truth Maintenance Systems, Stoc,holm, Sweden, August 1990 |
| Keywords: | |
| Abstract: | The problem of controlling inference is a common one in AI systems. It is particularly acute in decision support systems, which to be effective must not only produce the right answer, but must also produce it at the right time. This problem is compounded in those situations in which a number of inconsistent alternative solutions must be explored in parallel. In this paper we discuss these problems in the context of a particular implementation, the Edinburgh Designer System (EDS), a design support system for mechanical design problems. We present an approach to the control problem which utilises the context of a task to determine which inferences the system should perform. We describe a hybrid architecture, an assumption-based truth maintained blackboard system and its associated context management system which partitions the blackboard into a series of views containing the information relating to a particular design or task. The resulting system integrates truth maintenance and the control of inference within the framework of the ATMS. |
| Download: | NO ONLINE 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}