A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems

Antoniou, Grigoris, Dimaresis, Nikos and Governatori, Guido (2009) A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Systems with Applications, 36 2, Part 2: 4125-4134. doi:10.1016/j.eswa.2008.03.009


Author Antoniou, Grigoris
Dimaresis, Nikos
Governatori, Guido
Title A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Journal name Expert Systems with Applications   Check publisher's open access policy
ISSN 0957-4174
1873-6793
Publication date 2009-03
Year available 2008
Sub-type Article (original research)
DOI 10.1016/j.eswa.2008.03.009
Volume 36
Issue 2, Part 2
Start page 4125
End page 4134
Total pages 10
Place of publication Oxford, United Kingdom
Publisher Pergamon
Language eng
Abstract Defeasible reasoning is a well-established nonmonotonic reasoning approach that has recently been combined with Semantic Web technologies. This paper describes modal and deontic extensions of defeasible logic, motivated by potential applications for modelling multi-agent systems and policies. It describes a logic metaprogram that captures the underlying intuitions, and outlines an implemented system. Finally, it demonstrates its use for modelling policies.
Keyword Defeasible reasoning
Nonmonotonic reasoning
Modal reasoning
Policies
Multi-agent systems
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Available online 3 April 2008

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 12 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 16 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 03 Sep 2009, 09:06:48 EST by Mr Andrew Martlew on behalf of School of Information Technol and Elec Engineering