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
关键词
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 条
  • [31] Modal operators with adaptable semantics for multi-agent systems
    Borgo, S
    AI*IA2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3673 : 186 - 197
  • [32] Modelling resilient collaborative multi-agent systems
    Vistbakka, Inna
    Troubitsyna, Elena
    COMPUTING, 2021, 103 (04) : 535 - 557
  • [33] Strategy description and modelling for multi-agent systems
    Snasel, Vaclav
    Martinovic, Jan
    Kozusznik, Jan
    SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT APPLICATIONS, PROCEEDINGS, 2008, : 50 - 55
  • [34] Modelling and verification of reconfigurable multi-agent systems
    Abd Alrahman, Yehia
    Piterman, Nir
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2021, 35 (02)
  • [35] Modelling multi-agent systems with category theory
    Ormandjieva, Olga
    Bentahar, Jamal
    Huang, Jinzi
    Kuang, Heng
    6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 538 - 545
  • [36] Modelling resilient collaborative multi-agent systems
    Inna Vistbakka
    Elena Troubitsyna
    Computing, 2021, 103 : 535 - 557
  • [37] Multi-agent approach on economic systems modelling
    Zajac, J
    EKONOMICKY CASOPIS, 2003, 51 (06): : 708 - 730
  • [38] Modelling interaction scenarios in multi-agent systems
    Orlic, Marin
    Mihaljevic, Branko
    Zagar, Mario
    ITI 2006: PROCEEDINGS OF THE 28TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2006, : 373 - +
  • [39] Modelling multi-agent systems with organizations in mind
    Wester-Ebbinghaus, Matthias
    Moldt, Daniel
    MSVVEIS 2008: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2008, : 81 - 90
  • [40] Modelling and verification of reconfigurable multi-agent systems
    Yehia Abd Alrahman
    Nir Piterman
    Autonomous Agents and Multi-Agent Systems, 2021, 35