Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

19

AAAI
1996

favoriteEmaildiscussreport

158views Intelligent Agents» more AAAI 1996»

Splitting a Default Theory

13 years 5 months ago

Splitting a Default Theory

Download www.d.umn.edu

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.

Hudson Turner

Real-time Traffic

AAAI 1996 | Default Logic | Default Theory | Intelligent Agents | Splitting Theorems |

claim paper

Related Content

» Normal Form Results for Default Logic

» Compiling Reasoning with and about Preferences into Default Logic

» On the Relation between Reiters Default Logic and Its Major

» A Default Logic Patch for Default Logic

» Simple Default Reasoning in Theories of Action

» Prioritizing Default Logic

» An Implementation of Statistical Default Logic

» On the Compilation of Possibilistic Default Theories

» Terminological Default Reasoning about Spatial Information A First Step

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1996
Where	AAAI
Authors	Hudson Turner

Comments (0)