REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE

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 "break" the strong coherence properties of preferential structures by higher arrows, that is, arrows, which do not go to points, but to arrows themselves.