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 条
  • [41] Collaborative Housekeeping Robotics using Answer Set Programming
    Aker, Erdi
    Patoglu, Volkan
    Erdem, Esra
    [J]. 2013 21ST SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE (SIU), 2013,
  • [42] Explaining Object Motion Using Answer Set Programming
    Wotawa, Franz
    Klampfl, Lorenz
    [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS (ISMIS 2020), 2020, 12117 : 298 - 307
  • [43] Inferring Phylogenetic Trees Using Answer Set Programming
    Daniel R. Brooks
    Esra Erdem
    Selim T. Erdoğan
    James W. Minett
    Don Ringe
    [J]. Journal of Automated Reasoning, 2007, 39
  • [44] Automatic music composition using answer set programming
    Boenn, Georg
    Brain, Martin
    De Vos, Marina
    Ffitch, John
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 397 - 427
  • [45] Land Evaluation Configuration using Answer Set Programming
    Karamesouti, Mina
    Tignon, Etienne
    [J]. 27TH AGILE CONFERENCE ON GEOGRAPHIC INFORMATION SCIENCE GEOGRAPHIC INFORMATION SCIENCE FOR A SUSTAINABLE FUTURE, 2024, 5
  • [46] On Requirements Representation and Reasoning using Answer Set Programming
    Padget, Julian
    Elakehal, Emad Eldeen
    Satoh, Ken
    Ishikawa, Fuyuki
    [J]. 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE FOR REQUIREMENTS ENGINEERING (AIRE), 2014, : 35 - 42
  • [47] Analyzing XACML policies using answer set programming
    Mohsen Rezvani
    David Rajaratnam
    Aleksandar Ignjatovic
    Maurice Pagnucco
    Sanjay Jha
    [J]. International Journal of Information Security, 2019, 18 : 465 - 479
  • [48] Synthesizing Concurrent Programs Using Answer Set Programming
    De Angelis, Emanuele
    Pettorossi, Alberto
    Proietti, Maurizio
    [J]. FUNDAMENTA INFORMATICAE, 2012, 120 (3-4) : 205 - 229
  • [49] Quartet based phylogeny reconstruction with answer set programming
    Wu, G
    Lin, GH
    You, JH
    [J]. ICTAI 2004: 16TH IEEE INTERNATIONALCONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, : 612 - 619
  • [50] Verifying Software Requirements Based on Answer Set Programming
    Mu, Kedian
    Zhang, Qi
    Jin, Zhi
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2009, 5914 : 263 - +
12345