Toward a formalization of emergence

被引：54
|
作者：
Kubík, A [1 ]
机构：
[1] Silesian Univ, Inst Comp Sci, Opava 74601, Czech Republic
来源：
ARTIFICIAL LIFE | 2003年 / 9卷 / 01期
关键词：
emergence; categorization; multiagent system; grammar system; formal approach;
D O I：
10.1162/106454603321489518
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Emergence is a concept widely used in the sciences, the arts, and engineering. Some effort has been made to formalize it, but it is used in various contexts with different meanings, and a unified theory of emergence is still distant. The ultimate goal of a theory of emergence should include using emergence to model, design, or predict the behavior of multiagent systems. The author proposes a formal definition of a basic type of emergence using a language-theoretic and grammar systems approach. It is shown which types of phenomena can be modeled in this sense and what the consequences are for other more complex phenomena.
引用
收藏
页码：41 / 65
页数：25
相关论文
共 50 条
  • [1] Toward the Formalization of BPEL
    Boumlik, Laila
    Mejri, Mohamed
    SERVICE-ORIENTED COMPUTING - ICSOC 2015 WORKSHOPS, 2016, 9586 : 157 - 167
  • [2] Formalization of Weak Emergence in Multiagent Systems
    Szabo, Claudia
    Teo, Yong Meng
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2015, 26 (01):
  • [3] TOWARD A FORMALIZATION OF DIALECTICAL LOGIC
    THOMASON, SK
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 204 - 204
  • [4] Toward a formalization of OO analysis
    Odell, J
    Ramackers, G
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (04): : 64 - 68
  • [5] Toward Formalization of Software Security Issues
    Dimitrov, V.
    PHYSICS OF PARTICLES AND NUCLEI, 2024, 55 (03) : 371 - 374
  • [6] Toward the logical formalization of approximate reasoning
    Fujito, ET
    Ohsato, A
    FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 892 - 898
  • [7] Toward a formalization of affordance modeling for engineering design
    Cormier, Phillip
    Olewnik, Andrew
    Lewis, Kemper
    RESEARCH IN ENGINEERING DESIGN, 2014, 25 (03) : 259 - 277
  • [8] Toward the Formalization of Business Process Model and Notation
    Hounwanou, Honore
    Boumlik, Laila
    Mejri, Mohamed
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2021, 337 : 248 - 264
  • [9] Toward a formalization of affordance modeling for engineering design
    Phillip Cormier
    Andrew Olewnik
    Kemper Lewis
    Research in Engineering Design, 2014, 25 : 259 - 277
  • [10] The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation
    Kraal, Anders
    HISTORY AND PHILOSOPHY OF LOGIC, 2013, 34 (04) : 351 - 366
12345