Tableaux for Maximum Satisfiability in Lukasiewicz Logic

Chu Min Li (1) , Felip Manya (2) , Amanda Vidal

1 MIS - Modélisation, Information et Systèmes - UR UPJV 4290
2 IIIA / CSIC - Artificial Intelligence Research Institute / Spanish Scientific Research Council

We define a tableau calculus for solving the MaxSAT problem of 3-valued Lukasiewicz 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 Lukasiewicz logic.

Domaines: Informatique [cs]

Chu Min Li, Felip Manya, Amanda Vidal. Tableaux for Maximum Satisfiability in Lukasiewicz Logic. 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), Nov 2020, Miyazaki, Japan. pp.243-248, ⟨10.1109/ISMVL49045.2020.00007⟩. ⟨hal-03636416⟩