Loading...
Please wait, while we are loading the content...
Similar Documents
Autoepistemic logic as a basis for automating nonmonotonic reasoning
| Content Provider | Semantic Scholar |
|---|---|
| Author | Niemelä, Ilkka |
| Copyright Year | 1996 |
| Abstract | abstract. Autoepistemic logic is employed as a basis for automating nonmonotonic reasoning. In particular, a recent variant of autoepistemic logic based on L-hierarchic expansions is put forward as an interesting uniied approach. Basic results needed for automating autoepistemic reasoning are reviewed in a general setting where autoepistemic logic is deened on top of a given classical logic. A simple nitary characterization for autoepistemic reasoning is presented and recent decidability and complexity are surveyed. Building on the nitary characterization a novel general decision method for au-toepistemic reasoning is developed. Then it is shown how default logic, circumscription, logic programs with classical negation, and truth maintenance systems can be embedded into autoepistemic logic based on L-hierarchic expansions using simple local translations. Hence, the novel decision method provides a uniied approach to automating a wide range of formalizations of nonmonotonic reasoning. |
| Starting Page | 251 |
| Ending Page | 289 |
| Page Count | 39 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://saturn.hut.fi/~ini/papers/ch9-niemela.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
