Logic Programming
Top PDF Logic Programming:
Ontology merging using belief revision and defeasible logic programming
... In [1], G´ omez et al. developped a framework called δ-ontologies that allows to reason in the presence of inconsistent description logic ontologies by using Defeasible Logic Programming [15], which ...
10
An approach for an algebra applied to a defeasible logic programming
... Different argumentation systems exists, specifying a knowledge representation language, and how arguments are built. One of those systems is Defeasible Logic Programming (DeLP) [1], a formalism that ...
10
A first approach to abductive defeasible logic programming: formalization and properties
... In this article, we presented the confluence of two general ideas: Defeasible Logic Programming and Abduction in logic. Concretely, we introduced a framework that formally states the problem of doing ...
12
Characterizing defeat in observation-based defeasible logic programming
... derivation computed by backward chaining applying the usual SLD inference procedure used in logic programming. Observations play the role of facts and defeasible rules function as inference rules. In ...
5
Logical properties in defeasible logic programming -a preliminary report
... Defeasible Logic Programming (DeLP, henceforth), combines a language similar to the one of logic programming with an argumentative inference engine [10, 9, ...defeasible logic program P ...
5
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
... membership of individuals to concepts. This approach continues previous work of ours [7] that translates DL ontologies into Defeasible Logic Programming and uses generalized specificity to compare arguments. ...
10
Integration of rules and ontologies with defeasible logic programming
... Abstract. The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus en- abling agents to reason about them. As inconsistencies cannot be treated by standard ...
10
Analyzing the defeat relation in observation-based defeasible logic programming
... Example 2.1. Fig. 1 shows an ODeLP program. Observations describe that John has a poor performance at his job, John is currently sick, and Peter also has a good performance, but is unruly. Defeasible rules deal with the ...
10
Representing generalization relationships in logic programming
... Modeling is one of the most important activities throughout any software de- velopment life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities ...
12
Local-as-view integration of ontologies in defeasible logic programming
... Description Logic Programming (DLP) is an alternative ap- proach to reason with DL ontologies that proposes translating them into the lan- guage of logic programming (LP) ...Defeasible ...
10
DeLP viewer: a defeasible logic programming visualization tool
... In order to aid users to understand the justification of the derived conclusions, and to improve the analysis of the DeLP process, we present DeLP Viewer, a defeasible logic programming visualization tool. ...
10
TítuloA casual semantics for Logic Programming
... As we have seen in the previous section, the AI literature has addressed causal- ity in two different and complementary manners: on the one hand, the necessity- based approaches have been focused on determining the ...
341
The Gödel and the Splitting Translations
... in logic programming might perhaps turn out to be related in a natural way to modal concepts of this ...Secondly, logic programs had a special kind of syntax based on rules, while their modal ...
30
Análisis de coste en programas funcionales usando CiaoPP
... between logic programming and functional programming (both fall under the hood of declarative programming), we thought an interesting way to try to approach the problem would be to create a ...
31
A comparison between non-monotonic formalisms
... It is interesting and important to compare, analyze and as- sess the alternative tools that could be used in the area of Knowledge Representation. In this paper we present a reasearch line associated to this goal: to ...
5
Programming of Job Shop Production Systems with Fuzzy Logic
... efficient programming systems must be able to achieve objectives concurrently such as, minimize the time of completion of all jobs (makespan), maximize the use of the machines, minimize costs of enlistment and ...
7
On cumulativity in the context of defeasible argumentation
... In these formalisms, knowledge is structured as facts and rules, where facts represent knowledge explicitly observed and rules capture the relation between some evidence and some conclusion fol- lowing from it. New ...
11