یکی از ابزارهای هوش ماشین آتاماتاهای احتمالی است.یک رویکرد برای توسعه آتاماتای احتمالی در واقع تعمیم کلاس آتاماتاها است. دراین رویکرد برحسب اینکه احتمال چگونه استفاده می شود و چه نقشی را در آتاماتا بازی می کند آتاماتا نامهای گوناگونی می یابد. و مسیر دیگر رویکردآماری است که آتاماتارا متشکل از تعدادی متغییر تصادفی در نظر می گیرد. اگر بخواهیم این دو رویکرد را کاملا از هم جدا کنیم، خروجی رویکرد اول...

سیستم استنتاج طبیعی روشی است که با استفاده از تعدادی قاعده و فرض، و بدون استفاده از هیچ اصل موضوعی، استدلال ها و قضایای منطق را ثابت می کند. و از آنجا که این روش به زبان طبیعی و طبیعت ذهن انسان نزدیک است آن را روش استنتاج طبیعی می نامند. این سیستم که تقریرهای مختلف و متعددی دارد به خاطر مشکلاتی که سیستم های اصل موضوعی(که در اوخر قرن نوزدهم و اوایل قرن بیستم توسط فرگه و راسل وایتهد ابداع شده بود...

باورهای ما در زندگی روزمره، عمدتاً ریشه در مشاهده دارد، با این حال، بسیاری از باورهای ما نه از مشاهدة مستقیم امور، بلکه از استنتاج به دست می آید: استنتاج امور مشاهده نشده از امور مشاهده شده. اما چنین استنتاج هایی مسأله آفرین است. دو پرسش اصلی در این باره مطرح است: نخست اینکه فرایند این گونه استنتاجات چگونه فرایندی است؟ یعنی توصیف دقیق فرایند این استنتاجات. و دوم اینکه بر چه اساسی باورهای حاصل از...

منطق ارسطو در دوران جدید با مخالفت­های بسیاری مواجه بوده است و برخی نیز بر آن بودند که با وجود نظریه مجموعه ها و منطق محمولات، دیگر نیازی به منطق ارسطو نیست. اما گستره تحقیقاتی که منطقدانان غربی در چند دهه اخیر در زمینه منطق ارسطو به عمل آورده­ اند، نشان می­دهد که این منطق هنوز هم زنده و قابل اعتنا است. در میان مطالعات انجام گرفته درباره منطق ارسطو، دو رویکرد را می­توان از یکدیگر متمایز ساخت. د...

باورهای ما در زندگی روزمره، عمدتاً ریشه در مشاهده دارد، با این حال، بسیاری از باورهای ما نه از مشاهدة مستقیم امور، بلکه از استنتاج به دست می‌آید: استنتاج امور مشاهده‌نشده از امور مشاهده‌شده. اما چنین استنتاج‌هایی مسأله‌آفرین است. دو پرسش‌ اصلی در این باره مطرح است: نخست اینکه فرایند این گونه استنتاجات چگونه فرایندی است؟ یعنی توصیف دقیق فرایند این استنتاجات. و دوم اینکه بر چه اساسی باورهای حاصل ا...