Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6931Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | McAllester, David Allen | - |
| dc.date | 2004-10-20T20:08:15Z | - |
| dc.date | 2004-10-20T20:08:15Z | - |
| dc.date | 1980-01-01 | - |
| dc.date.accessioned | 2013-10-09T02:47:40Z | - |
| dc.date.available | 2013-10-09T02:47:40Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AITR-550 | - |
| dc.identifier | http://hdl.handle.net/1721.1/6931 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.description | This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used in the choice of canonical expressions. It is shown that with an appropriate better-name relation an important engineering reasoning technique, propagation of constraints, can be implemented as a special case of this substitution process. Special purpose algebraic simplification procedures are embedded such that they interact effectively with the equality system. An electrical circuit analysis system is developed which relies upon constraint propagation and algebraic simplification as primary reasoning techniques. The reasoning is guided by a better-name relation in which referentially transparent terms are preferred to referentially opaque ones. Multiple description of subcircuits are shown to interact strongly with the reasoning mechanism. | - |
| dc.format | 11379361 bytes | - |
| dc.format | 4295679 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AITR-550 | - |
| dc.title | The Use of Equality in Deduction and Knowledge Representation | - |
| 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.