Despite the obvious relevance of plausible reasoning to real-world problem solving, nonmonotoniclogics are rarely used in commercial applications or large- scale commonsense reasoning systems. this is largely because...
ISBN:
(纸本)3540667490
Despite the obvious relevance of plausible reasoning to real-world problem solving, nonmonotoniclogics are rarely used in commercial applications or large- scale commonsense reasoning systems. this is largely because few efficient algorithms and tools have thus far been developed.
Recently there has been increased interest in logicprogramming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and ...
详细信息
ISBN:
(纸本)3540667490
Recently there has been increased interest in logicprogramming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. Historically the first logic in this class was Defeasible logic. In this paper we will study its relationship to other approaches which also rely on the idea of using logic rules and priorities. In particular we will study sceptical LPwNF, courteous logic programs, and priority logic.
We study the fixed-parameter complexity of various problems in Al and nonmonotonicreasoning. We show that a number of relevant parameterized problems in these areas are fixed-parameter tractable. Among these problems...
详细信息
ISBN:
(纸本)3540667490
We study the fixed-parameter complexity of various problems in Al and nonmonotonicreasoning. We show that a number of relevant parameterized problems in these areas are fixed-parameter tractable. Among these problems are constraint satisfaction problems with bounded treewidth and fixed domain, restricted satisfiability problems, propositional logicprogramming under the stable model semantics where the parameter is the dimension of a feedback vertex set of the program's dependency graph, and circumscriptive inference from a positive k-CNF restricted to models of bounded size. We also show that circumscriptive inference from a general propositional theory, when the attention is restricted to models of bounded size, is fixed-parameter intractable and is actually complete for a novel fixed-parameter complexity class.
We prove two properties of logic programs under the answer set semantics that may be useful in connection with applications of logicprogramming to representing causality and to planning. One theorem is about the use ...
详细信息
ISBN:
(纸本)3540667490
We prove two properties of logic programs under the answer set semantics that may be useful in connection with applications of logicprogramming to representing causality and to planning. One theorem is about the use of disjunctive rules to express that an atom is exogenous. the other provides an alternative way of expressing that a plan does not include concurrently executed actions.
We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and. change, can be translated into the argumentation framework of logicprogramming without Nega...
详细信息
ISBN:
(纸本)3540667490
We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and. change, can be translated into the argumentation framework of logicprogramming without Negation as Failure (LPwNF). this translation enables us 1) to understand default persistence as captured by various temporal reasoning frameworks in a simple and natural way, by assigning higher priority to information about effects of later actions over effects of earlier actions;2) to develop an argumentation-based computational model for this type of reasoning in logicprogramming goal-driven style.
this paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action language C. We show here that many of the i...
详细信息
ISBN:
(纸本)3540667490
this paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action language C. We show here that many of the ideas developed in that work can be formulated in terms of logic programs under the answer set semantics, without mentioning causal theories. the translations from C into logicprogrammingthat we investigate serve as a basis for the use of systems for computing answer sets to reason about action domains described in C and to generate plans in such domains.
We present a new approach to reasoning with default logicthat aims at Reiter's original approach, whenever there is no source for incoherence. We accomplish this by shifting the emphasis from the application of i...
详细信息
ISBN:
(纸本)3540667490
We present a new approach to reasoning with default logicthat aims at Reiter's original approach, whenever there is no source for incoherence. We accomplish this by shifting the emphasis from the application of individual default rules to that of the joint application of a default rule together with rules supporting this application. this allows for reasoning in an incremental yet compositional fashion, without giving up the expressiveness needed for knowledge representation. Technically, our approach differs from others in that it guarantees the existence of extensions without requiring semi-monotonicity.
In general, the set of stable models of a recursive propositional logic program can be quite complex. For example, it follows from results of Marek, Nerode, and Remmel [8] that there exists finite predicate logic prog...
详细信息
ISBN:
(纸本)3540667490
In general, the set of stable models of a recursive propositional logic program can be quite complex. For example, it follows from results of Marek, Nerode, and Remmel [8] that there exists finite predicate logic programs and recursive propositional logic programs which have stable models but no hyperarithmetic stable models. In this paper, we shall define several conditions which ensure that recursive logic program has astable model which is recursive.
this paper introduces techniques for updating knowledge bases represented in extended logic programs. three different types of updates, view updates, theory updates, and inconsistency removal, are considered. We formu...
详细信息
ISBN:
(纸本)3540667490
this paper introduces techniques for updating knowledge bases represented in extended logic programs. three different types of updates, view updates, theory updates, and inconsistency removal, are considered. We formulate these updates through abduction, and provide methods for computing them with update programs. An update program is an extended logic program which specifies changes on abductive hypotheses, then updates are computed by the U-minimal answer sets of an update program. the proposed technique provides a uniform framework for these different types of updates, and each update is computed using existing procedures of logicprogramming.
dlv is a knowledge representation system, based on disjunctive logicprogramming, which offers front-ends to several advanced KR formalisms. this paper describes new techniques for the computation of answer sets of di...
详细信息
ISBN:
(纸本)3540667490
dlv is a knowledge representation system, based on disjunctive logicprogramming, which offers front-ends to several advanced KR formalisms. this paper describes new techniques for the computation of answer sets of disjunctive logic programs, that have been developed and implemented in the dlv system. these techniques try to "push" the query goals in the process of model generation (query goals are often present either explicitly, like in planning and diagnosis, or implicitly in the form of integrity constraints). this way, a lot of useless models are discarded "a priori" and the computation converges rapidly toward the generation of the "right" answer set. A few preliminary benchmarks show dramatic efficiency gains due to the new techniques.
暂无评论