Filters








21,323 Hits in 4.9 sec

Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics [article]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 arXiv   pre-print
In recent years answer set programming has been extended to deal with multi-valued predicates.  ...  To appear in Theory and Practice of Logic Programming (TPLP).  ...  Acknowledgment The authors would like to thank the anonymous reviewers for their useful suggestions and remarks.  ... 
arXiv:1104.5133v1 fatcat:aksfbu2tnzgntbwub465in7xhy

Reducing fuzzy answer set programming to model finding in fuzzy logics

JEROEN JANSSEN, DIRK VERMEIR, STEVEN SCHOCKAERT, MARTINE DE COCK
2011 Theory and Practice of Logic Programming  
AbstractIn recent years, answer set programming (ASP) has been extended to deal with multivalued predicates.  ...  In this paper, we show how this idea can be extended to fuzzy ASP, paving the wayto implement efficient fuzzy ASP solvers that can take advantage of existing fuzzy logic reasoners.  ...  Acknowledgment The authors would like to thank the anonymous reviewers for their useful suggestions and remarks.  ... 
doi:10.1017/s1471068411000093 fatcat:unnwhgj5ejgyvihdh2oe3l6ibq

Fuzzy logic programming reduced to reasoning with attribute implications

Tomas Kuhr, Vilem Vychodil
2015 Fuzzy sets and systems (Print)  
We present a link between two types of logic systems for reasoning with graded if-then rules: the system of fuzzy logic programming (FLP) in sense of Vojtáš and the system of fuzzy attribute logic (FAL  ...  We further show that entailment in FLP is reducible to reasoning with Boolean attribute implications and elaborate on related issues including properties of least models.  ...  Therefore, by finding fuzzy logic programs corresponding to sets of fuzzy attribute implications, one may introduce an alternative description of fuzzy concept lattices by fuzzy logic programs which we  ... 
doi:10.1016/j.fss.2014.04.013 fatcat:sbr7tegjizc45l45i4en7fcecq

Fuzzy Answer Set Programming [chapter]

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
2012 Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach  
From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while fuzzy logic adds the power to model continuous problems.  ...  In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions.  ...  Answer set programming (ASP) [1] is a tool for modeling combinatorial search problems in a declarative way. It has its roots in logic programming and nonmonotonic reasoning.  ... 
doi:10.2991/978-94-91216-59-6_3 fatcat:oqzn4dfxkncd3bs5m3oucm4ahy

Fuzzy Answer Set Programming: An Introduction [chapter]

Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
2013 Studies in Fuzziness and Soft Computing  
From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while fuzzy logic adds the power to model continuous problems.  ...  In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions.  ...  Answer set programming (ASP) [1] is a tool for modeling combinatorial search problems in a declarative way. It has its roots in logic programming and nonmonotonic reasoning.  ... 
doi:10.1007/978-3-642-34922-5_15 fatcat:sjdl5zq7znfujhvb45zvte4fhe

Fuzzy Answer Set Programming [chapter]

Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir
2006 Lecture Notes in Computer Science  
From the answer set semantics, FASP inherits the declarative nonmonotonic reasoning capabilities, while fuzzy logic adds the power to model continuous problems.  ...  In this chapter, we present a tutorial about fuzzy answer set programming (FASP); we give a gentle introduction to its basic ideas and definitions.  ...  Answer set programming (ASP) [1] is a tool for modeling combinatorial search problems in a declarative way. It has its roots in logic programming and nonmonotonic reasoning.  ... 
doi:10.1007/11853886_30 fatcat:rp5q3tsbmfb3hblmfalapiq2ce

Solving Fuzzy Answer Set Programs in Product Logic

Ivor Uhliarik
2017 Proceedings of the 9th International Joint Conference on Computational Intelligence  
modeling partial truth (fuzzy logic).  ...  logic, or yield only approximate answer sets.  ...  ACKNOWLEDGEMENTS The research reported in this paper was supported by the grant UK/367/2017.  ... 
doi:10.5220/0006518303670372 dblp:conf/ijcci/Uhliarik17 fatcat:h5soko66cnhcxeupg6g4sro75q

On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs [chapter]

Nicolás Madrid, Manuel Ojeda-Aciego
2009 Lecture Notes in Computer Science  
In this work we recall the first steps towards the definition of an answer set semantics for residuated logic programs with negation, and concentrate on the development of relationships between the notions  ...  For normal residuated logic programs, this definition reduces to that of stable set.  ...  Let P be a coherent extended residuated logic program; the fuzzy answer set of P is its least coherent model of P.  ... 
doi:10.1007/978-3-642-02282-1_8 fatcat:hgrbkqsep5e4re4irh2op4jbmu

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories [chapter]

Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock
2008 Lecture Notes in Computer Science  
We show how a fuzzy answer set program can be compiled to an equivalent fuzzy propositional theory whose models correspond to the answer sets of the program.  ...  This creates a basis for constructing fuzzy answer set solvers, such as solvers based on fuzzy SAT-solvers or on linear programming.  ...  Let P be a FASP program. Then if the aggregator is representable in fuzzy propositional logic, any y-answer set of P is a model of Comp y (P ).  ... 
doi:10.1007/978-3-540-89982-2_34 fatcat:2vqqo2pgjngx3nigx4f6wdjlne

Fuzzy autoepistemic logic and its relation to fuzzy answer set programming

Marjon Blondeel, Steven Schockaert, Martine De Cock, Dirk Vermeir
2014 Fuzzy sets and systems (Print)  
In this paper, we consider a version of fuzzy answer set programming and show that its answer sets can be equivalently described as models in fuzzy autoepistemic logic.  ...  Moreover, it is well known to generalize the stable model semantics of answer set programming.  ...  In [34] a correspondence between fuzzy equilibrium logic models and answer sets of FASP programs was shown.  ... 
doi:10.1016/j.fss.2012.09.012 fatcat:mfbvgiydovesrpruo2v5xn3avu

Complexity of fuzzy answer set programming under Łukasiewicz semantics

Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
2014 International Journal of Approximate Reasoning  
Fuzzy answer set programming (FASP) is a generalization of answer set programming (ASP) in which propositions are allowed to be graded.  ...  Little is known about the computational complexity of FASP and almost no techniques are available to compute the answer sets of a FASP program.  ...  Π P to find the unique answer set.  ... 
doi:10.1016/j.ijar.2013.10.011 fatcat:6w76t2lnafbnxpi2gex7mnsg3y

Fuzzy logic based approaches for gene regulatory network inference [article]

Khalid Raza
2018 arXiv   pre-print
The fuzzy logic, along with its hybridization with other intelligent approach, is well studied in GRNI due to its several advantages.  ...  In this paper, we present a consolidated review on fuzzy logic and its hybrid approaches for GRNI developed during last two decades.  ...  Fuzzy Answer Set Programming Answer Set Programming (ASP) is a declarative programming paradigm based on answer set (stable model) semantics of logic programming which is designed for difficult search  ... 
arXiv:1804.10775v1 fatcat:ct4yxzdq45ebdobxdsuwb3zlmy

Solving Disjunctive Fuzzy Answer Set Programs [chapter]

Mushthofa Mushthofa, Steven Schockaert, Martine De Cock
2015 Lecture Notes in Computer Science  
Fuzzy Answer Set Programming (FASP) is an extension of the popular Answer Set Programming (ASP) paradigm which is tailored for continuous domains.  ...  We first show that a large class of disjunctive FASP programs called the self-reinforcing cycle-free (SRCF) programs can be polynomially reduced to normal FASP programs.  ...  Non-SRCF programs For non-SRCF programs, finding an answer set in L ∞ requires finding an answer set I in L k for some k ≥ 1, and checking whether I is also an answer set for L ∞ .  ... 
doi:10.1007/978-3-319-23264-5_38 fatcat:ctsq7oizejfblcln2ceywqiwem

Modelling of Fuzzy Expert System for an Assessment of Security Information Management System UIS (University Information System)

2022 Tehnički Vjesnik  
The fuzzy logic method represents a new approach to the problems of managing complex systems, which is very difficult to describe with a certain mathematical model, as well as in systems with a large number  ...  We use the fuzzy logic controller to execute fuzzy inference rules from the fuzzy rule database in determining congestion parameters, obtaining warning information and appropriate action.  ...  To find the optimal number of rules, a special program in Visual Basic was used to determine the rules.  ... 
doi:10.17559/tv-20200721154801 fatcat:m2qeamrltnadzanfgenneyt4zy

A Proposed Fuzzy Model for Diseases Diagnosis

2020 International Journal of Engineering and Advanced Technology  
This paper proposes a fuzzy model for a bone disease to have the right diagnosis answer, as a human expertise doctor. and to prove that using fuzzy logic has a significant ability to mimic human thinking  ...  The model accepts inputs in the different forms as physiological and clinical parameters and all data based on medical expertise, using a rule-based fuzzy system approach applied with fourteen rules to  ...  In view of these factors find that fuzzy logic is providing a good solution to various data analytics problems.  ... 
doi:10.35940/ijeat.c6419.029320 fatcat:qfqnghsgpjac5jjeh7gwmxcii4
« Previous Showing results 1 — 15 out of 21,323 results