Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems

  title={Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems},
  author={Frances L. Johnson and Stuart C. Shapiro},
We define reconsideration, a non-prioritized belief change operation on a finite set of base beliefs. Reconsideration is a hindsight belief change repair that eliminates negative effects caused by the order of previously executed belief change operations. Beliefs that had previously been removed are returned to the base if there no longer are valid reasons for their removal. This might result in less preferred beliefs being removed, and additional beliefs being returned. The end product is an… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


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

Belief Change in a Deductively Open Belief Space

F. L. Johnson
Ph.D. Dissertation, Department of Computer Science and Engineering, University at Buffalo, The State University of New York, Buffalo, NY. Forthcoming. • 2005
View 5 Excerpts
Highly Influenced

A Textbook of Belief Dynamics, volume 11 of Applied Logic

S. O. Hansson
Dordrecht, The Netherlands: Kluwer. • 1999
View 10 Excerpts
Highly Influenced

Dependencydirected reconsideration

F. L. Johnson, S. C. Shapiro
K. Forbus, D. Gentner, T. R., ed., Proceedings of the 26th Annual Meeting of the Cognitive Science Society, CogSci2004, 1573. Mahwah, NJ: Lawrence Erlbaum Assoc. • 2004
View 4 Excerpts
Highly Influenced

Belief Base Dynamics

S. O. Hansson
Ph.D. Dissertation, Uppsala University. • 1991
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…