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

被引：28

作者：

Antoniou, Grigoris ^{[1
]}

Dimaresis, Nikos ^{[1
]}

Governatori, Guido ^{[2
]}

机构：

[1] Univ Crete, Dept Comp Sci, Iraklion, Greece

[2] Univ Queensland, Sch ITEE, Brisbane, Qld 4072, Australia

来源：

EXPERT SYSTEMS WITH APPLICATIONS | 2009年 / 36卷 / 02期

关键词：

Defeasible reasoning; Nonmonotonic reasoning; Modal reasoning; Policies; Multi-agent systems; LOGIC;

D O I：

10.1016/j.eswa.2008.03.009

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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. (C) 2008 Elsevier Ltd. All rights reserved.

引用

页码：4125 / 4134

页数：10

共 50 条

[1] A System for Modal and Deontic Defeasible Reasoning
Antoniou, Grigoris
Dimaresis, Nikos
Governatori, Guido
[J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 2261 - +
[2] A system for modal and deontic defeasible reasoning
Antoniou, Grigoris
Dimaresis, Nikos
Governatori, Guido
[J]. AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 609 - +
[3] DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning
Hecham, Abdelraouf
Croitoru, Madalina
Bisquert, Pierre
[J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 13612 - 13613
[4] DEFEASIBLE DEONTIC REASONING AND ITS APPLICATIONS TO NORMATIVE SYSTEMS
RYU, YU
LEE, RM
[J]. DECISION SUPPORT SYSTEMS, 1995, 14 (01) : 59 - 73
[5] An MDE Approach for Modelling and Reasoning About Multi-agent Systems
Rabbi, Fazle
Lamo, Yngve
Kristensen, Lars Michael
[J]. MULTI-AGENT SYSTEMS AND AGREEMENT TECHNOLOGIES, EUMAS 2016, 2017, 10207 : 49 - 57
[6] A defeasible deontic reasoning system based on annotated logic programming
Nakamatsu, K
Abe, JM
Suzuki, A
[J]. COMPUTING ANTICIPATORY SYSTEMS, 2001, 573 : 609 - 620
[7] On multi-agent systems specification via Deontic Logic
Lomuscio, A
Sergot, M
[J]. INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 86 - 99
[8] Automatic verification of deontic properties of multi-agent systems
Raimondi, F
Lomuscio, A
[J]. DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, 3065 : 228 - 242
[9] Causal reasoning in multi-agent systems
Chaib-draa, B
[J]. MULTI-AGENT RATIONALITY, 1997, 1237 : 79 - 97
[10] Hierarchical system architecture for multi-agent multi-modal systems
Koo, TJ
[J]. PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 1509 - 1514

← 1 2 3 4 5 →