Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication Details

Specifying and Reasoning with Under-Specified Knowledge Base

by Vinay K. Chaudhri and Son Cao Tran

in International Conference on Knowledge Representation and Reasoning

2012.

Abstract

A large and complex knowledge base that models some aspect of the real world can rarely be fully specified. Two examples of such underspecification are that (i) some of the cardinality constraints are omitted; (ii) some properties of all individual instances of a class are specialized across a class hierarchy, but specific references to which particular values are specialized are omitted. Such knowledge bases are of great practical interest as they are the basis of an empirically tested knowledge acquisition system that has been used to construct a knowledge base from a significant portion of a biology textbook. In this paper, we formalize an underspecified knowledge base using answer set programming, and give a set of rules called UMAP that support inheritance reasoning in such a knowledge base.

Electronic Copies


Adobe PDF

BibTeX

EndNote

Associated Projects

AURA

Automated User-Centered Reasoning and Acquisition System

The goal of this project is to build a generic knowledge acquisition capability for Physics, Chemistry, and Biology. Using the system, the scientists will be able to formulate their knowledge in the three science domains, and the high school students will be able to pose Advanced-Placement style questions and get user appropriate explanations.

AIC Personnel

Name Title E-mail
Chaudhri, Vinay K Program Director

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy