Computer Science – Artificial Intelligence
Scientific paper
2002-07-16
Computer Science
Artificial Intelligence
NMR'02
Scientific paper
Craig's interpolation theorem (Craig 1957) is an important theorem known for propositional logic and first-order logic. It says that if a logical formula $\beta$ logically follows from a formula $\alpha$, then there is a formula $\gamma$, including only symbols that appear in both $\alpha,\beta$, such that $\beta$ logically follows from $\gamma$ and $\gamma$ logically follows from $\alpha$. Such theorems are important and useful for understanding those logics in which they hold as well as for speeding up reasoning with theories in those logics. In this paper we present interpolation theorems in this spirit for three nonmonotonic systems: circumscription, default logic and logic programs with the stable models semantics (a.k.a. answer set semantics). These results give us better understanding of those logics, especially in contrast to their nonmonotonic characteristics. They suggest that some \emph{monotonicity} principle holds despite the failure of classic monotonicity for these logics. Also, they sometimes allow us to use methods for the decomposition of reasoning for these systems, possibly increasing their applicability and tractability. Finally, they allow us to build structured representations that use those logics.
No associations
LandOfFree
Interpolation Theorems for Nonmonotonic Reasoning Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Interpolation Theorems for Nonmonotonic Reasoning Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interpolation Theorems for Nonmonotonic Reasoning Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-42837