Autonomy of Autonomous Agents

Autonomy is one of the most notable attributes of agency, and this paper presents a formal framework for modelhng it. By representing the mental states of agents, we provide an analysis of some attributes of autonomy. In particular, we define three sorts of autonomous agents and examine their structure. We also outline features of higher autonomy. Our framework can be a basis for cleissifying hierarchies of autonomy of agency.

[1]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[2]  Michael E. Fisher.  Higher Order Differences in the Analogue Solution of Partial Differential Equations , 1956, JACM.

[3]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[4]  Hector J. Levesque,et al.  Specifying Communicative Multi-Agent Systems (Invited Paper) , 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

[5]  Aaron Sloman,et al.  What Sort of Architecture is Required for a Human-Like Agent? , 1999 .

[6]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[7]  Cristiano Castelfranchi,et al.  Guarantees for Autonomy in Cognitive Agent Architecture , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[8]  Hector J. Levesque,et al.  Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus , 1997, IJCAI.

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

[10]  P. Maes.  Modeling adaptive autonomous agents , 1993 .

[11]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[12]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[13]  Arthur C. Graesser,et al.  Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents , 1996, ATAL.

[14]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

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

[16]  Michael Wooldridge,et al.  The Belief-Desire-Intention Model of Agency , 1998, ATAL.