Synthesis Lectures on Artificial Intelligence and Machine Learning, 2011
... We would also like to thank Stéphane Airiau, Haris Aziz, Piotr Faliszewski, Felix Fischer, Ma... more ... We would also like to thank Stéphane Airiau, Haris Aziz, Piotr Faliszewski, Felix Fischer, Martin Gairing, Reshef Meir, Dima Pasechnik, Tuomas Sandholm, Bernhard von Stengel, Yair Zick, and the anonymous reviewers arranged by the publisher, who carefully read a ...
This edition first published 2009 c 2009 John Wiley & Sons Ltd Registered office John Wiley &am... more This edition first published 2009 c 2009 John Wiley & Sons Ltd Registered office John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, United Kingdom For details of our global editorial offices, for customer services and for information about ...
this articleis to help the reader to understand why agent technology is seen as a fundamentallyim... more this articleis to help the reader to understand why agent technology is seen as a fundamentallyimportant new tool for building such a wide array of systems. Moreprecisely, our aims are five-fold:
data types, and, most recently , objects, are all e xamples of such abstractions. It is our belie... more data types, and, most recently , objects, are all e xamples of such abstractions. It is our belief that agents represent a similar adv ance in abstraction: the y may be used by softw are de v elopers to more naturally understand, model, and de v elop an important class of comple x distrib uted sys- tems. If agents are
International Joint Conference on Artificial Intelligence, 1997
In order to cooperate effectively with its peers, an agent must manipulate representations of the... more In order to cooperate effectively with its peers, an agent must manipulate representations of the so- cial structures in which it plays a part. The pur- pose of this paper is to investigate the mathematical and computational aspects of this social reasoning process. We begin by defining an abstract repre- sentation of cooperation structures, wherein agents cooperate to achieve goals
We present a formalism for reasoning about the information properties of multi-agent systems. Mul... more We present a formalism for reasoning about the information properties of multi-agent systems. Multi-agent VSK logic allows us to represent what is objectively true of some environment, what is visible, or accessible of the environment to individual agents, what these agents actually perceive, and finally, what the agents actually know about the environment. The semantics of the logic are given
Logic Journal of The Igpl / Bulletin of The Igpl, 2001
VSKlogic is a family of multi-modal logics for reasoning about the information properties of comp... more VSKlogic is a family of multi-modal logics for reasoning about the information properties of compu- tational agents situated in some environment. Using VSKlogic, we can represent what is objectively true of the environment, the information that is visible ,o rknowable about the environment, infor- mation the agent perceives of the environment, and nally, information the agent actually knows about the
Synthesis Lectures on Artificial Intelligence and Machine Learning, 2011
... We would also like to thank Stéphane Airiau, Haris Aziz, Piotr Faliszewski, Felix Fischer, Ma... more ... We would also like to thank Stéphane Airiau, Haris Aziz, Piotr Faliszewski, Felix Fischer, Martin Gairing, Reshef Meir, Dima Pasechnik, Tuomas Sandholm, Bernhard von Stengel, Yair Zick, and the anonymous reviewers arranged by the publisher, who carefully read a ...
This edition first published 2009 c 2009 John Wiley & Sons Ltd Registered office John Wiley &am... more This edition first published 2009 c 2009 John Wiley & Sons Ltd Registered office John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, United Kingdom For details of our global editorial offices, for customer services and for information about ...
this articleis to help the reader to understand why agent technology is seen as a fundamentallyim... more this articleis to help the reader to understand why agent technology is seen as a fundamentallyimportant new tool for building such a wide array of systems. Moreprecisely, our aims are five-fold:
data types, and, most recently , objects, are all e xamples of such abstractions. It is our belie... more data types, and, most recently , objects, are all e xamples of such abstractions. It is our belief that agents represent a similar adv ance in abstraction: the y may be used by softw are de v elopers to more naturally understand, model, and de v elop an important class of comple x distrib uted sys- tems. If agents are
International Joint Conference on Artificial Intelligence, 1997
In order to cooperate effectively with its peers, an agent must manipulate representations of the... more In order to cooperate effectively with its peers, an agent must manipulate representations of the so- cial structures in which it plays a part. The pur- pose of this paper is to investigate the mathematical and computational aspects of this social reasoning process. We begin by defining an abstract repre- sentation of cooperation structures, wherein agents cooperate to achieve goals
We present a formalism for reasoning about the information properties of multi-agent systems. Mul... more We present a formalism for reasoning about the information properties of multi-agent systems. Multi-agent VSK logic allows us to represent what is objectively true of some environment, what is visible, or accessible of the environment to individual agents, what these agents actually perceive, and finally, what the agents actually know about the environment. The semantics of the logic are given
Logic Journal of The Igpl / Bulletin of The Igpl, 2001
VSKlogic is a family of multi-modal logics for reasoning about the information properties of comp... more VSKlogic is a family of multi-modal logics for reasoning about the information properties of compu- tational agents situated in some environment. Using VSKlogic, we can represent what is objectively true of the environment, the information that is visible ,o rknowable about the environment, infor- mation the agent perceives of the environment, and nally, information the agent actually knows about the
Uploads
Papers by Michael Wooldridge