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

Grigoris Antoniou; Nikos Dimaresis; Guido Governatori

doi:10.1016/j.eswa.2008.03.009

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

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori

Research output: Contribution to journal › Article › peer-review

32 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 language	English
Pages (from-to)	4125-4134
Number of pages	10
Journal	Expert Systems with Applications
Volume	36
Issue number	2 PART 2
Early online date	3 Apr 2008
DOIs	https://doi.org/10.1016/j.eswa.2008.03.009
Publication status	Published - 1 Mar 2009
Externally published	Yes

Access to Document

10.1016/j.eswa.2008.03.009Licence: Unspecified

Cite this

@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 = mar,

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",

}

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

AN - SCOPUS:56349097642

VL - 36

SP - 4125

EP - 4134

JO - Expert Systems with Applications

JF - Expert Systems with Applications

SN - 0957-4174

IS - 2 PART 2

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this