HIKE (HPKB Integrated Knowledge Environment) -- A Query Interface and Integrated Knowledge Environment for HPKB

Barbara H. Starr, Vinay K. Chaudhri, Boris Katz, Benjamin Good, and Jerome Thomere

This demonstration is based upon the results of a research project sponsored by the Defense Advance Research Projects Agency (DARPA), called High Performance Knowledge Bases (HPKB). The demonstrated portion of HPKB follows a question-answering paradigm. The integrated architecture developed at Science Applications International Corporation (SAIC), called the HPKB Integrated Knowledge Environment (HIKE) is introduced. Following this, the components involved in the demonstration, which include a natural language understanding system, a first order theorem prover, and a knowledge server are briefly described. The demonstration effectively illustrates the use of both a graphical user interface and a natural language interface to query a first order theorem prover with similar results.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.