وبلاگ سهراب جلوه گر جلوه‌گر؛ هوش مصنوعی

██ چکیده‌ی مطلب‌های فصل دوازدهم نسخه‌ی پولی ایبوک هوش مصنوعی ██

مترجم: سهراب جلوه گر جلوه‌گر

چکیده‌ی مطلب‌های فصل دوازدهم- استنتاج در منطق مرتبه‌ی اوّل

متغیّری که دارای سور عمومی است، می‌تواند با هر مقدار ممکن، جایگزین شود.

متغیّری که دارای سور وجودی است، باید دست‌کم برای یک مقدار درست باشد، می‌توانیم این مقدار را k بنامیم، که در این صورت، به k، یک ثابتِ اِسکُلِم می‌گوئیم.

هر پایگاه دانش منطق مرتبه‌ی اوّل‌ می‌تواند به صورت گزاره‌بندی شده‌ بیان شود‌؛ در این مورد، مسأله‌ای که وجود دارد این است که گزاره‌بندی می‌تواند تعداد زیادی جمله‌های نامربوط را به وجود آورد.

یکی‌سازی‌، این است که [برخلاف گزاره‌بندی،] فقط برای عباراتی که به ما کمک می‌کنند تا چیزهایی را ثابت نماییم‌، می‌خواهیم جایگزین‌هایی پیدا کنیم‌.

اگر بیش از یک جانشین‌ وجود داشته باشد که بتوانند دو عبارت که به نظر می‌رسد یکسان هستند را بسازند،کلّی‌ترین یکی کننده‌ها را در نظر می‌گیریم.

در روش زنجیره‌ی پیشرُو، اثبات‌ها با واقعیّت‌ها یا مقدّم‌ها شروع می‌شوند و جمله‌های جدید با استفاده از روش تعمیم قیاس استثنائی به دست می‌آیند، تا زمانی که جمله‌ی هدف یا پرسش(پرس و جو) به وجود آید.

در روش زنجیره‌ی پسرُو، به طور معکوس‌، از هدف به طرف واقعیّت‌هایی که باید برای هدف‌ نشان داده شوند‌، حرکت می‌کنیم‌.

تحلیل، در منطق مرتبه‌ی اوّل‌، شبیه تحلیل،در منطق گزاره‌ای عمل می‌کند‌.توا÷÷تاتت