Cantitate/Preț
Produs

Truth Maintenance Systems: ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings: Lecture Notes in Computer Science, cartea 515

Editat de Joao P. Martins, Michael Reinfrank
en Limba Engleză Paperback – 24 iul 1991
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32086 lei

Preț vechi: 40108 lei
-20% Nou

Puncte Express: 481

Preț estimativ în valută:
6141 6378$ 5101£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540543053
ISBN-10: 3540543058
Pagini: 192
Ilustrații: VII, 180 p.
Dimensiuni: 155 x 233 x 10 mm
Greutate: 0.28 kg
Ediția:1991
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Putting the problem solver back in the Driver's seat: Contextual control of the ATMS.- Variations on backtracking for TMS.- An abductive procedure for the CMS/ATMS.- Knowledge assimilation and abduction.- Truth maintenance systems and belief revision.- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision.- ARC: An extended ATMS based on directed CAT-correct resolution.- On logical foundations of the ATMS.- A skeptical semantics for truth maintenance.- Semantic accounts of belief revision.