Artificial intelligence for military applications (Operations Research Soc. of America, 1986)