A Systematic Approach to Define Semantics for Prioritised Logic Programs

  • Renan Cordeiro UFC
  • Guilherme Fernandes UFC
  • João Alcântara UFC
  • Henrique Viana IFCE

Resumo


We propose in this paper a framework of prioritised logic programs (PLP) to represent priority information explicitly in a program. Differently of others approaches, we do not restrain the preference relation only to literals, but to sets of literals. As consequence, we can express in PLPs sophisticated forms of preferences without changing the programs or introducing new atoms to obtain artificially the intended preferences. Besides, inspired on various developments in the literature on preference, we present a comprehensive and systematic treatment to deal with preferences in logic programming. In fact, we introduced 32 different criteria (semantics) to establish preference between partial stable models as well as those semantics whose definition depends on partial stable models. We show some properties of our framework; in particular, we guarantee these semantics for PLP generalise their counterparts for logic programs without preferences.

Palavras-chave: Logic programming, Preferences, Semantics
Publicado
29/11/2021
CORDEIRO, Renan; FERNANDES, Guilherme; ALCÂNTARA, João; VIANA, Henrique. A Systematic Approach to Define Semantics for Prioritised Logic Programs. In: BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 10. , 2021, Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . ISSN 2643-6264.