A General Framework for Reasoning On InconsistencyAlgorithms
A General Framework for Reasoning On Inconsistency: Algorithms
Martinez, Maria Vanina; Molinaro, Cristian; Subrahmanian, V. S.; Amgoud, Leila
2013-02-13 00:00:00
[In this chapter we present several general algorithms (independent of the specific logic) to compute the preferred options for a given knowledge base. We start by showing a naive algorithm that makes no assumptions about the weakening mechanism or the preference relation. We also show that for specific combinations of weakening mechanisms and preference relations, the preferred options coincide with the computation of maximal consistent subsets and therefore can be computed efficiently for certain logics. Finally, we develop two algorithms that exploit properties of monotonicity and anti-monotonicity in the preference relation, respectively, in order to compute the preferred options more efficiently.]
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pnghttp://www.deepdyve.com/lp/springer-journals/a-general-framework-for-reasoning-on-inconsistency-algorithms-PYX5Pnh00N
A General Framework for Reasoning On InconsistencyAlgorithms
[In this chapter we present several general algorithms (independent of the specific logic) to compute the preferred options for a given knowledge base. We start by showing a naive algorithm that makes no assumptions about the weakening mechanism or the preference relation. We also show that for specific combinations of weakening mechanisms and preference relations, the preferred options coincide with the computation of maximal consistent subsets and therefore can be computed efficiently for certain logics. Finally, we develop two algorithms that exploit properties of monotonicity and anti-monotonicity in the preference relation, respectively, in order to compute the preferred options more efficiently.]
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.