论文信息 - Consistency and Completeness of OMEGA, a Logic for Knowledge Representation

Consistency and Completeness of OMEGA, a Logic for Knowledge Representation

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 system. The logic foundations for the basic constructs of Omega are investigated. Semantic models are provided, an axiomatization is derived and the consistency and completeness of the.

Maria Simi | Giuseppe Attardi | M. Simi | Giuseppe Attardi

[1] Dana S. Scott,et al. Existence and Description in Formal Logic , 1973 .

[2] Ronald J. Brachman,et al. A Structural Paradigm for Representing Knowledge. , 1978 .

[3] Luc Steels,et al. Reasoning Modeled As A Society Of Communicating Experts , 1979 .

[4] Charles D. Parsons,et al. The liar paradox , 1974, J. Philos. Log..

[5] N. S. Barnett,et al. Private communication , 1969 .

[6] Robert A. Kowalski,et al. Logic and semantic networks , 1979, CACM.

[7] Maria Simi,et al. Knowledge Embedding in the Description System Omega , 1980, AAAI.

[8] M. Simi,et al. Semantics of Inheritance and Attributions in the Description System Omega , 1981 .

[9] R. Montague,et al. Logic : Techniques of Formal Reasoning , 1964 .

[10] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .

[11] R. M. Martin. A Homogeneous System for Formal Logic , 1943, J. Symb. Log..

[12] Lenhart K. Schubert. Extending The Expressive Power Of Semantic Networks , 1976, IJCAI.

[13] Richard Fikes,et al. A Network-Based Knowledge Representation and Its Natural Deduction System , 1977, IJCAI.

[14] Scott E. Fahlman,et al. NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[15] Daniel G. Bobrow,et al. On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[16] William A. Kornfeld. ETHER - A Parallel Problem Solving System , 1979, IJCAI.