Inheritance diagrams are directed acyclic graphs with two types of connections between nodes: x → y and x ↛ y . Given a diagram D, one can ask the formal question of “is there a valid 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. Suggest reactive arrows to simplify the algorithms for the winning paths. We give a conceptual analysis of 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. AMS Classification: 68T27, 68T30. (shrink)

We introduce Information Bearing Relation Systems (IBRS) as an abstraction of many logical systems. These are networks with arrows recursively leading to other arrows etc. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can the strong coherence properties of preferential structures by higher arrows, that is, arrows, which do not go (...) to points, but to arrows themselves. (shrink)

We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.

For nonmonotonic logics, Cumulativity is an important logical rule. We show here that Cumulativity fans out into an infinity of different conditions, if the domain is not closed under finite unions.