Počet záznamů: 1  

Tableaux for Maximum Satisfiability in Lukasiewicz Logic

  1. 1.
    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

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.