Knowledge, Rationality and Action

I argue that the notions of knowledge, rationality and action form a natural and interesting triple when studying agent systems: first of all, the combination and interplay between them is still not fully explored, and secondly, they give rise to rich theories especially in multi-agent systems. The paper provides an informal overview of formal approaches to the three notions.

[1]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[2]  J. Armstrong.  Knowledge and Belief , 1953 .

[3]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4]  W. Hoek,et al.  Epistemic logic: a survey , 2002 .

[5]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[6]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[7]  Reinhard Blutner,et al.  Nonmonotonic Inferences and Neural Networks , 2004, Synthese.

[8]  J. Neumann,et al.  Theory of Games and Economic Behavior. , 1945 .

[9]  R. Aumann,et al.  Epistemic Conditions for Nash Equilibrium , 1995 .

[10]  W. Hoek,et al.  An Integrated Modal Approach to Rational Agents , 1999 .

[11]  Herbert Gintis,et al.  Game Theory Evolving: A Problem-Centered Introduction to Modeling Strategic Interaction - Second Edition , 2009 .

[12]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[13]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[14]  Rodney A. Brooks,et al.  Cambrian Intelligence: The Early History of the New AI , 1999 .

[15]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[16]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 2002, JACM.

[17]  Gerd Gigerenzer,et al.  Adaptive Thinking: Rationality in the Real World , 2000 .

[18]  J. Neumann,et al.  Theory of games and economic behavior , 1945, 100 Years of Math Milestones.

[19]  Giacomo Bonanno,et al.  A Characterization of von Neumann Games in Terms of Memory , 2004, Synthese.

[20]  W. van der Hoek,et al.  Concurrent Dynamic Epistemic Logic , 2003 .

[21]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[22]  Wojciech Jamroga,et al.  Agents that Know How to Play , 2004, Fundam. Informaticae.

[23]  H. V. Ditmarsch.  The semantics of actions in knowledge games , 1999 .