Ebook: Truth Maintenance Systems: ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: -Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. -Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. -Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. -Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.

---

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: -Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. -Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. -Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. -Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.

---

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: -Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. -Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. -Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. -Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.
Content:
Front Matter....Pages -
Putting the problem solver back in the Driver's seat: Contextual control of the ATMS....Pages 1-16
Variations on backtracking for TMS....Pages 17-33
An abductive procedure for the CMS/ATMS....Pages 34-53
Knowledge assimilation and abduction....Pages 54-70
Truth maintenance systems and belief revision....Pages 71-86
A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision....Pages 87-106
ARC: An extended ATMS based on directed CAT-correct resolution....Pages 107-124
On logical foundations of the ATMS....Pages 125-135
A skeptical semantics for truth maintenance....Pages 136-154
Semantic accounts of belief revision....Pages 155-177
Back Matter....Pages -

---

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: -Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. -Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. -Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. -Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.
Content:
Front Matter....Pages -
Putting the problem solver back in the Driver's seat: Contextual control of the ATMS....Pages 1-16
Variations on backtracking for TMS....Pages 17-33
An abductive procedure for the CMS/ATMS....Pages 34-53
Knowledge assimilation and abduction....Pages 54-70
Truth maintenance systems and belief revision....Pages 71-86
A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision....Pages 87-106
ARC: An extended ATMS based on directed CAT-correct resolution....Pages 107-124
On logical foundations of the ATMS....Pages 125-135
A skeptical semantics for truth maintenance....Pages 136-154
Semantic accounts of belief revision....Pages 155-177
Back Matter....Pages -
....