Results 1 - 10 of 692

Reasoning about beliefs and actions under computational resource constraints

by Eric J. Horvitz - in Proceedings of the 1989 Workshop on Uncertainty and AI , 1987
"... Although many investigators arm a desire to build reasoning systems that behave consistently with the axiomatic basis dened by probability theory and utility theory, limited resources for engineering and computation can make a complete normative anal-ysis impossible. We attempt to move discussion be ..."
Abstract - Cited by 219 (22 self) - Add to MetaCart
Although many investigators arm a desire to build reasoning systems that behave consistently with the axiomatic basis dened by probability theory and utility theory, limited resources for engineering and computation can make a complete normative anal-ysis impossible. We attempt to move discussion

Coalitions Among Computationally Bounded Agents

by Tuomas W. Sandholm, Victor R. Lesser - Artificial Intelligence , 1997
"... This paper analyzes coalitions among self-interested agents that need to solve combinatorial optimization problems to operate e ciently in the world. By colluding (coordinating their actions by solving a joint optimization prob-lem) the agents can sometimes save costs compared to operating individua ..."
Abstract - Cited by 203 (26 self) - Add to MetaCart
individually. A model of bounded rationality is adopted where computation resources are costly. It is not worthwhile solving the problems optimally: solution quality is decision-theoretically traded o against computation cost. A normative, application- and protocol-independent theory of coalitions among

On the logic of normative systems

by Wiebe Van Der Hoek, Juan A. Rodríguez-aguilar, Carles Sierra, Michael Wooldridge - In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07 , 2007
"... We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a generalisation of the well-known branchingtime temporal logic CTL, in which the path quantifiers A (“on all paths... ”) and E (“on some path... ”) are replaced by the indexed deontic operators Oη and ..."
Abstract - Cited by 33 (12 self) - Add to MetaCart
and Pη, where for example Oηϕ means “ϕ is obligatory in the context of normative system η”. After defining the logic, we give a sound and complete axiomatisation, and discuss the logic’s relationship to standard deontic logics. We present a symbolic representation language for models and normative

Power in Normative Systems

by Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge , 2009
"... Power indices such as the Banzhaf index were originally developed within voting theory in an attempt to rigorously characterise the influence that a voter is able to wield in a particular voting game. In this paper, we show how such power indices can be applied to understanding the relative importan ..."
Abstract - Cited by 9 (4 self) - Add to MetaCart
importance of agents when we attempt to devise a coordination mechanism using the paradigm of social laws, or normative systems. Understanding how pivotal an agent is with respect to the success of a particular social law is of benefit when designing such social laws: we might typically aim to ensure

OBJECTIVE: Determine normative values for the

by unknown authors
"... Lund score for computed tomographic (CT) scans of the paranasal sinuses. METHODS: Patients undergoing CT of the paranasal sinus region for nonsinusitis causes were evaluated and staged according to the Lund-MacKay system. Complete and near complete Lund scores were computed from these scans and the ..."
Abstract - Add to MetaCart
Lund score for computed tomographic (CT) scans of the paranasal sinuses. METHODS: Patients undergoing CT of the paranasal sinus region for nonsinusitis causes were evaluated and staged according to the Lund-MacKay system. Complete and near complete Lund scores were computed from these scans

The Stability of Hedonic Coalition Structures

by Anna Bogomolnaia, Matthew O. Jackson - GAMES AND ECONOMIC BEHAVIOR , 1998
"... We consider the partitioning of a society into coalitions in purely hedonic settings; i.e., where each player's payoff is completely determined by the identity of other members of her coalition. We first discuss how hedonic and non-hedonic settings differ and some sufficient conditions for t ..."
Abstract - Cited by 114 (1 self) - Add to MetaCart
We consider the partitioning of a society into coalitions in purely hedonic settings; i.e., where each player's payoff is completely determined by the identity of other members of her coalition. We first discuss how hedonic and non-hedonic settings differ and some sufficient conditions

On the Logic of Normative Systems

by unknown authors
"... We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a generalisation of the well-known branchingtime temporal logic CTL, in which the path quantifiers A (“on all paths... ”) and E (“on some path... ”) are replaced by the indexed deontic operators Oη and ..."
Abstract - Add to MetaCart
and Pη, where for example Oηϕ means “ϕ is obligatory in the context of normative system η”. After defining the logic, we give a sound and complete axiomatisation, and discuss the logic’s relationship to standard deontic logics. We present a symbolic representation language for models and normative

On the Multimodal Logic of Normative Systems

by Pilar Dellunde
"... Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logic L, for every modality ✷i and normative system η, we expand the languag ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-Agent Systems. Given a multimodal logic L, for every modality ✷i and normative system η, we expand

1 Normative Positions

by Marek Sergot
"... abstract. The Kanger-Lindahl theory of normative positions is an attempt to apply the tools of modal logic to the formalisation of Hohfeld’s ‘fundamental legal conceptions’, to the construction of a formal theory of duties and rights, and to the formal characterisation generally of complex normative ..."
Abstract - Add to MetaCart
normative relations that can hold between (pairs of) agents with regard to an action by one or other of them. The theory employs a standard deontic logic, a logic of action/agency of the ‘brings it about ’ or ‘sees to it ’ kind, and a method of mapping out in a systematic and exhaustive fashion the complete

A Dynamic Logic of Normative Systems

by Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard - PROCEEDINGS OF THE TWENTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE , 2011
"... We propose a logical framework to represent and reason about agent interactions in normative systems. Our starting point is a dynamic logic of propositional assignments whose satisfiability problem is PSPACE-complete. We show that it embeds Coalition Logic of Propositional Control CL-PC and that var ..."
Abstract - Cited by 5 (4 self) - Add to MetaCart
We propose a logical framework to represent and reason about agent interactions in normative systems. Our starting point is a dynamic logic of propositional assignments whose satisfiability problem is PSPACE-complete. We show that it embeds Coalition Logic of Propositional Control CL
Results 1 - 10 of 692