[논문 리뷰] General Logic-Systems that Determine Significant Collections of Consequence Operators

Robert A. Herrmann|arXiv (Cornell University)|2006. 03. 24.

Control and Stability of Dynamical Systems참고 문헌 1인용 수 4

한 줄 요약

이 논문은 유한 추론 연산자를 격자 이론적 프레임워크에서 분석하기 위해 일반 논리 체계를 도입하며, 가산 언어 위에서의 유한 추론 연산자 격자가 만족하지 않는다는 것을 입증하고 연속체의 기수를 가짐을 보여준다. 또한 각 유한 추론 연산자는 가산 개의 일반 논리 체계에 의해 생성되며, 추론 규칙의 서로 다른 순열이 동일한 연산자에 대해 서로 다른 체계를 생성함을 보여준다.

ABSTRACT

In this paper, general logic-systems and a necessary and sufficient algorithm are used to substantiate significant consequence operator properties. It is shown, among other results, that, in certain cases, (1) if the number of steps in a deduction is restricted, then such deduction does not yield a consequence operator. (2) In general, for any non-organized infinite language L, there is a special class of finite consequence operators that is not meet-complete. (3) For classical deduction, three different examples of modified propositional deduction yield collections of finite consequence operators that are not meet-complete. Other general logic-system examples are given. In a final section, the notion of potentially finite is investigated.

연구 동기 및 목표

• 일반 논리 체계를 기본 틀로 삼아 유한 추론 연산자를 조사하기 위해.
• 가산 언어 위에서의 유한 추론 연산자 격자가 만족하지 않는다는 것을 입증하기 위해.
• 가산 언어 위에서 정의된 모든 유한 추론 연산자 집합의 기수가 연속체와 같다는 것을 확립하기 위해.
• 각 유한 추론 연산자가 가산 개의 일반 논리 체계에 의해 생성됨을 보여주기 위해.
• 언어 특유의 성질이 유한 추론 연산자의 행동에 미치는 영향을 탐구하기 위해.

제안 방법

• 언어 L 위에서 고정된 유한 또는 무한 개의 n항 추론 규칙 집합으로 정의된 일반 논리 체계를 사용한다.
• 사전 축약 및 추론 규칙에 기반한 추론 알고리즘을 적용하여 추론 집합을 생성한다.
• 추론 규칙의 전제 순서를 바꾸어 서로 다른 일반 논리 체계를 구성함으로써 동일한 유한 추론 연산자를 유지한다.
• 각 n ≥ 2에 대해 동일한 유한 추론 연산자를 생성하는 n! 개의 서로 다른 일반 논리 체계가 존재함을 입증한다.
• 의도하지 않은 대수적 또는 논리적 구조를 내재하지 않도록, 오직 어형 규칙만을 가정하는 비조직화된 언어를 사용한다.
• GGU 모델과 초유한 논리 체계 및 슈퍼에이전트를 통한 지능 측정에 이 틀을 적용한다.

실험 결과

연구 질문

• RQ1 일반 논리 체계는 비공백인 유한 추론 연산자 집합의 격자 이론적 상한을 특성화할 수 있는가?
• RQ2 가산 언어 위에서의 유한 추론 연산자 격자는 만족하지 않는가?
• RQ3 가산 언어 위에서 정의된 모든 유한 추론 연산자 집합의 기수는 얼마인가?
• RQ4 동일한 유한 추론 연산자를 생성할 수 있는 서로 다른 일반 논리 체계는 몇 개인가?
• RQ5 유한 추론 연산자의 성질이 기반 언어의 구조에 얼마나 의존하는가?

주요 결과

• 가산 언어 위에서의 유한 추론 연산자 격자는 비어 있지 않은 집합의 만족하지 않는 만남이 존재함을 보여주는 구축을 통해 만족하지 않는다는 것을 입증하였다.
• 가산 언어 위에서 정의된 모든 유한 추론 연산자 집합의 기수는 연속체와 같다.
• 언어 L 위의 임의의 유한 추론 연산자 C에 대해, C를 생성하는 가산 개의 서로 다른 일반 논리 체계가 존재한다.
• 각 n ≥ 2에 대해, 추론 규칙의 전제 순서를 바꾸어 동일한 유한 추론 연산자 C를 생성하는 n! 개의 서로 다른 일반 논리 체계가 존재한다.
• 추론 규칙 좌표의 서로 다른 순열은 동일한 추론 연산자를 생성하더라도 비동형인 서로 다른 일반 논리 체계를 생성한다.
• 이 틀은 초유한 논리 체계와 슈퍼에이전트를 통한 지능의 공식적 측정을 지원하며, 초추론을 통해 기존 에이전트가 도달할 수 없는 결론을 도출할 수 있다.