Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6255Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | Stallman, Richard M. | - |
| dc.creator | Sussman, Gerald Jay | - |
| dc.date | 2004-10-04T14:47:27Z | - |
| dc.date | 2004-10-04T14:47:27Z | - |
| dc.date | 1976-09-01 | - |
| dc.date.accessioned | 2013-10-09T02:44:31Z | - |
| dc.date.available | 2013-10-09T02:44:31Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AIM-380 | - |
| dc.identifier | http://hdl.handle.net/1721.1/6255 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.description | 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. | - |
| dc.format | 6267922 bytes | - |
| dc.format | 4439532 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AIM-380 | - |
| dc.title | Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis | - |
| Appears in Collections: | MIT Items | |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.