ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

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

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic-based knowledge representation

دانلود کتاب نمایندگی دانش مبتنی بر منطق

Logic-based knowledge representation

مشخصات کتاب

Logic-based knowledge representation

ویرایش:  
نویسندگان: , ,   
سری: Logic Programming 
ISBN (شابک) : 026210038X, 9780262100380 
ناشر: The MIT Press 
سال نشر: 1989 
تعداد صفحات: 277 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 38,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب 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





نظرات کاربران