[논문 리뷰] Mathematics of domains

Harry G. Mairson, Michael A. Bukatin|arXiv (Cornell University)|2002. 01. 01.

Logic, Reasoning, and Knowledge참고 문헌 36인용 수 7

한 줄 요약

이 논문은 새로운 논리적 및 거리 구조 프레임워크를 도입하여 의미론적 의미 이론의 도메인 이론에 핵심적인 질문을 탐구한다. 하위도메인은 도메인을 이룬다는 것을 입증하고, 유한성 재취득을 규명하며, 반사적이지 않은 논리에 의해 정보 체계를 일반화하고, 스코트 연속적인 완화된 거리 함수를 구성하기 위해 공연속적 평가를 도입함으로써 도메인 이론에서 거리 함수에 대한 오랜 문제를 해결한다.

ABSTRACT

Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent data types. Scott continuous functions represent computable functions and form the most popular continuous model of computations. Covariant logic of domains. Domains are represented as sets of theories, and Scott continuous functions are represented as input-output inference engines. The questions addressed are: (A) What constitutes a subdomain? Do subdomains of a given domain A form a domain? (B) Which retractions are finitary? (C) What is the essence of generalizations of information systems based on non-reflexive logics? Are these generalizations restricted to continuous domains? Analysis on domains. (D) How to describe Scott topologies via generalized distance functions satisfying the requirement of Scott continuity (“abstract computability”)? The answer is that the axiom ρ(x, x) = 0 is incompatible with Scott continuity of distance functions. The resulting relaxed metrics are studied. (E) Is it possible to obtain Scott continuous relaxed metrics via measures of domain subsets representing positive and negative information about domain elements? The positive answer is obtained via the discovery of the novel class of co-continuous valuations on the systems of Scott open sets. Some of these natural questions were studied earlier. However, in each case a novel approach is presented, and the answers are supplied with much more compelling and clear justifications, than were known before.

연구 동기 및 목표

• 주어진 도메인 내 하위도메인의 범주론적 구조를 명확히 하고, 그것들이 스스로 도메인을 이룬다는 것을 규명하는 것.
• 도메인 이론에서 어떤 재취득이 유한성인지 규명하여 도메인 구성의 기초적인 질문에 답하는 것.
• 반사적이지 않은 논리에 기반한 정보 체계의 일반화가 연속 도메인에 어떻게 적용되는지 조사하는 것.
• 스코트 연속성을 만족하는 완화된 거리 함수를 통해 추상적 계산 가능성의 개념을 개발하여, ρ(x,x)=0와 스코트 연속성 간의 불일치를 해결하는 것.
• 공연속적 평가를 통해 양성 및 음성 정보의 측도와 스코트 연속적인 완화된 거리 함수 사이의 연결 고리를 확립하는 것.

제안 방법

• 도메인을 논리 이론의 집합으로 표현하고, 스코트 연속 함수를 입력-출력 추론 엔진으로 간주한다.
• 스코트 위상수학적 맥락에서 하위도메인과 재취득을 분석하기 위해 순서론적 및 위상수학적 방법을 적용한다.
• 반사성 공리 ρ(x,x)=0를 제거한 완화된 거리 함수를 도입하여 스코트 연속성을 가능하게 한다.
• 스코트 열린 집합의 격자 위에서 공연속적 평가를 정의하고 연구하여 스코트 연속적인 완화된 거리 함수를 생성한다.
• 반사적이지 않은 논리를 사용하여 정보 체계를 일반화하고, 그것들이 연속 도메인과의 구조적 호환성 여부를 조사한다.
• 측도 이론적 기법을 적용하여 도메인 원소를 양성 및 음성 정보의 측도로 표현하고, 완화된 거리 함수 구성과 연결한다.

실험 결과

연구 질문

• RQ1 하위도메인은 무엇을 구성하며, 주어진 도메인 A의 하위도메인은 도메인을 이루는가?
• RQ2 도메인 이론의 맥락에서 어떤 재취득이 유한성인가?
• RQ3 반사적이지 않은 논리에 기반한 정보 체계의 일반화의 본질은 무엇이며, 그것은 연속 도메인에 국한되는가?
• RQ4 스코트 연속성을 만족하는 일반화된 거리 함수를 사용하여 스코트 위상을 어떻게 묘사할 수 있는가?
• RQ5 도메인 원소에 대한 양성 및 음성 정보의 측도로부터 스코트 연속적인 완화된 거리 함수를 얻을 수 있는가?

주요 결과

• 주어진 도메인 A의 하위도메인은 실제로 도메인을 이룬다. 이는 도메인 계층의 범주론적 기초를 제공한다.
• 순서론적 분석을 통해 유한성 재취득이 규명되어 도메인 재취득 메커니즘에 대한 더 명확한 이해를 가능하게 한다.
• 반사적이지 않은 논리에 기반한 정보 체계의 일반화가 연속 도메인에 국한되지 않음을 입증하여 정보 체계 이론의 범위를 넓힌다.
• 공리 ρ(x,x)=0는 거리 함수의 스코트 연속성과 호환되지 않으며, 이는 완화된 거리 함수의 필요성을 암시한다.
• 스코트 열린 집합의 체계 위에서의 공연속적 평가는 스코트 연속적인 완화된 거리 함수를 위한 새로운 구성법을 제공한다.
• 도메인 원소에 대한 양성 및 음성 정보의 측도는 새로 규명된 공연속적 평가의 클래스를 통해 스코트 연속적인 완화된 거리 함수를 도출한다.