کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9517979 | 1633620 | 2005 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On obligations and normative ability: Towards a logical analysis of the social contract
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We develop a logic of normative ability, as an extension to the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman. While conventional atl contains cooperation modalities of the form ãCãÏ, intended to express the fact that coalition C have the capability to bring about Ï, in Normative atl* (natl*), these expressions are replaced with constructs of the form ãη:CãÏ, with the intended interpretation that C have the ability to achieve Ï within the context of the normative system η. A normative system is a set of constraints on the actions that may be performed in any give state. We show how these normative ability constructs can be used to define obligations and permissions: Ï is said to be obligatory within the context of the normative system η if Ï is a necessary consequence of every agent in the system behaving according to the conventions of η. After introducing natl*, we investigate some of its axiomatic properties. To demonstrate its value as a logic for reasoning about multi-agent systems, we show how natl* can be used to formalise a version of the social contract.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 3, Issues 3â4, September 2005, Pages 396-420
Journal: Journal of Applied Logic - Volume 3, Issues 3â4, September 2005, Pages 396-420
نویسندگان
Michael Wooldridge, Wiebe van der Hoek,