Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations

要約

この文書は、人口統計分野におけるエージェント ベース モデル (ABM) のサブセットの数学的仕様に適切な正式な用語を示します。
ターゲットとなる ABM のシミュレーションは、固定ステップのシングルクロック パターンに従います。
提案された用語はモデルの理解をさらに改善し、仕様のスタンドアロン プロトコルとして機能し、オプションで (人口統計上の) ABM の重要なセットの文書化を行うことができます。
それにもかかわらず、この用語が、ほとんど非公式で広く使用されているモデルの文書化とコミュニケーション O.D.D. をさらに改善するための刺激的な基礎として機能する可能性があることは想像できます。
プロトコル [Grimm and et al., 2020, Amouroux et al., 2010] を使用して、他のモデラーによるモデルの複製を妨げる多くの曖昧さの原因を軽減します。
公開されている人口統計モデルの文書は、孤独親モデル [Gostoli and Silverman, 2020] の大幅に簡略化されたバージョンであり、ここで示されている正式な用語の説明として [Elsheikh, 2023c] で別途公開されています。
このモデルは、Agents.jl julia パッケージ [Datseris et al., 2022] に基づいて Julia 言語 [Elsheikh, 2023b] で実装されました。

要約(オリジナル)

This document presents adequate formal terminology for the mathematical specification of a subset of Agent Based Models (ABMs) in the field of Demography. The simulation of the targeted ABMs follows a fixedstep single-clocked pattern. The proposed terminology further improves the model understanding and can act as a stand-alone protocol for the specification and optionally the documentation of a significant set of (demographic) ABMs. Nevertheless, it is imaginable the this terminology can serve as an inspiring basis for further improvement to the largely-informal widely-used model documentation and communication O.D.D. protocol [Grimm and et al., 2020, Amouroux et al., 2010] to reduce many sources of ambiguity which hinder model replications by other modelers. A published demographic model documentation, largely simplified version of the Lone Parent Model [Gostoli and Silverman, 2020] is separately published in [Elsheikh, 2023c] as illustration for the formal terminology presented here. The model was implemented in the Julia language [Elsheikh, 2023b] based on the Agents.jl julia package [Datseris et al., 2022].

arxiv情報

著者 Atiyah Elsheikh
発行日 2023-10-20 14:05:12+00:00
arxivサイト arxiv_id(pdf)

提供元, 利用サービス

arxiv.jp, Google

カテゴリー: cs.CL, math.DS パーマリンク