وقف رایانه ها با عقل سلیم یکی از مهمترین اهداف بلند مدت تحقیقات هوش مصنوعی است. یک رویکرد برای این مسئله رسمی سازی استدلال عرف با استفاده از منطق ریاضی است. استدلال عوامیک مرجع دقیق و سطح بالا در مورد استدلال عقل مبتنی بر منطق است. این از حساب رویداد استفاده می کند ، ابزاری بسیار قدرتمند و قابل استفاده برای استدلال رایج ، که اریک T. مولر به عنوان م mostثرترین ابزار برای گسترده ترین کاربردها نشان می دهد. او یک کار به روز ارائه می دهد که در آن استفاده از حساب رویداد برای استدلال رایج ، و آوردن اطلاعات به یک مکان پراکنده در بسیاری از کتاب ها و مقالات ارائه می شود. مولر دانش حاصل از استفاده از حساب رویداد را به اشتراک می گذارد و ادبیات را با راه حل های حساب شده دقیق رویداد برای مسائلی که حوزه های بسیاری از جهان عرف را در بر می گیرد ، گسترش می دهد.
- زمینه های اصلی استدلال عرف را شامل اقدامات ، تغییر ، پیش فرض ها ، فضا و حالات روانی را پوشش می دهد.
- اولین کتاب کامل در مورد استدلال عرف برای استفاده از حساب رویداد.
- محاسبات رویداد را در چارچوب استدلال عوام متنی می کند و حساب کلی رویداد را به عنوان بهترین روش در کل معرفی می کند.
- روی چگونگی استفاده از فرمالیسم حساب دیفرانسیل و انتگرال برای انجام استدلال عرف متمرکز می شوید ، در حالی که مقالات و کتابهای موجود رسمیت ها را خود بررسی می کنند.
- برای هر نمونه شامل اثبات و خلاصه کاملاً کار شده است
