Results 1 
6 of
6
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
 JOUR. OF ARTIF. INTELL. RES
, 2002
"... Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon $owa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. ..."
Abstract

Cited by 27 (1 self)
 Add to MetaCart
Simple conceptual graphs are considered as the kernel of most knowledge representation formalisms built upon $owa's model. Reasoning in this model can be expressed by a graph homomorphism called projection, whose semantics is usually given in terms of positive, conjunctive, existential FOL. We present here a family of extensions of this model, based on rules and constraints, keeping graph homomorphism as the basic operation. We focus on the formal definitions of the different models obtained, including their operational semantics and relationships with FOL, and we analyze the decidability and complexity of the associated problems (consistency and deduction). As soon as rules are involved in reasonings, these problems are not decidable, but we exhibit a condition under which they fall in the polynomial hierarchy. These results extend and complete the ones already published by the authors. Moreover we systematically study the complexity of some particular cases obtained by restricting the form of constraints and/or rules.
Abductive Logic Programming and Disjunctive Logic Programming: Their Relationship and Transferability
, 1999
"... Abductive logic programming (ALP) and disjunctive logic programming (DLP) are two di#erent extensions of logic programming. This paper investigates the relationship between ALP and DLP from the program transformation viewpoint. It is shown that the belief set semantics of an abductive program is exp ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
Abductive logic programming (ALP) and disjunctive logic programming (DLP) are two di#erent extensions of logic programming. This paper investigates the relationship between ALP and DLP from the program transformation viewpoint. It is shown that the belief set semantics of an abductive program is expressed by the answer set semantics and the possible model semantics of a disjunctive program. In converse, the possible model semantics of a disjunctive program is equivalently expressed by the belief set semantics of an abductive program, while such a transformation is generally impossible for the answer set semantics. Moreover, it is shown that abductive disjunctive programs are always reducible to disjunctive programs both under the answer set semantics and the possible model semantics. These transformations are verified from the complexity viewpoint. The results of this paper turn out that ALP and DLP are just di#erent ways of looking at the same problem if we choose an appropriate seman...
Computing Extended Abduction Through Transaction Programs
, 1999
"... this paper, we propose a computational mechanism for extended abduction. When a background theory is written in a normal logic program, we introduce its transaction program for computing extended abduction. A transaction program is a set of nondeterministic production rules that declaratively speci ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
this paper, we propose a computational mechanism for extended abduction. When a background theory is written in a normal logic program, we introduce its transaction program for computing extended abduction. A transaction program is a set of nondeterministic production rules that declaratively specify addition and deletion of abductive hypotheses. Abductive explanations are then computed by the fixpoint of a transaction program using a bottomup model generation procedure. The correctness of the proposed procedure is shown for the class of acyclic covered abductive logic programs. In the context of deductive databases, a transaction program provides a declarative specification of database update. Keywords: abduction, nonmonotonic reasoning, database update 1. Introduction 1.1. Motivation and background Abduction is inference to best explanations, and has recently been recognized as a very important form of reasoning in both AI [2
Concerning Logics of Abduction
"... this paper is to provide a discussion of some issues appertaining to the potential of abduction in Artificial Intelligence, set against a background which is on the one hand philosphical, but justified by means of mathematical formalization of its primary arguments concerning abduction, and on the o ..."
Abstract
 Add to MetaCart
this paper is to provide a discussion of some issues appertaining to the potential of abduction in Artificial Intelligence, set against a background which is on the one hand philosphical, but justified by means of mathematical formalization of its primary arguments concerning abduction, and on the other hand driven by practical application of the theory to for example machine learning or the development of robust, communicative agents.
Concerning Logics of Abduction  On Integrating Abduction and Induction
"... this paper is to provide a discussion of some issues appertaining to the potential of abduction in Artificial Intelligence, set against a background which is on the one hand philosphical, but justified by means of mathematical formalization of its primary arguments concerning abduction, and on the o ..."
Abstract
 Add to MetaCart
this paper is to provide a discussion of some issues appertaining to the potential of abduction in Artificial Intelligence, set against a background which is on the one hand philosphical, but justified by means of mathematical formalization of its primary arguments concerning abduction, and on the other hand driven by practical application of the theory to for example machine learning or the development of robust, communicative agents.