|
" Truth maintenance systems : "
J.P. Martins, M. Reinfrank (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746267
|
| Doc. No
|
:
|
b566216
|
| Main Entry
|
:
|
J.P. Martins, M. Reinfrank (eds.).
|
| Title & Author
|
:
|
Truth maintenance systems : : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings\ J.P. Martins, M. Reinfrank (eds.).
|
| Publication Statement
|
:
|
Berlin ; New York : Springer-Verlag, ©1991.
|
| Series Statement
|
:
|
Lecture notes in computer science, 515.; Lecture notes in computer science., Lecture notes in artificial intelligence.
|
| Page. NO
|
:
|
(vi, 177 pages) : illustrations
|
| ISBN
|
:
|
3540475508
|
|
|
:
|
: 9783540475507
|
| Notes
|
:
|
[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, SwedenPref.
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Truth maintenance systems -- Congresses.
|
| Subject
|
:
|
Truth maintenance systems.
|
| Added Entry
|
:
|
João P Martins
|
|
|
:
|
M Reinfrank
|
| |