[논문 리뷰] The Structure of Information

Bruce Long|ArXiv.org|2003. 09. 02.

Computability, Logic, AI Algorithms참고 문헌 5인용 수 4

한 줄 요약

이 논문은 정보 단위(infon)의 정체성, 포함관계, 결합을 정의하는 다섯 개의 공리에 기반한 정보 구조의 형식적 공리 체계를 제안한다. 결합 연산이 교환법칙과 결합법칙을 만족하며, 역원을 지니며, 곱셈형과 덧셈형이라는 두 가지 유형으로 나뉘며, 이들 사이에 분배법칙이 성립함을 입증한다. 곱셈형 결합은 데이터 비트의 추가 또는 제거를 나타내고, 덧셈형 결합은 상태 전이를 모델링한다. 또한 시간에 따라 변화하는 닫힌 시스템을 모델링하기 위해 infon의 순서와 크기를 형식적으로 정의한다.

ABSTRACT

A formal model of the structure of information is presented in five axioms which define identity, containment, and joins of infons. Joins are shown to be commutative, associative, provide inverses of infons, and, potentially, have many identity elements, two of which are multiplicative and additive. Those two types of join are distributive. The other identity elements are for operators on entwined states. Multiplicative joins correspond to adding or removing new bits to a system while additive joins correspond to a change of state. The order or size of an infon is defined. This groundwork is intended to be used to model continuous and discreet information structures through time, especially in closed systems.

연구 동기 및 목표

• 정보의 구조적 성질을 최소한의 공리 집합을 통해 형식화하기.
• infon(정보 단위)이 정체성, 포함관계, 결합을 통해 어떻게 상호관계를 맺는지 정의하기.
• 결합의 대수적 성질(교환법칙, 결합법칙, 역원 존재)을 특성화하기.
• 곱셈형과 덧셈형 결합을 구분하고, 이를 시스템 수준의 변화와 상태 전이와 연결하기.
• 시간에 따라 변화하는 닫힌 시스템 내에서 연속적이고 이산적인 정보 구조를 모델링할 수 있는 기초를 마련하기.

제안 방법

• infon의 정체성, 포함관계, 결합 연산을 다루는 다섯 개의 기본 공리를 통해 정보 구조를 공리화하기.
• 결합을 infon 간의 이항 연산으로 정의하고, 이가 교환법칙과 결합법칙을 만족함을 보장하기.
• 곱셈형(데이터 비트의 추가/제거를 위한)과 덧셈형(상태 변화를 위한)이라는 두 가지 유형의 결합을 도입하기.
• 결합이 역원을 지닌다는 것을 증명하고, 곱셈형 및 덧셈형 정체원소를 포함한 다수의 정체원소가 공존할 수 있음을 보여주기.
• 시간적 및 구조적 모델링을 지원하기 위해 infon의 순서와 크기를 형식적으로 정의하기.
• 곱셈형과 덧셈형 결합 간의 분배법칙을 사용하여 대수적 일관성 확보하기.

실험 결과

연구 질문

• RQ1 정보 구조를 정체성, 포함관계, 구성 관계를 포괄하는 형식적 공리계로 어떻게 기술할 수 있는가?
• RQ2 infon의 결합이 만족하는 대수적 성질은 무엇이며, 정보 구성에 대한 추론을 어떻게 지원하는가?
• RQ3 semantic 및 운영적 역할 측면에서 곱셈형과 덧셈형 결합은 어떻게 구별되는가?
• RQ4 다양한 유형의 결합에서 정체원소는 어떻게 작용하며, 다수의 정체원소가 동시에 존재할 수 있는가?
• RQ5 infon의 순서와 크기는 어떻게 동적이고 시간에 따라 변화하는 정보 시스템의 모델링을 지원하는가?

주요 결과

• infon의 결합은 교환법칙과 결합법칙을 만족하여 정보 단위의 일관된 조합이 가능하다.
• 결합은 역원을 지니며, 정보 구조에 대한 가역적 연산이 가능하다.
• 곱셈형과 덧셈형이라는 두 가지 유형의 결합이 식별되며, 각각 고유한 정체원소와 의미적 해석을 가진다.
• 곱셈형 결합은 데이터 비트의 추가 또는 제거를 모델링하고, 덧셈형 결합은 시스템 상태의 변화를 나타낸다.
• 곱셈형과 덧셈형 결합은 상호 분배법칙을 만족하여 대수적 일관성을 확보한다.
• infon의 순서와 크기가 형식적으로 정의되어, 닫힌 시스템 내에서 시간적 및 구조적 진화를 모델링할 수 있는 기초를 제공한다.