دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Peter Jackson, Han Reichgelt, Frank van Harmelen سری: Logic Programming ISBN (شابک) : 026210038X, 9780262100380 ناشر: The MIT Press سال نشر: 1989 تعداد صفحات: 277 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Logic-based knowledge representation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نمایندگی دانش مبتنی بر منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب به بررسی ساخت سیستمهای خبره با استفاده از منطق برای
نمایش دانش و استنتاج در سطح متا برای کنترل میپردازد. این تحقیق
انجام شده توسط اعضای گروه سیستم های خبره دپارتمان هوش مصنوعی در
ادینبورگ، اغلب با همکاری دیگران، بر اساس دو فرضیه ارائه می کند:
منطق یک زبان نمایش دانش مناسب است، و اینکه نمایش صریح رژیم
کنترلی اثبات قضیه مزایای بسیاری دارد.
ویراستاران این فرضیه ها را معرفی می کنند و استدلال هایی را به
نفع خود ارائه می کنند. سپس ابزاری را برای ساختن سیستم های خبره
که بر اساس این فرضیات استوار است توسط سقراط توصیف می شود. آنها
فصلهای باقیمانده را به حل مشکلات ناشی از محدودیتهای
تحمیلشده توسط زبان بازنمایی سقراط و ناکارآمدی سیستم اختصاص
میدهند.
فصلهایی که به مسئله بازنمایی میپردازند، رویکردی واقعی به منطق
زمانی ارائه میکنند که باعث میشود می توان از منطق های غیر
استاندارد بدون گسترش سیستم استفاده کرد و یک روش اثبات کلی برای
منطق های مدال دلخواه را توصیف کرد. کسانی که با مشکل کارایی سر و
کار دارند، تکنیک ارزیابی جزئی و محدودیت های آن و همچنین راه حل
ممکن دیگری به نام استنتاج زمان ادعا را مورد بحث قرار می
دهند.
پیتر جکسون دانشمند ارشد در گروه ریاضیات کاربردی و علوم کامپیوتر
در آزمایشگاه تحقیقاتی مک دانل داگلاس در سنت لوئیس. هان رایشگلت
مدرس گروه روانشناسی در دانشگاه ناتینگهام است. فرانک ون هارملن،
پژوهشگر گروه استدلال ریاضی در دانشگاه ادینبورگ است.
This book explores the building of expert systems using logic
for knowledge representation and meta-level inference for
control. It presents research done by members of the expert
systems group of the Department of Artificial Intelligence in
Edinburgh, often in collaboration with others, based on two
hypotheses: that logic is a suitable knowledge representation
language, and that an explicit representation of the control
regime of the theorem prover has many advantages.
The editors introduce these hypotheses and present the
arguments in their favor They then describe Socrates' a tool
for the construction of expert systems that is based on these
assumptions. They devote the remaining chapters to the solution
of problems that arise from the restrictions imposed by
Socrates's representation language and from the system's
inefficiency.
The chapters dealing with the representation problem present a
reified approach to temporal logic that makes it possible to
use nonstandard logics without extending the system, and
describe a general proof method for arbitrary modal logics.
Those dealing with the efficiency problem discuss the technique
of partial evaluation and its limitations, as well as another
possible solution known as assertion-time inference.
Peter Jackson is a Senior Scientist in the Department of
Applied Mathematics and Computer Sciences at the McDonnell
Douglas Research Laboratory in St. Louis. Han Reichgelt is a
Lecturer in Department of Psychology at the University of
Nottingham. Frank van Harmelen is a Research Fellow in the
Mathematical Reasoning Group at the University of Edinburgh