کتاب الکترونیکی

ربات های استدلال: هنر و علم برنامه نویسی عوامل رباتیک

Reasoning Robots: The Art and Science of Programming Robotic Agents

دانلود کتاب Reasoning Robots: The Art and Science of Programming Robotic Agents (به فارسی: ربات های استدلال: هنر و علم برنامه نویسی عوامل رباتیک) نوشته شده توسط «Michael Thielscher»

اطلاعات کتاب ربات های استدلال: هنر و علم برنامه نویسی عوامل رباتیک

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Michael Thielscher

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2005

تعداد صفحه: 334

حجم کتاب: 9 مگابایت

کد کتاب: 1402030681 , 9781402030697 , 9781402030680

نوبت چاپ: 1

توضیحات کتاب ربات های استدلال: هنر و علم برنامه نویسی عوامل رباتیک

این کتاب یک درمان عمیق و یکنواخت از یک مدل ریاضی برای استدلال عوامل رباتیک ارائه می دهد. این کتاب همچنین حاوی مقدمه ای بر روش و سیستم برنامه نویسی مبتنی بر این مدل است. مدل ریاضی که به عنوان “حساب فلوئنت” شناخته می شود، چگونگی استفاده از منطق مرتبه اول کلاسیک را برای تنظیم مدل های نمادین جهان های پویا و نشان دادن دانش اعمال و اثرات آنها شرح می دهد. عوامل رباتیک از این دانش و امکانات استدلالی خود استفاده می کنند. هنگام دنبال کردن راهبردهای بلندمدت و سطح بالا تصمیم بگیرید. این کتاب موضوعات استدلال در مورد ورودی حسگر، عمل تحت دانش ناقص و عدم قطعیت، برنامه ریزی، عیب یابی هوشمند و بسیاری از موضوعات دیگر را پوشش می دهد. مدل ریاضی با یک روش برنامه نویسی تکمیل شده است. که به خوانندگان اجازه می دهد تا عوامل رباتیک استدلالی خود را طراحی کنند. این کتاب شامل جزئیات اجرای FLUX با استفاده از زبان برنامه‌نویسی استاندارد PROLOG است که به خوانندگان اجازه می‌دهد تا سیستم عمومی را مجدداً پیاده‌سازی یا اصلاح و گسترش دهند. طراحی عوامل مستقل، از جمله ربات ها، یکی از هیجان انگیزترین و چالش برانگیزترین اهداف هوش مصنوعی است. عاملهای رباتیک استدلالی از یک سو پیوندی بین بازنمایی دانش و استدلال و از سوی دیگر برنامه نویسی عامل و کنترل ربات ایجاد می کنند. این کتاب یک مدل ریاضی یکنواخت برای طرح مسئله محور و از بالا به پایین عوامل منطقی ارائه می دهد که از استدلال برای تصمیم گیری، برنامه ریزی و عیب یابی استفاده می کنند. اجرای مدل ریاضی توسط یک برنامه عمومی PROLOG به خوانندگان اجازه می دهد تا طراحی عوامل رباتیک استدلالی را تمرین کنند. از آنجایی که تمام جزئیات پیاده سازی داده شده است، سیستم عمومی را می توان به راحتی تغییر داد و گسترش داد.

The book provides an in-depth and uniform treatment of a mathematical model for reasoning robotic agents. The book also contains an introduction to a programming method and system based on this model. The mathematical model, known as the “Fluent Calculus”, describes how to use classical first-order logic to set up symbolic models of dynamic worlds and to represent knowledge of actions and their effects. Robotic agents use this knowledge and their reasoning facilities to make decisions when following high-level, long-term strategies. The book covers the issues of reasoning about sensor input, acting under incomplete knowledge and uncertainty, planning, intelligent troubleshooting, and many other topics. The mathematical model is supplemented by a programming method which allows readers to design their own reasoning robotic agents. The usage of this method, called “FLUX”, is illustrated by many example programs. The book includes the details of an implementation of FLUX using the standard programming language PROLOG, which allows readers to re-implement or to modify and extend the generic system. The design of autonomous agents, including robots, is one of the most exciting and challenging goals of Artificial Intelligence. Reasoning robotic agents constitute a link between knowledge representation and reasoning on the one hand, and agent programming and robot control on the other. The book provides a uniform mathematical model for the problem-driven, top-down design of rational agents, which use reasoning for decision making, planning, and troubleshooting. The implementation of the mathematical model by a general PROLOG program allows readers to practice the design of reasoning robotic agents. Since all implementation details are given, the generic system can be easily modified and extended.

دانلود کتاب «ربات های استدلال: هنر و علم برنامه نویسی عوامل رباتیک»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان