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

33

Voted
LPNMR

1993

Springer

1993

Springer

The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-monotonic consequence of a theory if it can be derived monotonically from a theory extended by means of acceptable assumptions. The notion of acceptability for such assumptions is formulated in terms of their ability successfully to \counterattack" any \attacking" set of assumptions. One set of assumptions is said to \attack" another if the rst set monotonically implies a consequence which is inconsistent with an assumption in the second set. This argumentation-theoretic criterion of acceptability is based on notions rst introduced for logic programming and used to give a uni ed account of such diverse semantics for logic programming as stable models, partial stable models, preferred extensions, stable theories, well-founded semantics, and stationary semantics. The new framework makes it possible ...

Related Content

Added |
10 Aug 2010 |

Updated |
10 Aug 2010 |

Type |
Conference |

Year |
1993 |

Where |
LPNMR |

Authors |
Andrei Bondarenko, Francesca Toni, Robert A. Kowalski |

Comments (0)