• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Autonomous, Model-Based Diagnosis Agents

پدید آورنده
by Michael Schroeder.

موضوع
Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.

رده

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
9781461376293
شابک
9781461557395

شماره کتابشناسی ملی

شماره
b403404

عنوان و نام پديدآور

عنوان اصلي
Autonomous, Model-Based Diagnosis Agents
نام عام مواد
[Book]
نام نخستين پديدآور
by Michael Schroeder.

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Boston, MA :
نام ناشر، پخش کننده و غيره
Imprint: Springer,
تاریخ نشرو بخش و غیره
1998.

فروست

عنوان فروست
Springer International Series in Engineering and Computer Science,
مشخصه جلد
442
شاپا ي ISSN فروست
0893-3405 ;

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
Autonomous, Model-Based Diagnosis Agents defines and describes the implementation of an architecture for autonomous, model-based diagnosis agents. It does this by developing a logic programming approach for model-based diagnosis and introducing strategies to deal with more complex diagnosis problems, and then embedding the diagnosis framework into the agent architecture of vivid agents. Autonomous, Model-Based Diagnosis Agents surveys extended logic programming and shows how this expressive language is used to model diagnosis problems stemming from applications such as digital circuits, traffic control, integrity checking of a chemical database, alarm-correlation in cellular phone networks, diagnosis of an automatic mirror furnace, and diagnosis of communication protocols. The book reviews a bottom-up algorithm to remove contradiction from extended logic programs and substantially improves it by top-down evaluation of extended logic programs. Both algorithms are evaluated in the circuit domain including some of the ISCAS85 benchmark circuits. This comprehensive in-depth study of concepts, architectures, and implementation of autonomous, model-based diagnosis agents will be of great value for researchers, engineers, and graduate students with a background in artificial intelligence. For practitioners, it provides three main contributions: first, it provides many examples from diverse areas such as alarm correlation in phone networks to inconsistency checking in databases; second, it describes an architecture to develop agents; and third, it describes a sophisticated and declarative implementation of the concepts and architectures introduced.

ویراست دیگر از اثر در قالب دیگر رسانه

شماره استاندارد بين المللي کتاب و موسيقي
9781461376293

قطعه

عنوان
Springer eBooks

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Data structures (Computer science).
موضوع مستند نشده
Information storage and retrieval systems.

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
Schroeder, Michael.

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
SpringerLink (Online service)

مبدا اصلی

تاريخ عمليات
20190301074500.0

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال