UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Splitting a Default Theory (1996)
Hudson Turner
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.
View:
PDF
Citation:
In
Proceedings of National Conference on Artificial Intelligence (AAAI)
, pp. 645-651 1996.
Bibtex:
@InProceedings{tur96a, title={Splitting a Default Theory}, author={Hudson Turner}, booktitle={Proceedings of National Conference on Artificial Intelligence (AAAI)}, pages={645-651}, url="http://www.cs.utexas.edu/users/ai-lab?tur96a", year={1996} }
People
Hudson Turner
Ph.D. Alumni
hudson [at] d umn edu
Areas of Interest
Logic