A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Defeasible logic with dynamic priorities
2004
International Journal of Intelligent Systems
Preserved Fulltext
Dynamic priorities have been studied for other related reasoning systems, such as default logic and argumentation. ...
Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation, and it shows promise to be successfully deployed in applications. ...
logic without dynamic priorities. ...
doi:10.1002/int.20008
fatcat:u6quwxxtkfhafetjp5vddv3lyi
An Argumentation Framework Based on Conditional Priorities
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We propose a language to allow defeasible assumptions and context-sensitive priorities to be explicitly expressed and reasoned about by the agent. ...
We propose a framework to allow an agent to cope with inconsistent beliefs and to handle conflicting inferences. ...
Context-sensitivity of priorities between defeasible information is rendered by explicit conditional priorities between defeasible assumptions. ...
doi:10.1007/978-3-540-89197-0_46
fatcat:hopbyabshbgvzczliyrbed5d5q
Computing Generalized Specificity
2003
Journal of Applied Non-Classical Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Several extensions of logic programming (LP), default reasoning systems, defeasible logics, and defeasible argumentation formalisms consider priorities over competing rules [ANT 00, COV 88, DIM 95, GEL ...
., preference among defeasible rules is determined dynamically during the dialectical analysis. ...
Logic Programming and Defeasible Logic with Superiority Relation In [KAK 94] and later in [DIM 95], Logic Programming without Negation as Failure (LPwNF) was introduced. ...
doi:10.3166/jancl.13.87-113
fatcat:adhcmjej3vbxbmoew7nsre6f6y
Discourse Preferences in Dynamic Logic
[article]
1997
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
We extend a fragment of Van Benthem and De Rijke's dynamic modal logic with additional preferential operators in the underlying static logic, which enables us to define defeasible (pragmatic) entailments ...
In order to enrich dynamic semantic theories with a 'pragmatic' capacity, we combine dynamic and nonmonotonic (preferential) logics in a modal logic setting. ...
o-meaning coincides with the completely indefeasible reading of priority 0. ...
arXiv:cmp-lg/9707004v1
fatcat:wwdgmrzpr5a3dgxhg25y7eswle
DR-DEVICE: A Defeasible Logic System for the Semantic Web
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
In this paper we describe these scenarios in more detail along with the implementation of the DR-DEVICE system, which is capable of reasoning about RDF data over multiple Web sources using defeasible logic ...
This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. ...
DR-DEVICE has been extensively tested using a tool that generates scalable test defeasible logic theories that comes with Deimos, a query answering defeasible logic system [30] . ...
doi:10.1007/978-3-540-30122-6_10
fatcat:7cdbrtiveneyhmjaawohlzxrny
A Defeasible Logic-based Framework for Contextualizing Deployed Applications
2019
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The nonmonotonic nature of defeasible logic has the capability of attaining justifiable decisions in dynamic environments. ...
Active concerns that are triggered at certain contexts are encapsulated in separate defeasible theories. A proof theory is defined along with a study of its formal properties. ...
Defeasible logic (DL) [22] is a well-known skeptical nonmonotonic logic that can be used in dynamic environments due to its characteristics: it is expressive, natural, not ambiguous and programmable. ...
doi:10.14569/ijacsa.2019.0100923
fatcat:zijugmqr75e2zp72nxhhgbboou
Nonmonotonic reasoning by monotonic inferences with priority constraints
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
As applications, we recast default reasoning by priority reasoning, and show that Horty's defeasible inheritance networks can be represented by priority logic. ...
We thus present a formal system for representing common sense knowledge, and call it priority logic. ...
Extension of priority logic with dynamic priority constraint presents an interesting but challenging future research topic. ...
doi:10.1007/bfb0023803
fatcat:n7au6btikjhcleg6idcbif56hi
A Defeasible Logic for Clauses
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A new non-monotonic logic called clausal defeasible logic (CDL) is defined and explained. ...
CDL increases the expressive power of defeasible logic by allowing clauses where previous defeasible logics only allowed literals. ...
All defeasible logics have a priority relation on rules and use classical negation rather than negation-as-failure. ...
doi:10.1007/978-3-642-25832-9_48
fatcat:f2hakmikoretvbihmdw44t2g3i
Conflicts in legal knowledge base
2012
Foundations of Computing and Decision Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The authors main objective was to model a selected legal act, together with the inference rules applied, and to represent them in an advisory system, focusing on the most accurate representation of both ...
The issue of modelling argumentation processes for defeasible logic has been dealt with, inter alia, by Sartor, Prakken, Horty, Toni and Kowalski and others. ...
Default logic, as proposed by Reiter [22] , formalizes the reasoning with default assumptions. ...
doi:10.2478/v10209-011-0006-9
fatcat:6y62yhwb6zatpdrddfkbpdqg2y
Combining Ontology and Rules to Model Judicial Interpretation
2012
International Web Rule Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
For pursuing this goal it is important to integrate the legal ontology construction with a rule formalization following legal reasoning-oriented theory and defeasible logics, just like the Carneades application ...
Introducing Defeasible Logics and Temporal Parameters to the Rule Inside the <ruleInfo> section, the element <strength/> defines the role of each rule in the defeasible logics dynamics (strict/defeasible ...
To manage defeasibility of arguments (and thus rules) Carneades includes proof standards [6] , which can in a way be interpreted as a kind of priority relation in defeasible logics [11] . ...
dblp:conf/ruleml/Ceci12
fatcat:f4u4sgclqfdmrhmjrrnpftalda
Superiority Based Revision of Defeasible Theories
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. ...
[2] investigates revision for defeasible logic and relationships with AGM postulates. ...
They propose extensions of an argumentation framework and defeasible logic, where the superiority relation is dynamically derived from arguments and rules in given theories. ...
doi:10.1007/978-3-642-16289-3_10
fatcat:jabrujosergtfnetjbmwcm3nu4
A formal approach to negotiating agents development
2002
Electronic Commerce Research and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Such a specification can be dynamically plugged into an agent shell incorporating a statechart interpreter and a defeasible logic inference engine, in order to yield an agent capable of participating in ...
The choice of statecharts and defeasible logic with respect to other formalisms is justified against a set of desirable criteria, and their suitability is illustrated through concrete examples of bidding ...
All the defeasible logic programs appearing in the paper have been tested using a defeasible logic inference engine [26] . ...
doi:10.1016/s1567-4223(02)00016-9
fatcat:zyz3ip56trdqhpyjutjcvvwvje
Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format. ...
Defeasible priorities In several argumentation frameworks, as in many other nonmonotonic logics, the defeat relation is partly de ned with the help of priority relations, usually de ned on the premises ...
Firstly, I have, by generalising work of 15], discussed how the abstract framework of 7, 2] can be extended with defeasible priorities. ...
doi:10.1007/3-540-46581-2_14
fatcat:azbw7a5s7jdtnj6r2jriqk6qmi
A Defeasible Logic Reasoner for the Semantic Web
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. ...
The operational semantics of defeasible logic are implemented through compilation into the generic rule language of R-DEVICE. ...
Priorities on rules may be used to resolve some conflicts among rules. Priority information is often found in practice, and constitutes another representational feature of defeasible logics. ...
doi:10.1007/978-3-540-30504-0_5
fatcat:6gagrjig3vbltaisane7uf6hra
Non-monotonic reasoning rules for energy efficiency
2017
Journal of Ambient Intelligence and Smart Environments
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
the extension of a basic Defeasible Logic, which corresponds to turned on or off devices. ...
We argue that a very promising non-monotonic approach to such a problem can lie upon Defeasible Logic, following therefore an approach that has shown success in the current literature about usage of this ...
Priorities are just added as they are, since they indeed coincide syntactically with the superiority relations of defeasible logic. ...
doi:10.3233/ais-170434
fatcat:53isz5d2vvg6te5na3bl7gfldy
« Previous
Showing results 1 — 15 out of 1,220 results