Context maintenance

Authors:
Charles J. Petrie, Jr.
Affiliations:
Microelectronics and Computer Technology Corporation, Advanced Computing Technology, Artificial Intelligence Laboratory, Austin, TX
Venue:
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Year:
1991

Citing 7
Cited 0

An assumption-based TMS

Artificial Intelligence
Principles of artificial intelligence

Principles of artificial intelligence
An expert system application in semicustom VLSI design

DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Problem Solver Control Over the ATMS

GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
A comparison of ATMS and CSP techniques

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Constrained heuristic search

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
On the relation between truth maintenance and autoepistemic logic

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

Traditional applications of "Truth Maintenance Systems" (TMSs) fail to adequately represent heuristic search in which some paths are initially preferred. What they miss is the idea of switching contexts rationally based on heuristic preferences. We show that it is useful, especially for plans with contingencies, to maintain the validity of the reason for context choices and rejections. We demonstrate how to do so with a problem solver/TMS architecture called REDUX.