PreAct

 PreAct  is a modern, commercial KB system development that has roots in the DARPA Pilot's Associate System. It is used to develop systems that include, reason about and operate on a "knowledge base".

See: http://asinc.com/technology_overview.php