Comment Military C4ISR and AI (Score 1) 435
Military infosys, ASAS, and intelligence collection systems are often well documented on the internet. There is so much you can find online about how these systems work. What you see are many applications. I tend to react poorly when people when characterize Cyc as being misguided - the challenge to that argument would be to point out the utility of a system like Cyc. It would be incredibly difficult to recreate such a system due to the sheer enormity of the undertaking given current knowledge formation rates. The military is already formalizing their COAs with tools like Shaken from SRI. Cyc is a major server for these applications. I wrote a rather large Emacs major mode for Cyc which is incredibly useful to me at least, because I am able to introspect on knowledge and using the existing Cyc APIs to interact with my other systems. Cyc is a tremendous resource, but it's not strong AI of course. I find that as I read the military manuals from sites like globalsecurity.org and www.fas.org that I can see the indispensible relation between A.I. and military systems. For instance, in terms of things like knowing troop positions, or automated surveillance systems like VSAM. And there definitely is a tremendous amount of OPSEC protecting the classified systems. But what protects all this stuff best is the sheer complexity - it can't be reasoned about using a simple set of axioms. If I had anything to say about this is just that I wish people would be more interested in using existing AI applications. Here is an interesting project to that end:
http://shops.sourceforge.net/frdcsa/external/index .html