System Z for Conditional Belief Bases with Positive and Negative Information
2021 ◽
Vol 34
(1)
◽
Keyword(s):
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.
2021 ◽
Vol 34
(1)
◽
Keyword(s):
1999 ◽
Vol 74
(4)
◽
pp. 493-508
◽
Keyword(s):
2020 ◽
Vol 29
(1)
◽
pp. 86-91
◽
Keyword(s):
2014 ◽
Vol 45
(4)
◽
pp. 453-463
◽
2021 ◽