On the relation between default and autoepistemic logic (Q1104771)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4057046
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the relation between default and autoepistemic logic |
scientific article; zbMATH DE number 4057046 |
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
0.8618847131729126
0 references
0.8597910404205322
0 references
0.8336463570594788
0 references
