Consistency and Completeness of OMEGA, a Logic for Knowledge Representation
Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Theoretical Foundations. Pages 504-509.
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 construct which we introduce to extend the expressive power of the syslem. The logic foundations for the basic constructs of Omega are investigated. Semantic models are provided, an axiomatization is derived and the consistency and completeness ol the logic is established.
@inproceedings{ijcai1981p95,
title = {Consistency and Completeness of OMEGA, a Logic for Knowledge Representation},
author = {Attardi, Giuseppe and Simi, Maria},
booktitle = {Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, {IJCAI-81}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Roger C. Schank},
pages = {504--509},
year = {1981},
month = {8},
note = {Theoretical Foundations},
url = {https://ijcai.org/proceedings/1981/95},
}
TY - CPAPER TI - Consistency and Completeness of OMEGA, a Logic for Knowledge Representation AU - Attardi, Giuseppe AU - Simi, Maria T2 - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 PB - International Joint Conferences on Artificial Intelligence PY - 1981 SP - 504 EP - 509 UR - https://ijcai.org/proceedings/1981/95 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
