Defeasible logic-based flexible agent for autonomic computing

Ruan Jian Xue Bao/Journal of Software

Volumn 19, Issue 3, 2008, Pages 605-620

  Liao, Bei Shui ^a   Huang, Hua Xin ^a   Gao, Ji ^b  

^a ZHEJIANG UNIVERSITY   (China)

^b ZHEJIANG UNIVERSITY   (China)

Author keywords

Agent; Autonomic computing; Defeasible logic; Distributed system management; Non monotonic reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; INFORMATION SYSTEMS; KNOWLEDGE REPRESENTATION;

AUTONOMIC COMPUTING; DEFEASIBLE LOGIC; DISTRIBUTED SYSTEM MANAGEMENT; NON MONOTONIC REASONING;

INTELLIGENT AGENTS;

EID: 41949095472     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2008.00605     Document Type: Article

References (24)

1. Jennings NR. On agent-based software engineering. Artificial Intelligence, 2000, 117(2): 277-296.
2. Lu J, Tao XP, Ma XX, Hu H, Xu F, Cao C. A study of agent-based internetware model. Science in China (Series E), 2005, 35(12): 1233-1253 (in Chinese with English abstract).
3. Gao J, Yuan CX, Wang J. SASA5: A method system for supporting agent social activities. Chinese Journal of Computers, 2005, 28(5): 838-848 (in Chinese with English abstract).
4. Rao AS, Georgeff M. BDI agents: From theory to practice. In: Georgeff MP, ed. Proc. of the 1st Int'l Conf. on Multi-Agent Systems (ICMAS'95). San Francisco: ACM Press, 1995. 312-319.
5. Kephart JO, Chess DM. The vision of autonomic computing. IEEE Computer, 2003, 36(1): 41-50.
6. Bonino D, Bosca A, Corno F. An agent based autonomic semantic platform. In: Kephart J, Parashar M, eds. Proc. of the Int'l Conf. on Autonomic Computing. New York: IEEE Computer Society, 2004. 189-196.
7. Tesauro G, Chess DM, Walsh WE, Das R, Segal A, Whalley I, Kephart JO, White SR. A multi-agent systems approach to autonomic computing. In: Sierra C, Sonenberg L, eds. Proc. of the 3th Int'l Conf. on Autonomous Agents and Multi-Agent Systems. New York: IEEE Computer Society, 2004. 464-471.
8. Zhang HJ, Shi ZZ. Software engineering for autonomic computing. Mini-Micro Systems, 2006, 27(6): 1077-1082 (in Chinese with English abstract).
9. Liao BS, Gao J. Dynamic self-organizing system supported by PDC-agent. Journal of Computer-Aided Design and Computer Graphics, 2006, 18(2): 217-224 (in Chinese with English abstract).
10. Liao BS, Huang HX, Gao J. An extended BDI agent with policies and contracts. In: Shi ZZ, Sadananda R, eds. Proc. of the Agent Computing and Multi-Agent Systems. LNAI 4088, Berlin, Herdelberg: Springer-Verlag, 2006. 94-104.
11. Liao BS, Gao J. A model of multi-agent system based on policies and contracts. In: Pěchouček M, Petta P, Varga LZ, eds. Proc. of the Multi-Agent Systems and Applications IV. LNAI 3690, Berlin, Herdelberg: Springer-Verlag, 2005. 62-71.
12. Liao BS. Service-Oriented autonamic computing based on PDC-agent [Ph.D. Thesis]. Hangzhou: Zhejiang University, 2006 (in Chinese with English abstract).
13. Liao BS, Gao J, Hu J, Chen JJ. Ontology-Based conceptual modeling of policy-driven control framework: oriented to multi-agent system for Web services management. In: Chi CH, Lam KY, eds. Proc. of the Content Computing. LNCS 3309, Berlin, Herdelberg: Springer-Verlag, 2004. 346-356.
14. Dastani M, Governatori G, Rotolo A, van der Torre L. Programming cognitive agents in defeasible logic. In: Sutcliffe G, Voronkov A, eds. Proc. of the LPAR 2005. LNAI 3835, Berlin, Herdelberg: Springer-Verlag, 2005. 621-636.
15. Lu RQ. Artificial Intelligence. Beijing: Science Press, 2000. 617-659 (in Chinese).
16. Nute D. Defeasible logic. In: Bartenstein O, et al., eds. Proc. of the INAP 2001. LNAI 2543, Berlin, Herdelberg: Springer-Verlag, 2003. 151-169.
17. Cadoli M, Schaerf M. A survey on complexity results for non-monotonic logics. Journal of Logic Programming, 1993, 17: 127-160.
18. Maher MJ. Efficient defeasible reasoning systems. Int'l Journal on Artificial Intelligence Tools, 2001, 10(4): 384-392.
19. Antoniou G, Billingto D. Representation results for defeasible logic. ACM Trans. on Computational Logic, 2001, 2(2): 255-287.
20. Billington D, Antoniou G, Governatori G, Maher M. Revising nonmonotonic theories: The case of defeasible logic. In: Burgard W, Christaller T, Cremers AB, eds. Advances in Artificial Intelligence. LNCS 1701, Berlin, Herdelberg: Springer-Verlag, 1999. 101-112.
21. Broersen J, Dastani M, Hulstijn J, van der Torre LWN. Goal generation in the BOID architecture. Cognitive Science Quarterly, 2002, 2(3-4): 428-447.
22. Ma GW, Xu JH, Shi CY. Modeling social agents in BDO logic. Chinese Journal of Computers, 2001, 24(5): 521-528 (in Chinese with English abstract).
23. Dignum F, Morley D, Sonenberg E, Cavendon L. Towards socially sophisticated BDI agents. In: Durfee EH, ed. Proc. of the 4th Int'l Conf. on Multi-Agent Systems. Washington: IEEE Computer Society, 2000. 111-118.
24. Boella G, van der Torre L. Regulative and constitutive norms in normative multiagent systems. In: Dubois D, Welty CA, eds. Proc. of the 9th Int'l Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004). Whistler: AAAI Press, 2004. 255-265.