62 found
Order:
Disambiguations
Michael Wooldridge [62]Michael J. Wooldridge [1]
  1.  4
    Reasoning about Rational Agents.Michael Wooldridge & Bruce Edmonds - unknown
    what is now the mainstream view as to the best way forward in the dream of engineering reliable software systems out of autonomous agents. The way of using formal logics to specify, implement and verify distributed systems of interacting units using a guiding analogy of beliefs, desires and intentions. The implicit message behind the book is this: Distributed Artificial Intelligence (DAI) can be a respectable engineering science. It says: we use sound formal systems; can cite established philosophical foundations; and will (...)
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  2.  12
    Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
    Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  3.  11
    Weighted argument systems: Basic definitions, algorithms, and complexity results.Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons & Michael Wooldridge - 2011 - Artificial Intelligence 175 (2):457-486.
  4.  79
    Reasoning about causality in games.Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate & Michael Wooldridge - 2023 - Artificial Intelligence 320 (C):103919.
    Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider three (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  15
    Towards a theory of intention revision.Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.
    Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  6.  13
    Reasoning about coalitional games.Thomas Ågotnes, Wiebe van der Hoek & Michael Wooldridge - 2009 - Artificial Intelligence 173 (1):45-79.
  7.  13
    Social laws in alternating time: Effectiveness, feasibility, and synthesis.Wiebe van der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.
    Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  8.  4
    Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications.Wiebe van Der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
    Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as "Alternating-time Temporal Logic". The key insight in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9.  29
    Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.
    Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view agents as practical reasoning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  10.  13
    Cooperative concurrent games.Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples & Michael Wooldridge - 2023 - Artificial Intelligence 314 (C):103806.
  11.  28
    On obligations and normative ability: Towards a logical analysis of the social contract.Michael Wooldridge & Wiebe van der Hoek - 2005 - Journal of Applied Logic 3 (3-4):396-420.
  12.  35
    A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications.Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg & Michael Wooldridge - 2009 - Mathematical Logic Quarterly 55 (4):362-376.
    Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficiently compute solution concepts assuming such representations. Marginal contribution nets , introduced by Ieong and Shoham, are one of the simplest and most influential representation schemes for coalitional games. MC-nets are a rulebased formalism, in which rules take the form pattern → value, where “pattern ” is a Boolean condition over agents, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  13.  68
    Towards a theory of intention revision.Wiebe van Der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.
    Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  14.  8
    On the logic of cooperation and propositional control.Wiebe van der Hoek & Michael Wooldridge - 2005 - Artificial Intelligence 164 (1-2):81-119.
  15.  4
    From model checking to equilibrium checking: Reactive modules for rational verification.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Artificial Intelligence 248 (C):123-157.
  16.  20
    Reasoning about equilibria in game-like concurrent systems.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Annals of Pure and Applied Logic 168 (2):373-403.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  10
    Coalition structure generation: A survey.Talal Rahwan, Tomasz P. Michalak, Michael Wooldridge & Nicholas R. Jennings - 2015 - Artificial Intelligence 229 (C):139-174.
  18.  6
    On the computational complexity of qualitative coalitional games.Michael Wooldridge & Paul E. Dunne - 2004 - Artificial Intelligence 158 (1):27-73.
  19.  14
    Incentive engineering for Boolean games.Michael Wooldridge, Ulle Endriss, Sarit Kraus & Jérôme Lang - 2013 - Artificial Intelligence 195 (C):418-439.
  20.  34
    Social laws in alternating time: effectiveness, feasibility, and synthesis.Wiebe van Der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.
    Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the Alternating-time Temporal Logic (atl) of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  7
    On the computational complexity of coalitional resource games.Michael Wooldridge & Paul E. Dunne - 2006 - Artificial Intelligence 170 (10):835-871.
  22.  16
    Preface.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):3-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  50
    A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
    ABSTRACT In this paper we define two logics, KLn and BLn, and present tableau-based decision procedures for both. KLn is a temporal logic of knowledge. Thus, in addition to the usual connectives of linear discrete temporal logic, it contains a set of unary modal connectives for representing the knowledge possessed by agents. The logic BLn is somewhat similar; it is a temporal logic that contains connectives for representing the beliefs of agents. In addition to a complete formal definition of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  3
    On the evaluation of election outcomes under uncertainty.Noam Hazon, Yonatan Aumann, Sarit Kraus & Michael Wooldridge - 2012 - Artificial Intelligence 189 (C):1-18.
  25.  10
    Anytime coalition structure generation in multi-agent systems with positive or negative externalities.Talal Rahwan, Tomasz Michalak, Michael Wooldridge & Nicholas R. Jennings - 2012 - Artificial Intelligence 186 (C):95-122.
  26.  9
    Forming k coalitions and facilitating relationships in social networks.Liat Sless, Noam Hazon, Sarit Kraus & Michael Wooldridge - 2018 - Artificial Intelligence 259 (C):217-245.
  27.  3
    Reasoning About Social Choice Functions.Nicolas Troquard, Wiebe Hoek & Michael Wooldridge - 2011 - Journal of Philosophical Logic 40 (4):473-498.
    We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  37
    Reasoning About Social Choice Functions.Nicolas Troquard, Wiebe van der Hoek & Michael Wooldridge - 2011 - Journal of Philosophical Logic 40 (4):473-498.
    We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  79
    Minds and Machines Special Issue: Ethics and Artificial Intelligence.Paula Boddington, Peter Millican & Michael Wooldridge - 2017 - Minds and Machines 27 (4):569-574.
  30.  70
    Artificial Intelligence requires more than deep learning — but what, exactly?Michael Wooldridge - 2020 - Artificial Intelligence 289 (C):103386.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  11
    Solving coalitional resource games.Paul E. Dunne, Sarit Kraus, Efrat Manisterski & Michael Wooldridge - 2010 - Artificial Intelligence 174 (1):20-50.
  32.  27
    Quantified Coalition Logic.Thomas Ågotnes, Wiebe van der Hoek & Michael Wooldridge - 2008 - Synthese 165 (2):269 - 294.
    We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as "every coalition satisfying property P can achieve φ" and "there exists a coalition C satisfying property P such that C can achieve φ". We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  9
    An agenda-based framework for multi-issue negotiation.Shaheen S. Fatima, Michael Wooldridge & Nicholas R. Jennings - 2004 - Artificial Intelligence 152 (1):1-45.
  34.  33
    Encoding Ethics to Compute Value-Aligned Norms.Marc Serramia, Manel Rodriguez-Soto, Maite Lopez-Sanchez, Juan A. Rodriguez-Aguilar, Filippo Bistaffa, Paula Boddington, Michael Wooldridge & Carlos Ansotegui - 2023 - Minds and Machines 33 (4):761-790.
    Norms have been widely enacted in human and agent societies to regulate individuals’ actions. However, although legislators may have ethics in mind when establishing norms, moral values are only sometimes explicitly considered. This paper advances the state of the art by providing a method for selecting the norms to enact within a society that best aligns with the moral values of such a society. Our approach to aligning norms and values is grounded in the ethics literature. Specifically, from the literature’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  49
    Robust normative systems and a logic of norm compliance.Thomas Agotnes, Wiebe van der Hoek & Michael Wooldridge - 2010 - Logic Journal of the IGPL 18 (1):4-30.
    Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative systems remains problematic. In all real systems, it is possible that some members of an agent population will not comply with the rules of a normative system, even if it is in their interests to do so. It is therefore important to consider the extent to which a normative system is robust, i.e., the extent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  3
    The complexity of contract negotiation.Paul E. Dunne, Michael Wooldridge & Michael Laurence - 2005 - Artificial Intelligence 164 (1-2):23-46.
  37.  27
    A logical characterisation of qualitative coalitional games.Paul E. Dunne, Wiebe van der Hoek & Michael Wooldridge - 2007 - Journal of Applied Non-Classical Logics 17 (4):477-509.
    Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  41
    Partial-order Boolean games: informational independence in a logic-based model of strategic interaction.Julian Bradfield, Julian Gutierrez & Michael Wooldridge - 2016 - Synthese 193 (3):781-811.
    As they are conventionally formulated, Boolean games assume that players make their choices in ignorance of the choices being made by other players – they are games of simultaneous moves. For many settings, this is clearly unrealistic. In this paper, we show how Boolean games can be enriched by dependency graphs which explicitly represent the informational dependencies between variables in a game. More precisely, dependency graphs play two roles. First, when we say that variable x depends on variable y, then (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  7
    A linear approximation method for the Shapley value.Shaheen S. Fatima, Michael Wooldridge & Nicholas R. Jennings - 2008 - Artificial Intelligence 172 (14):1673-1699.
  40.  7
    A hybrid exact algorithm for complete set partitioning.Tomasz Michalak, Talal Rahwan, Edith Elkind, Michael Wooldridge & Nicholas R. Jennings - 2016 - Artificial Intelligence 230 (C):14-50.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  31
    Manipulating Games by Sharing Information.John Grant, Sarit Kraus, Michael Wooldridge & Inon Zuckerman - 2014 - Studia Logica 102 (2):267-295.
    We address the issue of manipulating games through communication. In the specific setting we consider (a variation of Boolean games), we assume there is some set of environment variables, the values of which are not directly accessible to players; the players have their own beliefs about these variables, and make decisions about what actions to perform based on these beliefs. The communication we consider takes the form of (truthful) announcements about the values of some environment variables; the effect of an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  96
    Postulates for revising BDI structures.John Grant, Sarit Kraus, Donald Perlis & Michael Wooldridge - 2010 - Synthese 175 (S1):39-62.
    The process of rationally revising beliefs in the light of new information is a topic of great importance and long-standing interest in artificial intelligence. Moreover, significant progress has been made in understanding the philosophical, logical, and computational foundations of belief revision. However, very little research has been reported with respect to the revision of other mental states, most notably propositional attitudes such as desires and intentions. In this paper, we present a first attempt to formulate a general framework for understanding (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Wiebe van der Hoek Michael Wooldridge.Michael Wooldridge - 2003 - Studia Logica 75:125-157.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  47
    Logics for Qualitative Coalitional Games.Thomas Agotnes, Wiebe van der Hoek & Michael Wooldridge - 2009 - Logic Journal of the IGPL 17 (3):299-321.
    Qualitative Coalitional Games are a variant of coalitional games in which an agent's desires are represented as goals that are either satisfied or unsatisfied, and each choice available to a coalition is a set of goals, which would be jointly satisfied if the coalition made that choice. A coalition in a QCG will typically form in order to bring about a set of goals that will satisfy all members of the coalition. Our goal in this paper is to develop and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  6
    Logic and the Foundations of Game and Decision Theory.Giacomo Bonanno, Wiebe van der Hoek & Michael Wooldridge (eds.) - 2008 - Amsterdam University Press.
    This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  7
    Defense coordination in security games: Equilibrium analysis and mechanism design.Jiarui Gan, Edith Elkind, Sarit Kraus & Michael Wooldridge - 2022 - Artificial Intelligence 313 (C):103791.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  10
    Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.
    We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. We also show that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  30
    Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Hoek, Juan Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.
    We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  22
    Quantified coalition logic.Thomas Ågotnes, Wiebe Hoek & Michael Wooldridge - 2008 - Synthese 165 (2):269-294.
    We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as “every coalition satisfying property P can achieve φ” and “there exists a coalition C satisfying property P such that C can achieve φ”. We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  10
    Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.Julian Gutierrez, Muhammad Najib, Giuseppe Perelli & Michael Wooldridge - 2020 - Artificial Intelligence 287 (C):103353.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 62