A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems

  title={A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems},
  author={Charles Elkan},
  journal={Artif. Intell.},
The main contribution o f this paper is a precise characterization o f the inferences performed by nonmonotonic truth maintenance systems ( TMSs), using two standard nonmonotonic formalisms: logic programming with the stable set semantics and autoepistemic logic. The paper also contains an analysis o f the role o f dependency-directed backtracking in dealing with contradictions, and a proof that implementing a nonmonotonic TMS is an NP-complete problem. 
Highly Cited
This paper has 95 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.

95 Citations

Citations per Year
Semantic Scholar estimates that this publication has 95 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

Dressier, On the relation between truth maintenance and non-monotonic logics

  • O. M. Reinfrank
  • in: Proceedings HCAI-89,
  • 1989

Reason maintenance in expert systems

  • G. M. Provan
  • 1989

McAllester , Reasoning utility package user ' s manual , Tech

  • A. D.
  • 1988

Similar Papers

Loading similar papers…