Interaction nets とは

相互作用ネットは、1990年にY​​ves Lafontによって考案された線形論理の証明構造の一般化としての計算モデルである。相互作用ネットシステムは、1組のエージェントタイプおよび1組の相互作用ルールによって指定される。インタラクションネットは、インタラクションネットの多くの部分で同時に計算が行われるという意味での本質的に分散した計算モデルであり、同期は必要ありません。後者は、この計算モデルの減少の強力なコンフルエント性によって保証される。したがって、インタラクションネットは、大規模な並列処理に自然言語を提供します。インタラクションネットは、Lambyascopeの効率的な閉鎖縮小や最適化など、ラムダ計算の多くの実装の中心にあります。