Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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
Abstract : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées
https://hal-u-picardie.archives-ouvertes.fr/hal-03636416
Contributeur : Louise Dessaivre Connectez-vous pour contacter le contributeur
Soumis le : dimanche 10 avril 2022 - 11:39:12
Dernière modification le : lundi 11 avril 2022 - 03:00:13

Lien texte intégral

openaccess

Identifiants

Collections

U-PICARDIE | MIS

Citation

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⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

15