Tableaux for Maximum Satisfiability in Lukasiewicz Logic

Authors: C. M. Li, F. Manya, Amanda Vidal
Publication year: 2020
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). Proceedings
Bibliographic citation: LI, C. M., MANYA, F., VIDAL, Amanda. Tableaux for Maximum Satisfiability in Lukasiewicz Logic. In: 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
Dostupné z: doi:10.1109/ISMVL49045.2020.00007
DOI: 10.1109/ISMVL49045.2020.00007
ID: 543613

Abstract

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.