دانلود کتاب Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
کتاب مبانی منطقی برای عوامل شناختی: مشارکت به افتخار ری ریتر نسخه زبان اصلی
دانلود کتاب مبانی منطقی برای عوامل شناختی: مشارکت به افتخار ری ریتر بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
نام کتاب : Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
ویرایش : 1
عنوان ترجمه شده به فارسی : مبانی منطقی برای عوامل شناختی: مشارکت به افتخار ری ریتر
سری : Artificial Intelligence
نویسندگان : Richard Rosemberg (auth.), Prof. Dr. Hector J. Levesque, Prof. Dr. Fiora Pirri (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1999
تعداد صفحات : 418
ISBN (شابک) : 9783642643064 , 9783642602115
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 31 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این مجموعه مقالات حاصل کار جامعه ای از محققان در هوش مصنوعی است که در طی بیست سال گذشته، فرمالیسم های منطقی و روش هایی را برای توصیف رفتارهای هوشمندانه عامل ها، سیستم ها و فرآیندهای مبتنی بر دانش بر اساس شرایط توسعه داده اند. استدلال در مورد محیط، اقدامات و فعالیت هایی که قادر به تغییر وضعیت فعلی هستند. این کتاب به استدلال عقل سلیم، به‌ویژه با فرمالیسم منطق پیش‌فرض رایتر، نظریه اعمال و استدلال در مورد اعمال، از جمله فرمالیسم‌ها برای کنترل روبات‌های سطح بالا، و رویکردهای مختلف به بازنمایی دانش، همگی بر اساس منطق نمادین، می‌پردازد.
فهرست مطالب :
Front Matter....Pages I-XII
Ray Reiter - A Memoir....Pages 1-10
Default Logic and purity of reasoning....Pages 11-28
Computing Domain Specific Information....Pages 29-40
Specifying Database Transactions and Active Rules in the Situation Calculus....Pages 41-56
The Frame Problem and Bayesian Network Action Representations*....Pages 57-71
Philosophical and Scientific Presuppositions of Logical AI....Pages 72-78
On existence of extensions for default theories....Pages 79-85
An Incremental Interpreter for High-Level Programs with Sensing....Pages 86-102
An Improved Incremental Algorithm for Generating Prime Implicates....Pages 103-112
Fixpoint 3-valued semantics for autoepistemic logic....Pages 113-136
Toward Efficient Default Reasoning....Pages 137-150
Action, Time and Default....Pages 151-154
Explanatory Diagnosis: Conjecturing Actions to Explain Observations....Pages 155-172
On sensing and off-line interpreting in GOLOG....Pages 173-189
Reactivity in a Logic-Based Robot Programming Framework (Extended Version)....Pages 190-207
Success of Default Logic....Pages 208-212
Search Algorithms in the Situation Calculus....Pages 213-233
Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter....Pages 234-299
Action Inventory for a Knowledge-Based Colloquium Agent. Preliminary Version....Pages 300-308
A GOLOG Specification of a Hypertext System....Pages 309-324
Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change....Pages 325-351
What Sort of Computation Mediates Best between Perception and Action?....Pages 352-369
Modeling and Analysis of Hybrid Control Systems....Pages 370-396
Back Matter....Pages 397-407
توضیحاتی در مورد کتاب به زبان اصلی :
This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with Reiter's Default Logic formalism, the theory of actions and reasoning about actions, including formalisms for high-level robot control, and different approaches to knowledge representation, all based on symbolic logic.
پست ها تصادفی