Abstract
In this paper we give some equivalent characterization of the TMS [1] contradiction resolution process, relying mainly on the intuitive idea that a contrapositive use of justifications is needed to resolve inconsistencies. To this purpose, we define a notion of three-valued labelling in which a new label FALSE is introduced with the meaning of "being believed to be false". Moreover, we show that, given a set of justifications, it is possible to translate it into an equivalent set of justifications which can be labelled with the usual two-valued labelling. This translation can be used together with the transformation in [3] to convert a set of non-monotonic justifications to an abduction framework, thus providing the TMS with an abductive characterization. Finally, we propose an equivalent characterization for the TMS which is based on a generalization of stable models.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
