Summary: Proceedings of Seventh International Joint Conference on Artificial Intelligence
Vancouver, Canada, August 1981, 504­510
Consistency and Completeness of Omega,
a Logic for Knowledge Representation
Giuseppe Attardi and Maria Simi
Massachusetts Institute of Technology
545 Technology Square
Cambridge, Mass. 02139
(617) 253-7891/5835
Istituto di Scienze dell'Informazione
Corso Italia 40
I-56100 Pisa, Italy
(50) 40 862
Abstract
Omega is a description system for knowledge embedding
which incorporates some of the attractive modes of expression
in natural language such as descriptions, inheritance,
quantification, negation, attributions and multiple viewpoints. It
combines mechanisms of the predicate calculus, type systems,
and pattern matching systems. Description abstraction is a

Source: Attardi, Giuseppe - Dipartimento di Informatica, Università di Pisa

Collections: Computer Technologies and Information Sciences