Translator Disclaimer
15 November 2011 A BDMI-VSK-T logic-based formal model in war simulation
Author Affiliations +
Proceedings Volume 8335, 2012 International Workshop on Image Processing and Optical Engineering; 83351C (2011) https://doi.org/10.1117/12.917590
Event: 2012 International Workshop on Image Processing and Optical Engineering, 2012, Harbin, China
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.
© (2011) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Biao Li and Jinguo Tang "A BDMI-VSK-T logic-based formal model in war simulation", Proc. SPIE 8335, 2012 International Workshop on Image Processing and Optical Engineering, 83351C (15 November 2011); https://doi.org/10.1117/12.917590
PROCEEDINGS
9 PAGES


SHARE
Advertisement
Advertisement
RELATED CONTENT

Design of an opt-electronic knowledge-based system
Proceedings of SPIE (January 20 2006)
Formal analysis of ORM using OWL DL
Proceedings of SPIE (January 13 2012)
Dynamic Decoding For Shadow-Casting System
Proceedings of SPIE (January 01 1987)

Back to Top