[논문 리뷰] On the existence of truly autonomic computing systems and the link with quantum computing

R. Srinivasan, H. P. Raghunandan|ArXiv.org|2004. 11. 25.

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

한 줄 요약

이 논문은 고전 논리 체계 하에서 자기참조 역설(정지 문제 유사)으로 인해 진정으로 자율 컴퓨팅 시스템(ACS)이 존재할 수 없지만, 비아리스토텔레스 유한 논리(NAFL)를 통해 논리적으로 가능해짐을 제안한다. NAFL은 자율 관리자(AM)가 양자 알고리즘과 깨지지 않는 양자 암호화를 사용할 수 있도록 하여 자율 컴퓨팅과 양자역학을 연결하고, 무한한 병렬성과 비국소성을 지원한다.

ABSTRACT

A theoretical model of truly autonomic computing systems (ACS), with infinitely many constraints, is proposed. An argument similar to Turing's for the unsolvability of the halting problem, which is permitted in classical logic, shows that such systems cannot exist. Turing's argument fails in the recently proposed non-Aristotelian finitary logic (NAFL), which permits the existence of ACS. NAFL also justifies quantum superposition and entanglement, which are essential ingredients of quantum algorithms, and resolves the Einstein-Podolsky-Rosen (EPR) paradox in favour of quantum mechanics and non-locality. NAFL requires that the autonomic manager (AM) must be conceptually and architecturally distinct from the managed element, in order for the ACS to exist as a non-self-referential entity. Such a scenario is possible if the AM uses quantum algorithms and is protected from all problems by (unbreakable) quantum encryption, while the managed element remains classical. NAFL supports such a link between autonomic and quantum computing, with the AM existing as a metamathematical entity. NAFL also allows quantum algorithms to access truly random elements and thereby supports non-standard models of quantum (hyper-) computation that permit infinite parallelism.

연구 동기 및 목표

• 고전 논리 체계 하에서 진정으로 자율 컴퓨팅 시스템(ACS)의 존재 가능성과 그 제약 조건을 이론적으로 탐구한다.
• 자기참조와 논리적 일관성이 ACS에 미치는 영향을 분석하며, 튜링의 정지 문제와 유사한 관계를 도출한다.
• NAFL 논리가 자율 관리자(AM)와 관리 대상 요소를 분리시킴으로써 비자기참조 ACS의 존재 가능성을 탐색한다.
• NAFL를 통해 자율 컴퓨팅과 양자 컴퓨팅 간의 개념적 및 아키텍처적 다리를 구축한다.
• NAFL 프레임워크 내에서 양자 양태, 얽힘, 비국소성과 같은 현상을 정당화한다.

제안 방법

• 무한한 제약 조건을 가진 ACS의 이론적 모델을 제안하여, 튜링 스타일의 결정 불가능성 논증을 통해 고전 논리 체계 하에서의 논리적 불가능성을 입증한다.
• 자기참조 역설을 피하기 위해 비아리스토텔레스 유한 논리(NAFL)를 적용하여 고전적 ACS를 차단하는 역설을 해결한다.
• 자율 관리자(AM)가 관리 대상 요소와 개념적·아키텍처적으로 분리되어 있어야 자기참조를 방지할 수 있음을 요구한다.
• AM을 보호하기 위해 양자 알고리즘과 깨지지 않는 양자 암호화를 사용하여, 외부에 위치하고 비자기참조 상태를 유지하도록 보장한다.
• NAFL가 양자 중첩과 얽힘을 논리적으로 일관된 현상으로 정당화하며, 이를 비국소성과 연결한다.
• NAFL를 확장하여 무한한 병렬성과 진정한 난수 요소에 접근 가능한 비표준 양자(초)계산 모델을 지원한다.

실험 결과

연구 질문

• RQ1 자기참조와 무한한 제약 조건의 제약 속에서 고전 논리 체계 하에서 진정으로 자율 컴퓨팅 시스템이 존재할 수 있는가?
• RQ2 비아리스토텔레스 유한 논리(NAFL)는 고전적 ACS를 차단하는 논리적 역설을 어떻게 해결하는가?
• RQ3 양자 컴퓨팅은 ACS 아키텍처 내에서 비자기참조 자율 관리자(AM)를 어떻게 가능하게 하는가?
• RQ4 NAFL는 양자 얽힘과 비국소성을 어떻게 정당화하며, 이는 양자 알고리즘의 능력을 어떻게 지원하는가?
• RQ5 NAFL는 무한한 병렬성과 진정한 난수 요소에의 접근을 허용하는 초계산 모델을 지원할 수 있는가?

주요 결과

• 자기참조 역설이 정지 문제 유사한 형태로 존재함으로써 고전 논리 체계 하에서 진정으로 자율 컴퓨팅 시스템은 논리적으로 불가능하다.
• 비아리스토텔레스 유한 논리(NAFL)는 논리 체계에서 자기참조 원칙을 기각함으로써 비자기참조 ACS의 존재 가능성을 허용한다.
• 자율 관리자(AM)는 논리적 불일치를 방지하기 위해 개념적·아키텍처적으로 관리 대상 요소와 분리되어 있어야 한다.
• 양자 알고리즘과 깨지지 않는 양자 암호화는 AM을 보호하여, ACS 내에서 메타수학적 실체로서의 기능을 수행할 수 있도록 한다.
• NAFL는 양자 중첩과 얽힘을 논리적으로 일관된 현상으로 간주하여, 양자역학 쪽으로 기울인 EPR 역설을 해결한다.
• NAFL는 무한한 병렬성과 진정한 난수 요소에의 접근을 허용하는 비표준 양자(초)계산 모델을 지원한다.