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)
*

In this paper we continue analyzing the introduction of negation into the framework of residuated

doi:10.1109/foci.2013.6602452
dblp:conf/foci/MadridO13
fatcat:jaflixrgojd25iftli2byl2vzy
*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. ...##
###
A Multi-adjoint Logic Approach to Abductive Reasoning
[chapter]

2001
*
Lecture Notes in Computer Science
*

*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. ...

##
###
A Procedural Semantics for Multi-adjoint Logic Programming
[chapter]

2001
*
Lecture Notes in Computer Science
*

*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*). ...

##
###
A Multi-Adjoint Approach to Similarity-Based Unification

2002
*
Electronical Notes in Theoretical Computer Science
*

A formal model for similarity-based fuzzy unification in

doi:10.1016/s1571-0661(04)80515-2
fatcat:lv5stcox2nactnuzuavsxhhqoe
*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*. ...##
###
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs
[chapter]

2004
*
Lecture Notes in Computer Science
*

The theory of

doi:10.1007/978-3-540-30498-2_72
fatcat:6rhknwl225fxthuoezcdmb5niy
*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*...##
###
Interval-Valued Neural Multi-adjoint Logic Programs
[chapter]

2005
*
Lecture Notes in Computer Science
*

The framework of

doi:10.1007/11499220_53
fatcat:pwpt5gkoivbfxj4tlnweej74xm
*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*...##
###
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
[chapter]

2004
*
Lecture Notes in Computer Science
*

A general framework of

doi:10.1007/978-3-540-30227-8_23
fatcat:ogcqfm2o6jgitjbuvmmdkphkhq
*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*. ...##
###
Similarity-based unification: a multi-adjoint approach

2004
*
Fuzzy sets and systems (Print)
*

The aim of this paper is to build a formal model for similarity-based fuzzy uniÿcation in

doi:10.1016/j.fss.2003.11.005
fatcat:pw3zqhtsavb6pd6xulhckx4l44
*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*. ...##
###
Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach

2020
*
Mathematics
*

This paper relates two interesting paradigms in fuzzy

doi:10.3390/math8060881
fatcat:3wr4vsbbfvew5ibekvglpsvrlm
*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*. ...##
###
Homogenizing multi-adjoint logic programs

2003
*
European Society for Fuzzy Logic and Technology
*

The concept of homogeneous

dblp:conf/eusflat/MedinaO03
fatcat:6wb6bw7ttnczredecoxyczpz3m
*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] ...##
###
Termination of logic programs with imperfect information: applications and query procedure

2007
*
Journal of Applied Logic
*

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

doi:10.1016/j.jal.2006.03.004
fatcat:7c2v6kd6ijcbtb7ayeuhprz3a4
*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*. ...##
###
Tuning Fuzzy Logic Programs with Symbolic Execution
[article]

2016
*
arXiv
*
pre-print

Fuzzy

arXiv:1608.04688v1
fatcat:p2xyri4k3bdo5bewluszf5l22y
*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*. ...##
###
Towards Biresiduated Multi-adjoint Logic Programming
[chapter]

2004
*
Lecture Notes in Computer Science
*

*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] . ...

##
###
A Similarity-Based Unification Model for Flexible Querying
[chapter]

2002
*
Lecture Notes in Computer Science
*

We use the formal model for similarity-based fuzzy unification in

doi:10.1007/3-540-36109-x_21
fatcat:sct7j7s3qnh4nd53747idnlcea
*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. ...##
###
Revisiting Reductants in the Multi-adjoint Logic Programming Framework
[chapter]

2014
*
Lecture Notes in Computer Science
*

in the context of

doi:10.1007/978-3-319-11558-0_53
fatcat:bwmobmr44jfrfmrsyziucq76h4
*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*. ...
« Previous

*Showing results 1 — 15 out of 3,404 results*