• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.297-300
• /
• 2002

최근 인터넷과 웹의 확산과 더불어 많은 교육용 웹 컨텐츠들이 개발되고 있다. 웹 기반의 교육은 언제 어디서나 교육을 받을 수 있다는 장점을 제공하나 실습이 중요한 프로그래밍 과목의 경우에 적합하지 못하다고 지적되어 왔다. 논문에서는 C 프로그램 실행의 시각화와 실습환경을 제공하여 C 언어를 쉽게 이해할 수 있게 하는 웹 컨텐츠 강의 C 프로그램의 실행의 시각화기를 개발한다. 이 시각화기는 사용자가 입력한 프로그램에 대해 구문 분석을 통해서 해석학수 있는 C 언어 해석기와 해석된 정보를 사용자에게 시각화하여 보여주는 시각화기로 구성된다. 논문의 결과로 기존의 프로그래밍 교육의 이론과 실습을 통합하여 제공함으로써 새로운 교육 환경이 구축될 수 있다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.9 no.3
• /
• pp.64-70
• /
• 2004

Korean and Japanese have same structure of sentences because they belong to same family of languages. So, The transfer driven machine translation is most efficient to translate each other. This paper introduce a method which creates a transfer dictionary for Token Based Transfer Driven Koran-Japanese Machine Translation(TB-TDMT). If the transfer dictionaries are created well, we get rid of useless effort for traditional parsing by performing shallow parsing. The semi-parser makes the dependency tree which has minimum information needed output generating module. We constructed the transfer dictionaries by using the corpus obtained from ETRI spoken language database. Our system was tested with 900 utterances which are collected from travel planning domain. The success-ratio of our system is $92\%$ on restricted testing environment and $81\%$ on unrestricted testing environment.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.97-133
• /
• 2018

In his unpublished article, "Is Mathematics Syntax of Language?," $G{\ddot{o}}del$ criticizes what he calls the 'syntactical interpretation' of mathematics by Carnap. Park, Chun, Awodey and Carus, Ricketts, and Tennant have all reconstructed $G{\ddot{o}}del^{\prime}s$ arguments in various ways and explored Carnap's possible responses. This paper first recreates $G{\ddot{o}}del$ and Carnap's debate about the nature of mathematics. After criticizing most existing reconstructions, I claim to make the following contributions. First, the 'language relativity' several scholars have attributed to Carnap is exaggerated. Rather, the essence of $G{\ddot{o}}del^{\prime}s$ critique is the applicability of mathematics and the argument based on 'expectability'. Thus, Carnap's response to $G{\ddot{o}}del$ must be found in how he saw the application of mathematics, especially its application to science. I argue that the 'correspondence principle' of Carnap, which has been overlooked in the existing discussions, plays a key role in the application of mathematics. Finally, the real implications of $G{\ddot{o}}del^{\prime}s$ incompleteness theorems - the inexhaustibility of mathematics - turn out to be what both $G{\ddot{o}}del$ and Carnap agree about.

• Annual Conference on Human and Language Technology
• /
• 1997.10a
• /
• pp.303-310
• /
• 1997

일본의 한일(韓日) 기계번역(機械飜譯) 시스템을 평가한 결과 각기 다른 번역 시스템임에도 불구하고 오역(誤譯)의 패턴에 있어서는 유사(類似)한 점이 많았다. 이는 사전(辭典)의 입력 단위와 구문(構文)분석의 해석단계에서 오역(誤譯)의 언어환경에 대비하지 못한 점을 지적할 수 있다. 본 연구는 오역(誤譯)의 TYPE을 언어적 환경과 기계적 환경으로 구분하여 그 영향관계를 밝혀서 오역(誤譯)의 환경에 대비한 사전(辭典)과 그 모듈의 작성을 목적으로 삼는다.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1144-1147
• /
• 1987

This paper designs parser using GPSC for syntactic and semantic analysis of English input sentences. By use of a number of unification-based principles and Tomita's algorithm, syntactic analysis is described. Also in semantic analysis, Montague semantics is used.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10b
• /
• pp.699-701
• /
• 1987

This paper deals With the EMG signal processing to apply the EMG signal to the Prosthetic arm. The EMG signals are generated by the voluntary contractions of the subject's musculature and is coded into binary words by the pulse width modulation. Command strings or sentences are constructed by concatenating several words, and are syntactically described by a context free grammar in Chomsky normal form and is tried to classify the movement pattern by the CYK algorithm.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.629-636
• /
• 1992

컴퓨터의 언어이해 가능성을 반박하는 주된 근거는 형식적 기호들을 처리하는 프로그램이 의미론을 다룰 수 없다는 것이다. 그러나 인과적 계산이론에 따르면 컴퓨터 프로그램이 순전히 구문론적인 것은 아니고 컴퓨터 내부의 기호적 표상의 처리과정에서 의미론적인 지시와 해석이 일어난다고 할 수 있다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.12
• /
• pp.1639-1648
• /
• 1988

This paper deals with an analyzing method of the Korean syntax to implement a natural language understanding system. A matrix of the syntactic structure is derived by the structural features of the Korean language. The modificatoty and conceptual structures are extracted from the matrix and the predicate logic form is expressed by extracting the phrase, clause and conceptual structure in the analyzing process. This logic form constructs an knowledge base of the sentence and proposes the possibility of the inference.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.12
• /
• pp.1975-1983
• /
• 1989

Implementing the linguistic theories on computer, we resolve the problems for restrictions of computer and increase processing efficiency for systemization not for linguistic theory itself. Thus, we modify the grammatical theory to be applied to systems. This paper reports the various problems about constructing dictionaies, defining rules, and appling universal principles and metarules, which is caused to implement the systems based on GPSG. In semantic interpretations, logical expressions which correspond Montague grammar are acquired, and we make a rule connect with several logical expressions. And we show the efficiency of the this method through implementing parser.

• Journal of Korea Society of Industrial Information Systems
• /
• v.7 no.3
• /
• pp.74-80
• /
• 2002

There are many researches on post-processing methods for the Korean continuous speech recognition enhancement using natural language processing techniques. It is very difficult to use a formal morphological analyzer for improving the speech recognition because the analysis technique of natural language processing is mainly for formal written languages. In this paper, we propose a speech recognition enhancement model using syntactic unit of morphemes. This approach uses the functional word level longest match which dose not consider spacing words. We describe the post-processing mechanism for the improving speech recognition by using proposed model which uses the relationship of phonological structure information between predicates md auxiliary predicates or bound nouns that are frequently occurred in Korean sentences.