Reason maintenance

Known as: TMS, Truth maintenance system, Truth maintenance systems 
Reason maintenance is a knowledge representation approach to efficient handling of inferred information that is explicitly stored. Reason maintenance… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1999
1999
One can gain efficiency in an inference system by using special-purpose representations for reasoning about certain predicates… (More)
Is this relevant?
1997
1997
We present a general framework for logic-based hypothetical reasoning, which introduces truth maintenance, as a collection of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1994
1994
Learner Modeling is a dynamic process. Creating and maintaining models of learners by an interactive system is not a precise task… (More)
Is this relevant?
1993
1993
Witteveen, C. and G. Brewka, Skeptical reason maintenance and belief revision, Artificial Intelligence 61 (1993) 1-36. The… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Recent years have seen considerable work on two approaches to belief revision: the so-called foundations and coherence approaches… (More)
Is this relevant?
1990
1990
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and… (More)
Is this relevant?
1989
1989
A truth maintenance system (TMS) is an AI system used to monitor consistency of information in a knowledge base. A TMS may be… (More)
Is this relevant?
1985
1985
Non-monotonic logics are examined and found to be inadequate as descriptions of reason maintenance systems (sometimes called… (More)
Is this relevant?
1983
1983
To progress significantly beyond cur ren t reason ma in t enance sys tems, we must formulate their s t r uc tu r e and in tended… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when… (More)
  • figure 1
  • table 1
Is this relevant?