defeasible logic programming
An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
... In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work char- ...
8
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) ...on ...
10
Integration of rules and ontologies with defeasible logic programming
... Defeasible Logic Programming (DeLP) [6] provides a language for knowledge representation and reasoning that uses defeasible argumentation [7] to decide be- tween contradictory conclusions ...
10
A first approach to abductive defeasible logic programming: formalization and properties
... This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argu- mentation based formalism for representing knowledge and reasoning) and Abduction in ...
12
Ontology merging using belief revision and defeasible logic programming
... description logic ontologies by using Defeasible Logic Programming [15], which is an argumentative framework based on logic ...and defeasible, the former is inconsistency free ...
10
Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
... Possibilistic Defeasible Logic Programming (P-DeLP) [9] is a logic program- ming language which combines features from argumentation theory and logic programming, incorporating ...
10
An approach for an algebra applied to a defeasible logic programming
... is Defeasible Logic Programming (DeLP) [1], a formalism that combines results of Logic Program- ming and Defeasible ...a defeasible argumentation inference mechanism for ...
10
Characterizing defeat in observation-based defeasible logic programming
... In this work we analyze the problem of incorporating specificity to characterize defeat in a particular argumentative framework, called observation based defeasible logic programming ( ODeLP ) [1]. ...
5
Analyzing the defeat relation in observation-based defeasible logic programming
... Defeasible Logic Programming ( DeLP ) [7] provides capabilities for knowledge representation and reasoning that uses defeasible argumentation to decide between contradictory conclusions ...
10
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, ...hand, defeasible ...
5
DeLP viewer: a defeasible logic programming visualization tool
... Abstract. Defeasible Logic Programming (DeLP) is a knowledge representa- tion formalism that combines results from Logic Programming and Defeasible Argumentation to provide ...
10
Modelling derivation in defeasible logic programming with perceptron-based neural networks
... Defeasible Logic Programming (DeLP) [GS04] provides a language for knowledge and reason- ing that uses defeasible argumentation [SL92, CRL00, CML00, PV99] to decide between con- tradictory ...
12
Combining counterpropagation neural networks and defeasible logic programming for text classification
... In this article we discuss the problem of document classification by a combination of a Counterpropagation neural network (CPN) model and Defeasible Logic Programming (DeLP). This article ...
5
Assuring safety in an air traffic control system with defeasible logic programming
... Notice that at time unit 60, a richer situation arises: In this scenario the flight has a critical malfunction at time 60 and sensor information indicates that wind speed at runway r01 is also 100 knots at that time. The ...
8
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
Integrating defeasible argumentation with fuzzy ART neural networks for pattern classification
... more defeasible in- ...of) defeasible rules in an argu- ment A whenever Π ∪ A entails two complementary lit- ...in logic programming ...
7
Representing generalization relationships in logic programming
... in programming languages, or sort in several logical ...object-oriented programming this relationship is also denominated inheritance or generalization ...oriented programming [6, 8, ...
12
TítuloA casual semantics for Logic Programming
... There exists a vast literature on causal reasoning in Artificial Intelligence. Pa- pers on reasoning about actions and change by Lin [ 1995 ], Thielscher [ 1997 ], McCain and Turner [ 1997 ] or Turner [ 1997 ] have been ...
341
