[논문 리뷰] Compositionality as we see it, everywhere around us

Bob Coecke|arXiv (Cornell University)|2021. 10. 11.

Quantum Mechanics and Applications인용 수 7

한 줄 요약

이 논문은 양자 이론과 범주론에 기반한 세 가지 새로운 구성성(formalization) — 슈뢰딩거 구성성, 화이트헤드 구성성, 완전 구성성 — 을 제안하며, 전통적인 하향식 의미 유도를 넘어서 구성성을 정의한다. 구성성은 물리학, 인공지능, 언어학 전반에 적용 가능한 실재적이고 비자명하며 완전한 구조적 원칙으로 이해되어야 하며, 구성성의 다이어그램 형식론을 통해 양자 컴퓨팅과 NLP에 적용된다.

ABSTRACT

There are different meanings of the term "compositionality" within science: what one researcher would call compositional, is not at all compositional for another researcher. The most established conception is usually attributed to Frege, and is characterised by a bottom-up flow of meanings: the meaning of the whole can be derived from the meanings of the parts, and how these parts are structured together. Inspired by work on compositionality in quantum theory, and categorical quantum mechanics in particular, we propose the notions of Schrodinger, Whitehead, and complete compositionality. Accounting for recent important developments in quantum technology and artificial intelligence, these do not have the bottom-up meaning flow as part of their definitions. Schrodinger compositionality accommodates quantum theory, and also meaning-as-context. Complete compositionality further strengthens Schrodinger compositionality in order to single out theories like ZX-calculus, that are complete with regard to the intended model. All together, our new notions aim to capture the fact that compositionality is at its best when it is `real', `non-trivial', and even more when it also is `complete'. At this point we only put forward the intuitive and/or restricted formal definitions, and leave a fully comprehensive definition to future collaborative work.

연구 동기 및 목표

• 다양한 분야에서 통합적이고 형식적인 구성성 정의의 부족을 해결하기 위해.
• 양자 및 인공지능 기술의 발전을 고려해, 전통적인 하향식 의미 유도를 넘어서 구성성을 재정의하기 위해.
• 양자 컴퓨팅, NLP 및 다학문 과학 분야에서 구성성 구조의 기초를 마련하기 위해.
• 감소론적이고 부분 기반의 의미론에서 상호작용 기반의 시스템적 의미로의 전환을 촉진하기 위해.
• 현실 세계 현상, 특히 모호성과 맥락 의존적 의미를 포함한 구성성 추론을 위한 형식적 프레임워크를 제공하기 위해.

제안 방법

• 양자 이론과 맥락 의존적 의미에 호환 가능한 프레임워크로 슈뢰딩거 구성성을 제안한다.
• 구조적 상호의존성을 강조하는 일반화된 형태로서 화이트헤드 구성성을 도입한다.
• 주어진 모델에 대해 완전성을 보장하는 바탕이 되는 슈뢰딩거 구성성의 강화로 완전 구성성을 정의한다.
• 도표적 추론과 범주론적 양자역학을 사용하여 구성성 과정을 형식화한다.
• 문장을 단어 의미를 변화시키는 과정으로 모델링함으로써 DisCoCirc를 통해 자연어 처리에 프레임워크를 적용한다.
• 밀도 행렬을 사용하여 언어적 모호성을 모델링하고, 바이오니아의 양자 형식론을 NLP에 이식한다.

실험 결과

연구 질문

• RQ1 전통적인 하향식 의미 흐름을 넘어서 구성성을 어떻게 재정의할 수 있는가?
• RQ2 양자 이론과 그 응용 분야에서 구성성을 가장 잘 포착하는 형식적 구조는 무엇인가?
• RQ3 양자 형식론을 사용하여 구성성 구조가 자연어의 모호성을 어떻게 모델링할 수 있는가?
• RQ4 상향식 및 하이브리드 해석 흐름이 구성성 프레임워크 내에서 어떻게 공존할 수 있는가?
• RQ5 '실재적', '비자명', '완전한' 구성이론을 구분하는 요소는 무엇인가?

주요 결과

• 슈뢰딩거 구성성은 양자 이론과 맥락 의존적 의미를 수용하며, 하향식 추론을 넘어서는 데 기여한다.
• 이 프레임워크는 정규직교 기저, 측정, 보완성 등을 포함한 양자역학의 구성성적 설명을 가능하게 한다.
• DisCoCirc는 문장을 의미를 변화시키는 과정으로 모델링함으로써 다문장 텍스트로의 구성성 의미론을 확장한다.
• 모호성은 밀도 행렬을 사용하여 모델링되며, 바이오니아의 양자 형식론이 NLP에 이식된다.
• 이 접근법은 양자 하드웨어에서 구현되었으며, 양자 NLP의 실현 가능성을 입증한다.
• 이 형식론은 상향식 해석을 지원하며, 고전적 데이터를 양자 컴퓨터에 로딩하는 데 핵심적이다.