Deontic Logic in Computer Science: 11th International by Robert Demolombe (auth.), Thomas Ågotnes, Jan Broersen, Dag

By Robert Demolombe (auth.), Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)

This quantity offers the refereed lawsuits of the eleventh foreign convention on Deontic common sense in machine technology, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers incorporated within the quantity have been conscientiously reviewed and chosen from 29 submissions. subject matters coated comprise logical examine of normative reasoning, formal research of normative options and normative structures, formal specification of features of norm-governed multi-agent platforms and self sufficient brokers, normative points of protocols for conversation, negotiation and multi-agent selection making, formal illustration of criminal wisdom, formal specification of normative structures for the administration of bureaucratic strategies in public or inner most management, and functions of normative good judgment to the specification of database integrity constraints.

Show description

Read or Download Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings PDF

Best logic books

Logic Pro X: Audio and Music Production

From preliminary demos to blending and learning, professional authors Mark Cousins and Russ Hepworth-Sawyer assist you get the main from good judgment professional X. via exploring the basic workflow and the artistic chances provided through Logic’s digital tools and results, good judgment professional X: Audio and track creation leads you thru the track production and creation procedure, supplying you with all of the guidance and tips utilized by the professionals to create release-quality recordings.

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

This ebook constitutes the completely refereed post-conference complaints of the sixteenth overseas convention on good judgment for Programming, man made Intelligence, and Reasoning, LPAR 2010, which happened in Dakar, Senegal, in April/May 2010. The 27 revised complete papers and nine revised brief papers offered including 1 invited speak have been conscientiously revised and chosen from forty seven submissions.

Additional resources for Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

Sample text

Definition 3 is a generalization of Definition 2 in that players are allowed to evaluate their choices utilizing other players’ preferences. Again building upon [10], we call agreement a profile of strategies in which each player i’s component is a dominant strategy for player μ(i), for μ : N → N being a bijection onto the set of players. Intuitively an agreement is a representation of indirect reciprocity: each player does a favour to another player, and the favour will eventually be returned to him, not necessarily by that same player.

Definition 3 (Dominant strategies for someone else) Let G = (N, W, {Σi }i∈N , { i}i∈N , o) be a game and let j, k ∈ N . The strategy σj∗ ∈ Σj is called dominant strategy for player k if and only if ∀σ−j , ∀σj , o(σj∗ , σ−j ) k o(σj , σ−j ). A strategy is dominant for some player if it is a dominant strategy from the point of view of that player, and should be thought of as a sort of favour that player can receive. Definition 3 is a generalization of Definition 2 in that players are allowed to evaluate their choices utilizing other players’ preferences.

Contrary-to-duty imperatives and deontic logic. Analyse 24, 33– 36 (1963) 2. : On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995) 3. : Gentle murder, or the adverbial samaritan. Journal of Philosophy 81, 193–196 (1984) 30 S. Colombo Tosatto et al. 4. ): Handbook of Normative systems, vol. 1. College Publications, London (to appear) 5. : An analysis of some deontic logics. Nˆ ous 3, 373–398 (1969) 6.

Download PDF sample

Rated 4.77 of 5 – based on 18 votes