Qualitative reasoning in a two-layered framework

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00567202" target="_blank" >RIV/67985807:_____/23:00567202 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985955:_____/23:00567202

Výsledek na webu

<a href="https://dx.doi.org/10.1016/j.ijar.2022.12.011" target="_blank" >https://dx.doi.org/10.1016/j.ijar.2022.12.011</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ijar.2022.12.011" target="_blank" >10.1016/j.ijar.2022.12.011</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Qualitative reasoning in a two-layered framework

Popis výsledku v původním jazyce

The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value to these events. The paper is divided into two parts. In the first part, we formalise reasoning with the qualitative counterparts of capacities, belief functions, and probabilities, within the framework of two-layered logics. Namely, we provide two-layered logics built over the classical propositional logic using a unary belief modality B that connects the inner layer to the outer one where the reasoning is formalised by means of Gödel logic. We design their Hilbert-style axiomatisations and prove their completeness. In the second part, we discuss the paraconsistent generalisations of the logics for qualitative uncertainty that take into account the case of the available information being contradictory or inconclusive.

Název v anglickém jazyce

Qualitative reasoning in a two-layered framework

Popis výsledku anglicky

The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value to these events. The paper is divided into two parts. In the first part, we formalise reasoning with the qualitative counterparts of capacities, belief functions, and probabilities, within the framework of two-layered logics. Namely, we provide two-layered logics built over the classical propositional logic using a unary belief modality B that connects the inner layer to the outer one where the reasoning is formalised by means of Gödel logic. We design their Hilbert-style axiomatisations and prove their completeness. In the second part, we discuss the paraconsistent generalisations of the logics for qualitative uncertainty that take into account the case of the available information being contradictory or inconclusive.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

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ů

Název periodika

International Journal of Approximate Reasoning

ISSN

0888-613X

e-ISSN

1873-4731

Svazek periodika

154

Číslo periodika v rámci svazku

March 2023

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

25

Strana od-do

84-108

Kód UT WoS článku

000925019000001

EID výsledku v databázi Scopus

2-s2.0-85146049254