High-Performance Integration Transition and Exploitation of Knowledge (HITEK)

Abstract : This effort focused on the development and integration of large knowledge bases and knowledge based tools. The project significantly advanced the state of the art in ontology and knowledge base development. Of particular scientific interest was a set of formal experiments that were conducted and described in technical reports and academic publications that quantified the value of knowledge base technology. The project also laid the groundwork for further efforts in ontology development and standardization. The Teknowledge integration approach was integration of components using a single large ontology based on Cyc. A significant result was the development of a version of Cyc for government distribution, which contained an Integrated Knowledge Base (IKB) and Integrated Development Environment (IDE). This software built on Cyc and included the ontology content developed during the HPKB project by our team. The HPKB project was structured to have several Challenge Problems that motivated and evaluate research progress. The Crisis Management Challenge Problem was focused on knowledge-based inference and the domain was reasoning about international crisis situations. The Battlespace Challenge Problem went through several iterations but wound up focusing on planning for battlefield workarounds and critiquing Army Courses of Action (COAs). The latter technology focus was on an integration of knowledge based sketching, restricted English to logic translation, problem solving, and knowledge-based inference.

[1]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[2]  P. Cohen,et al.  Dynamic Maps as Representations of Verbs , 1998, ECAI.

[3]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[4]  D. R. Fulkerson,et al.  Maximal Flow Through a Network , 1956 .

[5]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[6]  Mark A. Musen,et al.  Mappings for Reuse in Knowledge-based Systems , 2001 .

[7]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[8]  Ramanathan V. Guha,et al.  Building large knowledge-based systems , 1989 .

[9]  Paul R. Cohen,et al.  The DARPA High-Performance Knowledge Bases Project , 1998, AI Mag..

[10]  William R. Swartout,et al.  EXPECT: A User-Centered Environment for the Development and Adaptation of Knowledge-Based Planning Aids , 1996 .

[11]  V. Lifschitz Formal theories of action , 1987 .

[12]  Paul R. Cohen,et al.  Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? , 1999, AAAI/IAAI.

[13]  Michael R. Lowry,et al.  Deductive Composition of Astronomical Software from Subroutine Libraries , 1994, CADE.

[14]  Austin Tate,et al.  Roots of SPAR — Shared Planning and Activity Representation , 1998, The Knowledge Engineering Review.

[15]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[16]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994 .

[17]  Gheorghe Tecuci,et al.  An Integrated Shell and Methodology for Rapid Development of Knowledge-Based Agents , 1999, AAAI/IAAI.

[18]  Yolanda Gil,et al.  Explicit Representations of Problem-Solving Strategies to Support Knowledge Acquisition , 1996, AAAI/IAAI, Vol. 1.

[19]  David L. Westbrook,et al.  Capture the Flag: Military Simulation Meets Computer Games , 1999 .