Constraint Tableaux for Two-Dimensional Fuzzy Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F21%3A00547122" target="_blank" >RIV/67985807:_____/21:00547122 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-030-86059-2_2" target="_blank" >http://dx.doi.org/10.1007/978-3-030-86059-2_2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-86059-2_2" target="_blank" >10.1007/978-3-030-86059-2_2</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Constraint Tableaux for Two-Dimensional Fuzzy Logics

Popis výsledku v původním jazyce

We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize reasoning with graded, incomplete and inconsistent information. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product of the [0, 1] interval. The first (resp. second) coordinate encodes the positive (resp. negative) information one has about a statement. We propose constraint tableaux that provide a modular framework to address their completeness and complexity.

Název v anglickém jazyce

Constraint Tableaux for Two-Dimensional Fuzzy Logics

Popis výsledku anglicky

We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize reasoning with graded, incomplete and inconsistent information. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product of the [0, 1] interval. The first (resp. second) coordinate encodes the positive (resp. negative) information one has about a statement. We propose constraint tableaux that provide a modular framework to address their completeness and complexity.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

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

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2021

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 statě ve sborníku

TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods

ISBN

978-3-030-86058-5

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

18

Strana od-do

20-37

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Birmingham / online

Datum konání akce

6. 9. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000711656700002