Reactive preferential structures and nonmonotonic consequence

Dov Gabbay (1) , Karl Schlechta (1)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation problems.

Domaines: Logique [math.LO]

Dov Gabbay, Karl Schlechta. Reactive preferential structures and nonmonotonic consequence. 2008. ⟨hal-00311940⟩