Share Email Print

Proceedings Paper

A BDMI-VSK-T logic-based formal model in war simulation
Author(s): Biao Li; Jinguo Tang
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

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.

Paper Details

Date Published: 15 November 2011
PDF: 9 pages
Proc. SPIE 8335, 2012 International Workshop on Image Processing and Optical Engineering, 83351C (15 November 2011); doi: 10.1117/12.917590
Show Author Affiliations
Biao Li, Naval Aeronautical and Astronautical Univ. (China)
Jinguo Tang, Naval Aeronautical and Astronautical Univ. (China)

Published in SPIE Proceedings Vol. 8335:
2012 International Workshop on Image Processing and Optical Engineering
Hai Guo; Qun Ding, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?