On the relation between default and autoepistemic logic
type: Item
instance of: scholarly article
title: On the relation between default and autoepistemic logic
zbMATH Open document ID: 0647.68088
DOI: 10.1016/0004-3702(88)90021-5
author: Kurt Konolige
published in: Artificial Intelligence
publication date: 1988-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 4057046
zbMATH Keywords: default logic
zbMATH Keywords: formal equivalence
zbMATH Keywords: Default reasoning
zbMATH Keywords: autoepistemic logic
reviewed by: Erica Melis
MaRDI profile type: Publication
full work available at URL: 0004-3702(88)90021-5
OpenAlex ID: W2067326626
cites work: Q4196401
cites work: Q3867808
cites work: Impossible possible worlds vindicated
cites work: Results on translating defaults to circumscription
cites work: Q3826524
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Semantical considerations on nonmonotonic logic
cites work: A logic for default reasoning
cites work: Q3864488
cites work: Q3992826
description: scientific article; zbMATH DE number 4057046