A BDMI-VSK-T Logic-based Formal Model in War Simulation

摘要

With the cross-disciplinary development of agent technology and war simulation technology, there are many problems when classical BDI logic is used in war simulation. Aiming at the characteristic of agent in war simulation, the BDMI-VSK-T model frame is built, which combines with classic BD1-VSK-T model and imports a non-normal modal operator mission. Basic axioms and interaction axioms in BDMI-VSK-T logic are discussed and its soundness and completeness are proved. It is also proved that operator mission avoid the side-effect and the logical omniscience problem.