خرید و دانلود نسخه کامل کتاب Reasoning about rational agents

توضیحاتی در مورد کتاب



یکی از اهداف علم کامپیوتر مدرن مهندسی برنامه های کامپیوتری است که می توانند به عنوان عامل های مستقل و منطقی عمل کنند. نرم افزاری که به طور مستقل می تواند تصمیمات خوبی در مورد اینکه چه اقداماتی از طرف ما انجام دهد و آن اقدامات را اجرا کند، بگیرد. برنامه های کاربردی از برنامه های کوچکی که به طور هوشمندانه خرید و فروش کالاها را از طریق تجارت الکترونیک در وب جستجو می کنند تا کاوشگرهای فضایی مستقل را شامل می شود. این کتاب بر مدل باور-میل-نیت (BDI) عامل های عقلانی تمرکز دارد که اولویت باورها، امیال و نیات را در کنش عقلانی تشخیص می دهد. مدل BDI دارای سه نقطه قوت متمایز است: فلسفه زیربنایی مبتنی بر استدلال عملی در انسان، معماری نرم‌افزاری که در سیستم‌های واقعی قابل پیاده‌سازی است، و خانواده‌ای از منطق‌ها که از نظریه رسمی عاملیت منطقی پشتیبانی می‌کنند. این کتاب یک منطق BDI به نام LORA را معرفی می‌کند. (منطق فاعلان عقلی). علاوه بر مؤلفه BDI، LORA شامل یک مؤلفه زمانی است که به شخص امکان می دهد پویایی نحوه تغییر عوامل و محیط آنها در طول زمان را نشان دهد، و یک مؤلفه عمل، که به فرد اجازه می دهد تا اقداماتی را که عامل ها انجام می دهند و تأثیرات آن را نشان دهد. اقدامات. این کتاب نشان می‌دهد که چگونه می‌توان از LORA برای دریافت بسیاری از مؤلفه‌های یک نظریه عاملیت عقلانی، از جمله مفاهیمی مانند ارتباطات و همکاری استفاده کرد.