Semantics of Inheritance and Attributions in the Description System Omega
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...
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/5685 |
| _version_ | 1826202139238596608 |
|---|---|
| author | Attardi, Giuseppe Simi, Maria |
| author_facet | Attardi, Giuseppe Simi, Maria |
| author_sort | Attardi, Giuseppe |
| collection | MIT |
| 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. |
| first_indexed | 2024-09-23T12:02:46Z |
| id | mit-1721.1/5685 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T12:02:46Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/56852019-04-11T04:45:29Z Semantics of Inheritance and Attributions in the Description System Omega Attardi, Giuseppe Simi, Maria description inheritance semantic networks model attribute sknowledge representation logic consistency 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. 2004-10-01T20:31:01Z 2004-10-01T20:31:01Z 1981-08-01 AIM-642 http://hdl.handle.net/1721.1/5685 en_US AIM-642 38 p. 10995221 bytes 8122748 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | description inheritance semantic networks model attribute sknowledge representation logic consistency Attardi, Giuseppe Simi, Maria Semantics of Inheritance and Attributions in the Description System Omega |
| title | Semantics of Inheritance and Attributions in the Description System Omega |
| title_full | Semantics of Inheritance and Attributions in the Description System Omega |
| title_fullStr | Semantics of Inheritance and Attributions in the Description System Omega |
| title_full_unstemmed | Semantics of Inheritance and Attributions in the Description System Omega |
| title_short | Semantics of Inheritance and Attributions in the Description System Omega |
| title_sort | semantics of inheritance and attributions in the description system omega |
| topic | description inheritance semantic networks model attribute sknowledge representation logic consistency |
| url | http://hdl.handle.net/1721.1/5685 |
| work_keys_str_mv | AT attardigiuseppe semanticsofinheritanceandattributionsinthedescriptionsystemomega AT simimaria semanticsofinheritanceandattributionsinthedescriptionsystemomega |