Assumption-Based Reasoning and Clause Management Systems

@article{Kean1992AssumptionBasedRA,
  title={Assumption-Based Reasoning and Clause Management Systems},
  author={Alex Kean and George K. Tsiknis},
  journal={Computational Intelligence},
  year={1992},
  volume={8},
  pages={1-24}
}
A truth maintenance system is a subsystem that manages the utilization of assumptions in the reasoning process of a problem solver. Doyle’s original motivation for creating a truth maintenance system was to augment a reasoning system with a control strategy for activities concerning its nonmonotonic state of beliefs. Hitherto, much effort has been invested in designing and implementing the concept of truth maintenance, and little effort has been dedicated to the formalization that is essential… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Bolzano’s logic

J.
Almqvist and Wiksell, Stockholm. BIBEL, • 1962
View 8 Excerpts
Highly Influenced

Clause Management Systems

Computational Intelligence • 1993

Formal methods in artificial intelligence

A.
Cambridge University Press. REITER, • 1988

The variety of consequence, according to Bolzano

J.
Studia logica, XLIV(4). • 1985

A logic of default reasoning

R.
Artificial intelligence, 13231-132. SHOENFIELD, • 1980

The mathematics of non-monotonic reasoning

M.
Artificial intelligence, 13. DE KLEER, • 1980
View 2 Excerpts

Questions in Montague English

L.C.
Montague grammar. Edited by Barbara H. Partee. Academic Press. pp. 247-259. • 1976

Mathematical logic

R.J.
Addison-Wesley. TSIKNIS, • 1967

Similar Papers

Loading similar papers…