Tableaux for Maximum Satisfiability in Lukasiewicz Logic - Université de Picardie Jules Verne Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Tableaux for Maximum Satisfiability in Lukasiewicz Logic

Résumé

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.

Dates et versions

hal-03636416 , version 1 (10-04-2022)

Identifiants

Citer

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⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More