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

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