Splitting a default theory

Conference · Tue Dec 31 00:00:00 EST 1996

OSTI ID:430722

Turner, H ^[1]

---

1. 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-; TRN: 96:006521-0097
• Resource Relation: Conference: 13. National conference on artifical intelligence and the 8. Innovative applications of artificial intelligence conference, Portland, OR (United States), 4-8 Aug 1996; Other Information: PBD: 1996; Related Information: Is Part Of Proceedings of the thirteenth national conference on artificial intelligence and the eighth innovative applications of artificial intelligence conference. Volume 1 and 2; PB: 1626 p.
• Country of Publication: United States
• Language: English

Related Subjects

99 MATHEMATICS
COMPUTERS
INFORMATION SCIENCE
MANAGEMENT
LAW
MISCELLANEOUS
ARTIFICIAL INTELLIGENCE
MATHEMATICAL LOGIC
DECISION MAKING
ALGORITHMS