this paper introduces a novel monotonic modal logic, able to characterise reflexive autoepistemic reasoning of the nonmonotonic variant of modal logic SW5: we add a second new modal operator into the original language...
详细信息
ISBN:
(纸本)9783319616605;9783319616599
this paper introduces a novel monotonic modal logic, able to characterise reflexive autoepistemic reasoning of the nonmonotonic variant of modal logic SW5: we add a second new modal operator into the original language of SW5, and show that the resulting formalism called MRAE* is strong enough to capture the minimal model notion underlying some major forms of nonmonotoniclogic among which are autoepistemic logic, default logic, and nonmonotoniclogicprogramming. the paper ends with a discussion of a general strategy, naturally embedding several nonmonotoniclogics of similar kinds.
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approaches of lparse and dlv. A major emphasi...
详细信息
ISBN:
(纸本)9783540721994
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approaches of lparse and dlv. A major emphasis lies on an extensible design that allows for an easy incorporation of new language features in an efficient system environment.
We show how to deploy the CIFF System 4.0 for abductive logicprogramming with constraints in a number of applications, ranging from combinatorial applications to web management. We also compare the CIFF System 4.0 wi...
详细信息
ISBN:
(纸本)9783540721994
We show how to deploy the CIFF System 4.0 for abductive logicprogramming with constraints in a number of applications, ranging from combinatorial applications to web management. We also compare the CIFF System 4.0 with a number of logicprogramming tools, namely the A-System, the DLV system and the SMODELS system.
this paper gives a brief high-level description of the implementation of a disjunctive logicprogramming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logic Programmin...
详细信息
ISBN:
(纸本)3540632557
this paper gives a brief high-level description of the implementation of a disjunctive logicprogramming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logicprogramming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
Ontologies have become an important methodology for representing knowledge, particularly for allowing agents to interchange knowledge over the world-wide-web. From an abstract point of view, an ontology can be seen as...
详细信息
ISBN:
(纸本)354020721X
Ontologies have become an important methodology for representing knowledge, particularly for allowing agents to interchange knowledge over the world-wide-web. From an abstract point of view, an ontology can be seen as a theory about a set of classes. the language underlying the ontology may or may not be decidable;if it is, it is often called a description logic, and the problem of determining whether one description logic formula implies (or subsumes) another is fundamental to deduction in ontologies. this paper models description logics as first-order theories, and employs model-theoretic techniques to determine properties of various description logics. these properties are used to design efficient engines to generate Answer Set Programs that perform deduction in ontologies. this approach contrasts to tableaux theorem proving techniques that are more commonly used. the resulting system serves as an experimental platform to explore the combination of logic-programming based techniques for non-monotonic reasoning and constraint handling with description-logic based deduction. Specifically, we use ASP to create a small but powerful theorem prover for the description logic ALCQI. While ALCQI is P-space complete, our deduction engine requires exponential space in the worst case. However experiments show that its time is roughly comparable to the one of the best tableaux-based engined, DLP [1], even though DLP is written for a simpler description logic, ALCN(1).
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.
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.
At the occasion of the third internationalconference on Principles of Knowledge Representation and reasoning [1] in 1992, Ray Reiter delivered an invited talk entitled "Twelve Years of nonmonotonicreasoning Res...
详细信息
We describe the development of a constraint logicprogramming based system, called CPP, which is capable of generating most preferred plans with respect to a user's preference and evaluate its performance.
ISBN:
(纸本)9783540721994
We describe the development of a constraint logicprogramming based system, called CPP, which is capable of generating most preferred plans with respect to a user's preference and evaluate its performance.
暂无评论