• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.258-263
• /
• 1995

마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

• 논리연구
• /
• 제6권2호
• /
• pp.49-67
• /
• 2003

조합논리는 기본적으로 정해진 해석이 없는 순수한 형태만을 가지고 추상적으로 연산하는 관점에 관한 논리로서, 논리학을 기호학적 관점에서 볼 수 있는 토대를 제공해 준다. 조합논리의 특징은 연산자가 피연산자도 될 수 있다는 사실에 있으며 그래서 동일한 연산자가 그 자신의 피연산자도 될 수 있다. 이 논문에서 우리는 기본연산자들의 직관적 개념과 형식적 개념을 소개하고 연산자 대수에 내해 검토하고 나서 조합논리와 $\lambda$-연산의 번역가능성에 다해 알아보겠다. 조합논리에 유형의 개념을 추가하면 자연언어 분석에서 아주 효율적인데 기본유형인 대상자 명제 이외의 어떤 요소라도 함수자로 나타낼 수 있는데 이들은 조합자의 특수한 경우로서 파생유형들이다.

• 한국컴퓨터산업학회논문지
• /
• 제5권3호
• /
• pp.363-370
• /
• 2004

FIPA 커뮤니티는 에이전트와 관련한 표준들을 개발하고 있는데, 이들 중 가장 중요한 것은 에이전트 통신 언어(Agent Communication Language: ACL)이다. 이 언어는 명확하게 협상을 지원하도록 의도된 많은 통신 행위(communicative act)들을 포함하고 있다. 이 논문에서는 자신의 목표를 달성하기 위해 자원들을 교환하는 멀티-에이전트 환경을 고려하고, 에이전트를 계산 논리기반 형식화로 표현하고, 그리고 이러한 계산 논리기반 에이전트가 사용하는 협상을 위한 ACL을 간단히 서술한다. 특히, 여기서는 상대방 에이전트가 요청(제안)의 이유 혹은 거절(거부)의 이유를 알 수 있게 하는 몇몇 통신 행위들을 소개하고 이들을 평가한다.

• 정보교육학회논문지
• /
• 제14권1호
• /
• pp.89-97
• /
• 2010

초등학교 교육에서는 창의성과 논리력 향상을 강조하고 있고, 이를 위한 많은 연구가 진행되었지만, 컴퓨터 프로그래밍 교육에서 교수 전략이 매우 부족하다. 이에 본 연구에서는 창의력과 논리력 향상을 위한 프로그래밍 언어 교수 전략을 개발한다. 본 연구에서 개발한 교수 전략은 입출력의 원리, 효율성의 원리, 일반화의 원리, 단순화의 원리, 추상화의 원리를 만들었다. 이 5개의 원리들을 초등학교 현장 전문가 20명에게 심층면접으로 검증하였다. 초등학교 교사들이 본 연구의 결과를 이용하면 프로그래밍 언어 교육에 많이 기여할 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.33-35
• /
• 1998

선형논리는 Girard에 의해 소개되었으며, 고전논리의 확장이다. 최근에는 형할당 시스템으로 λ$\mu$-논리의 연구가 성행중이며 함수프로그래밍 언어가 발전할 수 있는 계기가 되었다. λ$\mu$-논리에서의 계산은 형추론 연역과정이다. λ$\mu$-논리의 카테고리로의 해석 λ$\mu$＊-논리를 이용하여 분배카테고리를 일차적으로 구성하고 함수의 흐름을 구체적으로 나타내는 준함수로써 회로 카테고리Cir(CLL*)를 설계하였다. 특히 전산처리에서 흔히 사용하는 큐(Queues)로써 선형고전논리 기증을 온전히 발휘할 수 있음을 지적한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.352-354
• /
• 2001

생물학적 서열의 구조 검색은 생물학적 특성을 예측하는데 많은 도움을 주며, 서열에서 나타나는 구조의 패턴은 촘스키의 형식 언어로 기술 가능하다. 본 논문에서는 문맥무관문법의 확장된 표기법인 DCG를 이용하여 구조 검색을 위한 구조 패턴의 생성 규칙을 정의하였다. 또한 구조 검색의 효율향상을 위하여 구조와 관련한 제한(constraint)을 정의하였고 이를 제한 논리 프로그래밍 언어로 구현하였다. 구현된 구조 검색 엔진은 웹 인터페이스를 통하여 접근할 수 있다.

• 한국정보처리학회논문지
• /
• 제5권7호
• /
• pp.1908-1922
• /
• 1998

본 논문은 논리언어 프로그램의 효율적인 클로즈(Clause) 인덱싱을 위한 컴파일 기법에 대한 체계적인 접근방법을 제시한다. 본 접근방법의 핵심으로서 노드당 평균 병렬도와 클로즈 수행시도(clause trial) 횟수를 정확하게 나타낼 수 있는 기법으로서 인덱싱트리(Indexign Tree)를 제안한다. 인덱싱트리는 인덱싱 수행 시에 인덱싱을 위한 지시어(Instruction)의 수행 결과로 프로그램으 컨트롤이 실패처리코드로 이동하는 경우도 정량적으로 나타내 준다. 인덱싱트리를 사용하여 논리 프로그램을 위한 대표적인 가상머신인 WAM(Warren Abstract Machine)을 분석한 결과, WAM에서 사용하는 인덱싱 기법이 논리 프로그램의 병렬 처리에 있어 탐색트리의 병렬도를 감소시키며, 또한 스케쥴링의 효율성을 저하시키는 결점을 내포하고 있음을 발견할 수 있었다. 이러한 결점을 해결하기 위하여 본 논문은 플랫 인덱싱이라는 새로운 인덱싱 기법을 제안하고 이것을 실제 논리언어 컴파일러에 구현하여 측정한 향상 및 분석 결과를 보여준다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1998년도 제10회 한글 및 한국어 정보처리 학술대회
• /
• pp.105-110
• /
• 1998

SGML/XML은 임의 형태 문서, 임의 응용에 대해 일반화 마크업을 정의하기 위한 방법을 기술하는 메타언어이다. 즉 문서의 작성시에 고려되는 문서의 논리적 정보를 표현 가능하다. 이러한 논리적 구분을 이용하여 정보사용자에게 좀 더 정확한 검색을 제공할 수 있다. SGML/XML을 이용하여 표현된 계층적 논리정보를 이용하여 다양한 문서 접근점을 제공할 수 있으며, 문서의 재사용 및 동적인 문서제시를 가능케 한다. 본 논문에서는 SGML/XML 정보검색의 장점과 이러한 시스템을 구현하기 위한 구현 단계 및 구성요소를 알아보고자 한다. 아울러 구현사례로 STEER-SGML/XML 검색 시스템을 알아본다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2004년도 여름학술대회 발표논문집
• /
• pp.51-76
• /
• 2004

• 한국정보통신학회논문지
• /
• 제13권7호
• /
• pp.1467-1474
• /
• 2009

지식정보 사회에서 살아갈 사람들에게 중요시되는 능력은 새로운 상황에 당면했을 때, 새로운 아이디어를 개발하고 이를 적용해 주어진 문제를 해결할 수 있는 논리적 사고력이 요구된다. ACM은 논리적 사고력 향상을 위해 프로그래밍언어를 통한 교육이 필요하다고 제시하고 있으나 현재 사용되고 있는 교육용 프로그래밍언어는 개념 중심이며 차후학습으로의 연계성이 상당히 부족하다. 이에 이 논문에서는 보다 효과적인 논리적 사고력 형성을 위해 교육용프로그래밍 언어인 '두리틀'을 소개하고 이를 실제 수업에 적용하여, 인지발달 수준과 논리적 사고력 형성 및 구체적 하위 논리에 미치는 효과를 분석해 본 결과 논리적 사고력 향상에 효과적임을 확인할 수 있다.