![]() Caire, Patrice ![]() ![]() in Normative Multi-agent Systems (2009) Detailed reference viewed: 73 (3 UL)![]() Boella, Guido ![]() ![]() ![]() in Normative Multi-agent Systems (2009) In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize ... [more ▼] In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize, guide, regulate or control interaction among distributed autonomous systems. The first six guidelines are derived from the computer science literature. From the so-called ‘normchange’ definition of the first workshop on nor- mative multiagent systems in 2005 we derive the guidelines to motivate which definition of normative multiagent system is used, to make explicit why norms are a kind of (soft) constraints deserving special analysis, and to explain why and how norms can be changed at runtime. From the so-called ‘mechanism design’ definition of the second workshop on nor- mative multiagent systems in 2007 we derive the guidelines to discuss the use and role of norms as a mechanism in a game-theoretic setting, clarify the role of norms in the multiagent system, and to relate the no- tion of “norm” to the legal, social, or moral literature. The remaining four guidelines follow from the philosophical literature: use norms also to resolve dilemmas, and in general to coordinate, organize, guide, regulate or control interaction among agents, distinguish norms from obligations, prohibitions and permissions, use the deontic paradoxes only to illustrate the normative multiagent system, and consider regulative norms in rela- tion to other kinds of norms and other social-cognitive computer science concepts. [less ▲] Detailed reference viewed: 191 (2 UL)![]() ![]() Boella, Guido ![]() ![]() ![]() in Normative Multi-agent Systems (2007) This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information ... [more ▼] This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent's goals play a role in the choice of (possibly) one of the several available revision options. Properties of the new belief revision mechanism are also investigated. [less ▲] Detailed reference viewed: 49 (1 UL)![]() Boella, Guido ![]() ![]() in Normative Multi-agent Systems (2007) We aim to explain our own approach, and we are therefore very brief with respect to recent related approaches in the area of normative multiagent sys- tems. For these other approaches, see the special ... [more ▼] We aim to explain our own approach, and we are therefore very brief with respect to recent related approaches in the area of normative multiagent sys- tems. For these other approaches, see the special issue on normative multiagent systems in Computational and Mathematical Organization Theory[68], these DROPS proceedings, the proceedings of the biannual workshops on deontic logic in computer science (¢EON) and of the COIN workshop series. 1The layout of this paper follows the Øve questions above, addressing each of them in a new section. [less ▲] Detailed reference viewed: 70 (3 UL)![]() Hansen, Jörg ![]() ![]() ![]() in Normative Multi-agent Systems (2007) The paper discusses ten philosophical problems in deontic logic: how to formally represent norms, when a set of norms may be termed `coherent', how to deal with normative conflicts, how contrary-to-duty ... [more ▼] The paper discusses ten philosophical problems in deontic logic: how to formally represent norms, when a set of norms may be termed `coherent', how to deal with normative conflicts, how contrary-to-duty obligations can be appropriately modeled, how dyadic deontic operators may be redefined to relate to sets of norms instead of preference relations between possible worlds, how various concepts of permission can be accommodated, how meaning postulates and counts-as conditionals can be taken into account, and how sets of norms may be revised and merged. The problems are discussed from the viewpoint of input/output logic as developed by van der Torre Makinson. We argue that norms, not ideality, should take the central position in deontic semantics, and that a semantics that represents norms, as input/output logic does, provides helpful tools for analyzing, clarifying and solving the problems of deontic logic. [less ▲] Detailed reference viewed: 142 (0 UL) |
||