A Defeasible Logic-Based Flexible Agent for Autonomic Computing

In the context of autonomic computing, by taking advantage of the non-monotonic knowledge representation and reasoning mechanisms of defeasible logic, a flexible Agent model is proposed, which is capable of accepting the real-time rule modifications, flexibly handling the run-time rule conflicts, and providing efficient non-monotonic reasoning functions. The flexible agent is both autonomous and controllable, and is able to cooperate with other Agents via contracts in an open and dynamic environment.

[1]  Michael J. Maher,et al.  Revising Nonmonotonic Theories: The Case of Defeasible Logic , 1999, KI.

[2]  Marco Schaerf,et al.  A Survey of Complexity Results for Nonmonotonic Logics , 1993, J. Log. Program..

[3]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[4]  Ji Gao,et al.  An Extended BDI Agent with Policies and Contracts , 2006, PRIMA.

[5]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[6]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[7]  Michael J. Maher,et al.  Efficient Defeasible Reasoning Systems , 2001, Int. J. Artif. Intell. Tools.

[8]  Rajarshi Das,et al.  A multi-agent systems approach to autonomic computing , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[9]  Nicholas R. Jennings,et al.  On agent-based software engineering , 2000, Artif. Intell..

[10]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[11]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[12]  Ji Gao,et al.  A Model of Multi-agent System Based on Policies and Contracts , 2005, CEEMAS.

[13]  Yuan Cheng,et al.  SASA5:A Method System for Supporting Agent Social Activities , 2005 .

[14]  Guido Governatori,et al.  Programming Cognitive Agents in Defeasible Logic , 2005, LPAR.

[15]  Jun Hu,et al.  Ontology-Based Conceptual Modeling of Policy-Driven Control Framework: Oriented to Multi-agent System for Web Services Management , 2004, AWCC.

[16]  Chunyi Shi,et al.  Modeling social agents in BDO logic , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[17]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[18]  Zhang Hai-jun.  Software Engineering for Autonomic Computing , 2006 .

[19]  Fulvio Corno,et al.  An agent based autonomic semantic platform , 2004 .

[20]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.