Defeasible inheritance systems and reactive diagrams

TY - JOUR

T1 - Defeasible inheritance systems and reactive diagrams

AU - Gabbay, Dov

AU - Schlechta, K

PY - 2009

Y1 - 2009

N2 - Inheritance diagrams are directed acyclic graphs with two types of connections between nodes: x -> y (read x is a y) and x negated right arrow y (read as x is not a y). Given a diagram D, one can ask the formal question of "is there a valid (winning) path between node x and node y?'' Depending on the existence of a valid path we can answer the question "x is a y'' or "x is not a y''. The answer to the above question is determined through a complex inductive algorithm on paths between arbitrary pairs of points in the graph. This paper aims to simplify and interpret such diagrams and their algorithms. We approach the area on two fronts. (1) Suggest reactive arrows to simplify the algorithms for the winning paths. (2) We give a conceptual analysis of (defeasible or nonmonotonic) inheritance diagrams, and compare our analysis to the "small'' and "big sets'' of preferential and related reasoning. In our analysis, we consider nodes as information sources and truth values, direct links as information, and valid paths as information channels and comparisons of truth values. This results in an upward chaining, split validity, off-path preclusion inheritance formalism of a particularly simple type. We show that the small and big sets of preferential reasoning have to be relativized if we want them to conform to inheritance theory, resulting in a more cautious approach, perhaps closer to actual human reasoning. We will also interpret inheritance diagrams as theories of prototypical reasoning, based on two distances: set difference, and information difference. We will see that some of the major distinctions between inheritance formalisms are consequences of deeper and more general problems of treating conflicting information. It is easily seen that inheritance diagrams can also be analysed in terms of reactive diagrams - as can all argumentation systems.

AB - Inheritance diagrams are directed acyclic graphs with two types of connections between nodes: x -> y (read x is a y) and x negated right arrow y (read as x is not a y). Given a diagram D, one can ask the formal question of "is there a valid (winning) path between node x and node y?'' Depending on the existence of a valid path we can answer the question "x is a y'' or "x is not a y''. The answer to the above question is determined through a complex inductive algorithm on paths between arbitrary pairs of points in the graph. This paper aims to simplify and interpret such diagrams and their algorithms. We approach the area on two fronts. (1) Suggest reactive arrows to simplify the algorithms for the winning paths. (2) We give a conceptual analysis of (defeasible or nonmonotonic) inheritance diagrams, and compare our analysis to the "small'' and "big sets'' of preferential and related reasoning. In our analysis, we consider nodes as information sources and truth values, direct links as information, and valid paths as information channels and comparisons of truth values. This results in an upward chaining, split validity, off-path preclusion inheritance formalism of a particularly simple type. We show that the small and big sets of preferential reasoning have to be relativized if we want them to conform to inheritance theory, resulting in a more cautious approach, perhaps closer to actual human reasoning. We will also interpret inheritance diagrams as theories of prototypical reasoning, based on two distances: set difference, and information difference. We will see that some of the major distinctions between inheritance formalisms are consequences of deeper and more general problems of treating conflicting information. It is easily seen that inheritance diagrams can also be analysed in terms of reactive diagrams - as can all argumentation systems.

U2 - 10.1093/jigpal/jzn021

DO - 10.1093/jigpal/jzn021

M3 - Article

VL - 17

SP - 1

EP - 54

JO - LOGIC JOURNAL- IGPL

JF - LOGIC JOURNAL- IGPL

IS - 1

ER -