We show how defeasible reasoning can be embedded into ABF. Differently from other proposals, we do not encode the conflict resolution mechanism for defeasible rules into the ABF's deductive systems. Instead, we formalize the notions of conflict and conflict resolution and make them part of the extended ABF framework (XABF). This improves the control over the conflict resolution process, and allows to devise and compare different domain-dependent conflict resolution strategies. We also show, that no matter which conflict resolution strategy is used, our framework is able to guarantee certain desired properties.
CITATION STYLE
Baláž, M., Frtús, J., Flouris, G., Homola, M., & Šefránek, J. (2015). Conflict resolution in assumption-based frameworks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8953, pp. 360–369). Springer Verlag. https://doi.org/10.1007/978-3-319-17130-2_24
Mendeley helps you to discover research relevant for your work.