On the use of fuzzy stable models for inconsistent classical logic programs

Based on the recently proved fact that the continuity of the connectives involved in a normal residuated logic program ensures the existence of fuzzy stable models, we focus on the assignment of a fuzzy stable model semantics to inconsistent classical logic programs on the basis of the separation of the notion of inconsistency and uncertainty.

[1]  Manuel Ojeda-Aciego,et al.  On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs , 2009, WILF.

[2]  Manuel Ojeda-Aciego,et al.  Measuring Instability in Normal Residuated Logic Programs: Discarding Information , 2010, IPMU.

[3]  Thomas Lukasiewicz.  Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[4]  Martine De Cock,et al.  An introduction to fuzzy answer set programming , 2007, Annals of Mathematics and Artificial Intelligence.

[5]  Stefania Costantini,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming on the Existence of Stable Models of Non-stratified Logic Programs , 2022 .

[6]  Manuel Ojeda-Aciego,et al.  Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[7]  Carlo Zaniolo,et al.  Stable models and non-determinism in logic programs with negation , 1990, PODS.

[8]  Luís Moniz Pereira,et al.  Monotonic and Residuated Logic Programs , 2001, ECSQARU.

[9]  Melvin Fitting,et al.  The Family of Stable Models , 1993, J. Log. Program..

[10]  Phan Minh Dung,et al.  Negations as Hypotheses: An Abductive Foundation for Logic Programming , 1991, ICLP.

[11]  Gerd Wagner.  Negation in Fuzzy and Possibilistic Logic Programs , 1998 .

[12]  Luís Moniz Pereira,et al.  Antitonic Logic Programs , 2001, LPNMR.

[13]  Manuel Ojeda-Aciego,et al.  Measuring instability in normal residuated logic programs: Adding information , 2010, International Conference on Fuzzy Systems.

[14]  Umberto Straccia,et al.  Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[15]  Thomas Lukasiewicz,et al.  Many-Valued Disjunctive Logic Programs with Probabilistic Semantics , 1999, LPNMR.

[16]  Manuel Ojeda-Aciego,et al.  On the existence and unicity of stable models in normal residuated logic programs , 2012, Int. J. Comput. Math..

[17]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[18]  Melvin Fitting,et al.  Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..

[19]  Umberto Straccia.  Annotated Answer Set Programming , 2006 .

[20]  Umberto Straccia,et al.  Epistemic foundation of stable model semantics , 2004, Theory and Practice of Logic Programming.

[21]  Matthew L. Ginsberg,et al.  Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..

[22]  Mauricio Osorio,et al.  Logics with Common Weak Completions , 2006, J. Log. Comput..

[23]  Manuel Ojeda-Aciego,et al.  On the measure of incoherence in extended residuated logic programs , 2009, 2009 IEEE International Conference on Fuzzy Systems.

[24]  Anthony Hunter,et al.  Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.

[25]  Emad Saad,et al.  Towards the Computation of Stable Probabilistic Model Semantics , 2006, KI.

[26]  Manuel Ojeda-Aciego,et al.  Termination of logic programs with imperfect information: applications and query procedure , 2007, J. Appl. Log..

[27]  Manuel Ojeda-Aciego,et al.  Measuring Inconsistency in Fuzzy Answer Set Semantics , 2011, IEEE Transactions on Fuzzy Systems.

[28]  Teodor C. Przymusinski.  The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics , 1990, Fundam. Inform..