Normal default rules as epistemic actions

The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action models logic. Then a ‘translation’ of normal d...

Full description

Bibliographic Details
Main Authors: Michal Dančák, Michal Peliš
Format: Article
Language:ces
Published: Karolinum Press 2016-08-01
Series:Acta Universitatis Carolinae: Philosophica et Historica
Subjects:
Online Access:http://www.karolinum.cz/doi/10.14712/24647055.2016.7
Description
Summary:The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action models logic. Then a ‘translation’ of normal default rules in a slightly modified action models logic is presented.
ISSN:0567-8293
2464-7055