Truth Maintenance Systems: ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings

کارگاه نگهداری حقیقت در آگوست 1990 در جریان کنفرانس اروپایی هوش مصنوعی در استکهلم، سوئد برگزار شد. ده مقاله منتخب که هشت مورد از آنها در کارگاه ارائه شده است، در این جلد گنجانده شده است. مقالات را می توان در چهار حوزه اصلی گروه بندی کرد: -سطح متا کنترل: هدف در اینجا تعیین برخی متا معیارها برای کنترل رفتار TMS -برنامه های افزودنی TMS: در اینجا هدف ترکیب مکانیسم های جدید در سیستم های مشابه TMS است. -مبانی: اکنون علاقه زیادی به ارائه توضیحات رسمی از TMS، اثبات نتایج در مورد آنها، و ارتباط آنها با سایر فرمالیسم های غیر یکنواخت وجود دارد. -بازبینی باور: TMS را می توان به عنوان پشتیبانی برای مدیریت مشکل کلی تر بازنگری باورها در نظر گرفت.

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.