• Korean Journal of Logic
• /
• v.3
• /
• pp.95-113
• /
• 2000

타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

• Life and Agrochemicals
• /
• s.263
• /
• pp.10-13
• /
• 2010

농업의 필요성과 정당성에 대한 치밀한 논리를 농업계에서 만들어야 한다. 이런 논리를 바탕으로 온 국민이 농업과 농촌의 중요성을 생활과 몸으로 느낄 수 있도록 도시민과 함께한 농업 농촌의 다양한 사례를 만들고, 함께 실천하면서 서로에게 감동을 줄 수 있어야 한다. 국민과 함께 하는 농업이란? 어려운 말이 필요없이 감성적, 이성적, 생활적으로 도시민과 농민이 함께 같은 방향으로 농업을 볼 수 있도록 만드는 것이다.

• Proceedings of the Korea Contents Association Conference
• /
• 2017.05a
• /
• pp.431-432
• /
• 2017

고전 논리의 연산이 집합의 연산과 밀접하게 관련되어 있는 것과 같이 양자논리(quantum logic)는 힐버트 공간(Hilbert space)의 닫힌부분공간(closed subspace)의 연산과 관련되어 있다. 닫힌부분공간들의 집합은 직교모듈로 격자(orthomodular lattice)를 이루고, von Neumann과 Birkhoff를 포함하여 많은 수학자들은 양자논리의 수학적 체계를 만들기 위해 직교모듈로 격자를 이용하였다. 일반 격자(lattice)에서 논리적 함의(implication)는 $x{\rightarrow}y={\neg}x{\vee}y$에 의해 일의적으로 정의되지만 직교모듈로 격자에서는 6개의 서로 다른 논리적 함의가 정의되는 것으로 알려져 있다. 본 논문에서는 직교모듈로 격자에서 정의되는 3개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.1
• /
• pp.13-21
• /
• 1995

논리 언어로 불확실한 정보의 표현과 처리가 가능하도록 논리 프로그램을 확장하였다. 이러한 확장을 위해 의미론이 명확한 확률 논리를 응용하였고, 확률적 연역 추론을 위해 추론 규칙들을 공리화하여 기본 지식과 함께 처리될 수 있게 하였다. 여기서는 기존 논리 프로그램의 명제 부분만을 대상으로 하였으며, 확장된 논리 프로그래밍 언어는 기존 언어에서 간단한 인터프리터를 사용하여 쉽게 구현하여 이용할 수 있다.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.1-26
• /
• 2001

컴퓨터라는 새로운 매체의 도입의 이점이 컴퓨터 매체의 제반 특성들을 잘 활용함으로써 학생들의 호기심을 유발하고 학생들의 학습 효과를 높일 수 있다는 데에만 국한되는 것은 아니다. 새로운 컴퓨터 매체의 도입은 논리학의 여러 중심 개념들 자체에 대한 이해의 심도를 증진시킴으로써 논리학을 새로운 영역으로 확대시켜 주기도 한다. 그 새로운 영역은 그림과 같은 비언어적 표상을 핵심적으로 포함한 추론, 즉 문자와 그림을 동시에 포함하는 이질적인 추론(heterogeneous reasoning)을 허용하는 영역이다. 논리학은, 정보가 어떻게 표상되든 상관없이, 정보 추출의 타당한 형태들에 관한 연구이다. 전통적으로 논리학자들은 정보 추출의 타당한 형태들의 매우 작은 부분(즉, 언어적 표상)에만 초점을 맞추었다. 그러나 컴퓨터 매체의 활용과 더불어 이제 논리학은 시각적 표상을 포함하여 다양한 표상들을 어떻게 사람들이 사용하는지 파악해야 한다. 이러한 과업의 성취를 위해, 구문론, 의미론, 논리적 귀결, 증명, 반례 등의 전통적 개념을 이러한 새로운 형태의 표상들을 수용할 수 있는 방식으로 확장하고 풍부하게 만들어야 한다. 그림 표상과 문자 표상을 함께 사용하는 추론 체계인 Hyperproof에 대한 연구는 이러한 확장된 논리 이론을 형성하는 데 기여한다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.11 no.4
• /
• pp.1.1-11
• /
• 1974

A general and systematic method of organizing two-dimensional flexible cellular array which is capable of reclizing arbitrary combinational switching function is developed. A set of n functions of n variables is transformed to revalued functions of one variable. This set of functions form a semigroup under the normal operation which is defined in this paper. A systematic method of generating any functions using three base functions is presented. Three basic networks which are capable of realizing three base functions are designed using only one one-dimensional array. The algorithm is presented for lealizing arbitrary combinational switching functions by organizing this basic array in two.dimensional cellular array and by appropriately setting the parameters or the edge of the array.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.341-344
• /
• 2006

유고란 도로상에서 교통량의 주기적인 집중에 의한 혼잡과는 구별되는 개념으로 교통사고, 도로보수 그리고 자연재해와 같은 비 반복적인 정체의 상황을 일컫는다. 이러한 유고는 막대한 통행시간이 추가로 발생하고 연료소모, 환경피해 등의 문제가 발생하므로 이러한 교통손실을 최소화하기 위하여 자동유고감지 알고리즘의 개발이 필수적이다. 이를 위하여 현재 다양한 검지기에서 수집된 교통 데이터를 바탕으로 유고를 감지하는 연구가 많이 진행되고 있다. 본 논문에서는 각종 유고 상황을 인지하여 제2의 사고를 예방할 수 있는 효율적인 유고감지 알고리즘을 개발하기 위하여 퍼지논리와 패턴을 함께 사용하였다. 먼저 퍼지논리와 패턴에 사용되는 데이터는 루프 검지기에서 5분 마다 수집된 교통정보(교통량, 점유율, 속도)를 이용하였다. 교통정보를 이용하여 구축된 요일 및 시간대별 패턴과 함께 퍼지논리를 이용하여 도출된 유고 소속도를 가지고 유고를 감지하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.211-214
• /
• 2004

본 논문은 논리 연산을 이용한 실시간 주행 차량 분할 및 추적에 관한 알고리즘을 제안하였다. 연속된 프레임 간에 논리연산을 이용하여 영상을 분할하고, 배경과 잡음을 제거하였으며 영상에서 주행차량의 이동 영역을 추출하였다. 주행차량들을 논리 연산을 이용하여 영상분할 함으로써 기존 방법에 비해 평활화 및 에지추출 단계에서 나타날 수 있는 문제점들을 제거하였고, 전처리 단계를 줄였으며, 알고리즘을 단순화 하였다. 또한 추적되는 영상으로부터 위치와 컬러등의 주행 차량의 특징을 직접 추출 가능하도륵 하였다.

• The Journal of Korean Association of Computer Education
• /
• v.15 no.1
• /
• pp.65-72
• /
• 2012

Generally, a logic function has many factored forms. The problem of finding more compact factored form is one of the basic operations in logic synthesis. In this paper, we present a new method for factoring Boolean functions to assist in educational logic designs. Our method for factorization is to implement two-cube Boolean division with supports of an expression. The number of literals in a factored form is a good estimate of the complexity of a logic function. Our empirical evaluation shows the improvements in literal counts over previous other factorization methods.

• Korean Journal of Logic
• /
• v.13 no.1
• /
• pp.83-100
• /
• 2010

In his recent paper "Early Wittgenstein, Logic, and Metaphysics" Professor Jinho Kang argues that there has been an important change in Wittgenstein's view on the nature of logic between October 1913 and December 1916, which resulted in his change of attitude toward metaphysics. In my paper, raising some questions regarding his basic assumptions and arguments, I attempt to show that Professor Kang's paper fails to provide convincing solution to the points at issue.