ワークフローとエージェント（呼び出し回数による模型）

定義 7.1（「エージェントループ」§7）

ワークフローを、有限個のモデル呼び出しの箇所（節点） $V$ を持ち、どの入力とどのモデルに対しても、1 回の実行で各節点を高々 1 回しか通らないプログラムと定める。どの節点を通るかは、入力やモデルの出力に依ってよい。エージェントを、定義 3.1 のループと定める。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。