A BDMI-VSK-T logic-based formal model in war simulation
Biao Li, Jinguo Tang · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2011
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 BDMIVSK- T model frame is built, which combines with classic BDI-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.