Biconsequence relations for nonmonotonic reasoning
Alexander Bochman · 1996
In this study we suggest a general formalism for nonmonotonic reasoning. The formalism, called biconsequence relations, provides a general framework of reasoning with respect to a pair of contexts. As is shown in [Bochman 1996], it allows to give a uniform representation for various semantics for logic programs involving negation as failure. Here we will consider a generalization of the formalism obtained by incorporating classical inference. This generalization turns out to be suciently expressive to provide a representation for such systems of nonmonotonic reasoning as various default and modal nonmonotonic logics. It allows also to account for some recent attempts to extend semantics suggested for logic programs to general nonmonotonic formalisms. Keywords : Representation formalisms, nonmonotonic logics.