Modelling sources of inconsistent information in paraconsistent modal logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00505161" target="_blank" >RIV/67985807:_____/19:00505161 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985955:_____/19:00505161

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-030-31136-0_17" target="_blank" >http://dx.doi.org/10.1007/978-3-030-31136-0_17</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-31136-0_17" target="_blank" >10.1007/978-3-030-31136-0_17</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Modelling sources of inconsistent information in paraconsistent modal logic

Popis výsledku v původním jazyce

Epistemic logics based on normal modal logic are notoriously bad at handling inconsistent and yet non-trivial information. This fact motivates epistemic logics based on paraconsistent logic, examples of which can be traced back at least to the 1980s. These logics handle inconsistent and non-trivial information, but they usually do not articulate sources of the inconsistency. Yet, making the origin of an inconsistency present in a body of information explicit is important to assess the body - can we trace the mutually conflicting pieces of information to sources of information relevant to the body or is the inconsistency a result of an error unrelated to any outside sources? Is the inconsistency derived from various equally trustworthy sources or from a single inconsistent source? In this article we show that a paraconsistent modal logic, namely, the logic BK introduced by Odintsov and Wansing, is a first step toward a formalism capable of making these distinctions explicit. We interpret the accessibility relation between states in a model as a source relation - states accessible from a given state are seen as sources of potential justification of the information contained in the original state. This interpretation also motivates the study of a number of extensions of BK. We focus here on extensions of BK able to articulate the relation of compatibility between bodies of information and extensions working with labels explicitly differentiating between bodies of information. In the case of compatibility-based extensions a more detailed technical study including a completeness proof is provided, technical features of the simpler case of label-based extensions, on the other hand, are discussed without going into details.

Název v anglickém jazyce

Modelling sources of inconsistent information in paraconsistent modal logic

Popis výsledku anglicky

Epistemic logics based on normal modal logic are notoriously bad at handling inconsistent and yet non-trivial information. This fact motivates epistemic logics based on paraconsistent logic, examples of which can be traced back at least to the 1980s. These logics handle inconsistent and non-trivial information, but they usually do not articulate sources of the inconsistency. Yet, making the origin of an inconsistency present in a body of information explicit is important to assess the body - can we trace the mutually conflicting pieces of information to sources of information relevant to the body or is the inconsistency a result of an error unrelated to any outside sources? Is the inconsistency derived from various equally trustworthy sources or from a single inconsistent source? In this article we show that a paraconsistent modal logic, namely, the logic BK introduced by Odintsov and Wansing, is a first step toward a formalism capable of making these distinctions explicit. We interpret the accessibility relation between states in a model as a source relation - states accessible from a given state are seen as sources of potential justification of the information contained in the original state. This interpretation also motivates the study of a number of extensions of BK. We focus here on extensions of BK able to articulate the relation of compatibility between bodies of information and extensions working with labels explicitly differentiating between bodies of information. In the case of compatibility-based extensions a more detailed technical study including a completeness proof is provided, technical features of the simpler case of label-based extensions, on the other hand, are discussed without going into details.

Druh

C - Kapitola v odborné knize

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

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 knihy nebo sborníku

New Essays on Belnap-Dunn Logic

ISBN

978-3-030-31135-3

Počet stran výsledku

18

Strana od-do

293-310

Počet stran knihy

324

Název nakladatele

Springer

Místo vydání

Cham

Kód UT WoS kapitoly

—