• 한국인터넷방송통신학회논문지
• /
• 제8권2호
• /
• pp.15-21
• /
• 2008

본 논문에서는 2진논리의 확장을 Galis체상에서 해석하여 확장논리에 기초한 순차디지털논리시스템과 컴퓨터구조의 핵심인 연산알고리즘을 논의하였다. 순차디지털논리시스템은 Building Block으로서 T-gate를 사용하였으며, 차순상태함수, 출력함수를 도출하여 최종 궤환이 없는 Moore Model의 순차디지털논리시스템을 구성하였다. 그리고, 컴퓨터구조에서 중요한 연산알고리즘의 핵심인 가산, 감산, 승산 및 제산 알고리즘을 유한체의 수학적 성질을 토대로 각각 도출하였다. 특히, 유한체 GF($P^m$)상에서 P=2인 경우는 기존의 2진디지털논리시스템에 적용이 용이하다는 장점이 있으며, mod2의 성질에 의해 감산 알고리즘은 가산 알고리즘과 동일하다. 제안한 방법은 기존의 2진논리를 확장할 수 있어 좀 더 효율적으로 디지털논리시스템을 구성할 수 있을 것으로 사료된다.

• 논리연구
• /
• 제17권1호
• /
• pp.33-70
• /
• 2014

그것이 지녀온 막강한 영향력에도 불구하고 우리는 타르스키류 논리적 귀결의 정의가 역사적/철학적으로 어떤 배경과 동기를 지닌 것인지를 알지 못하고 있다. 논리적 귀결 개념이 논리학과 논리철학의 핵심 개념이라는 점을 감안할 때, 이는 충격적이다. 그리고 이런 불만스러운 상황이 초래된 데에는 여러 가지 요인이 복합적으로 작용한 것으로 보인다. 분석철학과 현대 논리학의 역사에 관하여 최근 이루어진 성과는 고무적이다. 그러나 관련된 여러 논쟁들의 추이를 볼 때 불만을 해소하기까지는 상당한 세월이 요구되리라 예상된다. 이런 우울한 정황 속에서 극히 최근 더글라스 패터슨에 의해 수행된 타르스키의 언어철학 및 논리학 연구는 획기적인 업적으로 판명될 만한 잠재력을 지닌 것으로 여겨진다. [Patterson (2012)] 본 논문은 패터슨의 연구에서 미심쩍은 부분을 비판적으로 검토함으로써 이 문제 영역에서의 연구의 현주소와 후속 연구의 방향을 가늠해 보고자 한다.

• 한국통신학회논문지
• /
• 제19권11호
• /
• pp.2189-2198
• /
• 1994

본 논문에서는 퍼지 제어 시스템에 사용되는 퍼지 논리 제어기의 성능을 향상시키기 위한 여러가지 알고리즘들 중에서 학습기법에 속하는 퍼지 메타 규칙에 기초한 자기 동조 기법을 사용하여 직류 서보 전동기 제어를 위한 자기 동조 퍼지 논리 제어기를 구현해서, 자기 동조 퍼지 논리 제어기의 설계와 시뮬레이션 및 실험 결과를 고찰하고, 그 결과를 일반적인 퍼지 논리 제어기의 결과와 비교하여 자기 동조 퍼지 논리 제어기의 성능을 평가한다.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2007년도 하계학술대회
• /
• pp.201-206
• /
• 2007

현재 컴퓨터 교육은 흥미와 실용위주의 컴퓨터 활용교육과 컴퓨터 소양교육에 치우쳐 있어 컴퓨터의 작동원리 등의 컴퓨터 과학을 이해하기에는 부족함이 많다. 특히 컴퓨터과학 분야 중 문제해결력, 논리적 사고력을 향상시키기 위한 프로그래밍 기초 교육은 보다 강조해야 한다. 본 연구에서는 객체지향형 교육용프로그래밍언어 두리틀을 초등학생들에게 프로그래밍을 지도할 수 있는 최적의 언어로 선정하고 다른 프로그래밍 언어와 비교 분석해 보았다. 그리고 자기 자신의 학습상황을 감독 관리하는 능력인 메타인지 수준에 따라 학습자를 분류한 후, 두리틀 프로그래밍 학습 후 논리적 사고와 그 하위논리의 효과, 그리고 메타인지 수준에 따른 논리적 사고와 그 하위 논리별로 미치는 영향을 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.624-626
• /
• 2003

본 논문에서는 가상환경을 구현할 때 환경에 논리적 객체를 등장시키는 것을 목적으로 하고 있다. 기존의 가상환경을 구현하는 시스템에서는 환경에 객체를 등장시킬 때 환경과 객체의 논리적 연관성을 고려하지 않고 있어, 가상환경의 사실성을 보장하지 못하고 있다. 본 논문에서는 논리적 객체 삽입을 위하여 가상환경에 필요한, 가상환경에서 요구하는 객체들을 환경과의 논리적 연관성을 고려하여 미리 모델링해 놓는 Nursery 모델을 제시한다. 이 Nursery는 Ontology를 기초로 하여 구축되어, 다양한 추상화 레벨에 따른 논리적 연관성을 보장하여 줄 수 있다. 이는 나아가 가상환경 자체의 사실성을 보장하여, 실제 환경에서 일어날 수 있는 다양한 이벤트들이 전개될 수 있게 한다.

• 논리연구
• /
• 제7권1호
• /
• pp.41-65
• /
• 2004

이 글은 박병철과 이승종의 저술에 대한 박정일의 서평을 중심으로 비트겐슈타인 철학의 몇몇 문제점을 고찰하면서 다음과 같은 것을 주장한다. 첫째 비트겐슈타인 철학의 현상학적 양상을 추적하고 있는 박병철의 현상학의 개념이 명백하지 않다. 둘째 "논리철학논고"의 유아론은 경험적 유아론이 아니라 선험적 유아론이다. 셋째 "논리철학논고"의 대상은 감각자료가 아니다. 넷째 우리에게 주어진 소여는 논리적인 것이다. 다섯째 박병철은 이 논리적인 것을 경험에 근거지우는 실책을 범하고 있다. 여섯째 모순의 형식적 개념에 대한 이승종의 비판은 성공적이지 않다. 일곱째 이것은 박정일이 지적한 것처럼 허수아비 공격의 오류를 범했기 때문인 것처럼 보인다. 여덟째 모순된 규칙에 대한 이승종의 이해는 박정일이 지적하듯이 잘못되었다.

• 한국멀티미디어학회논문지
• /
• 제4권2호
• /
• pp.189-196
• /
• 2001

퍼지 논리의 추론과정에서 일부의 정보가 무시되어 적절하지 못한 추론 결과를 초래 할 수 있다. 한편 신경망은 패턴 처리에는 적합하지만 인간의 지식을 모델링하기 위해서 필요한 논리적인 추론에는 부적합하다. 그러나 신경망의 변형인 신경 논리망을 이용하면 논리적인 추론이 가능하다. 따라서 본 논문에서는 기존의 신경 논리망을 기반으로 하는 추론네트워크를 확장하여 퍼지 추론 네트워크를 구성한다. 그리고 기존의 추론 네트워크에서 사용되는 전파규칙을 보완하여 적용한다. 퍼지 추론 네트워크상에서 퍼지 규칙의 실행부에 해당하는 명제의 믿음 값을 결정하기 위해서는 추론하고자 하는 명제에 연결된 노드들을 탐색해야 한다.

• 한국산학기술학회논문지
• /
• 제15권9호
• /
• pp.5744-5749
• /
• 2014

다출력 논리식에서 공통식을 추출하는 것은 매우 중요한 기술이다. 본 논문에서는 배타 논리합 식 산출 원리를 이용해서 공통식을 추출하는 새로운 방법을 제안하였다. 산출된 논리식은 AND, OR, NOT 연산자만을 이용해서 전체 논리식을 표현하도록 고안하였다. 공통식 산출의 수행 시간과 리터럴 개수를 줄이기 위해서 선험 방법을 제안하였다. 실험 결과 제안한 방법이 기존의 방법들보다 리터럴 개수를 줄일 수 있음을 보였다.

• 한국통신학회논문지
• /
• 제14권5호
• /
• pp.503-510
• /
• 1989

본 논문에서는 조합 다치논리 회로를 구성하는 이론을 제시하였다. 먼저 조합 다치논리 회로구성은 입력되는 변수를 기준으로 하여 셀을 구성한 후 이를 확장하여 일반적인 경우에 까지 적용하도록 하였으므로 구성절차가 단순하고 규칙적이다. 본 논문에서 제시한 다치논리 회로구성이론은 규칙성, 간단성, 모듈성의 특징을 가지며, 특히 다치논리 회로에 입력되는 변수가 증가되는 경우 다치논리 회로 구성은 확장성을 갖는다.

• 논리연구
• /
• 제18권1호
• /
• pp.65-83
• /
• 2015

이 글에서 우리는 3치 초일관 논리를 위한 비대수적 집합-이론적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개한다. 그리고 그 다음에 이에 상응하는 집합-이론적 크립키형 의미론을 소개한다.