[논문 리뷰] Distributed Computation, the Twisted Isomorphism, and Auto-Poiesis

Michael Manthey|ArXiv.org|1998. 09. 14.

Distributed systems and fault tolerance참고 문헌 14인용 수 4

한 줄 요약

이 논문은 이산 클리포드 대수, 호몰로지 및 코호몰로지를 활용하여 재귀적 자율조직을 형식화하는 동기화 기반의 예측 시스템 계산 모델인 Phase Web을 소개한다. 명시적 자기참조와 내부/외부 경계의 구분을 통해 계층적이고 자율생성적 계산 과정을 가능하게 하며, Topsy 프로그램을 통해 구현된 바에 따라, 대수적 위상수학에 기반한 분산 예측 계산의 새로운 프레임워크를 제공한다.

ABSTRACT

This paper presents a synchronization-based, multi-process computational model of anticipatory systems called the Phase Web. It describes a self-organizing paradigm that explicitly recognizes and exploits the existence of a boundary between inside and outside, accepts and exploits intentionality, and uses explicit self-reference to describe eg. auto-poiesis. The model explicitly connects computation to a discrete Clifford algebraic formalization that is in turn extended into homology and co-homology, wherein the recursive nature of objects and boundaries becomes apparent and itself subject to hierarchical recursion. Topsy, a computer program embodying the Phase Web, is available at www.cs.auc.dk/topsy.

연구 동기 및 목표

• 분산 시스템에서 명시적 자기참조와 경계 정의를 통해 예측 행동을 형식화하는 계산 모델을 개발하는 것.
• 이산 클리포드 대수를 호몰로지 및 코호몰로지와 통합하여 물체와 그 경계의 재귀적 구조를 포착하는 것.
• 내부 상태와 외부 상태를 구분하는 계산 프레임워크 내에서 자율생성성(자기 생성 및 자기 유지)을 모델링하는 것.
• 계층적 재귀와 의도성(의도성)을 지원하는 분산 계산을 위한 형식적이고 수학적으로 엄밀한 기반을 제공하는 것.
• Topsy라는 프로그램을 통해 모델의 실현 가능성을 입증하는 것.

제안 방법

• Phase Web 모델은 동기화 원리를 사용하여 다수의 프로세스를 조율하며, 내부-외부 경계가 정의된 상호작용하는 에이전트의 네트워크를 형성한다.
• 이 모델은 이산 클리포드 대수를 사용하여 시스템 내 기하학적 및 위상수학적 관계를 대수적으로 표현한다.
• 호몰로지 및 코호몰로지 구조는 물체와 그 경계 간의 재귀적 관계를 분석하여 계층적 자율조직을 드러낸다.
• 명시적 자기참조는 자율생성성의 핵심인 자율성 및 자기유지의 표현을 위해 모델에 코딩된다.
• 의도성은 일급 속성으로 간주되어, 시스템이 구조적 제약을 통해 미래 상태를 예측할 수 있도록 한다.
• Topsy는 Phase Web 패러다임을 실현한 구체적 구현으로, 분산 예측 계산을 자율조직 프레임워크 내에서 시뮬레이션한다.

실험 결과

연구 질문

• RQ1 분산 계산 시스템은 어떻게 명시적 자기참조와 경계 정의를 통해 예측 행동을 모델링할 수 있는가?
• RQ2 이산 클리포드 대수는 계산에서 재귀적이고 계층적인 구조를 모델링하기 위해 어떤 기초를 제공하는가?
• RQ3 호몰로지 및 코호몰로지 구조는 계산 시스템에서 물체와 그 경계의 재귀적 성질을 어떻게 드러내는가?
• RQ4 자율생성성(자기 생성 및 자기 유지)은 분산 계산 모델에 형식적으로 코딩되고 구현될 수 있는가?
• RQ5 의도성은 예측을 가능하게 하는 데 어떤 역할을 하는가? 그리고 이를 분산 시스템에 어떻게 수학적으로 통합할 수 있는가?

주요 결과

• Phase Web 모델은 내부/외부 상태를 명확히 구분하는 동기화 기반의 다중 프로세스 아키텍처를 통해 예측 시스템을 성공적으로 형식화하였다.
• 이산 클리포드 대수는 분산 계산 내 기하학적 및 위상수학적 관계를 표현하는 강력한 대수적 프레임워크를 제공한다.
• 호몰로지 및 코호몰로지 구조는 물체와 그 경계의 계층적 재귀를 드러내어 복잡한 자율조직 행동을 모델링할 수 있게 한다.
• 명시적 자기참조는 효과적으로 코딩되어 시스템이 자기유지 및 자기복제와 같은 자율생성적 과정을 모델링할 수 있게 한다.
• Topsy 프로그램은 모델의 실현 가능성을 입증하며, 분산 계산 내에서 Phase Web 패러다임을 구현한 작동 가능한 예시를 제공한다.
• 의도성의 형식적 구조에의 통합은 시스템이 반응 메커니즘 대신 구조적 제약을 통해 미래 상태를 예측할 수 있도록 한다.