Knowledge Representation and Reasoning - A History of DARPA Leadership

A fundamental goal of artificial intelligence research and development is the creation of machines that demonstrate what humans consider to be intelligent behavior. Effective knowledge representation and reasoning methods are a foundational requirement for intelligent machines. The development of these methods remains a rich and active area of artificial intelligence research in which advances have been motivated by many factors, including interest in new challenge problems, interest in more complex domains, shortcomings of current methods, improved computational support, increases in requirements to interact effectively with humans, and ongoing funding from the Defense Advanced Research Projects Agency and other agencies. This article highlights several decades of advances in knowledge representation and reasoning methods, paying particular attention to research on planning and on the impact of the Defense Advanced Research Projects Agency's support.