一种支持自治计算的基于可废止逻辑的柔性Agent  

A Defeasible Logic-Based Flexible Agent for Autonomic Computing

作　　者：廖备水[1] 黄华新[1] 高济[2] 

机构地区：[1]浙江大学语言与认知研究中心,浙江杭州310028 [2]浙江大学计算机学院,浙江杭州310027

出　　处：《软件学报》2008年第3期605-620,共16页Journal of Software

基　　金：Supported by the National Natural Science Foundation of China under Grant No.60773177 (国家自然科学基金);the China Postdoctoral Science Foundation under Grant No.20060400316 (中国博士后科学基金);the National Social Science Foundation of China under Grant No.04BZX045 (国家社会科学基金)

摘　　要：以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性Agent模型.这种Agent既是自主的,又是可控的,而且可以在开放、动态的环境中通过合同与其他Agent进行协同工作.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.

关 键 词：AGENT 自治计算 可废止逻辑 非单调推理 分布式系统管理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]