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...
Main Authors: | , |
---|---|
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 |
_version_ | 1818507818492231680 |
---|---|
author | Michal Dančák Michal Peliš |
author_facet | Michal Dančák Michal Peliš |
author_sort | Michal Dančák |
collection | DOAJ |
description | 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. |
first_indexed | 2024-12-10T22:23:11Z |
format | Article |
id | doaj.art-a0b59239dec747839fe2c9067f92461c |
institution | Directory Open Access Journal |
issn | 0567-8293 2464-7055 |
language | ces |
last_indexed | 2024-12-10T22:23:11Z |
publishDate | 2016-08-01 |
publisher | Karolinum Press |
record_format | Article |
series | Acta Universitatis Carolinae: Philosophica et Historica |
spelling | doaj.art-a0b59239dec747839fe2c9067f92461c2022-12-22T01:31:15ZcesKarolinum PressActa Universitatis Carolinae: Philosophica et Historica0567-82932464-70552016-08-0120151233710.14712/24647055.2016.74162Normal default rules as epistemic actionsMichal DančákMichal Peliš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.http://www.karolinum.cz/doi/10.14712/24647055.2016.7action modelsdefault logicdynamic epistemic logic |
spellingShingle | Michal Dančák Michal Peliš Normal default rules as epistemic actions Acta Universitatis Carolinae: Philosophica et Historica action models default logic dynamic epistemic logic |
title | Normal default rules as epistemic actions |
title_full | Normal default rules as epistemic actions |
title_fullStr | Normal default rules as epistemic actions |
title_full_unstemmed | Normal default rules as epistemic actions |
title_short | Normal default rules as epistemic actions |
title_sort | normal default rules as epistemic actions |
topic | action models default logic dynamic epistemic logic |
url | http://www.karolinum.cz/doi/10.14712/24647055.2016.7 |
work_keys_str_mv | AT michaldancak normaldefaultrulesasepistemicactions AT michalpelis normaldefaultrulesasepistemicactions |