We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). the system aspps is designed to process PS-theories. It consists of two ...
详细信息
In this paper, we introduce an alternative approach to reasoning about action. the approach provides a solution to the frame and the ramification problem in a uniform manner. the approach involves keeping a (syntax-ba...
详细信息
the impetus for our current research is the need to provide an adequate framework for belief reasoning in multi-level secure (MLS) databases. We demonstrate that a prudent application of the concept of inheritance in ...
详细信息
ISBN:
(纸本)3540439307
the impetus for our current research is the need to provide an adequate framework for belief reasoning in multi-level secure (MLS) databases. We demonstrate that a prudent application of the concept of inheritance in a deductive database setting will help capture the notion of declarative belief and belief reasoning in MLS databases in an elegant way. In this paper, we show that these concepts can be captured in a F-logic style declarative query language, called MultiLog, for MLS deductive databases for which a model theoretic semantics exists. this development is significant from a database perspective as it now enables us to compute the semantics of MultiLog databases in a bottom-up fashion. the semantics developed here is reminiscent of the stable model semantics of logic programs with negation. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we also establish the equivalence of MultiLog's three logical characterizations-model theory, fixpoint theory and proof theory.
NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm to compute answer sets by computing a-colorings (non-standard graph colorings with two colors) of the block graph (a label...
ISBN:
(纸本)3540425934
NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm to compute answer sets by computing a-colorings (non-standard graph colorings with two colors) of the block graph (a labeled digraph) associated with a given program P (see [5] for details). Intuitively, an a-coloring reflects the set of generating rules for an answer set, which means that noMoRe is rule-based and not atom-based like most of the other known systems. Since the core system was designed for propositional programs only, we have integrated lparse [8] as a grounder in order to deal with variables. Furthermore, we have included an interface to the graph drawing tool DaVinci [6] for visualization of block graphs. this allows for a structural analysis of programs.
logic programs P and Q are strongly equivalent if, given any logic program R, programs P ∩ R and Q ∩ R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalen...
详细信息
We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's syntax-based solution [20], Baker's state-minimization policy [1], and Gelfond & Lifchitz's Action Lang...
详细信息
Inductive logicprogramming (ILP) and Relational Data Mining (RDM) address the task of inducing models or patterns from multi-relational data. One of the established approaches to RDM is propositionalization, characte...
详细信息
In this paper, we propose a logical framework for reasoning about uncertain belief fusion. the framework is a combination of multi-agent epistemic logic and possibilistic logic. We use graded epistemic operators to re...
详细信息
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form 〈X, F〉 where X is a finite set of propositional atoms...
详细信息
the proceedings contain 10 papers. the special focus in this conference is on Web reasoning and Rule Systems. the topics include: Extending datalog intelligence;an ontology for historical research documents;semantic v...
ISBN:
(纸本)9783319220017
the proceedings contain 10 papers. the special focus in this conference is on Web reasoning and Rule Systems. the topics include: Extending datalog intelligence;an ontology for historical research documents;semantic views of homogeneous unstructured data;supportedly stable answer sets for logic programs with generalized atoms;planning with regression analysis in transaction logic;web ontology representation and reasoning via fragments of set theory;allotment problem in travel industry;a rule-based framework for creating instance data from openstreetmap;web stream reasoning in practice and a procedure for an event-condition-transaction language.
暂无评论