Skip to main content
Article thumbnail
Location of Repository

On the semantics of conflict resolution in truth maintenance systems

By C.M. Jonker


A Truth Maintenance -System (TMS) maintains a consistent state of belief given a set\ud J of justifications, i.e. arguments for belief. To resolve contradictions dependency-directed backtracking is performed.\ud In this paper we introduce a method that can, be used to track all dependency-directed\ud backtracking methods simultaneously. This has been, previously done, by adding the contrapositions\ud of justifications to J. We will show that contrapositions are not mandatory, namely\ud that the same result can be reached by adding one disjunctive justification (the consequent is\ud not one atom, but can be a disjunction of atoms).\ud Simplifying the added disjunctive justification leads to more informative models [Ross 89b].\ud Furthermore, we will give an alternative proof for the correctness of Witteveen's method\ud [Witteveen 90a] for computing the Well-Founded mode

Topics: Wijsbegeerte, provability, conflict resolution, TMS
Year: 1991
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.