<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462023000100303</article-id>
<article-id pub-id-type="doi">10.13053/cys-27-1-4541</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[An Alternative Definition of Stable Models Via &#321;ukasiewicz Logic]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[Mauricio]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Figallo-Orellano]]></surname>
<given-names><![CDATA[Aldo]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Huerta]]></surname>
<given-names><![CDATA[Diego]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de las Américas Puebla Departamento de Actuaría, Física y Matemáticas ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidade Federal do Rio Grande do Norte Departamento de Informática e Matemática Aplicada ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Brazil</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>03</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>03</month>
<year>2023</year>
</pub-date>
<volume>27</volume>
<numero>1</numero>
<fpage>303</fpage>
<lpage>313</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462023000100303&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462023000100303&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462023000100303&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: Extensions of    G 3 (3-valued Gödel logic) were studied as tools for knowledge representation and nonmonotonic reasoning. One of these extensions was studied and baptized as      G &#8242; 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 &#321;ukasiewicz 3-valued logic (for short, &#321;3) can be used for knowledge representation based on logic programming. Firstly, we prove that the definition of stable model for &#321;3 is equivalent to the obtained through    G 3 for augmented programs, but when we consider more general programs we obtain more answers for stable models on &#321;3 than    G 3. Finally, we present and explore a new definition of stable model based on Lukasiewicz  n-valued logic via the use of Monteiro-Baaz  &#916; operator.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Knowledge representation]]></kwd>
<kwd lng="en"><![CDATA[stable semantics]]></kwd>
<kwd lng="en"><![CDATA[&#321;ukasiewicz logic]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Baaz]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Infinite-valued Gödel logics with 0-1-projections and relativizations]]></source>
<year>1996</year>
<page-range>23-33</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cignoli]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Proper n-valued Lukasiewicz algebras as s-algebras of Lukasiewicz n-valued propositional calculi. Studia Logica]]></source>
<year>1982</year>
<volume>41</volume>
<page-range>3-16</page-range></nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cignoli]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[D&#8217;Ottaviano]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Mundici]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Algebraic Foundations of Many-Valued Reasoning]]></source>
<year>2000</year>
<publisher-loc><![CDATA[Netherlands ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Confalonieri]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Nieves]]></surname>
<given-names><![CDATA[J. C.]]></given-names>
</name>
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Vázquez-Salceda]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Possibilistic semantics for logic programs with ordered disjunction]]></source>
<year>2010</year>
<page-range>133-52</page-range><publisher-loc><![CDATA[Berlin Heidelberg ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Coniglio]]></surname>
<given-names><![CDATA[M. E.]]></given-names>
</name>
<name>
<surname><![CDATA[Esteva]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Godo]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the set of intermediate logics between the truth- and degree-preserving &#322;ukasiewicz logics]]></article-title>
<source><![CDATA[Logic Journal of IGPL]]></source>
<year>2016</year>
<volume>24</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>288-320</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Esteva]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Godo]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Hájek]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Navara]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Residuated fuzzy logic with an involutive negation]]></article-title>
<source><![CDATA[Archive for Mathematical Logic]]></source>
<year>2000</year>
<volume>39</volume>
<page-range>103-24</page-range></nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Esteva]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Godo]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Montagna]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The &#322; &#928; and &#322; &#928; 1/2 logics: Two complete fuzzy systems joining Lukasiewicz and product logics]]></article-title>
<source><![CDATA[Archive for Mathematical Logic]]></source>
<year>2001</year>
<volume>40</volume>
<page-range>39-67</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Falkner]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Friedrich]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Schekotihin]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Comploi-Taupe]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Teppan]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Industrial applications of answer set programming]]></article-title>
<source><![CDATA[Kunstliche Intelligenz]]></source>
<year>2018</year>
<volume>32</volume>
<page-range>165-76</page-range></nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gebser]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Kaufmann]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Schaub]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Conflict-driven answer set solving: From theory to practice]]></article-title>
<source><![CDATA[Artif. Intell.]]></source>
<year>2012</year>
<volume>187</volume>
<page-range>52-89</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gelfond]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[On stratified autoepistemic theories]]></source>
<year>1987</year>
<conf-name><![CDATA[ 6th National Conference on Artificial Intelligence]]></conf-name>
<conf-date>July 1987</conf-date>
<conf-loc>Seattle, WA, USA </conf-loc>
<page-range>207-11</page-range></nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gelfond]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Lifschitz]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Stable Model Semantics for Logic Programming]]></source>
<year>1988</year>
<conf-name><![CDATA[ 5th Conference on Logic Programming]]></conf-name>
<conf-loc> </conf-loc>
<page-range>1070-80</page-range></nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Grigolia]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Algebraic analysis of &#322;ukasiewicz-Tarski&#8217;s n-valued logic systems]]></article-title>
<source><![CDATA[Selected papers on &#321;ukasiewicz sentencial calculi]]></source>
<year>1977</year>
<page-range>81-92</page-range><publisher-name><![CDATA[Ossolineum, Wroclaw]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hájek]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Metamathematics of fuzzy logic]]></source>
<year>1998</year>
</nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hájek]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Fuzzy logic]]></source>
<year>2006</year>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Klir]]></surname>
<given-names><![CDATA[G. J.]]></given-names>
</name>
<name>
<surname><![CDATA[Yuan]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Fuzzy Sets and Fuzzy Logic: Theory and Applications]]></source>
<year>1995</year>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lifschitz]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
<name>
<surname><![CDATA[Tang]]></surname>
<given-names><![CDATA[L. R.]]></given-names>
</name>
<name>
<surname><![CDATA[Turner]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Nested expressions in logic programs]]></article-title>
<source><![CDATA[Annals of Mathematics and Artificial Intelligence]]></source>
<year>1999</year>
<volume>25</volume>
<page-range>369-89</page-range></nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Minari]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A note on &#321;ukasiewicz&#8217;s three-valued logic]]></article-title>
<source><![CDATA[Annali del Dipartimento di Filosofia dell&#8217;Universita di Firenze]]></source>
<year>2003</year>
<page-range>163-90</page-range></nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Carranza]]></surname>
<given-names><![CDATA[J. L. C.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An extension of the stable semantics via &#322;ukasiewicz logic]]></article-title>
<source><![CDATA[Electronic Notes in Theoretical Computer Science]]></source>
<year>2020</year>
<volume>354</volume>
<page-range>141-55</page-range></nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Navarro]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Arrazola]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Borja]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Ground nonmonotonic modal logic S5: New results]]></article-title>
<source><![CDATA[Journal of Logic and Computation]]></source>
<year>2005</year>
<volume>15</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>787-813</page-range></nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Navarro]]></surname>
<given-names><![CDATA[J. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Arrazola]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Safe beliefs for propositional theories]]></article-title>
<source><![CDATA[Annals of Pure and Applied Logic]]></source>
<year>2005</year>
<volume>134</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>63-82</page-range></nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Navarro Pérez]]></surname>
<given-names><![CDATA[J. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Arrazola]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Safe beliefs for propositional theories]]></article-title>
<source><![CDATA[Annals of Pure and Applied Logic]]></source>
<year>2005</year>
<volume>134</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>63-82</page-range></nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Osorio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Zepeda]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Carballido]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[López]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Yet another application of fuzzy logic]]></source>
<year>2010</year>
<conf-name><![CDATA[ 20th International Conference on Electronics, Communications and Computer]]></conf-name>
<conf-loc> </conf-loc>
<page-range>217-21</page-range></nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pearce]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[From Here to There: Stable Negation in Logic Programming]]></article-title>
<source><![CDATA[What Is Negation?]]></source>
<year>1999</year>
<page-range>161-81</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Zadeh]]></surname>
<given-names><![CDATA[L. A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Fuzzy sets]]></article-title>
<source><![CDATA[Information and Control]]></source>
<year>1965</year>
<volume>8</volume>
<page-range>338-53</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
