The Logic of Inheritance in Frame Systems

Brewka, Gerhard

The Logic of Inheritance in Frame Systems

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 483-487.

Abstract

This paper shows how the semantics of frames with exceptions can be described logically. We define a simple (purely declarative) frame language allowing for multiple inheritance and meta classes (i.e. the instances of a class may be classes themselves). Expressions of this language are translated into first order formulas. Circumscription of a certain predicate in the resulting theory yields the desired semantics. Our approach allows the intuition that subclasses should override superclasses to be represented in a very natural way .

Gerhard Brewka. 1987. The Logic of Inheritance in Frame Systems. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 483–487. https://ijcai.org/proceedings/1987/95

@inproceedings{ijcai1987p95,
  title     = {The Logic of Inheritance in Frame Systems},
  author    = {Brewka, Gerhard},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {483--487},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/95},
}

TY  - CPAPER
TI  - The Logic of Inheritance in Frame Systems
AU  - Brewka, Gerhard
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 483
EP  - 487
UR  - https://ijcai.org/proceedings/1987/95
ER  -