Results 1  10
of
28
Similaritybased unification: a multiadjoint approach. Fuzzy sets and systems
 In Proc. EUSFLAT Conference in Fuzzy Logic and Technology
, 2002
"... The aim of this paper is to build a formal model for fuzzy unification in multiadjoint logic programs containing both a declarative and a procedural part, and prove its soundness and completeness. Our approach is based on a general framework for logic programming, which gives a formal model of fuzz ..."
Abstract

Cited by 32 (7 self)
 Add to MetaCart
(Show Context)
The aim of this paper is to build a formal model for fuzzy unification in multiadjoint logic programs containing both a declarative and a procedural part, and prove its soundness and completeness. 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 firstorder logic with equality.
Managing uncertainty and vagueness in description logics, logic programs and description logic programs
, 2008
"... Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination). ..."
Abstract

Cited by 18 (5 self)
 Add to MetaCart
Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
Termination Results for Sorted MultiAdjoint Logic Programs
 In Information Processing and Management of Uncertainty for KnowledgeBased Systems, IPMU’04. Accepted
"... In this paper we present a logic programmingbased language allowing for the combination of several adjoint lattices of truthvalues. A model and xpoint theory are presented, but the main contribution of the paper is the study of general properties guaranteeing termination of all queries. New ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
In this paper we present a logic programmingbased language allowing for the combination of several adjoint lattices of truthvalues. A model and xpoint theory are presented, but the main contribution of the paper is the study of general properties guaranteeing termination of all queries. New results are presented and related to other alternative formalisms.
A Neural Approach to Abductive MultiAdjoint Reasoning
 In AI  Methodologies, Systems, Applications. AIMSA’02
, 2002
"... A neural approach to propositional multiadjoint logic programming was recently introduced. In this paper we extend the neural approach to multiadjoint deduction and, furthermore, modify it to cope with abductive multiadjoint reasoning, where adaptations of the uncertainty factor in a knowledg ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
A neural approach to propositional multiadjoint logic programming was recently introduced. In this paper we extend the neural approach to multiadjoint deduction and, furthermore, modify it to cope with abductive multiadjoint reasoning, where adaptations of the uncertainty factor in a knowledge base are carried out automatically so that anumber of given observations can be adequately explained.
A Completeness Theorem for MultiAdjoint Logic Programming
 In Proc. FUZZIEEE’01. The 10th IEEE International Conference on Fuzzy Systems, IEEE
, 2001
"... Mukiadjoint logic programs generalise monotonic and residuated logic pro grams [21 in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. As our approach has continuous fixpoint semantics, in this work, a procedural semantics is g ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
(Show Context)
Mukiadjoint logic programs generalise monotonic and residuated logic pro grams [21 in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. As our approach has continuous fixpoint semantics, in this work, a procedural semantics is given for the paradigm of multiadjoint logic programming and a completeness result is proved.
On Termination of a Tabulation Procedure for Residuated Logic Programming
 6th Intl Workshop on Termination
, 2003
"... Residuated Logic Programs allow to capture a spate of different semantics dealing with uncertainty and vagueness. A first result states that for any definite residuated logic program the sequence of iterations of the immediate consequences operator reaches the least fixpoint after only finitely m ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
(Show Context)
Residuated Logic Programs allow to capture a spate of different semantics dealing with uncertainty and vagueness. A first result states that for any definite residuated logic program the sequence of iterations of the immediate consequences operator reaches the least fixpoint after only finitely many steps. Then, a tabulation query procedure is introduced, and it is shown that the procedure terminates every definite residuated logic program.
A MultiAdjoint Logic Approach to Abductive Reasoning
 IN LOGIC PROGRAMMING, ICLP’01
, 2001
"... Multiadjoint 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 connectives in the bodies are allowed. This paper ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
(Show Context)
Multiadjoint 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 connectives in the bodies are allowed. This paper
Operational/Interpretive Unfolding of Multiadjoint Logic Programs
"... Abstract: Multiadjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of a goal w.r.t. a given program is done in two separate phases. During the operational one, admissible steps are systemat ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Abstract: Multiadjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of a goal w.r.t. a given program is done in two separate phases. During the operational one, admissible steps are systematically applied in a similar way to classical resolution steps in pure logic programming, thus returning a computed substitution together with an expression where all atoms have been exploited. This last expression is then interpreted under a given lattice during the so called interpretive phase, hence returning a value which represents the fuzzy component (truth degree) of the computed answer. On the other hand, unfolding is a well known transformation rule widely used in declarative programming for optimizing and specializing programs, among other applications. In essence, it is usually based on the application of operational steps on the body of program rules. The novelty of this paper consists in showing that this process can also be made in terms of interpretive steps. We present two strongly related kinds of unfolding (operational and interpretive), which, apart from exhibiting strong correctness properties (i.e. they preserve the semantics of computed substitutions and truth degrees) they are able to significantly simplify the two execution phases when solving goals.
A Termination Theorem for Sorted MultiAdjoint Logic Programming
, 2004
"... In this paper we present a general framework of logic programming allowing for the combination of several adjoint lattices of truthvalues. The main ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
In this paper we present a general framework of logic programming allowing for the combination of several adjoint lattices of truthvalues. The main
A SimilarityBased Unification Model for Flexible Querying
, 2002
"... We use the formal model for similaritybased fuzzy unification in multiadjoint 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 ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We use the formal model for similaritybased fuzzy unification in multiadjoint 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 firstorder logic with equality.