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

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