Gerhard Brewka. The logic of inheritance in frame systems. In Proceedings of IJCAI-87, 10th International Joint ConferenceonArtificial Intelligence, pages 483--488, Milano, Italy,1987.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is also defined intensionally as part of the program. Our approach to inheritance relates to previous work on inheritance in the context of (rule based) objectoriented languages as follows. Some of these approaches base inheritance on syntactic criteria, either on the class hierarchy alone [Bre87] on unification of terms denoting objects [AN86, CCCR 90] or on signatures [LO91] In [BM92] an additional labeling concept of rules affects inheritance. Other approaches consider inheritance as a model theoretic default mechanism [BL91, LV92, KLW90] The techniques we study are in some ....

G. Brewka. The logic of inheritance in frame systems. In Intl. Joint Conference on Artificial Intelligence, 1987.

....syntax we have chosen for defaults is due to the following reasons: 1. an analysis of the literature concerning the interaction between frames and default knowledge, ranging from the more informal and impressionistic proposals (such as those of e.g. 16, 19] to more formally motivated ones [4, 17], reveals that default rules with consequents in a slot filler form have always been identified as the most natural way in which to convey default frame like knowledge 5 ; 2. this type of default rules is su#cient to highlight the problems resulting from the interaction between default ....

Gerhard Brewka. The logic of inheritance in frame systems. In Proceedings of IJCAI87, 10th International Joint Conference on Artificial Intelligence, pages 483--488, Milano, Italy, 1987.

....networks in nonmonotonic logics. Gelfond and Przymusinska present translations of inheritance networks with single and multiple inheritance to autoepistemic logic [10] Brewka shows how inheritance in so called class property networks can be represented in predicate logic with circumscription [4]. We present translations of inheritance networks to prioritized default logic, and show that they are equivalent to the afore mentioned formalizations for those classes of inheritance networks the former are defined. The difference between our translations is that one of them sanctions reasoning ....

....and Ryan s ordered theory presentations are special cases of prioritized default logic. In Section 5 we show how inheritance networks can be translated to prioritized default logic, and in Section 6 we show the relation of the inheritance theories of Gelfond and Przymusinska [10] and Brewka [4] to ours. 2 Default logic Reiter s default logic [22] is one of the main formalizations of nonmonotonic reasoning, and its propositional version is the basis of this work. The language of the classical propositional logic is denoted by the symbol L. The set of all default rules fff:fi 1 ; ....

[Article contains additional citation context not shown here]

G. Brewka. The logic of inheritance in frame systems. In J. McDermott, editor, Proceedings of the 10th International Joint Conference on Artificial Intelligence, volume 1, pages 483--488, Milano, August 1987. Morgan Kaufmann Publishers.

....syntax we have chosen for defaults is due to the following reasons: 1. an analysis of the literature concerning the interaction between frames and default knowledge, ranging from the more informal and impressionistic proposals (such as those of e.g. 16, 19] to more formally motivated ones [4, 17], reveals that default rules with consequents in a slot filler form have always been identified as the most natural way in which to convey default frame like knowledge 5 ; 2. this type of default rules is sufficient to highlight the problems resulting from the interaction between default ....

Gerhard Brewka. The logic of inheritance in frame systems. In Proceedings of IJCAI-87, 10th International Joint Conference on Artificial Intelligence, pages 483--488, Milano, Italy, 1987.

....the only class, republican, where it belongs. However, in a full blown Nixon s Diamond, one where nixon : quaker is known to hold, nixon [policy hawk] is no longer a certainty but, rather, just one of two possibilities. Nonmonotonic inheritance has been a subject of intensive research (e.g. [41, 100, 101, 50, 25, 99, 65, 45, 64, 88]) for many years. The main difference between our approach and the above works is that we are developing an inheritance theory for a general purpose object oriented logical language. In contrast, most of the aforesaid papers tend to study inheritance from a very general, philosophical standpoint, ....

G. Brewka. The logic of inheritance in frame systems. In Intl. Joint Conference on Artificial Intelligence (IJCAI), pages 483--488, 1987.

....that C 0 is a subclass of both C 1 and C 2 (but neither C 1 nor C 2 is a subclass of the other) and M is defined in both C 1 and C 2 . In this case, it is not clear which definition of M is inherited in C 0 . There is a vast body of work devoted to this issue which we will not discuss here ([ER83, TOU86, THT87, HTT87, BRE87, KK89, KLW90] is just a tip of the iceberg) We adapt the approach of [MEY88] and require the user to resolve inheritance conflicts explicitly (i.e. the user should state which definition of M is inherited in C 0 as part of the schema definition) However, as explained above, regardless of which definition ....

Brewka, G., "The Logic of Inheritance in Frame Systems," Proc. Intl. Joint Conf. on Artificial Intelligence, pp. 483--488, 1987.

....extending the first order syntax. Default Logic is presented in more detail in Section 3. Inheritance Networks [Tou86, Hor94] provide a comprehensive framework for specifying typical or atypical properties. An approach to inheritance in frame systems based on circumscription is presented in [Bre87] As a semantic approach, preferential models [Sho88, KLM90, Mak94] provide a very general formalization of nonmonotonic reasoning. Except inheritance nets, the above approaches are based on first order syntax. By representing classes as predicates, a derived classmembership is supported. In the ....

G. Brewka. The Logic of Inheritance in Frame Systems. In Intl. Joint Conference on Artificial Intelligence, pp. 483--488, 1987.

....typical or atypical properties. An inheritance network is given as a graph, consisting of defeasible links and strict links, the former represent defeasible knowledge whereas the latter represent conditionals. An approach to inheritance in frame systems based on Circumscription is presented in [Bre87] As a semantic approach, preferential models [Sho88, KLM90, Mak94] provide a very general formalization of nonmonotonic reasoning. Except inheritance networks, the above approaches are based on first order syntax. There, deductive rules can be incorporated into the consequence relation (e.g. ....

G. Brewka. The Logic of Inheritance in Frame Systems. In Intl. Joint Conference on Artificial Intelligence, pp. 483--488, 1987.

No context found.

Gerhard Brewka. The logic of inheritance in frame systems. In Proceedings of IJCAI-87, 10th International Joint ConferenceonArtificial Intelligence, pages 483--488, Milano, Italy,1987.

No context found.

Gerhard Brewka. The logic of inheritance in frame systems. In Proc. IJCAI-87, pages 483--488, 1987.

No context found.

BREWKA, G. (1987) "The Logic of Inheritance in Frame Systems", in Proceedings of the Tenth International Joint Conference on Art/ficial /ntelligence - IJCAI/87. Los Allos: Morgan Kaufmann.

No context found.

BIBLIOGRAPHY 203 Brewka, G. (1987). The logic of inheritance in frame systems. In Proceedings of IJCAI-87, pages 483--488.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC