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
url http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
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