Advanced Search
DSpace@MIT

Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.author Stallman, Richard M. en_US
dc.contributor.author Sussman, Gerald Jay en_US
dc.date.accessioned 2004-10-04T14:47:27Z
dc.date.available 2004-10-04T14:47:27Z
dc.date.issued 1976-09-01 en_US
dc.identifier.other AIM-380 en_US
dc.identifier.uri http://hdl.handle.net/1721.1/6255
dc.description.abstract We present a rule-based system for computer-aided circuit analysis. The set of rules, called EL, is written in a rule language called ARS. Rules are implemented by ARS as pattern-directed invocation demons monitoring an associative data base. Deductions are performed in an antecedent manner, giving EL's analysis a catch-as-catch-can flavor suggestive of the behavior of expert circuit analyzers. We call this style of circuit analysis propagation of constraints. The system threads deduced facts with justifications which mention the antecedent facts and the rule used. These justifications may be examined by the user to gain insight into the operation of the set of rules as they apply to a problem. The same justifications are used by the system to determine the currently active data-base context for reasoning in hypothetical situations. They are also used by the system in the analysis failures to reduce the search space. This leads to effective control of cominatorial search which we call dependency-directed backtracking. en_US
dc.format.extent 6267922 bytes
dc.format.extent 4439532 bytes
dc.format.mimetype application/postscript
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.relation.ispartofseries AIM-380 en_US
dc.title Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis en_US


Files in this item

Name Size Format Description
AIM-380.ps 5.977Mb Postscript
AIM-380.pdf 3.365Mb PDF AIM-380.pdf

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage