A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
On the measure of incoherent information in extended multi-adjoint logic programs
2013
2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI)
Preserved Fulltext
In this paper we continue analyzing the introduction of negation into the framework of residuated logic programming [8], [10] ; specifically, we focus on extended programs, that is we consider programs ...
This paper introduces several approaches to measure consistency (under the term coherence) into a multi-adjoint setting. ...
The semantics for extended multi-adjoint logic programs is given as follows. ...
doi:10.1109/foci.2013.6602452
dblp:conf/foci/MadridO13
fatcat:jaflixrgojd25iftli2byl2vzy
A Multi-adjoint Logic Approach to Abductive Reasoning
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3] , in that simultaneous use of several implications in the rules and rather general ...
To model uncertainty in human cognition and real world applications; we use multi-adjoint logic programming to introduce and study a model of abduction problem. ...
Syntax and Semantics of Multi-Adjoint Logic Programs Multi-adjoint logic programs are constructed from the abstract syntax induced by a multi-adjoint algebra on a set of propositional symbols. ...
doi:10.1007/3-540-45635-x_26
fatcat:jbzdulh37jbsze7qwyuypjky3y
A Procedural Semantics for Multi-adjoint Logic Programming
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. ...
In this work, a procedural semantics is given for the paradigm of multiadjoint logic programming and completeness theorems are proved. ...
Definition 2 (Multi-Adjoint Logic Programs). ...
doi:10.1007/3-540-45329-6_29
fatcat:txt5frgudfgwjb3hyvild4wnwe
A Multi-Adjoint Approach to Similarity-Based Unification
2002
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A formal model for similarity-based fuzzy unification in multi-adjoint logic programs is presented. ...
programming with different notions of similarity. ...
logic programs as follows: Definition 3.5 Let P be a multi-adjoint logic program. ...
doi:10.1016/s1571-0661(04)80515-2
fatcat:lv5stcox2nactnuzuavsxhhqoe
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. ...
From the applicative part, a neural net based implementation of homogeneous propositional multi-adjoint logic programming on the unit interval has been presented elsewhere, but restricted to the case in ...
B, ϑ ∈ P As usual, it is possible to characterise the semantics of a multi-adjoint logic program by the post-fixpoints of T P ; that is, an interpretation I is a model of a multi-adjoint logic program ...
doi:10.1007/978-3-540-30498-2_72
fatcat:6rhknwl225fxthuoezcdmb5niy
Interval-Valued Neural Multi-adjoint Logic Programs
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. ...
Several semantics have been proposed for multi-adjoint logic programs but, regarding the implementation, the fix-point semantics was the chosen one: given a multi-adjoint logic program P its meaning (the ...
B, ϑ ∈ P As usual, it is possible to characterise the semantics of a multi-adjoint logic program by the post-fixpoints of T P ; that is, an interpretation I is a model of a multi-adjoint logic program ...
doi:10.1007/11499220_53
fatcat:pwpt5gkoivbfxj4tlnweej74xm
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A general framework of logic programming allowing for the combination of several adjoint lattices of truth-values is presented. ...
Several extensions of these conditions are presented and related to some well-known formalisms for probabilistic logic programming. ...
Let P be a sorted multi-adjoint logic program. ...
doi:10.1007/978-3-540-30227-8_23
fatcat:ogcqfm2o6jgitjbuvmmdkphkhq
Similarity-based unification: a multi-adjoint approach
2004
Fuzzy sets and systems (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The aim of this paper is to build a formal model for similarity-based fuzzy uniÿcation in multi-adjoint logic programs. ...
Speciÿcally, a general framework of logic programming which allows the simultaneous use of di erent implications in the rules and rather general connectives in the bodies is introduced, then a procedural ...
Let P be a multi-adjoint logic program. ...
doi:10.1016/j.fss.2003.11.005
fatcat:pw3zqhtsavb6pd6xulhckx4l44
Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach
2020
Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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. ...
Specifically, it is shown how core fuzzy answer set programs can be translated into multi-adjoint normal logic programs and vice versa, preserving the semantics of the starting program. ...
Recently, extended multi-adjoint logic programs (EMALPs) were presented in [15] as an extension of multi-adjoint normal logic programs. ...
doi:10.3390/math8060881
fatcat:3wr4vsbbfvew5ibekvglpsvrlm
Homogenizing multi-adjoint logic programs
2003
European Society for Fuzzy Logic and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. ...
In this work, we introduce the concept of homogeneous multi-adjoint logic program, and present a procedure to homogenize an arbitrary multi-adjoint logic program. ...
Multi-adjoint logic programming is a general theory of logic programming which allows the simultaneous use of different implications in the rules and rather general connectives in the bodies; in [6] ...
dblp:conf/eusflat/MedinaO03
fatcat:6wb6bw7ttnczredecoxyczpz3m
Termination of logic programs with imperfect information: applications and query procedure
2007
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The contribution of the paper is two-fold: on the one hand, sufficient conditions guaranteeing termination of all queries for the fix-point semantics for a wide class of sorted multi-adjoint logic programs ...
are presented and related to some well-known probability-based formalisms; in addition, we specify a general non-deterministic tabulation goal-oriented query procedure for sorted multi-adjoint logic programs ...
Let P be a sorted multi-adjoint logic program. ...
doi:10.1016/j.jal.2006.03.004
fatcat:7c2v6kd6ijcbtb7ayeuhprz3a4
Tuning Fuzzy Logic Programs with Symbolic Execution
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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 most appropriate fuzzy connectives and operators. ...
Symbolic Multi-adjoint Logic Programming In this section, we introduce a symbolic extension of multi-adjoint logic programming. ...
arXiv:1608.04688v1
fatcat:p2xyri4k3bdo5bewluszf5l22y
Towards Biresiduated Multi-adjoint Logic Programming
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in the rules and rather general connectives ...
logic programming and sketch some considerations on its fixpoint semantics. 1. ...
Multi-adjoint logic programming was introduced in [6] as a refinement of both initial work in [11] and residuated logic programming [2] . ...
doi:10.1007/978-3-540-25945-9_60
fatcat:pc5tqc5fm5ab5ji6c53xkaix4i
A Similarity-Based Unification Model for Flexible Querying
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We use the formal model for similarity-based fuzzy unification in multi-adjoint logic programs to provide new tools for flexible querying. ...
Our approach is based on a general framework for logic programming, which gives a formal model of fuzzy logic programming extended by fuzzy similarities and axioms of first-order logic with equality. ...
A multi-adjoint logic program is a set P of weighted rules of the form
Definition 3. ...
doi:10.1007/3-540-36109-x_21
fatcat:sct7j7s3qnh4nd53747idnlcea
Revisiting Reductants in the Multi-adjoint Logic Programming Framework
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
in the context of multi-adjoint logic programs. ...
We study some of its properties and give an efficient algorithm for computing all the reductants associated with a multi-adjoint logic program. AS Q ; θ . ...
Multi-adjoint logic programming is a flexible framework combining fuzzy logic and logic programming. ...
doi:10.1007/978-3-319-11558-0_53
fatcat:bwmobmr44jfrfmrsyziucq76h4
« Previous
Showing results 1 — 15 out of 3,404 results