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

Pragmatic Axiomatization Techniques

by Chaudhri, Vinay K. and Waldinger, Richard and Starr, Barbara and Good, Benjamin

Technical Report
Institution: SRI International
2000.

Abstract

This paper is about domain-independent theoretical generalizations derived in the process of formalizing aspects of commonsense reasoning. One of the generalizations is a qualitative model that has a template structure, can be applied to multiple reasoning tasks. Another model reduces to a composition of linear orders, making it easy to argue its formal properties. These models allow the population of a knowledge base (KB) by non-logicians. We present experimental results on evaluation of these, and other, models by subject matter experts (SMEs).

Electronic Copies


Adobe PDF

BibTeX

EndNote

Associated Projects

HPKB

High Performance Knowledge Bases

The goal of the project is to enable rapid construction of knowledge bases by knowledge engineers.

AIC Personnel

Name Title E-mail
Chaudhri, Vinay K Program Director
Waldinger, Richard J Principal Scientist

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