16,708 Hits in 4.4 sec

A core language for fuzzy answer set programming

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
2012 International Journal of Approximate Reasoning  
A number of different Fuzzy Answer Set Programming (FASP) formalisms have been proposed in the last years, which all differ in the language extensions they support.  ...  Specifically we show how a variety of constructs in these languages can be implemented using a considerably simpler core language.  ...  Steven Schockaert is a post-doctoral fellow of the Flemish Fund for Scientiï¬'c Research (FWO-Vlaanderen). A. Proofs A.1. Proofs of Section 4.1  ... 
doi:10.1016/j.ijar.2012.01.005 fatcat:nkbz3vzmcfdehcguwfjidpnewm

Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach

M. Eugenia Cornejo, David Lobo, Jesús Medina
2020 Mathematics  
This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming.  ...  This translation allows us to combine the expressiveness of multi-adjoint normal logic programming with the compactness and simplicity of the core fuzzy answer set programming language.  ...  Acknowledgments: The author would like to thank the four anonymous reviewers for their careful reading of the paper and useful suggestions to clarify this work.  ... 
doi:10.3390/math8060881 fatcat:3wr4vsbbfvew5ibekvglpsvrlm

Fuzzy Logic Rules Modeling Similarity-based Strict Equality

Ginés Moreno, Jaime Penabad, Carlos Vázquez
2014 Proceedings of the 2014 Federated Conference on Computer Science and Information Systems  
model that we have recently proposed for hybrid declarative languages amalgamating functional-fuzzylogic features.  ...  A classical, but even nowadays challenging research topic in declarative programming, consists in the design of powerful notions of "equality", as occurs with the flexible (fuzzy) and efficient (lazy)  ...  This approach is followed, for instance, in the fuzzy logic languages LIKELOG [10] and BOUSI∼PROLOG [12] , where a set of usual PROLOG clauses are accompanied by a set of similarity equations playing  ... 
doi:10.15439/2014f387 dblp:conf/fedcsis/MorenoPV14 fatcat:jp6x4stuqnhfbpemd43y5ytp2e

A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming [chapter]

Jesús M. Almendros-Jiménez, Alejandro Luna, Ginés Moreno
2011 Lecture Notes in Computer Science  
In order to provide ranked answers, our approach proposes fuzzy variants of and, or and avg operators for XPath conditions, as well as two structural constraints, called down and deep, for which a certain  ...  Our proposal has been implemented with a fuzzy logic language to take profit of the clear sinergies between both target and source fuzzy languages.  ...  The new query language returns a set of ranked answers each one with an associated RSV.  ... 
doi:10.1007/978-3-642-22546-8_15 fatcat:fhfbuixp3bcsvg2ykfisjafnnq

Fuzzy Logic, Annotation Domains and Semantic Web Languages [chapter]

Umberto Straccia
2011 Lecture Notes in Computer Science  
This talk presents a detailed, self-contained and comprehensive account of the state of the art in representing and reasoning with fuzzy knowledge in Semantic Web Languages such a RDF/RDFS, OWL 2 and RIF  ...  x) : s ← SportsCar(x) : s1, Fuzzy RIF The foundation of the core part of RIF is Datalog [72] , i.e. a Logic Programming Language (LP) [43] .  ...  For instance, the fuzzy GCI in Eq. (10), can be expressed easily as the fuzzy rule A fuzzy query is a fuzzy rule and, informally, the fuzzy answer set is the ordered set of weighted tuples t, s such that  ... 
doi:10.1007/978-3-642-23963-2_2 fatcat:vwgiptrpena7dkckythul4tke4

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language

Jesús M. Almendros-Jiménez, Alejandro Luna, Ginés Moreno
2012 Electronical Notes in Theoretical Computer Science  
This is the case of our recently proposed extension for the popular XPath query language in order to handle flexible queries which provide ranked answers, fuzzy variants of operators and, or and avg for  ...  FLOPER is the "Fuzzy LOgic Programming Environment for Research" designed in our research group for assisting the development of real-world applications where fuzzy logic might play an important role.  ...  The new query language returns a set of ranked answers each one with an associated RSV. Such RSV is computed by easily using MALP rules.  ... 
doi:10.1016/j.entcs.2011.12.002 fatcat:zn4fu4zk2nafpjgdj7mh7mdio4

Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models [chapter]

Jesús M. Almendros-Jiménez, Miquel Bofill, Alejandro Luna-Tedesqui, Ginés Moreno, Carlos Vázquez, Mateu Villaret
2015 Lecture Notes in Computer Science  
., proving the existence of at least one model) as usually done in a SAT/SMT setting, our interest moves to the problem of finding the whole set of models (with a finite domain) for a given fuzzy formula  ...  We re-use a previous method based on fuzzy logic programming where the formula is conceived as a goal whose derivation tree, provided by our FLOPER tool, contains on its leaves all the models of the original  ...  Definition 2 (Fuzzy Computed Answer). Let P be a program, Q a goal and σ a substitution.  ... 
doi:10.1007/978-3-319-23540-0_26 fatcat:5lxjthni3vcfjedgcd5ktfovve

Book Review: Fuzzy sets and their applications to cognitive and decision processes

Michael A. Arbib
1977 Bulletin of the American Mathematical Society  
Take, for example, the controversy [4] -not mentioned in these books-over the Club of Rome sponsored The limits to growth. How could fuzzy sets answer the criticism ?  ...  Goguen does not say how he would do it, but Tanaka and Mizumoto in the paper Fuzzy programs and their execution actually carry out a similar idea (conceived independently), and program a computer representation  ... 
doi:10.1090/s0002-9904-1977-14331-0 fatcat:h3o5vetdcvgdpeo6i5yh5e6q5y

Page 6218 of Mathematical Reviews Vol. , Issue 95j [page]

1995 Mathematical Reviews  
Summary: “The aim of this work is to give validation methods for logic programs especially with negation. The study presented here answers a problem raised by G. Ferrand and P. Deransart [J.  ...  This characterization gives a proof of completeness for normal programs with respect to a specification.  ... 

Introduction to the 31st International Conference on Logic Programming special issue

2015 Theory and Practice of Logic Programming  
on Principles and Practice of Constraint Programming (CP 2015) and part ofGeorge Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College  ...  The 31st edition of the International Conference of Logic Programming (ICLP 2015) took place in Cork, Ireland, from 31 August 2015 to 4 September 2015, co-located with the 21st International Conference  ...  Lukasiewicz: Datalog+/-: A New Family of Languages for Knowledge Representation and Reasoning • Marco Maratea: Abstract Solvers for Answer Set Programming Moreover, the conference programme included several  ... 
doi:10.1017/s1471068415000356 fatcat:nmzofyplnnfo5pfi4sedn5d47m

A GIS application to enhance cell-based information modeling

2002 Information Sciences  
A flowchart interface is preferred to a line-code oriented programming language thus enabling the user to focus on a particular problem rather than a complex programming exercise.  ...  Maps have been major sources of information for a long time.  ...  A flowchart-based user interface enables even a newcomer to programming languages to use fuzzy technology in GIS.  ... 
doi:10.1016/s0020-0255(02)00163-9 fatcat:35hvvh2aknfcbjxu3thbgw4kxu

From Fuzzy to Annotated Semantic Web Languages [chapter]

Umberto Straccia, Fernando Bobillo
2017 Lecture Notes in Computer Science  
We present the state of the art in representing and reasoning with fuzzy knowledge in Semantic Web Languages such as triple languages RDF/RDFS, conceptual languages of the OWL 2 family and rule languages  ...  Fuzzy Rule Languages The foundation of the core part of rule languages is Datalog [210] , i.e. a Logic Programming Language (LP) [11] .  ...  Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, Amsterdam (2006) 48. Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the semantic web.  ... 
doi:10.1007/978-3-319-49493-7_6 fatcat:u4kbfmvkmbhiberrhh4bocml6u

On the Top-k Retrieval Problem for Ontology-Based Access to Databases [chapter]

Umberto Straccia
2013 Studies in Computational Intelligence  
The results of a query may be ranked according to the score and the problem is to find efficiently the top-k ranked query answers. U. Straccia (B)  ...  The chapter is a succinct summary on the problem of evaluating ranked top-k queries in the context of ontology-based access over relational databases.  ...  We start with the language DL-Lite core that is the core language for the whole family.  ... 
doi:10.1007/978-3-319-00954-4_5 fatcat:wq725kq5svcedjietrtez3rsaq

Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach [chapter]

Patryk Burek, Rafał Graboś
2005 Lecture Notes in Computer Science  
The translation of annotated OWL axioms into a logic program under answer set semantics is provided.  ...  We develop a metaontology for representing both types of a concept's structure and apply it for annotating OWL axioms.  ...  We are indebted to Hesham Khalil, Sören Auer, Frank Loebe and Sebastian Dietzold for fruitful discussions and to the anonymous reviewers for feedback on earlier versions of this paper.  ... 
doi:10.1007/11431053_26 fatcat:tnntmzjcmbepnl6nva7zh3hwn4

Thresholded Tabulation in a Fuzzy Logic Setting

Pascual Julián, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego
2009 Electronical Notes in Theoretical Computer Science  
Fuzzy logic programming represents a flexible and powerful declarative paradigm amalgamating fuzzy logic and logic programming, for which there exists different promising approaches described in the literature  ...  In this paper we propose an improved fuzzy query answering procedure for the so called multi-adjoint logic programming approach, which avoids the re-evaluation of goals and the generation of useless computations  ...  The original method was firstly introduced inside the core of a fuzzy partial evaluation (PE) framework useful not only for specializing fuzzy programs, but also for generating reductants [20] .  ... 
doi:10.1016/j.entcs.2009.07.063 fatcat:tep6tbgsizbfplwpwfq2ujmyoq
« Previous Showing results 1 — 15 out of 16,708 results