Tableaux for Maximum Satisfiability in Lukasiewicz Logic

0543613 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Li, C. M. - Manya, F. - Vidal, Amanda
Tableaux for Maximum Satisfiability in Lukasiewicz Logic.
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). Proceedings. Piscataway: IEEE, 2020, s. 243-248. ISBN 978-1-7281-5406-0. ISSN 2378-2226.
[ISMVL 2020: IEEE International Symposium on Multiple-Valued Logic /50./. Miyazaki (JP), 09.11.2020-11.11.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: Lukasiewicz logic * MaxSAT * Tableaux
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

We define a tableau calculus for solving the MaxSAT problem of 3-valued Łukasiewicz logic, and prove its soundness and completeness. The calculus can be naturally extended to other finitely-valued logics. Our contributions establish the foundations of a generic problem solving paradigm for combinatorial optimization based on Łukasiewicz logic.
Trvalý link: http://hdl.handle.net/11104/0320803