Commonsense Reasoning, Second Edition: An Event Calculus Based Approach

دادن عقل سلیم به رایانه ها یکی از اهداف بلندمدت اصلی تحقیقات هوش مصنوعی است. یک رویکرد برای این مشکل، رسمی کردن استدلال عقل سلیم با استفاده از منطق ریاضی است. استدلال عام: یک رویکرد مبتنی بر حساب دیفرانسیل و انتگرال یک مرجع مفصل و سطح بالا در مورد استدلال عقل سلیم مبتنی بر منطق است. از حساب رویداد استفاده می کند، یک ابزار بسیار قدرتمند و قابل استفاده برای استدلال عقل سلیم، که اریک مولر آن را به عنوان موثرترین ابزار برای گسترده ترین طیف برنامه ها نشان می دهد. او یک کار به روز ارائه می دهد که استفاده از حساب رویداد را برای استدلال عقل سلیم ترویج می کند و اطلاعات پراکنده در بسیاری از کتاب ها و مقالات را در یک مکان می آورد. مولر دانش به دست آمده در استفاده از حساب رویداد را به اشتراک می‌گذارد و ادبیات را با راه‌حل‌های دقیق حساب رویدادی که حوزه‌های بسیاری از دنیای عامیانه را در بر می‌گیرد، گسترش می‌دهد.

نسخه دوم دارای فصل‌های جدیدی در مورد استدلال عقل سلیم با استفاده از اطلاعات بدون ساختار از جمله واتسون است. سیستم، استدلال عامیانه با استفاده از برنامه‌نویسی مجموعه پاسخ، و تکنیک‌هایی برای کسب دانش عامیانه از جمله جمع‌سپاری.

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

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

To endow computers with common sense is one of the major long-term goals of artificial intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning: An Event Calculus Based Approach is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions that span many areas of the commonsense world.

The Second Edition features new chapters on commonsense reasoning using unstructured information including the Watson system, commonsense reasoning using answer set programming, and techniques for acquisition of commonsense knowledge including crowdsourcing.

Drawing upon years of practical experience and using numerous examples and illustrative applications Erik Mueller shows you the keys to mastering commonsense reasoning. You'll be able to:

• Understand techniques for automated commonsense reasoning
• Incorporate commonsense reasoning into software solutions
• Acquire a broad understanding of the field of commonsense reasoning.
• Gain comprehensive knowledge of the human capacity for commonsense reasoning