دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
دانلود کتاب مبانی منطقی برای عوامل شناختی: مشارکت به افتخار ری ریتر
مشخصات کتاب
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
ویرایش: 1 نویسندگان: Richard Rosemberg (auth.), Prof. Dr. Hector J. Levesque, Prof. Dr. Fiora Pirri (eds.) سری: Artificial Intelligence ISBN (شابک) : 9783642643064, 9783642602115 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 418 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 31 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب مبانی منطقی برای عوامل شناختی: مشارکت به افتخار ری ریتر: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق و مبانی ریاضی، پیچیدگی
در صورت تبدیل فایل کتاب Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی منطقی برای عوامل شناختی: مشارکت به افتخار ری ریتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی منطقی برای عوامل شناختی: مشارکت به افتخار ری ریتر
این مجموعه مقالات حاصل کار جامعه ای از محققان در هوش مصنوعی است که در طول بیست سال گذشته، فرمالیسم های منطقی و روش هایی را برای توصیف رفتارهای هوشمند عامل ها، سیستم ها و فرآیندهای مبتنی بر دانش از نظر ایجاد کرده اند. استدلال در مورد محیط، اقدامات و فعالیت هایی که قادر به تغییر وضعیت فعلی هستند. این کتاب به استدلال عقل سلیم، به‌ویژه با فرمالیسم منطق پیش‌فرض رایتر، نظریه کنش‌ها و استدلال درباره اعمال، از جمله فرمالیسم‌ها برای کنترل روبات‌های سطح بالا، و رویکردهای مختلف به بازنمایی دانش، همگی بر اساس منطق نمادین می‌پردازد.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
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
