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 |
| id |
doaj-a0b59239dec747839fe2c9067f92461c |
|---|---|
| record_format |
Article |
| spelling |
doaj-a0b59239dec747839fe2c9067f92461c2020-11-25T02:48:52ZcesKarolinum 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 |
| collection |
DOAJ |
| language |
ces |
| format |
Article |
| sources |
DOAJ |
| author |
Michal Dančák Michal Peliš |
| 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 |
| author_facet |
Michal Dančák Michal Peliš |
| author_sort |
Michal Dančák |
| title |
Normal default rules as epistemic actions |
| title_short |
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_sort |
normal default rules as epistemic actions |
| publisher |
Karolinum Press |
| series |
Acta Universitatis Carolinae: Philosophica et Historica |
| issn |
0567-8293 2464-7055 |
| publishDate |
2016-08-01 |
| 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. |
| 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 |
| _version_ |
1724746170644824064 |