• The Korean Publising Journal, Monthly
• /
• s.154
• /
• pp.6-7
• /
• 1994

소크라테스는 진리를 언어 밖에서 찾으라고 말했다. 플라톤은 언어를 어떤 모방의 형식이라고 생각했다. 미메시스 개념에 기초한 언어관 때문이다. 따라서 그들에 의하면, 책이란 진리의 시체 통조림이자 영혼을 망쳐놓는 흉물에 불과하다. 그러나 아리스토텔레스의 "오르가논"은 언어를 상징의 형식으로 이해하면서 책을 진리의 잔치마당으로 여긴다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.309-346
• /
• 2013

This paper deals with the problem, which logic of language and which metaphysics Wittgenstein suggests in the Tractatus logico-philosophicus. I will ultimately show how he bases the metaphysics on the logic of language. The logic of language by which Wittgenstein sets the limit to the language 'in the language' is the logical syntax of the language. And Wittgenstein extends the idea of the logical syntax to the understanding the nature of the world, i.e. to the metaphysics. The logical form the language(proposition) must have is the form of the world(or the nature of the world), and it can be determined only together with the logical syntax of the language. But what is the logical form(form of the world) 'cannot be said', since the proposition saying it is devoid of 'sense' and 'says nothing'. Therefore Wittgenstein expresses that the logical form(form of the world) 'can only be shown' in the proposition that has sense. The Metaphysics Wittgenstein wants to base on the logic of language(the logical syntax) must be mystical.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.411-418
• /
• 2000

Hausser (1999)와 이기용 (1999a, 1999c)에서는 데이터베이스 관리 시스템(DBMS)을 이용하여 자연언어의 의미를 다루는 데이터베이스 의미론을 제안하였다. 특히 이기용 (1999c)에서는 수형도(tree), 논리 형태(logical fomulas), 자질 구조(feature structure)와 같은 다양한 언어 표상 형식들을 관계형 데이터베이스 관리 시스템(DBMS)의 표상 형식인 테이블 형식으로 전환 가능함을 보임으로써 데이터베이스 의미론에 관계형 데이터베이스 관리 시스템을 도입할 수 있음을 제시하였다. 한편, Lee (2000)에서 제시한 데이터베이스 의미론 모형에서는 데이터베이스 관리 시스템과 사용자(end-user)를 연결하는 언어 정보 처리 시스템(LIPS; Linguistic Information Processing System)을 제안하였다. 이 언어 정보 처리 시스템은 사용자에 의해 입력된 언어 자료를 처리하여 그 분석 결과를 데이터베이스 관리 시스템에 전달하고, 이를 통해 구축된 데이터베이스에서 추출한 정보를 다시 사용자에게 전달하는 시스템이다. 이 논문은 한국어 '이, 히, 리, 기' 피동형을 전산처리 할 수 있도록, 데이터베이스 의미론에서 핵심 요소인 언어정보 처리 시스템과 데이터베이스 관리 시스템을 구현하는 것이 목적이다.

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.411-418
• /
• 2000

Hausser (1999)와 이기용 (1999a, 1999c)에서는 데이터베이스 관리 시스템(DBMS)을 이용하여 자연언어의 의미를 다루는 데이터베이스 의미론을 제안하였다. 특히 이기용 (1999c)에서는 수형도(tree), 논리 형태(logical fomulas), 자질 구조(feature structure)와 같은 다양한 언어 표상 형식들을 관계형 데이터베이스 관리 시스템(RDBMS)의 표상 형식인 테이블 형식으로 전환 가능함을 보임으로써 데이터베이스 의미론에 관계형 데이터 베이스 관리 시스템을 도입할 수 있음을 제시하였다. 한편, Lee (2000)에서 제시한 데이터베이스 의미론 모형에서는 데이터베이스 관리 시스템과 사용자(end-user)를 연결하는 언어 정보 처리 시스템(LIPS; Linguistic Information Processing System)을 제안하였다. 이 언어정보 처리 시스템은 사용자에 의해 입력된 언어 자료를 처리하여 그 분석 결과를 데이터베이스 관리 시스템에 전달하고, 이를 통해 구축된 데이터베이스에서 추출한 정보를 다시 사용자에게 전달하는 시스템이다. 이 논문은 한국어 '이, 히, 리, 기' 피동형을 전산처리를 할 수 있도록, 데이터베이스 의미론에서 핵심 요소인 언어정보 처리 시스템과 데이터베이스 관리 시스템을 구현하는 것 이 목적이다.

• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• pp.128-130
• /
• 1990

문장의 논리적인 내적이며 형식적이라고도 말하여지는 구조는 단순한 구문론적인 것이라기 보다는 우리의 외적 세계 이해의 범주라고도 말하여져 왔다. 이러한 이해에는 검증이 어렵다는 이유에서 쉽게 받아들일 수 없는 점이 있으나, 실제의 언어 이해에서 부인 할 수 없는 작용을 하는 것은 어쩔 수 없다. 원자 문장에서의 이러한 논리적인 제약이라고도 말하여지는 것은 거의 형이상학적인 측면이 있더라도 언어의 수학적인 성질로 받아들이지 않을 수 없다. 그래서 여기에서는 원자 문장 형성에서의 수학적인 성질들을 말하여 보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.173-175
• /
• 2000

본 연구에서는 전자상거래 데이터베이스를 대상으로 결합범주문법을 이용한 자연언어질의 인터페이스를 구현한다. 이를 위해 질의문을 분석하고 표현 방법을 논의한다. 또한 SQL 형식언어로 변환하기 위한 어휘 표현 및 유도 방법을 보인다. 제안하는 방법은 구문분석 과정에서 SQL 형식의 질의문을 직접 유도하는 것으로 기존 연구에서 제안됐던 중간논리언어 변환단계를 거치지 않으므로 과정이 간결해져 시스템의 성능향상을 가져올 수 있다. 시스템은 웹 기반과 client/server 구조로 구현된다.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.414-421
• /
• 2001

본 논문에서는 한정된 영역을 대상으로 하는 질의응답 시스템에서 사용자의 질의를 해석하고 적당한 대답을 생성하기 위해 백과사전이나 일반사전 등과 같은 지식원에서 추출된 구조화된 지식을 사용하는 과정을 기술한다. 질의응답을 위하여 지식원은 그 단락의 의미에 따라 구조화되고 각 단락은 논리형식으로 변환되었으며, 논리형식 내 각 개체들은 사전 정의문에 따라 확장되었다. 이 구조화된 지식은 입력된 자연언어 질의문에서 질의의 의도를 추출하고, 질의에 포함되어 있는 지식에 의미속성을 부착하기 위해 사용된다. 지식원의 논리형식 변환을 위해 한국어의 논리형식이 도입되었으며, 사용된 지식원은 우리말 큰사전과 계몽백과사전의 30여개 질병정의문이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.1-3
• /
• 2004

BPMN은 비즈니스 프로세스를 모델링하는 표기법으로써 시각화된 플로우차트를 통해 일반화된 형식으로 비즈니스 프로세스를 정의할 수 있게 해준다. 이와 반대로 XPDL은 비즈니스 프로세스를 실행하는 언어로써 이 언어를 지원하는 시스템을 통해 비즈니스 프로세스를 실행시킬 수 있게 해준다. 그러므로 BPMN으로 모델링한 비즈니스 프로세스가 XPDL을 지원하는 실행시스템을 통해 실행되기 일해서는 BPMN 형식의 비즈니스 프로세스를 XPDL 비즈니스 프로세스로 변환하여야 한다. 그러나 이들은 각기 다른 기반과 목적에 따라 정의되었기 때문에 서로의 요소간의 표현하는 방식에 차이가 있다. 따라서 본 논문에서는 BPMN 형식의 비즈니스 프로세스를 XPDL 비즈니스 프로세스로 변환하는 기법을 제안한다.

• Annual Conference on Human and Language Technology
• /
• 1995.10a
• /
• pp.258-263
• /
• 1995

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

• Annual Conference on Human and Language Technology
• /
• 2015.10a
• /
• pp.3-8
• /
• 2015

최근에 ISO/TC 37/SC 4 산하의 Working Group 2 Semantic annotation에서 자연언어의 의미주석에 관한 4 개의 국제표준을 완성하여 출판하였다. 그 중에서 2 개의 국제표준 ISO 24617-1 SemAF-Time(ISO-TimeML)[1]과 24617-7 ISOspace[2]를 간략히 소개하는 것이 이 발표의 목적이다. 자연언어 텍스트에서 전자는 사건과 관련된 시간 정보를 주석처리하고, 후자는 사건(event), 특히 운동(motion)과 관련된 공간 정보를 주석 처리하는 주석체계(annotation scheme)들을 구축, 기술하는 명세언어(specification language)이다. 이 표준들은 또한 ISO 24612:2012 LAF (Linguistic annotation framework)[3]의 제약조건들을 준수하며 언어 주석체계를 구축하였다. 오늘의 발표는 이들 두 개의 국제표준에 준한 주석체계들 ASisoTime과 ASisoSpace가 LAF를 따라 어떻게 구축되었는지 그 추상통사구조(abstract syntax)를 명시하고, 의미주석체계로서의 이들 주석체계의 타당성을 보이기 위하여 주석기반의 의미형식(semantic form)들을 체계적으로 도출하는 과정을 또한 보이도록 한다.