Formal systems Λ agent-based social simulation=⊥?

被引：0
|
作者：
Fasli, M
机构：
来源：
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION | 2004年 / 7卷 / 04期
关键词：
formal systems; social interactions; social agents; commitments; roles; obligations;
D O I：
暂无
中图分类号：
C [社会科学总论];
学科分类号：
03 ; 0303 ;
摘要：
This paper discusses some of the merits of the use of formal logic in multi-agent systems and agent-based simulation research. Reasons for the plethora of formal systems are discussed as well as how formal systems and agent-based social simulation can work together. As an example a formal system for describing social relationships and interactions in a multi-agent system is presented and how this could benefit from agent-based social simulation as well as make a contribution is discussed.
引用
收藏
页数：16
相关论文
共 50 条
  • [1] Agent-Based Social Simulation: A Dynamical-Systems Viewpoint
    Cartwright, Julyan H. E.
    [J]. CYBERNETICS AND SYSTEMS, 2010, 41 (04) : 281 - 286
  • [2] Agent-Based Social Simulation in Markets
    Bertels, Koen
    Boman, Magnus
    [J]. Electronic Commerce Research, 2001, 1 (1-2) : 149 - 158
  • [3] The Ethics of Agent-Based Social Simulation
    Anzola, David
    Barbrook-Johnson, Pete
    Gilbert, Nigel
    [J]. JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2022, 25 (04):
  • [4] Distributed simulation of agent-based systems
    Theodoropoulos, G
    Logan, B
    [J]. DEVELOPMENTS IN COMPUTATIONAL MECHANICS WITH HIGH PERFORMANCE COMPUTING, 1999, : 147 - 153
  • [5] Agent-Based Modelling of Socio-Technical Systems (Agent-Based Social Systems)
    Ronald, Nicole
    [J]. JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2013, 16 (02):
  • [6] Agent-Based Simulation of Learning Social Norms in Traffic Signal Systems
    Ikeda, Kokolo
    Morisugi, Ikuo
    Kita, Hajime
    [J]. AGENT-BASED APPROACHES IN ECONOMIC AND SOCIAL COMPLEX SYSTEMS V: POST-PROCEEDINGS OF THE AESCS INTERNATIONAL WORKSHOP 2007, 2009, : 169 - 180
  • [7] A formal methodology to specify hierarchical agent-based systems
    Andres, Cesar
    Molinero, Carlos
    Nunez, Manuel
    [J]. SITIS 2008: 4TH INTERNATIONAL CONFERENCE ON SIGNAL IMAGE TECHNOLOGY AND INTERNET BASED SYSTEMS, PROCEEDINGS, 2008, : 169 - 176
  • [8] SLABS: A formal specification language for agent-based systems
    Zhu, H
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (05) : 529 - 558
  • [9] Formal architectural models for agent-based service systems
    Ding, Zuohua
    Dong, Jianming
    Han, Wei
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2008, 31 (1-2) : 45 - 63
  • [10] Agent-based social simulation with coalitions in social reasoning
    David, N
    Sichman, JS
    Coelho, H
    [J]. MULTI-AGENT-BASED SIMULATION, 2001, 1979 : 244 - 265
12345