Practical reasoning with norms for autonomous software agents

عوامل مستقل نرم افزاری که در محیط های پویا عمل می کنند، باید به طور مداوم در مورد اهداف خود به دنبال اهداف خود باشند، در حالی که با در نظر گرفتن هنجارهایی که ممکن است بر آن اعمال تحمیل شود. استدلال عملی عرفی، عاملان تصمیم گیری درمورد اینکه چه چیزی برای آنها مناسب است (نه) در یک موقعیت خاص، را پشتیبانی می کند. چه چیزی استدلال عملی را چالش برانگیز است، درگیری بین اهدافی است که عوامل به دنبال آن هستند و هنجارهایی که نمایندگان در تلاش برای حفظ آن هستند. ما پیشنهاد رسمی برای اجازه دادن به عوامل برای برنامه ریزی برای اهداف و هنجارهای متعدد در حضور اقدامات دوطرفه که می تواند همزمان اجرا شود. ما برنامه ها را بر مبنای مفاهیم نظری تصمیم گیری (یعنی سودمند) مقایسه می کنیم، به طوری که افزایش سود از اهداف و از دست دادن سود نقض های هنجاری پایه ای برای این مقایسه است. مجموعه ای از برنامه های بهینه شامل برنامه هایی است که ابزار کلی را به حداکثر برسانند، که هر کدام می توانند توسط عامل برای اجرا انتخاب شوند. ما اجرای طرح پیشنهاد ما را در برنامه پاسخ تنظیم می کنیم، به این ترتیب ما می توانیم مسئله اصلی را از لحاظ یک برنامه منطقی که می تواند برای راه حل هایی با خواص خاص مورد سوء استفاده قرار گیرد، مطرح کنیم.