Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/5685Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | Attardi, Giuseppe | - |
| dc.creator | Simi, Maria | - |
| dc.date | 2004-10-01T20:31:01Z | - |
| dc.date | 2004-10-01T20:31:01Z | - |
| dc.date | 1981-08-01 | - |
| dc.date.accessioned | 2013-10-09T02:40:50Z | - |
| dc.date.available | 2013-10-09T02:40:50Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AIM-642 | - |
| dc.identifier | http://hdl.handle.net/1721.1/5685 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.description | Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions and multiple viewpoints. A formalization of Omega is developed as a framework for investigations on the foundations of knowledge representation. As a logic, Omega achieves the goal of an intuitively sound and consistent theory of classes which permits unrestricted abstraction within a powerful logic system. Description abstraction is the construct provided in Omega corresponding to set abstraction. Attributions and inheritance are the basic mechanisms for knowledge structuring. To achieve flexibility and incrementality, the language allows descriptions with an arbitrary number of attributions, rather than predicates with a fixed number of arguments as in predicate logic. This requires a peculiar interpretation for instance descriptions, which in turn provides insights into the use and meaning of several kinds of attributions. The formal treatment consists in presenting semantic models for Omega, deriving an axiomatization and establishing the consistency and completeness of the logic. | - |
| dc.format | 38 p. | - |
| dc.format | 10995221 bytes | - |
| dc.format | 8122748 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AIM-642 | - |
| dc.subject | description | - |
| dc.subject | inheritance | - |
| dc.subject | semantic networks | - |
| dc.subject | model | - |
| dc.subject | attribute | - |
| dc.subject | sknowledge representation | - |
| dc.subject | logic | - |
| dc.subject | consistency | - |
| dc.title | Semantics of Inheritance and Attributions in the Description System Omega | - |
| 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.