Foundations of Rational Agency

The word agent is widely used in computer science these days. It can mean anything from a few lines of code that gets executed automatically when a certain condition is satisfied (e.g., a daemon that gets scheduled by the Operating System every day at midnight), to a more sophisticated program that can reason about its own behaviour and achieve long-term goals (e.g., an autonomous intelligent vehicle on Mars) [13]. In addition to the simplicity or sophistication of these software entities, agents are also characterised into different types based on their functionality. Interface agents, mobile agents, believable agents, reactive agents, learning agents, and emergent agents are just a few of these types. The level of autonomy (from being completely autonomous to being intelligent assistants to humans) and the level of their interaction with physical entities (from being totally in the software environment — softbots — to being intimately connected with their physical environment — robots) are also used to characterise agents.

[1]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[2]  Ken Binmore,et al.  Fun and games : a text on game theory , 1992 .

[3]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[4]  Mark S. Boddy,et al.  Deliberation Scheduling for Problem Solving in Time-Constrained Environments , 1994, Artif. Intell..

[5]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[6]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[7]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[8]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[9]  Philip R. Cohen,et al.  Intentions in Communication. , 1992 .

[10]  Timothy W. Finin,et al.  Evaluation of KQML as an Agent Communication Language , 1995, ATAL.

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

[12]  Anand S. Rao,et al.  A profile of the Australian Artificial Intelligence Institute [World Impact] , 1996, IEEE Expert.

[13]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[14]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[15]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[16]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[17]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .