Results 1  10
of
58
MultiAdjoint Logic Programming with Continuous Semantics
 Lect. Notes in Artificial Intelligence 2173
, 2001
"... Considering different implication operators, such as Lukasiewicz, Gödel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truthvalues. In this paper we apply this idea to introduce multiadjoint logic programs as an extensi ..."
Abstract

Cited by 62 (25 self)
 Add to MetaCart
(Show Context)
Considering different implication operators, such as Lukasiewicz, Gödel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truthvalues. In this paper we apply this idea to introduce multiadjoint logic programs as an extension of monotonic logic programs. The continuity of the immediate consequences operators is proved and the assumptions required to get continuity are further analysed.
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 51 (16 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.
Antitonic Logic Programs
, 2001
"... In a previous work we have de ned Monotonic Logic Programs which extend definite logic programming to arbitrary complete lattices of truthvalues with an appropriate notion of implication. We have shown elsewhere that this framework is general enough to capture Generalized Annotated Logic Programs, ..."
Abstract

Cited by 46 (11 self)
 Add to MetaCart
In a previous work we have de ned Monotonic Logic Programs which extend definite logic programming to arbitrary complete lattices of truthvalues with an appropriate notion of implication. We have shown elsewhere that this framework is general enough to capture Generalized Annotated Logic Programs, Probabilistic Deductive Databases, Possibilistic Logic Programming, Hybrid Probabilistic Logic Programs and Fuzzy Logic Programming [3, 4]. However, none of these semantics define a form of nonmonotonic negation, which is fundamental for several knowledge representation applications. In the spirit of our previous work, we generalise our framework of Monotonic Logic Programs to allow for rules with arbitrary antitonic bodies over general complete lattices, of which normal programs are a special case. We then show that all the standard logic programming theoretical results carry over to Antitonic Logic Programs, defining Stable Model and Wellfounded Model alike semantics.
A Procedural Semantics for MultiAdjoint Logic Programming
 In Progress in Artificial Intelligence, EPIA’01
, 2001
"... Multiadjoint 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. ..."
Abstract

Cited by 32 (14 self)
 Add to MetaCart
(Show Context)
Multiadjoint 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.
Sorted MultiAdjoint Logic Programs: Termination Results and Applications
"... A general framework of logic programming allowing for the combination of several adjoint lattices of truthvalues is presented. The main contribution is a new sufficient condition which guarantees termination of all queries for the fixpoint semantics for an interesting class of programs. Several ..."
Abstract

Cited by 26 (9 self)
 Add to MetaCart
A general framework of logic programming allowing for the combination of several adjoint lattices of truthvalues is presented. The main contribution is a new sufficient condition which guarantees termination of all queries for the fixpoint semantics for an interesting class of programs. Several extensions of these conditions are presented and related to some wellknown formalisms for probabilistic logic programming.
Managing uncertainty and vagueness in description logics, logic Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics 33 programs and description logic programs
 In Reasoning Web: 4th International Summer School 2008
"... Abstract. 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). 1 ..."
Abstract

Cited by 23 (5 self)
 Add to MetaCart
Abstract. 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). 1
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
, 2002
"... In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kow ..."
Abstract

Cited by 23 (4 self)
 Add to MetaCart
In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics.
Sorted Monotonic Logic Programs and their Embeddings
, 2004
"... In this paper we present a logic programmingbased language allowing for the combination of several lattices of truthvalues under arbitrary monotonic operators. A model and fixpoint theory are presented, but the main contributions of the paper are the embedding results of a series of existing l ..."
Abstract

Cited by 22 (4 self)
 Add to MetaCart
In this paper we present a logic programmingbased language allowing for the combination of several lattices of truthvalues under arbitrary monotonic operators. A model and fixpoint theory are presented, but the main contributions of the paper are the embedding results of a series of existing logic programming semantics dealing with uncertainty, vagueness, or probabilistic reasoning. A major benefit of this work is to provide a comparative overview of the several proposals, all of which are translate into a single unified general framework. This paves the way for the construction of integrated logic programmingbased systems capturing several facets of human/formal uncertainty reasoning. We overview, and compare more than twenty different proposals in the extant literature.
Tabling with answer subsumption: Implementation, applications and performance
 In JELIA. 300–312
, 2010
"... Abstract. Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the table for a subgoal S only if A is not a variant of any other answer already in the table for S. While TLP with ..."
Abstract

Cited by 16 (4 self)
 Add to MetaCart
(Show Context)
Abstract. Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the table for a subgoal S only if A is not a variant of any other answer already in the table for S. While TLP with answer variance is powerful enough to implement the wellfounded semantics with good termination and complexity properties, TLP becomes much more powerful if a mechanism called answer subsumption is used. XSB implements two forms of answer subsumption. The first, partial order answer subsumption, adds A to a table only if A is greater than all other answers already in the table according to a userdefined partial order. The second, lattice answer subsumption, may join A to some other answer in the table according to a userdefined upper semilattice. Answer subsumption can be used to implement paraconsistent and quantitative logics, abstract analysis domains, and preference logics. This paper discusses the semantics and implementation of answer subsumption in XSB, and discusses performance and scalability of answer subsumption on a variety of problems. 1
An Encompassing Framework for Paraconsistent Logic Programs
 J. Applied Logic
, 2003
"... We propose a framework which extends Antitonic Logic Programs [13] to an arbitrary complete bilattice of truthvalues, where belief and doubt are explicitly represented. Inspired by Ginsberg and Fitting 's bilattice approaches, this framework allows a precise de nition of important operato ..."
Abstract

Cited by 16 (6 self)
 Add to MetaCart
We propose a framework which extends Antitonic Logic Programs [13] to an arbitrary complete bilattice of truthvalues, where belief and doubt are explicitly represented. Inspired by Ginsberg and Fitting 's bilattice approaches, this framework allows a precise de nition of important operators found in logic programming, such as explicit and default negation. In particular, it leads to a natural semantical integration of explicit and default negation through the Coherence Principle [38], according to which explicit negation entails default negation. We then de ne Coherent Answer Sets, and the Paraconsistent Wellfounded Model semantics, generalising many paraconsistent semantics for logic programs. In particular, Paraconsistent WellFounded Semantics with eXplicit negation (WFSXp ) [3, 11]. The framework is an extension of Antitonic Logic Programs for most cases, and is general enough to capture Probabilistic Deductive Databases, Possibilistic Logic Programming, Hybrid Probabilistic Logic Programs, and Fuzzy Logic Programming. Thus, we have a powerful mathematical formalism for dealing simultaneously with default, paraconsistency, and uncertainty reasoning. Results are provided about how our semantical framework deals with inconsistent information and with its propagation by the rules of the program.