• 대한전자공학회논문지
• /
• 제20권5호
• /
• pp.1-7
• /
• 1983

일반적으로 다치론리는 Modulo-M의 수 체계를 기초로 한다. 이 논문에서는 다치의 치의 요소를 서로 배타적인 상태를 나타내는 기호하여 집합의 방식으로 다치 논리를 설정하고, 기호 다치 논리극교와 그 변화를 정의하였으며, 그 성질을 정리, 증명하였다. 또, 경산외 변화에 의한 기회 다치 논리극교의 MacLaurin 전개와 Taylor 전개 방법을 제안하고 증명하였다.

• 한국지능시스템학회논문지
• /
• 제6권4호
• /
• pp.10-16
• /
• 1996

본 논문에서는 입력, 상태, 그리고 상태 변화에 따른 오토마타의 상태표를 구성하고 그 상태표를 기호 다치 논리식으로 변환한다. 또한 기호 다치 논리 함수 미분의 성질을 이용하여 오토마타의 입력 스트링 따라 상태의 변화 및 출력이 동적으로 적응할 수 있는 적응오토마타를 제안하고 그 성질을 해석한다.

• 한국컴퓨터정보학회논문지
• /
• 제4권4호
• /
• pp.1-8
• /
• 1999

인간의 사고 방법과 그 원리를 연구하는 논리에서 이진 논리는 True 혹은 False 중 하나만을 진리값으로 갖는 명제를 다룬다. 인간이 다루는 대부분이 기존의 이치논리는 다루기 힘든 애매성(Fuzziness)을 포함하고 있음에도 불구하고 이를 표현하는 지식은 부정확하며 신뢰성은 떨어지게 된다. 이러한 문제점을 해결하기 위하여 본 논문에서는 다치 논리를 사용하였으며, 다치 논리는 2치 논리에 비하여 동일정보량을 처리하는데 고속 처리가 가능한 장점을 가지고 있다. 그래서 2치 부호화를 기본으로한 정보시스템에 비해 다치 부호화 알고리즘을 사용하여 구성하는 기호다치논리를 사용하여 Fuzzy Inference에서 사용되는 Fuzzy Rule을 효과적으로 Minimization하여 추론이 가능하도록 하는 것이다.

• 인지과학
• /
• 제10권4호
• /
• pp.71-83
• /
• 1999

기존의 기호주의 적 추론 시스템은 경직성 문제로 인하여 유연성을 결여하고 있다. 이는 기호주의 적 지식표현 체계가 지식의 유연한 의미구조를 충분히 반영하고 있지 못할 뿐 아니라 추론 방법도 논리를 바탕으로 하기 때문이다. 이러한 문제를 해결하기 위하여, 우리는 최근 인공 신경 망에 기반 한 유연한 지식표현과 추론을 위한 연결주의 적 의미 망(CSN)을 제안한 바 있다. CSN은 인간의 유사성과 연관성에 기반 하여 근사 추론과 상식추론을 수행할 수 있다. 그러나 CSN 모델에서는 상위개념간의 관계를 표현하는 데 있어서 단순한 전향 신경 망을 이용함으로써 상위개념간의 일반적이고 구조화된 관계를 표현하거나 변수의 표현 및 바인딩의 어려움과 같은 문제점이 있었다. CSN모델의 이런 문제점을 해결하기 위해 본 논문에서는 상위개념간의 일반적이고 구조화된 지식표현을 가능하게 하고 추론이 용이한 기호주의 표현 체계와 이 표현 체계 안에서 의미구조를 표현하고 학습할 수 있는 연결주의 학습 모델인 CSN을 결합한 기호-연결주의 통합 시스템 SymCSN(Symbolic CSN)을 제안하고, 실험을 통하여 제안한 시스템이 인간과 유사한 유연한 지식표현과 추론을 위한 모델임을 보인다.

• 한국수학사학회지
• /
• 제21권1호
• /
• pp.17-28
• /
• 2008

이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.

• 한국통신학회논문지
• /
• 제7권1호
• /
• pp.25-28
• /
• 1982

본 논문에서는 조합논리회로의 기호적 신뢰도 계정식을 구하는 한 방법을 제시하였다. 한 회로의 모든 입력이(0,1) 값을 갖는 확율변수로 나타내어지고 출력이 부울 적의합(sum of product)식으로 표시되어 지면 출력확률의 계정은 sharp 산법이라고 명명되는 부울 대수 산법에 의하여 기호적으로 계정된다.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.

• 전자공학회논문지D
• /
• 제35D권10호
• /
• pp.107-115
• /
• 1998

피승수와 승수의 부호에 상관없이 빠른 이진곱셈을 수행할 수 있는 효과적인 방법으로서 Booth 알고리즘의 승수 비트-쌍 재코딩 알고리즘을 사용한다. 본 연구에서는 승수 비트-쌍 재코딩 알고리즘을 광특성에 적합하도록 변형 발전시킨 광곱셈 알고리즘과 기호치환 가산기로 구성된 고속의 광곱셈기의 구현을 제안한다. 특히, 기호치환 가산규칙을 듀얼-레일 논리로 부호화해서 이 논리의 보수가 언제나 존재하기 때문에 기호치환 가산기에서 이 논리의 보수가 시프트연산에 의해 쉽게 구할 수 있게 했다. 또한 시프트된 두 영상을 직렬 연결하여 중첩시키므로서 중첩영상을 얻고, 이 중첩영상을 마스크로 보내 기준영상을 인식하는 기호치환 시스템을 구성한다. 따라서 광곱셈기의 수동광소자의 수와 시스템의 크기를 줄여서 일반적인 광시스템과 비교하여 작은 시스템으로 구현한다.

• 영어영문학
• /
• 제58권4호
• /
• pp.565-588
• /
• 2012

This paper aims at reconsidering 'suture,' a key concept in early Lacanian film criticism, with a view to narrowing a supposed gap between early Lacanian and later Lacanian film criticism. Early Lacanian film theorists, among whom Jean-Pierre Oudart, Jean-Louis Baudry, Laura Mulvey and Daniel Dayan, to name a few, are prominent, focus on cinematic signifying system as well as its ideological effects on shaping subjectivity of the audience. Initiated by Jacques-Alain Miller's article on suture as the logic of signifier and grafted into film as the logic of the cinematic by Oudart's writing, the concept of suture was established as a key word in early Lacanian film criticism. In their taxonomy, suture refers to the processes by which the audience are stitched into the story-world of a film. The audience are drawn into the film and take up positions as subjects-within-the-film such that they make sense of and respond to what the film represents as they are encouraged to do so by the film itself. On the other hand, later Lacanian film critics, who are much influenced by Lacan's later emphasis on the Real, focus on concepts such as gaze, petit objet a, fantasy, rather than suture. They are more concerned with the failure of suture and the disruption of the Symbolic than the ideological effects of suture and the consolidation of the Symbolic. They require a break from the previous approach of Lacanian film theory which centers around the Imaginary and the Symbolic. However, early Lacanian and later Lacanian film theory do not manifest as much disparity as they are supposed to do, for both are against the ideological manipulation of suture. Slavoj Žižek, a leading scholar of later Lacanian psychoanalysis, revives the concept of suture as a patch of the Symbolic which covers the gap, if not always successful.

• 대한전자공학회논문지
• /
• 제26권5호
• /
• pp.127-136
• /
• 1989

상태합성기를 설계하기 위해 상태 CHDL 기술 및 기호간소화 알고리듬을 제안하였다. 상태 CHDL은 PLA에 의한 FSM설계에 매우 적합하며 제안된 기호간소화 알고리듬은 단일큐브포함, 1거리병합 알고리듬을 이용하였다. BOLD 논리최소화 tool을 이용한 상태합성의 절차를 교통신호제어기 등의 예를 들어 설명하였다.