bibtype |
A -
Abstract
|
ARLID |
0508245 |
utime |
20240103222520.9 |
mtime |
20190911235959.9 |
title
(primary) (eng) |
Translating logics of uncertainty into two-layered modal fuzzy logics |
specification |
page_count |
5 s. |
media_type |
E |
|
serial |
ARLID |
cav_un_epca*0508244 |
title
|
AiML 2018: Accepted Short Papers |
page_num |
6-10 |
publisher |
place |
Bern |
name |
Universität Bern |
year |
2018 |
|
|
author
(primary) |
ARLID |
cav_un_auth*0312526 |
name1 |
Baldi |
name2 |
Paolo |
full_dept (cz) |
Oddělení teoretické informatiky |
full_dept (eng) |
Department of Theoretical Computer Science |
institution |
UIVT-O |
full_dept |
Department of Theoretical Computer Science |
country |
AT |
fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
author
|
ARLID |
cav_un_auth*0100737 |
name1 |
Cintula |
name2 |
Petr |
full_dept (cz) |
Oddělení teoretické informatiky |
full_dept |
Department of Theoretical Computer Science |
institution |
UIVT-O |
full_dept |
Department of Theoretical Computer Science |
fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
author
|
ARLID |
cav_un_auth*0293476 |
name1 |
Noguera |
name2 |
Carles |
full_dept (cz) |
Matematická teorie rozhodování |
full_dept |
Department of Decision Making Theory |
department (cz) |
MTR |
department |
MTR |
institution |
UTIA-B |
full_dept |
Department of Decision Making Theory |
fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
source |
|
cas_special |
project |
ARLID |
cav_un_auth*0349495 |
project_id |
GA17-04630S |
agency |
GA ČR |
|
abstract
(eng) |
This short paper provides a translation of the logic AXM, introduced in [7] for reasoning about probabilities, into the logic FP(Ł4). The latter is a modal fuzzy logic with two syntactical layers: the lower one governed by classical logic and the upper one by Lukasiewicz logic extended with the projection connective 4. We also survey other logics for reasoning about uncertainty in the literature and hint at how they can benefit from a reformulation in terms of two-layered modal fuzzy logics.\n |
action |
ARLID |
cav_un_auth*0379489 |
name |
AiML 2018: Advances in Modal Logic /12./ |
dates |
20190827 |
place |
Bern |
country |
CH |
mrcbC20-s |
20190831 |
|
reportyear |
2020 |
mrcbC52 |
4 O 4o 20231122144235.0 |
inst_support |
RVO:67985807 |
inst_support |
RVO:67985556 |
permalink |
http://hdl.handle.net/11104/0299210 |
confidential |
S |
arlyear |
2018 |
mrcbTft |
\nSoubory v repozitáři: 0508245-aw.pdf |
mrcbU14 |
SCOPUS |
mrcbU24 |
PUBMED |
mrcbU34 |
WOS |
mrcbU63 |
cav_un_epca*0508244 AiML 2018: Accepted Short Papers 6 10 Bern Universität Bern 2018 |
|