Constraint Tableaux for Two-Dimensional Fuzzy Logics

0547122 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Constraint Tableaux for Two-Dimensional Fuzzy Logics.
TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods. Cham: Springer, 2021 - (Das, A.; Negri, S.), s. 20-37. Lecture Notes on Computer Science, 12842. ISBN 978-3-030-86058-5. ISSN 0302-9743.
[Tableaux 2021: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /30./, co-located with FroCoS 2021: International Symposium on Frontiers of Combining Systems /13./. Birmingham / online (GB), 06.09.2021-09.09.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: Constraint tableaux * Lukasiewicz logic * Gödel logic * Two-dimensional logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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.
Trvalý link: http://hdl.handle.net/11104/0323453