On the relation between default and autoepistemic logic (Q1104771)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the relation between default and autoepistemic logic |
scientific article |
Statements
On the relation between default and autoepistemic logic (English)
0 references
1988
0 references
Default reasoning is defined within the theory of the knowledge base itself with the indexial (modal) operator L (``is a part of the theory''). An interpretive possible world semantics for default logic is given. This is a way to show that with respect to their expressive power default theories can be embedded into autoepistemic logic and that the reverse translation is also possible.
0 references
default logic
0 references
formal equivalence
0 references
Default reasoning
0 references
autoepistemic logic
0 references
