next up previous
Next: Formalized context Up: Section II Detailed Previous: Challenge Problems

Technical Rationale

  HPKP is a technologically ambitious project. Success requires advances in several areas--including advances in the ontologies.gif

The HPKB project deals with complex knowledge, much of which we currently do not know how to represent. HPKBs also deal with large amounts of knowledge, much of which is irrelevant to the problem at hand. Issues arise in integrating knowledge from different sources, and from different perspective. These must be overcome if large knowledge bases are to be built.

The Stanford Formal Reasoning Group is well equipped to contribute to several parts of the technology required for high performance knowledge bases.

Eyal Amir
Sat Mar 15 22:18:39 PST 1997