ایران ترجمه - اصول سیستم های خبره – فصل 2: گزرد و منطق
به سایت ایران ترجمه خوش آمدید . Welcome To Irantarjome    دوشنبه 09 اسفند 1395

منوی کاربری

:نام کاربری
:کلمه عبور


عضویت

گروه مقالات

بازکردن | بستن

کاربران آنلاین

کاربران مهمان : 62
کاربر تعداد بازدید

آمار سایت

جزئیات مقاله

تعداد بازدید این مقاله : 45


تاریخ انتشار مقاله : 1395 - 10 - 11

مدیر گروه / مترجم : دکتر سید قاسم کیانژاد
کدترجمه: COM-7-21
گروه: كامپيوتر->علوم رايانه
نام فارسی: اصول سیستم های خبره – فصل 2: گزرد و منطق
نام انگلیسی: Principles of Expert Systems - Chapter 2: Logic and Resolution
تعداد صفحات فارسی: 112 تعداد صفحات انگلیسی: 64
قیمت:480,000 ريال سال: 1991 انتشارات: علمی - دانشگاهی
مرجع فارسی: پیتر جی اف لوکاس – لیندا سی ون در گاگ مرکز علوم ریاضی و کامپیوتر، آمستردام
مرجع انگلیسی: Peter J.F. Lucas & Linda C. van der Gaag; Centre for Mathematics and Computer Science, Amsterdam, published in 1991 by Addison-Wesley
دسته بندی: فصلي از كتاب يا مقاله توضیحات: فصل 2 کتاب اصول سیستم های خبره
وب سایت: کشور: هلند
کلمات کلیدی: سیستم های خبره, Expert Systems:

شرح مقاله:

 

اصول سیستم های خبره فصل 2. گزرد و منطق

 

فهرست مطالب

2. گزرد و منطق

2.1 منطق گزاره ای

2.2. منطق گزاره ای مرتبه اول

2.3. فرم گزاره ای منطق

2.4. استدلال در منطق : قواعد استنتاج

2.5. گزرد و منطق گزاره ای

2.6. گزرد و منطق مسند مرتبه اول

2.6.1. جایگزینی و یکپارچه سازی

2.6.2. جایگزینی و یکی سازی در LISP

2.7. راهکارهای گزرد

2.7.1. گزرد معنایی

2.7.2. گزرد SLD : یک فرم خاص گزرد خطی

2.10 . منطق به عنوان یک فرمول بندی شاخص

مقالات پیشنهادی برای مطالعه

تمرین ها

 

 

 

یکی از اولین فرمول بندی ها برای نمایش دانش منطق است. فرمول بندی با استفاده از یک ترکیب و معناشناسی معین مشخص شده است و برخی از قواعد استنتاجی را برای تغییر فرمول های منطقی بر مبنای فرم آنها مشخص می کند تا شناخت جدیدی حاصل شود. منطق یک سنت غنی و طولانی دارد که به یونان قدیم برمی گردد : ریشه آن را می توان به ارسطو نسبت داد. با این حال تداوم این مورد را می توان تا قرن حاضر در نظر گرفت یعنی زمانی که اصول ریاضی منطق مدرن بوسیله ریاضیدانانی نظیرT. Skolem ، J.
Herbrand
، K. G¨odel  و G. Gentzen  بنیان گذاشته شد. کار این ریاضیدانان بزرگ عرضه کامل منطق قبل از پدیدار شدن علوم کامپیوتری بود.

از اوایل دهه پنجاه، به مجرد ارائه کامپیوترهای دیجیتال نسل اول تحقیق در مورد استفاده از منطق برای حل مسئله با ابزارهای کامپیوتری آغاز شد. این تحقیق با توجه به دیدگاه های مختلف در نظر گرفته شد. چندین محقق عمدتا به مکانیزاسیون اثبات های ریاضی علاقه مند بودند و تولید خودکار کارآمد چنین اثبات هایی هدف اصلی آنها تلقی شد. یکی از این متخصصین دکتر ام. دیویس می باشد که در سال 1954 یک برنامه کامپیوتری را ابداع کرد که قادر به اثبات چندین قضیه از برخی نظریات بود. بزرگترین پیروزی از برنامه اثبات آن بود که حاصل جمع دو عدد زوج نهایتا زوج می باشد. محققان دیگر، با این حال،  بیشتر به مطالعه و حل مشکلات بشری و اکتشاف موارد علاقه نشان می دادند. برای این محققان، استدلال ریاضی به عنوان یک نقطه عزیمت در خصوص مطالعه اکتشافی بشمار آمده و منطق نیز بعنوان جوهره ریاضیات مشخص شد که صرفا به عنوان یک زبان مناسب برای نمایش رسمی استدلال انسانی بکار می رود. مثال کلاسیک این رویکرد در این زمینه اثبات قضیه یک برنامه تهیه شده در سال 1955 بوسیله A. Newell ، J.C. Shaw  و H.A. Simon  با نام ماشین تئوری منطق بود. این برنامه قادر به اثبات چندین قضیه مرتبط با اصول ریاضیات A.N. Whitehead و B. Russell بود. در ابتدای سال 1961، مک کارتی (J. McCarthy )  و همراه با افراد دیگری اظهار می کنند که این اثبات قضیه را می توان برای حل مسائل غیر ریاضی نیز بکار برد. این ایده توسط محققان متعدد بکار رفت.

...

 

 

 

مقالات مرتبط

تبلیغات

  • فروشگاه کتاب زبان ایران
    تعداد بازدید : 4056
  • میدان انقلاب تهران
    تعداد بازدید : 3653
  • موسسه انتشارات صانعی
    تعداد بازدید : 2974
  • کتابخانه تخصصی زبان انگلیسی
    تعداد بازدید : 3116
  • ایران مهتا
    تعداد بازدید : 1519
  • گروه تجارت الکترونیک پارسا
    تعداد بازدید : 1358

تبلیغات کاربران