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

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori

Research output: Contribution to journalArticle

26 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)4125-4134
Number of pages10
JournalExpert Systems with Applications
Volume36
Issue number2 PART 2
Early online date3 Apr 2008
DOIs
Publication statusPublished - 1 Mar 2009
Externally publishedYes

Fingerprint

Semantic Web
Multi agent systems

Cite this

Antoniou, Grigoris ; Dimaresis, Nikos ; Governatori, Guido. / A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. In: Expert Systems with Applications. 2009 ; Vol. 36, No. 2 PART 2. pp. 4125-4134.
@article{df956c4ea3a24d5981d5daf8a789aa5b,
title = "A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems",
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.",
keywords = "Defeasible reasoning, Modal reasoning, Multi-agent systems, Nonmonotonic reasoning, Policies",
author = "Grigoris Antoniou and Nikos Dimaresis and Guido Governatori",
year = "2009",
month = "3",
day = "1",
doi = "10.1016/j.eswa.2008.03.009",
language = "English",
volume = "36",
pages = "4125--4134",
journal = "Expert Systems with Applications",
issn = "0957-4174",
publisher = "Elsevier Limited",
number = "2 PART 2",

}

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. / Antoniou, Grigoris; Dimaresis, Nikos; Governatori, Guido.

In: Expert Systems with Applications, Vol. 36, No. 2 PART 2, 01.03.2009, p. 4125-4134.

Research output: Contribution to journalArticle

TY - JOUR

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

AU - Antoniou, Grigoris

AU - Dimaresis, Nikos

AU - Governatori, Guido

PY - 2009/3/1

Y1 - 2009/3/1

N2 - 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.

AB - 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.

KW - Defeasible reasoning

KW - Modal reasoning

KW - Multi-agent systems

KW - Nonmonotonic reasoning

KW - Policies

UR - http://www.scopus.com/inward/record.url?scp=56349097642&partnerID=8YFLogxK

U2 - 10.1016/j.eswa.2008.03.009

DO - 10.1016/j.eswa.2008.03.009

M3 - Article

VL - 36

SP - 4125

EP - 4134

JO - Expert Systems with Applications

JF - Expert Systems with Applications

SN - 0957-4174

IS - 2 PART 2

ER -