عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540475508
(Number (ISBN
9783540475507
NATIONAL BIBLIOGRAPHY NUMBER
Number
b566216
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Truth maintenance systems :
General Material Designation
[Book]
Other Title Information
ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings
First Statement of Responsibility
J.P. Martins, M. Reinfrank (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
©1991.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(vi, 177 pages) : illustrations
SERIES
Series Title
Lecture notes in computer science, 515.; Lecture notes in computer science., Lecture notes in artificial intelligence.
GENERAL NOTES
Text of Note
[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, SwedenPref.
CONTENTS NOTE
Text of Note
Putting the problem solver back in the driver's seat : contextual control of the AMTS / Oskar Dressler and Adam Farquhar --; Variations on backtracking for TMS / Ulrich Junker --; An abductive procedure for the CMS/ATMS / Katsumi Inoue --; Knowledge assimilation and abduction / A.C. Kakas and P. Mancarella --; Truth maintenance systems and belief revision / Laura Giordano and Alberto Martelli --; A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision / Didier Dubois, Jérôme Lang, and Henri Prade --; ARC : an extended ATMS based on directed CAT-correct resolution / Pierre Tayrac --; On logical foundations of the ATMS / Yasushi Fujiwara and Shinichi Honiden --; A skeptical semantics for truth maintenance / Cees Witteveen --; Semantic accounts of belief revision / Peter Jackson and John Pais.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Truth maintenance systems -- Congresses.
Truth maintenance systems.
PERSONAL NAME - PRIMARY RESPONSIBILITY
J.P. Martins, M. Reinfrank (eds.).
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
João P Martins
M Reinfrank
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
