Splitting a default theory

Hudson Turner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

26 Scopus citations

Abstract

This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by 'splitting it into parts.' These so-called Splitting Theorems for default logic are related in spirit to 'partial evaluation' 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.

Original languageEnglish (US)
Title of host publicationProceedings of the National Conference on Artificial Intelligence
Editors Anon
PublisherAAAI
Pages645-651
Number of pages7
Volume1
StatePublished - Dec 1 1996
EventProceedings of the 1996 13th National Conference on Artificial Intelligence, AAAI 96. Part 1 (of 2) - Portland, OR, USA
Duration: Aug 4 1996Aug 8 1996

Other

OtherProceedings of the 1996 13th National Conference on Artificial Intelligence, AAAI 96. Part 1 (of 2)
CityPortland, OR, USA
Period8/4/968/8/96

Fingerprint Dive into the research topics of 'Splitting a default theory'. Together they form a unique fingerprint.

Cite this