| 000 | 01497camuu2200313 a 4500 | |
| 001 | 000001081015 | |
| 005 | 20021029154458 | |
| 008 | 910614s1991 gw a b 100 0 eng | |
| 020 | ▼a 3540543058 (Berlin : alk. paper) | |
| 020 | ▼a 0387543058 (New York : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 244002 | |
| 049 | 0 | ▼l 151130456 |
| 050 | 0 0 | ▼a Q338 ▼b .T78 1991 |
| 082 | 0 0 | ▼a 006.3 ▼2 21 |
| 090 | ▼a 006.3 ▼b T874 | |
| 245 | 0 0 | ▼a Truth maintenance systems : ▼b ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / ▼c J.P. Martins, M. Reinfrank, eds. |
| 260 | 0 | ▼a Berlin ; ▼a New York : ▼b Springer-Verlag, ▼c c1991. |
| 300 | ▼a vi, 177 p. : ▼b ill. ; ▼c 25 cm. | |
| 490 | 1 | ▼a Lecture notes in computer science ; ▼v 515. ▼a Lecture notes in artificial intelligence |
| 500 | ▼a "[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref. | |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Truth maintenance systems ▼x Congresses. |
| 700 | 1 0 | ▼a Martins, Joao P. |
| 700 | 1 0 | ▼a Reinfrank, M. ▼q (Michael) , ▼d 1958- |
| 711 | 2 0 | ▼a European Conference on Artificial Intelligence ▼d (1990 : ▼c Stockholm, Sweden) |
| 711 | 2 0 | ▼a Truth Maintenance Workshop ▼d (1990 : ▼c Stockholm, Sweden) |
| 830 | 0 | ▼a Lecture notes in computer science ; ▼v 515. |
| 830 | 0 | ▼a Lecture notes in computer science. ▼p Lecture notes in artificial intelligence. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 006.3 T874 | 등록번호 151130456 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
정보제공 :
목차
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.
정보제공 :