| [ KAIST ] in KIDS 글 쓴 이(By): chopin (@ 쇼 팽 @) 날 짜 (Date): 2001년 12월 26일 수요일 오후 09시 59분 53초 제 목(Title): [계층구조론]현상과 본질-선형적 원리들의 유사도 비교 실질적으로 완벽히 같은 현상을 보이는 일은 드믑니다. 비슷한 현상일 때 얼마나 유사한 원리를 사용하는지 측정할 방법이 있을까요? 선형적 조합을 이용하는 논리나 원리들은 그 선형 조합만큼 그 생성결과가 다릅니다. 앞의 예를 다시 들겠습니다. 예2는 예2a와 같이 변형될 수 있으며 예1의 원리에서 x=5, x!=4라는 것을 선형적으로 조합해서 만들어졌다고 볼 수 있습니다. 따라서 이들을 변형하는데 사용된 그 조합의 수만큼 그 원리가 다르다고 말하면 원리들 사이의 유사도 비교가 됩니다. 예1) 1 2 3 4 ^ | 1<= x <= 4 x는정수 예2) 1 2 3 5 ^ | 1<= x <= 5 x는정수, x!= 4 예2a) 1 2 3 5 ^ | 1<= x <= 4 또는 x=5 x는정수, x!= 4, 다음에서 선형논리를 사용하는 원리들의 유사도 비교를 위한 단계를 정리합니다. 1. 둘중 하나를 변형하여 다른 하나를 포함하는 논리체계로 변형한다. ( 예2를 예2a롤 변형하여 예1을 포함하도록 만드는 과정) 2. 이때 추가적으로 사용된 논리 조합들을 유사도 비교에 이용한다. 이런 방법을 사용하면 예2는 예1에서 두개의 원리가 추가로 사용된 만큼 다르다고 말할 수 있습니다. 하나의 현상을 표현할 수 있는 원리는 무한대이기 때문에 "본질적 원리"에 대한 유사도 비교를 위해서는 다음과 같이 가장 짧은 표현을 갖는 원리를 찾는 과정이 추가되어야 합니다. 0. 주어진 원리들에 대하여 그들을 표현할 수 있는 가장 짧은 표현으로 각각에 대하여 변환한다. (irrelevant, redundent한 표현을 제거, conceptualization과정 적용) 1. 둘중 하나를 변형하여 다른 하나를 포함하는 논리체계로 변형한다. ( 예2를 예2a롤 변형하여 예1을 포함하도록 만드는 과정) 2. 이때 추가적으로 사용된 논리 조합들을 유사도 비교에 이용한다. 순수한 선형논리에서는 0번과정은 그 생성결과와 동일한 표현이 얻어질 수도 있습니다. 보통의 경우 생셩결과가 더 짧은 경우도 있기 때문입니다. 물론 생성원리의 표현이 더 짧은 수도 있습니다. 이와같이 선형논리체계에서는 원리를 표현하기 위해 사용된 논리집합의 수만큼 그 원리가 다르다고 말할 수 있습니다. 따라서 두 원리사이의 유사도 역시 원리의 표현상에서의 유사도로 정의할 수 있습니다. 그럼 남은 문제는 비선형 논리체계에서의 유사도 입니다. 비선형 논리체게에서는 그들을 다른 표현으로 변환할 방법이 없기 때문에 그들사이의 유사도를 정의한다는 것이 무의미합니다. 이 문제는 다음에서 다뤄보겠습니다. __ 쇼팽 http://mobigen.com/~chopin |