Splitting a default theory
Conference
·
OSTI ID:430722
- Univ. of Texas, Austin, TX (United States)
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by {open_quotes}splitting it into parts.{close_quotes} These so-called Splitting Theorems for default logic are related in spirit to {open_quotes}partial evaluation{close_quotes} in logic programming, in which results obtained from one part of a program are used to simplify the remainder of the program. In this paper we focus primarily on the statement and proof of the Splitting Theorems for default logic. We illustrate the usefulness of the results by applying them to an example default theory for commonsense reasoning about action.
- OSTI ID:
- 430722
- Report Number(s):
- CONF-960876--
- Country of Publication:
- United States
- Language:
- English
Similar Records
Computing default logic extensions: An implementation
Toward efficient default reasoning
Formalizing narratives using nested circumscription
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:430857
Toward efficient default reasoning
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:430719
Formalizing narratives using nested circumscription
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:430723