Inheritance in a Hierarchy of Theories

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 1993

Autores

Gabriel David (Autor) FEUP; António Porto (Autor) Outra

Ata de Conferência Internacional

Título: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings

Páginas: 77-92

Indexação

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-008-NSJ

DOI: 10.1007/3-540-57287-2_39

Abstract (EN): This paper1 contains a proposal for a knowledge representation formalism based on a taxonomy of theories. It aims at clarifying the notions of inheritance and dependency among properties and classes, which are mixed together in the ¿inheritance networks¿ formalism, while also providing more expressiveness. A model-theoretic semantics in terms of sets of individuals is presented, which is parametric on the characterization of specificity. The case most thoroughly presented is rule inheritance which builds on the assumption that only facts have the force to impose overriding. A double denotation for classes, corresponding to two nested sets, is the key for interpreting defaults and exceptions. The problem of ambiguity propagation in the resulting system is addressed in the context of a discussion of the relationship between it and inheritance nets. © Springer-Verlag Berlin Heidelberg 1993.

Idioma: Inglês

Tipo (Avaliação Docente): Científica