Show simple item record

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

dc.date.accessioned2004-10-04T14:47:27Z
dc.date.accessioned2018-11-24T10:12:37Z
dc.date.available2004-10-04T14:47:27Z
dc.date.available2018-11-24T10:12:37Z
dc.date.issued1976-09-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6255
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6255
dc.description.abstractWe 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.extent6267922 bytes
dc.format.extent4439532 bytes
dc.language.isoen_US
dc.titleForward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysisen_US


Files in this item

FilesSizeFormatView
AIM-380.pdf3.529Mbapplication/pdfView/Open
AIM-380.ps6.267Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record