the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answ...
详细信息
the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answer set for this program. Applications of this method to planning are related to the line of research on the frame problem that started withthe invention of formal nonmonotonicreasoning in 1980. (C) 2002 Elsevier Science B.V. All rights reserved.
ID-logic uses ideas from the field of logicprogramming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this logic in terms of approximation theory, a...
详细信息
ISBN:
(纸本)3540285385
ID-logic uses ideas from the field of logicprogramming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this logic in terms of approximation theory, an algebraic theory which generalizes the semantics of several non-monotonic reasoning formalisms. this allows us to apply certain abstract modularity theorems, developed within the framework of approximation theory, to ID-logic. As such, we are able to offer elegant and simple proofs of generalizations of known theorems, m well as some new results.
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound with respect to the answer set semantics. the main theorem of this paper characterizes the...
详细信息
ISBN:
(纸本)3540285385
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound with respect to the answer set semantics. the main theorem of this paper characterizes the existence of such a translation in terms of strong equivalence. the theorem is used to study the expressiveness of several classes of programs, including the comparison of cardinality constraints with monotone cardinality atoms.
ACMI is a decision support system for the checking of medical invoices in a German health insurance company. We present a brief overview of the system and its implementation in DLV.
ISBN:
(纸本)3540285385
ACMI is a decision support system for the checking of medical invoices in a German health insurance company. We present a brief overview of the system and its implementation in DLV.
the main construction in this paper is an encoding of default logic into an "only knowing" logic with degrees of confidence. By imposing simple and natural constraints on the encoding we show that the "...
详细信息
ISBN:
(纸本)3540285385
the main construction in this paper is an encoding of default logic into an "only knowing" logic with degrees of confidence. By imposing simple and natural constraints on the encoding we show that the "only knowing" logic can accommodate ordered default theories and that the constrained encoding implements a prescriptive interpretation of preference between defaults. An advantage of the encoding is that it provides a transparent formal rendition of such a semantics. A feature of the construction is that the generation of extensions can be carried out within the "only knowing" logic, using object level concepts alone.
the formalism of nonmonotonic causal theories (Ciunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonicreasoning and knowledge representation, as well as a higher level...
详细信息
ISBN:
(纸本)3540285385
the formalism of nonmonotonic causal theories (Ciunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonicreasoning and knowledge representation, as well as a higher level, special-purpose notation, the action language C+, for specifying and reasoning about the effects of actions and the persistence ('inertia') of facts over time. In this paper we investigate some logical properties of these formalisms. there are two motivations. From the technical point of view, we seek to gain additional insights into the properties of the languages when viewed as a species of conditional logic. From the practical point of view, we are seeking to find conditions under which two different causal theories, or two different action descriptions in C+, can be said to be equivalent, withthe further aim of helping to decide between alternative formulations when constructing practical applications.
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.
this paper describes a system called SELP for studying strong equivalence in answer set logicprogramming. the basic function of the system is to check if two given ground disjunctive logic programs are equivalent, an...
详细信息
ISBN:
(纸本)3540285385
this paper describes a system called SELP for studying strong equivalence in answer set logicprogramming. the basic function of the system is to check if two given ground disjunctive logic programs are equivalent, and if not, return a counter-example. We have used the system to discover some interesting theorems about strong equivalence [Lin and Chen, 2005]. Here we briefly describe how the system can be used to find out whether a given set of rules is strongly equivalent to another, perhaps simpler set of rules.
暂无评论