Ambiguities in Defeasible Logic: A Computational Efficient Framework and Algorithm
摘要
We present a Defeasible Logic variant able to incorporate two different and conflicting facets of non-monotonic reasoning: ambiguity blocking and ambiguity propagation. The resulting logic is conservative about the two notions. We investigate the logical properties and we present efficient algorithms for the logic.