Minish HAT:: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming

• Rodrigo Martin ; Pedro Cabalar ^[1]
  1. [1] Universidade da Coruña

     Universidade da Coruña

     A Coruña, España

     
• Localización: XoveTIC 2019: The 2nd XoveTIC Conference (XoveTIC 2019), A Coruña, Spain, 5–6 September / Alberto Alvarellos González (ed. lit.), Joaquim de Moura (ed. lit.), Beatriz Botana Barreiro (ed. lit.), Javier Pereira-Loureiro (ed. lit.), Manuel Francisco González Penedo (ed. lit.), 2019, ISBN 978-3-03921-444-0
• Idioma: inglés
• Enlaces
  • Texto Completo Libro (pdf)
• Resumen

  • When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons.There are already a few methods and many tools, such as Karnaugh Maps or the Quine-McCluskey method, as well as their numerous software implementations, that solve this minimization problemin Boolean logic. This is not the case for Here-and-There logic, also called three-valued logic. Even though there are theoretical minimization methods for logic theories and programs, there aren’t any published tools that are able to obtain a minimal equivalent logic program. In this paper we present the first version of a tool called that is able to efficiently obtain minimal and equivalent representations for any logic program in Here-and-There. The described tool uses an hybrid method both leveraging a modified version of the Quine-McCluskey algorithm and Answer Set Programming techniques to minimize fairly complex logic programs in a reduced time.