摘要
以自治计算的研究为背景,利用可废止逻辑理论的非单调知识表征和推理机制,提出一种能够动态接受规则变更、灵活处理实时发生的规则冲突,并进行高效的非单调推理的柔性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.
出处
《软件学报》
EI
CSCD
北大核心
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
autonomic computing
defeasible logic
non-monotonic reasoning
distributed system management
作者简介
廖备水（1971-），男，福建古田人，博士，主要研究领域为人工智能，Agent与多Agent系统，自治计算，逻辑学．
黄华新（1959-），男，教授，博士生导师，主要研究领域为语言逻辑，科学逻辑，“语言与认知”交叉领域．
高济（1946-），男，教授，博士生导师，主要研究领域为人工智能，网格计算，软件工程，信息智能．
