Abstract
Omega is a logic system for knowledge representation which is based on descriptions, rather than predicates, and embodies two fundamental ideas for structuring knowledge that are distilled from semantic networks and frame based languages: inheritance and attributions. These features can be exploited to build knowledge bases organized as networks of descriptions, where all types of knowlegde are uniformly represented in an integrated fashion. Reasoning on a lattice of descriptions combined with deduction strategies defined at the metalevel provide the knowlegde base with the capability to deal with complex problem solving tasks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ait-Kaci, H. and R. Nasr (1985) LOGIN: A Logic Programming Language with Built-in Inheritance, MCC Technical Report number AI-068-85.
Attardi, G. and M. Simi (1981a) Consistency and Completeness of Omega, a Logic for Knowledge Representation. IJCAI. Vancouver.
Attardi, G. and M. Simi (1981b) Semantics of Inheritance and Attributions in the Description System Omega. AI Memo 642, M.I.T.
Attardi, G. and M. Simi (1984) Metalanguage and Reasoning across Viewpoints. Proc. of Sixth European Conference on Artificial Intelligence, Pisa.
Attardi, G., A. Corradini, S. Diomedi and M. Simi (1986) Taxonomic Reasoning, Proc. of ECAI 86, Brighton.
Attardi, G. and M. Simi (1986) A Description Oriented Logic for Building Knowledge Bases. Proceedings of the IEEE, Vol. 74, N. 10, pag. 1335–1344, October 1986.
Brachman, R.J., Gilbert, V.P., Levesque, H.J., (1985) An Essential Hybrid Reasoning System: Knowledge and Symbol Levels Accounts of Krypton. Proc. of 9th IJCAI, Los Angeles, 1985.
Brachman, R.J., Schmölze (1985) An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), April-June.
deKleer. J., Doyle, J., Rich, C., Steele, G.L., Sussman, G.J., (1978) AMORD: a Deductive Procedure System. MIT AI-Memo 435.
Fahlman, S., (1979) NETL: A System for Representing and Using Real World Knowledge. MIT Press.
Fikes, R. E. and T. P. Kehler, (1985) The Role of Frame-Based Representation in Reasoning. CACM Vol. 28, No. 9.
Kalish and Montague (1964) Logic: Techniques of Formal Reasoning. Harcourt, Brace and World.
Kornfeld, W. (1982). Using parallel processing for problem solving. M. I. T. Ph.D. Thesis.
Hewitt, C., Attardi, G., Simi M. (1980) Knowledge Embedding in the Description System Omega. Proc. of First AAAI Conference, Stanford.
Martin, W., (1979) Description and Specialization of Concepts. In Patrick Winston and Richard Brown, Eds. Artificial Intelligence, MIT Press, Cambridge.
Moser M.G., (1983) An Overview of NIKL, the New Implementation of KL-ONE, in Sidner, C.L. (ed.), Research in Knowledge Representation and Understanding, BBN Laboratories Report No. 5421.
Mylopoulos, J., P. A. Bernstein, H. K. T. Wong (1980) A Language Facility for Designing Database-intensive Applications, ACM Transactions on Database Systems, Vol 5, No. 2.
Steels L., (1979) Reasoning Modeled as a Society of Communicating Experts, AI Lab Technical Report 542, MIT.
Stefik, M., Bobrow, D.G., Mittal, S., Conway, L. (1983) Knowledge Programming in LOOPS: Report on an Experimental Course, The AI Magazine, Vol. 4, No. 3, Fall, pp 3–14.
Vilain, M. (1985) An Approach to Hybrid Knowledge Representation, Proc. of 9th IJCAI, Los Angeles.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Attardi, G., Simi, M. (1987). A Uniform and Integrated Description System. In: Brauer, W., Wahlster, W. (eds) Wissensbasierte Systeme. Informatik — Fachberichte, vol 155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88719-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-88719-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18494-2
Online ISBN: 978-3-642-88719-2
eBook Packages: Springer Book Archive