Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Jaime Penabad"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 173, Iss Proc. PROLE 2014, Pp 71-86 (2015)
FASILL (acronym of "Fuzzy Aggregators and Similarity Into a Logic Language") is a fuzzy logic programming language with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. FASILL integrates and ex
Externí odkaz:
https://doaj.org/article/57c7c3fed69542418b8b66f454ff5b79
Publikováno v:
Trends in Mathematics and Computational Intelligence ISBN: 9783030004842
The unfolding transformation has been widely used in many declarative frameworks for improving the efficiency of programs after applying computational steps on their rules. In this paper we apply such operation to a symbolic extension of a powerful f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a64c19ef8f06d409f38e370abcb502b7
https://doi.org/10.1007/978-3-030-00485-9_5
https://doi.org/10.1007/978-3-030-00485-9_5
Publikováno v:
FUZZ-IEEE
The FASILL programming language (acronym of "Fuzzy Aggregators and Similarity Into a Logic Language") combines a weak unification algorithm, based on similarity relations, along with a rich repertoire of fuzzy connectives and aggregators, whose truth
Publikováno v:
SSCI
A few years ago, the LatticeMaker tool was born in our research group for aiding the graphical design of lattices of truth degrees and generating code in form of Prolog clauses which can be directly imported by the fuzzy logic programming environment
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319675817
SUM
SUM
The unfolding transformation has been widely used in many declarative frameworks for improving the efficiency and scalability of programs after applying computational steps on their rules. Inspired by our previous experiences in fuzzy logic languages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f516276bf7404a5a7f91ef3067cd07d4
https://doi.org/10.1007/978-3-319-67582-4_32
https://doi.org/10.1007/978-3-319-67582-4_32
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783319631387
LOPSTR
LOPSTR
Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic program is determining the right weights for each rule, as well as the mos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0dea16d1c53c820384e0044d569270ec
https://doi.org/10.1007/978-3-319-63139-4_8
https://doi.org/10.1007/978-3-319-63139-4_8
Publikováno v:
International Journal of Computer Mathematics. 92:1956-1975
In ‘multi-adjoint logic programming’, MALP in brief, each fuzzy logic program is associated with its own ‘multi-adjoint lattice’ for modelling truth degrees beyond the simpler case of true and false, where a large set of fuzzy connectives can
Publikováno v:
EDULEARN proceedings.
Publikováno v:
Rule Technologies. Research, Tools, and Applications ISBN: 9783319420189
RuleML
RuleML
This work proposes a declarative semantics based on a fuzzy variant of the classical notion of least Herbrand model for the so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) which has been recently de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00e0046d7c9489cc9724e6ff6f88aba7
https://doi.org/10.1007/978-3-319-42019-6_5
https://doi.org/10.1007/978-3-319-42019-6_5
Publikováno v:
International Journal of Computer Mathematics. 89:1742-1752
Fuzzy logic programming tries to introduce fuzzy logic into logic programming in order to provide new generation computer languages which incorporate comfortable programming resources for helping the development of applications where uncertainty coul