A predicate variant of two-layered many-valued probability logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F25%3AA26039AG" target="_blank" >RIV/61988987:17610/25:A26039AG - isvavai.cz</a>
Výsledek na webu
<a href="https://ieeexplore.ieee.org/document/11038173" target="_blank" >https://ieeexplore.ieee.org/document/11038173</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ISMVL64713.2025.00015" target="_blank" >10.1109/ISMVL64713.2025.00015</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A predicate variant of two-layered many-valued probability logic
Popis výsledku v původním jazyce
The paper introduces a predicate version of two-layered fuzzy probability logic, extending the known propositional probability logic based on the infinite-valued logic of Lukasiewicz. The proposed first-order framework, enriched additionally by S5-style alethic modalities, significantly increases the expressive power of fuzzy probability logic while retaining semantic clarity. Although the present initial study is limited in scope to the semantics of the proposed probability logic, it lays grounds for further developments, including axiomatization, expansions to more expressive predicate probability logics, and modeling of complex probabilistic reasoning in fields such as decision theory, judgment aggregation, and game theory.
Název v anglickém jazyce
A predicate variant of two-layered many-valued probability logic
Popis výsledku anglicky
The paper introduces a predicate version of two-layered fuzzy probability logic, extending the known propositional probability logic based on the infinite-valued logic of Lukasiewicz. The proposed first-order framework, enriched additionally by S5-style alethic modalities, significantly increases the expressive power of fuzzy probability logic while retaining semantic clarity. Although the present initial study is limited in scope to the semantics of the proposed probability logic, it lays grounds for further developments, including axiomatization, expansions to more expressive predicate probability logics, and modeling of complex probabilistic reasoning in fields such as decision theory, judgment aggregation, and game theory.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of ISMVL 2025
ISBN
979-8-3315-0745-9
ISSN
0195-623X
e-ISSN
2378-2226
Počet stran výsledku
6
Strana od-do
32-37
Název nakladatele
Inst. of Electrical and Electronics Engineers
Místo vydání
New York
Místo konání akce
Montreal
Datum konání akce
5. 6. 2025
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
001540510800007