the rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and incomplete data. Answer Set solvers have been c...
详细信息
ISBN:
(纸本)3540285385
the rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and incomplete data. Answer Set solvers have been considered as a tool for data integration systems by different authors. We discuss why data integration can be an interesting model application of Answer Set programming, reviewing valuable features of non-monotonic logic programs in this respect, and emphasizing the role of the application for driving research.
Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this paper we first introduce th...
详细信息
ISBN:
(纸本)3540285385
Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this paper we first introduce the epistemic HT-logic, and then propose a more general extension of logic programs called nested epistemic logic programs. the semantics of this extension - named equilibrium views - is defined on the basis of the epistemic HT-logic. We prove that equilibrium view semantics extends boththe answer sets of nested logic programs and the world views of epistemic logic programs. therefore, our work establishes a unifying framework for both nested logic programs and epistemic logic programs. Furthermore, we also provide a characterization of the strong equivalence of two nested epistemic logic programs.
We present an implementation platform for query-answering in default logics. the overall approach along with its implementation, the XRay system, allows for query-answering from default theories supporting local proof...
详细信息
ISBN:
(纸本)3540632557
We present an implementation platform for query-answering in default logics. the overall approach along with its implementation, the XRay system, allows for query-answering from default theories supporting local proof procedures. the deductive power of XRay stems from its usage of Prolog Technology theorem Proving Techniques (PTTP) supported by further enhancements, such as default lemma handling and regularity-based truncations of the underlying search space. the generality of the approach, allowing for a (simultaneous) treatment of different default logics, stems from a novel model-based approach to consistency checking.
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head o...
详细信息
ISBN:
(纸本)9783642405648
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head of rules. In this paper we study the decidability of these rich programs and propose an implementation that combines, in a modular way, a reasoner for the parameter logic with an answer set solver.
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. they have recently been used to complement the expressive power of Description logics (DLs), leading...
详细信息
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. they have recently been used to complement the expressive power of Description logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. the need to use these hybrid knowledge bases in dynamic domains has called for the development of update operators, which, given the substantially different way DLs and rules are usually updated, has turned out to be an extremely difficult task. In Slota and Leite (2010b Towards Closed World reasoning in Dynamic Open Worlds. theory and Practice of logicprogramming, 26th Int'l. conference on logicprogramming (ICLP'10) Special Issue 10(4-6) (July), 547-564.), a first step towards addressing this problem was taken, and an update operator for hybrid knowledge bases was proposed. Despite its significance-not only for being the first update operator for hybrid knowledge bases in the literature, but also because it has some applications-this operator was defined for a restricted class of problems where only the ABox was allowed to change, which considerably diminished its applicability. Many applications that use hybrid knowledge bases in dynamic scenarios require both DL axioms and rules to be updated. In this paper, motivated by real world applications, we introduce an update operator for a large class of hybrid knowledge bases where boththe DL component as well as the rule component are allowed to dynamically change. We introduce splitting sequences and splitting theorem for hybrid knowledge bases, use them to define a modular update semantics, investigate its basic properties, and illustrate its use on a realistic example about cargo imports.
We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logicprogramming. the approach is simple and general, making use of two distinct comple...
详细信息
ISBN:
(纸本)9783540721994
We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logicprogramming. the approach is simple and general, making use of two distinct complementary techniques: defaultification and preference. While defaultification resolves potential conflicts by inducing more answer sets, preferences then select among these answer sets, yielding the answer sets generated by those rules that have been added more recently. We examine instances of the framework with respect to various desirable properties;for the most part, these properties are satisfied by instances of our framework. Finally, the proposed framework is also easily implementable by off-the-shelf systems.
作者：
Miller, RDepartment of Computing
Imperial College of Science Technology and Medicine 180 Queen’s Gate London SW7 2BZ United Kingdom
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker's solution to the frame problem using circumscription is adapted to ena...
详细信息
ISBN:
(纸本)3540594876
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker's solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the effects of actions. Two translations of Situation Calculus style theories into Event Calculus style logic programs are defined, and results are given on the soundness and completeness of the translations.
In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, p...
详细信息
ISBN:
(纸本)9783642042379
In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. this paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose both melodic and harmonic music, dignose errors in human compositions and serve is a computer-aided composition tool.
the research on systems of logicprogramming with modules has followed two mainstreams, programming-in-the-large, where compositional operators are provided for combining separate and independent modules, and programm...
详细信息
ISBN:
(纸本)3540632557
the research on systems of logicprogramming with modules has followed two mainstreams, programming-in-the-large, where compositional operators are provided for combining separate and independent modules, and programming-in-the-small, which aims at enhancing logicprogramming with new logical connectives. In this paper, we present a general model theoretic approach to modular logicprogramming which combines programming in-the-large and in-the-small in a satisfactory way. Rather than inventing completely new constructs, however, we resort to a well-known concept in formal logic: generalized quantifiers. We show how generalized quantifiers can be incorporated into logic programs, both for Horn logic programs as well as in the presence of negation. Our basic observation is then that a logic program can be seen as a generalized quantifier, and we obtain a semantics for modular logic programs this way. Generalized quantifiers in logic programs gives rise to interesting classes of logic programs. We present a taxonomy of natural such classes, and investigate their properties. In particular, their expressive power over finite structures is analyzed.
the paper presents some applications in planning and multi-agent systems of answer set programming. It highlights the benefits of answer set programming based techniques in these applications. It also describes a clas...
详细信息
ISBN:
(纸本)9783319616605;9783319616599
the paper presents some applications in planning and multi-agent systems of answer set programming. It highlights the benefits of answer set programming based techniques in these applications. It also describes a class of multi-agent planning problems that is challenging to answer set programming.
暂无评论