Defeasible Logic
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 through a ...
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
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 logic. 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 but the ...
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 as well the ...
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 determining ...
10
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 through a ...
10
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 Defeasible ...
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 rules represent ...
5
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
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
Combining counterpropagation neural networks and defeasible logic programming for text classification
... In this section we will discuss an approach for combining a counterpropagation neural network and a defeasible logic program for text document classification. In the sequel we will use HTML as the ...
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 reasoning based on ...
10
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
Designing intelligent database systems through argumentation
... In this section we present an specialization of the DeLP language, called Database Defeasible Logic Programing ( DB DeLP ), that can be used as a reasoning module in a Database integrated system. DB DeLP ...
5
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
... The article is structured as follows. First in Section 2 we present a particular learning algorithm for neural networks, called Fuzzy Adaptive Resonance Theory (ART). Then, in Section 3 we introduce the fundamentals of ...
7
Reasoning about intentions: a defeasible argumentation approach
... This article presents an approach to solve the problem of having an action-oriented system such as a robot with effectorial capabilities and a goal to complete. The robots are controlled by software agents based on a BDI ...
12
