Results 1  10
of
25
Abduction in Logic Programming
"... Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over th ..."
Abstract

Cited by 538 (74 self)
 Add to MetaCart
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to expose some of the challenges and prospects for the further development of the field.
Logic program specialisation through partial deduction: Control issues
 THEORY AND PRACTICE OF LOGIC PROGRAMMING
, 2002
"... Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to exploit partial knowledge about the input. It ..."
Abstract

Cited by 54 (12 self)
 Add to MetaCart
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to exploit partial knowledge about the input. It is achieved through a wellautomated application of parts of the BurstallDarlington unfold/fold transformation framework. The main challenge in developing systems is to design automatic control that ensures correctness, efficiency, and termination. This survey and tutorial presents the main developments in controlling partial deduction over the past 10 years and analyses their respective merits and shortcomings. It ends with an assessment of current achievements and sketches some remaining research challenges.
Ultimate Wellfounded and Stable Semantics for Logic Programs With Aggregates (Extended Abstract)
 In Proceedings of ICLP01, LNCS 2237
, 2001
"... is relatively straightforward. Another advantage of the ultimate approximation is that in cases where TP is monotone the ultimate wellfounded model will be 2valued and will coincide with the least fixpoint of TP . This is not the case for the standard wellfounded semantics. For example in the sta ..."
Abstract

Cited by 44 (7 self)
 Add to MetaCart
is relatively straightforward. Another advantage of the ultimate approximation is that in cases where TP is monotone the ultimate wellfounded model will be 2valued and will coincide with the least fixpoint of TP . This is not the case for the standard wellfounded semantics. For example in the standard wellfounded model of the program: # p. p. p is undefined while the associated TP operator is monotone and p is true in the ultimate wellfounded model. One disadvantage of using the ultimate semantics is that it has a higher computational cost even for programs without aggregates. The complexity goes one level higher in the polynomial hierarchy to # 2 for the wellfounded model and to 2 for a stable model which is also complete for this class [2]. Fortunately, by adding aggregates the complexity does not increase further. To give an example of a logic program with aggregates we consider the problem of computing the length of the shortest path between two nodes in a direc
A Logic of NonMonotone Inductive Definitions and its Modularity Properties
, 2004
"... Wellknown principles of induction include monotone induction and dierent sorts of nonmonotone induction such as inationary induction, induction over wellordered sets and iterated induction. In this work, we de ne a logic formalizing induction over wellordered sets and monotone and iterated ..."
Abstract

Cited by 29 (20 self)
 Add to MetaCart
Wellknown principles of induction include monotone induction and dierent sorts of nonmonotone induction such as inationary induction, induction over wellordered sets and iterated induction. In this work, we de ne a logic formalizing induction over wellordered sets and monotone and iterated induction. Just as the principle of positive induction has been formalized in FO(LFP), and the principle of inationary induction has been formalized in FO(IFP), this paper formalizes the principle of iterated induction in a new logic for NonMonotone Inductive De nitions (NMIDlogic). The semantics of the logic is strongly inuenced by the wellfounded semantics of logic programming.
A logic of nonmonotone inductive definitions
 ACM transactions on computational logic
, 2007
"... Wellknown principles of induction include monotone induction and different sorts of nonmonotone induction such as inflationary induction, induction over wellfounded sets and iterated induction. In this work, we define a logic formalizing induction over wellfounded sets and monotone and iterated i ..."
Abstract

Cited by 28 (16 self)
 Add to MetaCart
Wellknown principles of induction include monotone induction and different sorts of nonmonotone induction such as inflationary induction, induction over wellfounded sets and iterated induction. In this work, we define a logic formalizing induction over wellfounded sets and monotone and iterated induction. Just as the principle of positive induction has been formalized in FO(LFP), and the principle of inflationary induction has been formalized in FO(IFP), this paper formalizes the principle of iterated induction in a new logic for NonMonotone Inductive Definitions (IDlogic). The semantics of the logic is strongly influenced by the wellfounded semantics of logic programming. This paper discusses the formalisation of different forms of (non)monotone induction by the wellfounded semantics and illustrates the use of the logic for formalizing mathematical and commonsense knowledge. To model different types of induction found in mathematics, we define several subclasses of definitions, and show that they are correctly formalized by the wellfounded semantics. We also present translations into classical first or second order logic. We develop modularity and totality results and demonstrate their use to analyze and simplify complex definitions. We illustrate the use of the logic for temporal reasoning. The logic formally extends Logic Programming, Abductive Logic Programming and Datalog, and thus formalizes the view on these formalisms as logics of (generalized) inductive definitions. Categories and Subject Descriptors:... [...]:... 1.
Ultimate approximation and its application in nonmonotonic knowledge representation systems
, 2004
"... ..."
What's in a Model? Epistemological analysis of Logic Programming
 CeurWS
, 2003
"... The paper is an epistemological analysis of logic programming and shows an epistemological ambiguity. Many different logic programming formalisms and semantics have been proposed. Hence, logic programming can be seen as a family of formal logics, each induced by a pair of a syntax and a semantics ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
The paper is an epistemological analysis of logic programming and shows an epistemological ambiguity. Many different logic programming formalisms and semantics have been proposed. Hence, logic programming can be seen as a family of formal logics, each induced by a pair of a syntax and a semantics, and each having a different declarative reading. However, we may expect that (a) if a program belongs to different logics of this family and has the same formal semantics in these logics, then the declarative meaning attributed to this program in the different logics is equivalent, and (b) that one and the same logic in this family has not been associated with distinct declarative readings.
Satisfiability checking for PC(ID
 In LPAR
, 2005
"... Abstract. The logic FO(ID) extends classical first order logic with inductive definitions. This paper studies the satisifiability problem for PC(ID), its propositional fragment. We develop a framework for model generation in this logic, present an algorithm and prove its correctness. As FO(ID) is an ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
Abstract. The logic FO(ID) extends classical first order logic with inductive definitions. This paper studies the satisifiability problem for PC(ID), its propositional fragment. We develop a framework for model generation in this logic, present an algorithm and prove its correctness. As FO(ID) is an integration of classical logic and logic programming, our algorithm integrates techniques from SAT and ASP. We report on a prototype system, called MidL, experimentally validating our approach. 1
Towards a Systematic Account of Different Semantics for Logic Programs
 Journal of Logic and Computation
, 2003
"... In [14, 15], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the wellfounded semantics can formally be understood as a stratified version of the Fitting (or Kr ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
In [14, 15], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the wellfounded semantics can formally be understood as a stratified version of the Fitting (or KripkeKleene) semantics. The constructions leading to this result, however, show a certain asymmetry which is not readily understood. We will study this situation here with the result that we will obtain a coherent picture of relations between different semantics for normal logic programs.