Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6852
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.creator | Haase, Kenneth W., Jr. | - |
dc.date | 2004-10-20T20:02:33Z | - |
dc.date | 2004-10-20T20:02:33Z | - |
dc.date | 1987-08-01 | - |
dc.date.accessioned | 2013-10-09T02:47:21Z | - |
dc.date.available | 2013-10-09T02:47:21Z | - |
dc.date.issued | 2013-10-09 | - |
dc.identifier | AITR-988 | - |
dc.identifier | http://hdl.handle.net/1721.1/6852 | - |
dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
dc.description | TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are generated by an extensible combinator language from either existing types or primitive terminals. These generated types are located in a lattice of predicate subsumption which captures necessary entailment between types; if satisfaction of one type necessarily entail satisfaction of another, the first type is below the second in the lattice. The inferences make by TYPICAL computes the position of the new definition within the lattice and establishes it there. This information is then accessible to both later inferences and other programs (reasoning systems, code analyzers, etc) which may need the information for their own purposes. TYPICAL was developed as a representation language for the discovery program Cyrano; particular examples are given of TYPICAL's application in the Cyrano program. | - |
dc.format | 110 p. | - |
dc.format | 15193975 bytes | - |
dc.format | 5787044 bytes | - |
dc.format | application/postscript | - |
dc.format | application/pdf | - |
dc.language | en_US | - |
dc.relation | AITR-988 | - |
dc.subject | knowledge representation | - |
dc.subject | discovery | - |
dc.subject | type inference | - |
dc.subject | ssubsumption | - |
dc.title | TYPICAL: A Knowledge Representation System for Automated Discovery and Inference | - |
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.