形式化研究基于Agent的行为建模及应用  

Formal Research on Agent-Based Behavior Modeling and Application

作　　者：廖守亿[1] 戴金海[2] 

机构地区：[1]第二炮兵工程学院,陕西西安710025 [2]国防科技大学航天与材料工程学院,湖南长沙410073

出　　处：《计算机仿真》2006年第4期54-59,73,共7页Computer Simulation

基　　金：武器装备预研基金项目(51420010303KG0109)

摘　　要：为了实现虚拟环境中Agent的行为真实感以及行为动画,必须开展基于Agent的行为建模相关问题的研究。提出了一个包含Agent自主行为和全局互操作行为的基于Agent的行为模型,并利用形式化语言对相关概念例如状态、时间、动作和行为进行了规范描述与定义。在此基础上形式化研究了复杂智能行为的抽象机制,包括行为分解与聚合、行为特化与泛化,并因此提出在基于Agent的元行为模型的基础上,通过行为逻辑运算和行为抽象机制实现基于Agent的行为综合方法。同时以空间作战中的导弹预警为背景,分析了预警卫星的预警行为模型,并对预警卫星的数据获取行为进行了建模,这有利于实现预警卫星的行为动画以及对预警卫星的传感器进行调度,进而对预警行为进行规划、调度与仿真。To implement the behavior fidelity and behavior - based animation of agent in virtual environment, researches must be conducted on relevant problems of agent - based behavior modeling. An agent - based behavior model including agent autonomous behavior model and global interoporable behavior model is proposed. The relevant concepts of behavior are defined and described formally. Based on the research of agent - based behavior modeling, an abstract mechanism of complex, intelligent behavior, including behavior decomposition and aggregation, behavior specialization and generalization, is studied with formal specification. According to the agent - based behavior modeling method, the early warning behavior of early warning satellite is analyzed within the background of early warning of missile in space operation, and the data - captured behavior of early warning satellite is modeled. These researches are benefit to the implementation of behavior - based animation of early warning satellite and the planning of the sensors of early warning satellite and can conduct the planning, scheduling, simulation of the early warning behavior.

关 键 词：基于智能体的建模与仿真 基于智能体的行为建模 行为动画 形式化 预警行为 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]