In a previous work we have defined Monotonic logic Programs which extend definite logicprogramming to arbitrary complete lattices of truth-values with an appropriate notion of implication. We have shown elsewhere tha...
详细信息
Mutual relationships between logicprogramming and RDF are examined. Basic RDF is formalized with ground binaryDatalog Horn facts. Containers are modeled using (‘active’) polyadic constructors. For meta-statements a...
详细信息
Considering different implication operators, such as Lukasiewicz, Godel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truth-values. In th...
详细信息
I report about a particular approach to heterogenous agent systems, IMPACT, which is strongly related to computational logic. the underlying methods and techniques stem from both non-monotonic reasoning and logic prog...
详细信息
In a combinatorial auction problem bidders are allowed to bid on a bundle of items. the auctioneer has to select a subset of the bids so as to maximize the price it gets, and of course making sure that it does not acc...
详细信息
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for such programs. We show that many-valued ...
详细信息
In a recent work we defined a possibilistic logic program-ming language, called PGL+, dealing with fuzzy propositions and with a fuzzy unification mechanism. the proof system, modus ponens-style, was shown to be compl...
详细信息
In this paper, we present an implementation of a Java-based framework for building mobile agents: MiLog (Mobile intelligent agents using logicprogramming). MiLog provides logicprogramming and Java programming for de...
详细信息
the A-system [4] is a new system for performing abductive reasoning within the framework of Abductive logicprogramming (ALP). the principles behind the system are founded by work on two earlier systems ACLP [2],[3] a...
ISBN:
(纸本)3540425934
the A-system [4] is a new system for performing abductive reasoning within the framework of Abductive logicprogramming (ALP). the principles behind the system are founded by work on two earlier systems ACLP [2],[3] and SLDNFA(C) [1],[6]. the basic inference mechanism of the system combines abductive logicp rogramming and constraint logicp rogramming. In its computation it reduces the high level specification of the problem and goal at hand to a lower level constraint store. this constraint store is managed by an efficient constraint solver returning information to the abductive reduction process in order to help this in its search for a solution.
We investigate in this paper the relationship between an ambiguity propagating defeasible logic recently proposed by Antoniou et al. [3] and well-founded semantics with priorities [6] under a straightforward translati...
详细信息
暂无评论