摘要
针对传统Agent对知识无法动态维护的问题,利用可废止逻辑对作战Agent进行描述,着重研究作战Agent的命令规则的动态变更机制。结合可废止逻辑中优越关系的良构性和完备性,定义了系统"无冲突性"的概念,给出了规则动态变更后维护系统无冲突性的具体方法,并证明了维护方法的有效性。通过直升机反潜作战仿真实例,说明了基于可废止逻辑的作战Agent规则动态变更机制的可行性。
Aiming at the problem that traditional Agent could not maintain knowledge dynamically, a combat Agent was described by defeasible focused on this paper. The definition logic, of no and the mechanism for rule maintenance of the combat Agent was n-conflict Agent system was presented and the methods to handle the rule conflicts after real-time modifications were proposed, moreover, the validity of the methods was proved, which combined well-formedness and completeness of order relations in defeasible logic. The mechanism for the real-time rule modification was used in an example of helicopter antisubmarine operation simulation, which indicated the mechanism was feasible.
出处
《海军航空工程学院学报》
2012年第5期583-587,共5页
Journal of Naval Aeronautical and Astronautical University
