Building and Using Large Common Sense Knowledge Bases

A project in the DARPA High Performance Knowledge Base Initiative

Principal Investigator: Kenneth D. Forbus

Research Scientist: Ron Ferguson

We believe that effectively creating and using large-scale domain theories (10,000 - 100,000 axiom equivalents) will require improving the bandwidth of human-computer interaction in several dimensions: the kinds of concepts used, the reasoning methods, and the interaction media. More specifically,

These levels strongly interact. By tackling the right aspects of all three at once, as part of a community that is generating large-scale domain theories, we believe we can generate breakthrough capabilities. By incorporating these capabilities into a development environment, we can transfer this technology to other developers and users. Specifically,

Back to Symbolic Supercomputing page | Back to Structure-Mapping: A computational model of analogy and similarity page | Back to Sketching: Towards a computational model page | Back to Qualitative Process Theory page | Back to MAC/FAC: A model of similarity-based retrieval page | Back to Compositional Modeling page | Back to Previous Projects page | Back to QRG Home Page