Specifying and analysing agent-based social institutions using answer set programming

被引：0
|
作者：
Cliffe, Owen [1 ]
De Vos, Marina [1 ]
Padget, Julian [1 ]
机构：
[1] Univ Bath, Dept Comp Sci, Bath BA2 7AY, Avon, England
来源：
COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN MULTI-AGENT SYSTEMS | 2006年 / 3913卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of institutions we model, and describe how they are translated into ASP programs which can then be used to verify properties of the specifications. We demonstrate the effectiveness of this approach through the institutions of property and exchange.
引用
收藏
页码：99 / 113
页数：15
相关论文
共 50 条
  • [1] Specifying Credal Sets With Probabilistic Answer Set Programming
    Maua, Denis Deratani
    Cozman, Fabio Gagliardi
    [J]. INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, VOL 215, 2023, 215 : 321 - 332
  • [2] InstQL: A Query Language for Virtual Institutions Using Answer Set Programming
    Hopton, Luke
    Cliffe, Owen
    De Vos, Marina
    Padget, Julian
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6214 : 102 - 121
  • [3] Analysing Urban Systems using Agent-Based Modelling
    Heckbert, Scott
    Smajgl, Alex
    [J]. MODSIM 2005: INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: ADVANCES AND APPLICATIONS FOR MANAGEMENT AND DECISION MAKING: ADVANCES AND APPLICATIONS FOR MANAGEMENT AND DECISION MAKING, 2005, : 134 - 140
  • [4] Analysing the Combined Health, Social and Economic Impacts of the Corovanvirus Pandemic Using Agent-Based Social Simulation
    Dignum, Frank
    Dignum, Virginia
    Davidsson, Paul
    Ghorbani, Amineh
    van der Hurk, Mijke
    Jensen, Maarten
    Kammler, Christian
    Lorig, Fabian
    Ludescher, Luis Gustavo
    Melchior, Alexander
    Mellema, Rene
    Pastrav, Cezara
    Vanhee, Lois
    Verhagen, Harko
    [J]. MINDS AND MACHINES, 2020, 30 (02) : 177 - 194
  • [5] Analysing the Combined Health, Social and Economic Impacts of the Corovanvirus Pandemic Using Agent-Based Social Simulation
    Frank Dignum
    Virginia Dignum
    Paul Davidsson
    Amineh Ghorbani
    Mijke van der Hurk
    Maarten Jensen
    Christian Kammler
    Fabian Lorig
    Luis Gustavo Ludescher
    Alexander Melchior
    René Mellema
    Cezara Pastrav
    Loïs Vanhee
    Harko Verhagen
    [J]. Minds and Machines, 2020, 30 : 177 - 194
  • [6] Analysing Retailing Opportunities And Threats Using Agent-Based Simulation
    Vojtko, Viktor
    Heskova, Marie
    [J]. BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, 2010, : 2514 - 2523
  • [7] Answer set programming for representing and reasoning about virtual institutions
    Cliffe, Owen
    De Vos, Marina
    Padget, Julian
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2007, 4371 : 60 - +
  • [8] Dynamic Multi-Agent Path Finding based on Conflict Resolution using Answer Set Programming
    Atiq, Basem
    Patoglu, Volkan
    Erdem, Esra
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325): : 223 - 229
  • [9] Model-based reasoning using answer set programming
    Franz Wotawa
    David Kaufmann
    [J]. Applied Intelligence, 2022, 52 : 16993 - 17011
  • [10] Model-based reasoning using answer set programming
    Wotawa, Franz
    Kaufmann, David
    [J]. APPLIED INTELLIGENCE, 2022, 52 (15) : 16993 - 17011
12345