System Z for Conditional Belief Bases with Positive and Negative Information

In non-monotonic reasoning, conditional belief bases mostly contain positive information in the form of standard conditionals. However, in practice we are often confronted with negative information, stating that a conditional does \emph{not} hold, i.e. we need a suitable approach for reasoning over belief bases $\Delta$ with positive and negative information. In this paper, we investigate the interaction of positive and negative information in a conditional belief base and establish a property for partitions of $\Delta$ that is equivalent to consistency. Based on this property, we develop a non-trivial extension of system Z for mixed conditional belief bases and provide an algorithm to compute this partition.