Results 1  10
of
14
Logic Programming and Knowledge Representation
 Journal of Logic Programming
, 1994
"... In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in artificial intelligence. We consider exten sions of the language of definite logic programs by classical (strong) negation, disjunc tion, and some modal operators and sh ..."
Abstract

Cited by 233 (21 self)
 Add to MetaCart
In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in artificial intelligence. We consider exten sions of the language of definite logic programs by classical (strong) negation, disjunc tion, and some modal operators and show how each of the added features extends the representational power of the language.
Fixpoint semantics for logic programming  a survey
, 2000
"... The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and manyvalued logic, lattice theory, game theory, and topology. One source of this richness is the inherent nonmonotonicity of its negation, something that does not have close para ..."
Abstract

Cited by 114 (0 self)
 Add to MetaCart
The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and manyvalued logic, lattice theory, game theory, and topology. One source of this richness is the inherent nonmonotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, with relatively minimal contact between communities. In this paper we summarize one variety of approaches to the semantics of logic programs: that based on fixpoint theory. We do not attempt to cover much beyond this single area, which is already remarkably fruitful. We hope readers will see parallels with, and the divergences from the better known fixpoint treatments developed for other programming methodologies.
The Family of Stable Models
, 1993
"... The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occurring orderings are made explicit. In a socalled knowledge ordering based on degree of definedness, every logic program P has a smallest stable model, s k P it is the well ..."
Abstract

Cited by 56 (4 self)
 Add to MetaCart
The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occurring orderings are made explicit. In a socalled knowledge ordering based on degree of definedness, every logic program P has a smallest stable model, s k P it is the wellfounded model. There is also a dual largest stable model, S k P , which has not been considered before. There is another ordering based on degree of truth. Taking the meet and the join, in the truth ordering, of the two extreme stable models s k P and S k P just mentioned, yields the alternating fixed points of [29], denoted s t P and S t P here. From s t P and S t P in turn, s k P and S k P can be produced again, using the meet and join of the knowledge ordering. All stable models are bounded by these four valuations. Further, the methods of proof apply not just to logic programs considered classically, but to logic programs over any bilattice meeting certain co...
Stratified and Threevalued Logic Programming Semantics
, 1988
"... The familiar fixed point semantics for Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratified logic programs, producing a semantics we call weak stratified, that is compatible with but not the same as the c ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
The familiar fixed point semantics for Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratified logic programs, producing a semantics we call weak stratified, that is compatible with but not the same as the conventional stratified semantics. And we show weak stratified semantics coincides with one based on three valued logic, a semantics that is generally applicable, and that does not require stratification assumptions. 1 Introduction A beautiful fixed point semantics for Horn clause logic programming has been developed, based on classical logic ([16], [2]). But it can not deal adequately with negations when they are allowed in clause bodies. Two kinds of generalizations have been proposed to deal with this problem. The best known is stratification [1], [17]. Here the kind of logic programs one is allowed to write is restricted; recursions through negations are forbidden. For such programs...
Probabilistic and TruthFunctional ManyValued Logic Programming
 IN PROCEEDINGS OF THE 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLEVALUED LOGIC
, 1998
"... We introduce probabilistic manyvalued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic manyvalued logic programming is computationally more complex than classical logic programming. More precisely, some deduction problems that a ..."
Abstract

Cited by 14 (9 self)
 Add to MetaCart
(Show Context)
We introduce probabilistic manyvalued logic programs in which the implication connective is interpreted as material implication. We show that probabilistic manyvalued logic programming is computationally more complex than classical logic programming. More precisely, some deduction problems that are Pcomplete for classical logic programs are shown to be coNPcomplete for probabilistic manyvalued logic programs. We then focus on manyvalued logic programming in Pr ? n as an approximation of probabilistic manyvalued logic programming. Surprisingly, manyvalued logic programs in Pr ? n have both a probabilistic semantics in probabilities over a set of possible worlds and a truthfunctional semantics in the finitevalued Łukasiewicz logics Łn . Moreover, manyvalued logic programming in Pr ? n has a model and fixpoint characterization, a proof theory, and computational properties that are very similar to those of classical logic programming. We especially introduce the proof...
A General Theory of Confluent Rewriting Systems for Logic Programming and its Applications
, 2001
"... Recently, Brass and Dix showed (Journal of Automated Reasoning 20(1), 1998) that the wellfounded semantics WFS can be defined as a conuent calculus of transformation rules. This lead not only to a simple extension to disjunctive programs (Journal of Logic Programming 38(3), 1999), but also to a new ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
Recently, Brass and Dix showed (Journal of Automated Reasoning 20(1), 1998) that the wellfounded semantics WFS can be defined as a conuent calculus of transformation rules. This lead not only to a simple extension to disjunctive programs (Journal of Logic Programming 38(3), 1999), but also to a new computation of the wellfounded semantics which is linear for a broad class of programs. We take this approach as a starting point and generalize it considerably by developing a general theory of Confluent LPSystems CS. Such a system CS is a rewriting system on the set of all logic programs over a fixed signature L and it induces in a natural way a canonical semantics. Moreover, we show four important applications of this theory: (1) most of the wellknown semantics are induced by confluent LPsystems, (2) there are many more transformation rules that lead to confluent LPsystems, (3) semantics induced by such systems can be used to model aggregation, (4) the new systems can be ...
ManyValued FirstOrder Logics with Probabilistic Semantics
 In Proceedings of the Annual Conference of the European Association for Computer Science Logic, 1998, volume 1584 of LNCS
, 1998
"... . We present nvalued firstorder logics with a purely probabilistic semantics. We then introduce a new probabilistic semantics of nvalued firstorder logics that lies between the purely probabilistic semantics and the truthfunctional semantics of the nvalued / Lukasiewicz logics / Ln . Within t ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
(Show Context)
. We present nvalued firstorder logics with a purely probabilistic semantics. We then introduce a new probabilistic semantics of nvalued firstorder logics that lies between the purely probabilistic semantics and the truthfunctional semantics of the nvalued / Lukasiewicz logics / Ln . Within this semantics, closed formulas of classical firstorder logics that are logically equivalent in the classical sense also have the same truth value under all nvalued interpretations. Moreover, this semantics is shown to have interesting computational properties. More precisely, nvalued logical consequence in disjunctive logic programs with nvalued disjunctive facts can be reduced to classical logical consequence in n \Gamma 1 layers of classical disjunctive logic programs. Moreover, we show that nvalued logic programs have a model and a fixpoint semantics that are very similar to those of classical logic programs. Finally, we show that some important deduction problems in nvalued logic ...
Negation as Partial Failure
 in Proceedings of the Second International Workshop on Logic Programming and Nonmonotonic Reasoning
, 1993
"... ..."
(Show Context)
Axiomatic Aspects of Default Inference ⋆
, 2002
"... Abstract. Properties of classical (logical) entailment relation (denoted as ⊢) have been well studied and wellunderstood, either with or without the presence of logical connectives. There is, however, less uniform agreement on laws for the nonmonotonic consequence relation. This paper studies axiom ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Properties of classical (logical) entailment relation (denoted as ⊢) have been well studied and wellunderstood, either with or without the presence of logical connectives. There is, however, less uniform agreement on laws for the nonmonotonic consequence relation. This paper studies axioms for nonmonotonic consequences from a semanticsbased point of view, focusing on a class of mathematical structures for reasoning about partial information without a predefined syntax/logic. This structure is called a default structure. We study axioms for the nonmonotonic consequence relation derived from extensions as in Reiter’s default logic, using skeptical reasoning, but extensions are now used for the construction of possible worlds in a default information structure. In previous work we showed that skeptical reasoning arising from defaultextensions obeys a wellbehaved set of axioms including the axiom of cautious cut. We show here that, remarkably, the converse is also true: any
A Monotonic Declarative Semantics for Normal Logic Programs
"... In this paper, we propose a declarative semantics for normal logic programs in terms of model classes that is monotonic in the sense that Mod(PP') # Mod(P), for any programs P and P'. In addition, we show that in the model class associated to every program there is a least model that ca ..."
Abstract
 Add to MetaCart
In this paper, we propose a declarative semantics for normal logic programs in terms of model classes that is monotonic in the sense that Mod(PP') # Mod(P), for any programs P and P'. In addition, we show that in the model class associated to every program there is a least model that can be seen as the semantics of the program, which may be built upwards as the least fixpoint of a continuous immediate consequence operator, and such that this least model is "typical" for the class of models of the ClarkKunen's completion of the program. This means that our semantics is equivalent to ClarkKunen's completion. The final aim of our work is the definition of compositional semantics for modular units over the class of normal logic programs. In this sense, following the results of a previous paper, it has been shown that our semantics constitutes a "specification frame" equipped with the adequate categorical constructions to guarantee the existence of such semantics. 1 Introducti...