1,220 Hits in 3.3 sec

Defeasible logic with dynamic priorities

Grigoris Antoniou
2004 International Journal of Intelligent Systems  
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]

Quoc Bao Vo
2008 Lecture Notes in Computer Science  
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

Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, Guillermo R. Simari
2003 Journal of Applied Non-Classical Logics  
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]

Jan Jaspars
1997 arXiv   pre-print
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]

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2004 Lecture Notes in Computer Science  
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

Noor Sami Al-Anbaki, Nadim Obeid, Khair Eddin
2019 International Journal of Advanced Computer Science and Applications  
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]

Xianchang Wang, Jia-Huai You, Li Yan Yuan
1997 Lecture Notes in Computer Science  
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]

David Billington
2011 Lecture Notes in Computer Science  
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

Tomasz Zurek
2012 Foundations of Computing and Decision Sciences  
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

Marcello Ceci
2012 International Web Rule Symposium  
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]

Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2010 Lecture Notes in Computer Science  
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

Marlon Dumas, Guido Governatori, Arthur H.M. ter Hofstede, Phillipa Oaks
2002 Electronic Commerce Research and Applications  
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]

Henry Prakken
1999 Lecture Notes in Computer Science  
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]

Nick Bassiliades, Grigoris Antoniou, Ioannis Vlahavas
2004 Lecture Notes in Computer Science  
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

Claudio Tomazzoli, Matteo Cristani, Erisa Karafili, Francesco Olivieri, Davy Preuveneers, Elisabeth Ilie-Zudor
2017 Journal of Ambient Intelligence and Smart Environments  
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