Saffiotti, A., Konolige, K., & Ruspini, E. H. (1995). A multivalued logic approach to integrating planning and control. Artificial intelligence, 76(1-2), 481-526.
Abstract
This paper describes a prototype system for quickly developing joint military courses of action. The system, SOCAP (System for Operations Crisis Action Planning and Execution), with a color map display and applies this technology to military operations planning. This paper describes the Socap problem domain, how SIPE-2 was used to address this problem, and the strengths and weaknesses of our approach.