Filters








3,404 Hits in 3.7 sec

On the measure of incoherent information in extended multi-adjoint logic programs

Nicolas Madrid, Manuel Ojeda-Aciego
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 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]

Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtáš
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.  ... 
doi:10.1007/3-540-45635-x_26 fatcat:jbzdulh37jbsze7qwyuypjky3y

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

Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtáš
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).  ... 
doi:10.1007/3-540-45329-6_29 fatcat:txt5frgudfgwjb3hyvild4wnwe

A Multi-Adjoint Approach to Similarity-Based Unification

Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtáš
2002 Electronical Notes in Theoretical Computer Science  
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]

Jesús Medina, Enrique Mérida-Casermeiro, Manuel Ojeda-Aciego
2004 Lecture Notes in Computer Science  
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]

J. Medina, E. Mérida-Casermeiro, M. Ojeda-Aciego
2005 Lecture Notes in Computer Science  
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]

C. V. Damásio, J. Medina, M. Ojeda-Aciego
2004 Lecture Notes in Computer Science  
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

Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtáš
2004 Fuzzy sets and systems (Print)  
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

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

Jesús Medina, Manuel Ojeda-Aciego
2003 European Society for Fuzzy Logic and Technology  
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

C.V. Damásio, J. Medina, M. Ojeda-Aciego
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 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]

Ginés Moreno, Jaime Penabad, Germán Vidal
2016 arXiv   pre-print
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]

Jesús Medina, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtáš
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] .  ... 
doi:10.1007/978-3-540-25945-9_60 fatcat:pc5tqc5fm5ab5ji6c53xkaix4i

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

S. Krajči, R. Lencses, J. Medina, M. Ojeda-Aciego, P. Vojtáš
2002 Lecture Notes in Computer Science  
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]

Pascual Julián-Iranzo, Jesús Medina, Manuel Ojeda-Aciego
2014 Lecture Notes in Computer Science  
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