Results 1  10
of
692
Reasoning about beliefs and actions under computational resource constraints
 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 analysis 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 analysis impossible. We attempt to move discussion
Coalitions Among Computationally Bounded Agents
 Artificial Intelligence
, 1997
"... This paper analyzes coalitions among selfinterested 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 problem) 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 decisiontheoretically traded o against computation cost. A normative, application and protocolindependent theory of coalitions among
On the logic of normative systems
 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 wellknown 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
, 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
"... 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 LundMacKay 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 LundMacKay system. Complete and near complete Lund scores were computed from these scans
The Stability of Hedonic Coalition Structures
 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 nonhedonic 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 nonhedonic settings differ and some sufficient conditions
On the Logic of Normative Systems
"... We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a generalisation of the wellknown 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
"... 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 MultiAgent 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 MultiAgent Systems. Given a multimodal logic L, for every modality ✷i and normative system η, we expand
1 Normative Positions
"... abstract. The KangerLindahl 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
 PROCEEDINGS OF THE TWENTYSECOND 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 PSPACEcomplete. We show that it embeds Coalition Logic of Propositional Control CLPC 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 PSPACEcomplete. We show that it embeds Coalition Logic of Propositional Control CL
Results 1  10
of
692