An Alternative Definition of Stable Models Via Łukasiewicz Logic

Authors

  • Mauricio Osorio Universidad de las Américas Puebla
  • Aldo Figallo-Orellano Universidade Federal do Rio Grande do Norte
  • Diego Huerta Universidad de las Américas Puebla

DOI:

https://doi.org/10.13053/cys-27-1-4541

Keywords:

Knowledge representation, stable semantics, Łukasiewicz logic

Abstract

Extensions of G3 (3-valued Godel logic) were studied as tools for knowledge representation and nonmonotonic reasoning. One of these extensions was studied and baptized as G′ 3 by Osorio et al. as a tool to define semantics of logic programming. In this work, we will explore the possibility to use another fuzzy logic for knowledge representation. In particular, we show that Łukasiewicz 3-valued logic (for short, Ł3) can be used for knowledge representation based on logic programming. Firstly, we prove that the definition of stable model for Ł3 is equivalent to the obtained through G3 for augmented programs, but when we consider more general programs we obtain more answers for stable models on Ł3 than G3. Finally, we present and explore a new definition of stable model based on Lukasiewicz n-valued logic via the use of Monteiro-Baaz ∆ operator.

Author Biographies

Mauricio Osorio, Universidad de las Américas Puebla

Departamento de Actuaría, Física y Matematicas

Aldo Figallo-Orellano, Universidade Federal do Rio Grande do Norte

Departamento de Informatica e Matemática Aplicada

Diego Huerta, Universidad de las Américas Puebla

Departamento de Actuaría, Física y Matematicas

Downloads

Published

2023-03-30

Issue

Vol. 27 No. 1 (2023): 27(1) 2023

Section

Articles of the Thematic Section (2)

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.