Lecture notes in computer science, 515.; Lecture notes in computer science., Lecture notes in artificial intelligence.
يادداشت کلی
متن يادداشت
[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, SwedenPref.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Truth maintenance systems -- Congresses.
موضوع مستند نشده
Truth maintenance systems.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )