AAAI Conference 1999 Conference Paper
HIKE (HPKB Integrated Knowledge Environment) — A Query Interface and Integrated Knowledge Environment for HPKB
- Barbara H. Starr
- Vinay K. Chaudhri
- Boris Katz
- Benjamin Good
- 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 questionanswering 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.