自己再帰構造論と項書き換えシステムに基づく計算生命系の構築

基于自递归结构理论和术语重写系统的计算生命系统构建

• 批准号: 08233205
• 负责人: 田中 博
• 金额: $ 1.28万
• 依托单位: Tokyo Medical and Dental University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08233205/
• 关键词: 項書き換え系; 自己再帰構造; 複雑性; 生命反応系; 停止性; 合流性

これまでλ計算やチューリングマシンや帰納関数と同等の計算能力をもつ計算系として非古典論理の1つである項書き換え系(TRS:Term Rewriting System)が生命の自己再帰構造の記述と動作原理の解明に利用できることを見出し、ダイナミクスを生じるための必要な最小上界領域の決定、TRS系が環境に適用しつつ円環構造を生成する例などを報告していたが、本年度は本研究でこのTRSによる計算生命系の記述とそれの形式解析および計算シュミレーションを発展させ、生命の円環構造生成過程および複雑性進化の形式的本質を明確化した。すなわち項書き換え系による生命自己再帰構造の解明に関しては、1.生命反応系の円環構造の出現と消滅に関する動作原理の研究:TRS規則群から円環構造をなした規則の連鎖系が形成される過程が成り立つための条件を検討した。2.円環構造の"変化"および複数の円環構造の集団力学:円環構造の"環境"による変化および多数の円環構造間での統合、競合の効果をみた。その結果、結論として規則系の合流性と停止性のバランスによって決まることが明らかとなった。つまり系の性質はこの2つの基本原理によって決定される。その際、停止性は円環構造の出現の有無に関する基本原理に対応し、合流性は円環構造の融合、分離による複雑化に関する基本原理に対応していることを明らかにすることができた。我々はこの2つの基本原理に関する理論研究をすすめており、系が円環を発生させる条件を明らかにすることができた。現在系が合流性を満たす条件について更に研究を行っている。

A computational system of non-classical logic is a computational system of non-classical logic.(TRS:Term Rewriting System) Description of structure and explanation of action principle of self re-writing of life TRS is applicable to the environment, and ring structures are generated. Examples are reported. This year, TRS is studied. Computational life systems are described. Forms are analyzed. Computational life systems are developed. To clarify the nature of life cycle structure generation process and complex evolution form 1. Study on the mechanism of the emergence and elimination of the loop structure of the life reaction system: The conditions for the formation of the TRS rule group from the loop structure to the chain system are discussed. 2. The "transformation" of ring structure and the collective mechanics of multiple ring structures: the "environment" of ring structure and the integration and cooperation of multiple ring structures The results and conclusions of the rule system are convergent and stop. The nature of the system is determined by the basic principles of the system. The basic principles of the existence and non-existence of the ring structure are related to the fusion and separation of the ring structure. The basic principles of the system are discussed. Now it's time for convergence.

项目成果

Tsumoto,S.and Tanaka,H.: "Artificial Life and Robotics" OITA University, 154 (1996)

Tsumoto,S. 和 Tanaka,H.：“人工生命和机器人” 大分大学，154 (1996)

Suzuki,Y.Tsumoto,S.and Tanaka,H.: "A Life 5 (5th Workshop on Artificial Life)" MIT Press, 212 (1996)

Suzuki,Y.Tsumoto,S. 和 Tanaka,H.：“A Life 5（第五届人工生命研讨会）”麻省理工学院出版社，212 (1996)

Suzuki,Y.Tsumoto,S.and Tanaka,H.: "Artificial Life and Robotics" OITA University, 154 (1996)

铃木，Y.Tsumoto，S.和田中，H.：“人工生命和机器人”大分大学，154（1996）

Suzuki,Y.and Tanaka,H.: "Artificial Life and Robotics" OITA University, 154 (1997)

铃木 Y. 和田中 H.：“人工生命和机器人” 大分大学，154 (1997)