• Nuclear Engineering and Technology
• /
• v.36 no.4
• /
• pp.295-303
• /
• 2004

Software inspection is widely believed to be an effective method for software verification and validation (V&V). However, software inspection is labor-intensive and, since it uses little technology, software inspection is viewed upon as unsuitable for a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. KAIST Nuclear I&C and Information Engineering Laboratory (NICIEL) has developed software management and inspection support tools, collectively named "SIS-RT. "SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between a given set of specification documents. To make SIS-RT compatible for documents written in Korean, certain techniques in natural language processing have been studied [9]. Among the techniques considered, case grammar is most suitable for analyses of the Korean language [3]. In this paper, we propose a methodology that uses a case grammar approach to analyze the traceability between documents written in Korean. A discussion regarding some examples of such an analysis will follow.

• Korean Journal of English Language and Linguistics
• /
• v.4 no.1
• /
• pp.33-60
• /
• 2004

This study was an attempt to present an appropriate way of interpreting L2 learners' linguistic behavior within Universal Grammar (UG) framework. Based on the Korean EFL adult learners' performance on the Subjacency violation sentences, the study suggested that the EFL learners are able to acquire subtle knowledge of target grammar and their linguistic behavior should be interpreted with the most recent version of UG theory, the Minimalist Program (MP) notion. The MP notion seems more plausible to accommodate incomplete L2 grammar while acknowledging UG-constrained interlanguage which the previous version, Principles and Parameters (P&P) approach, could not explain very well. The study observed no age-effects among the Korean EFL learners in their linguistic competence measured by the performance on the UG-constraint violation sentences. Having suggested that the MP notion can be a more reasonable tool to explain the EFL learners' linguistic behavior, the study introduced comprehensive hypotheses such as Constructionist Model (CM) and the Ontogeny Phylogeny Model (OPM).

• Korean Journal of English Language and Linguistics
• /
• v.1 no.4
• /
• pp.609-627
• /
• 2001

Pronouns are frequently used in English, and their resolution is important to capture meaning of sentences. This paper provides a computational implementation for pronoun readings in English, based on Chierchia's (1988) Binding Theory in Categorial Grammar. A CCG-like system is newly devised for implementing his ideas, where syntactic phenomena are represented by the functor-argument relations of categories. This relation triggers resolution algorithms, and reflexives and pronominals are resolved succinctly. In sum, this paper gives an efficient resolution algorithm for English pronouns within Categorial Grammar.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.6
• /
• pp.908-915
• /
• 1986

In this paper, an English-Korean machine translation system which consists of a syntax analyzer, a semartic analyzer and a sentence generatodr is proposed. The intermediate language in the syntax analysis is described by a lambda categorial grammar that is based on Montague Grammar, and the augmented context free grammar is introduced in the description of object language. Much difficulty in constructing general rules and semantic representations of an object language in the parser can be avoided by using the knowledge from the user interface utility that can modify the contents of dictionary and grammar rules.

• Cross-Cultural Studies
• /
• v.42
• /
• pp.371-392
• /
• 2016

This study analyzed the aspect of the decision of the Korean part of speech and the properties of the grammatical items based on "韓語通" which was published in 1909. "韓語通" is a Korean grammar book written by 前間恭作 who also published "校訂交隣須知" in 1904. "韓語通" is known for influencing of 'Otsuki grmmar(大槻 文法),' dividing Korean part of speech into eleven. Based on 'mood' and 'voice' we can assume that "韓語通" adopted Otsuki's grammar. '存在詞' is another clue that "韓語通" adopted Yamada's grammar. However, 前間恭作 persisted that Korean language is different from Japanese language. This view is different from 寶迫繁勝, 高橋亨, 藥師寺知? etc. This study tried to investigate the interchange of the two languages in historical study of Korean and Japanese linguistics during modern and contemporary period. For this purpose, we searched the aspect of the part of speech and analyzed the grammar items. In conclusion, we was able to light on how Japanese scholars approached to Korean grammar system in late 19th and early 20th centuries.

• Korean Journal of Cognitive Science
• /
• v.4 no.2
• /
• pp.115-143
• /
• 1994

In this paper,I present an extended two-level model using LR parsing techniques.The LR-based two-level model not only guarantees effcient morphological processing but also achieves a higher degree of descriptive adequacy than Koskenniemi's original model.The two-level model is augmented with an independent morphosyntactic module based on feature-based CF word grammar.By adopting a CF word grammar,our model is capable of dealing with complex words with discontinuous dependencies without having duplicate lexicons.It is shown how LR predictions manifested in the parsing table can help the morphological processor to minimize the dictionary lookup process.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.448-462
• /
• 2000

Coordinate constructions in natural language pose a number of difficulties to natural language processing units, due to the increased complexity of syntactic analysis, the syntactic ambiguity of the involved lexical items, and the apparent deletion of predicates in various places. In this paper, we address the syntactic characteristics of the coordinate constructions in Korean from the viewpoint of constructing a competence grammar, and present a version of combinatory categorial grammar for the analysis of coordinate constructions in Korean. We also show how to utilize a unified lexicon in the proposed grammar formalism in deriving the sentential semantics and associated information structures as well, in order to capture the discourse functions of coordinate constructions in Korean. The presented analysis conforms to the common wisdom that coordinate constructions are utilized in language not simply to reduce multiple sentences to a single sentence, but also to convey the information of contrast. Finally, we provide an analysis of sample corpora for the frequency of coordinate constructions in Korean and discuss some problematic cases.

• Proceedings of the KOSOMBE Conference
• /
• v.1991 no.05
• /
• pp.56-60
• /
• 1991

This paper describes an algorithm that recognizing the QRS complex using attribute grammar interpreter. This System extracts primitives and their attributes by linear approximation and then evaluated by attribute grammar interpreter.

• The Journal of the Korea Contents Association
• /
• v.18 no.5
• /
• pp.123-130
• /
• 2018

The present study aims to investigate how Korean EFL learners' views of form-focused instruction, integrated and isolated FFI (form-focused instruction), are related to their beliefs about grammar and attention and how different these relationships are between high and low proficiency levels and between males and females in Korean college contexts. The findings indicated the participants' strong preference for integrated FFI, which was significantly correlated with two factors, attention in English class and English proficiency. On the other hand, the isolated FFI was strongly correlated with their beliefs about grammar learning, that is, independent learning of grammar and importance of learning grammar rules. In conclusion, the integrated FFI was associated with students' proficiency and attention, while the isolated FFI was related to their views of grammar learning. In conclusion, it is suggested that we need to use integrated FFI in Korean EFL contexts considering students' levels of proficiency and attention.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.1
• /
• pp.49-55
• /
• 2018

In this paper, we propose a design and development of instructional cards to understand the grammar of coding, solving the problems and extending the computational thinking in the robot-driven environment. First, we designed the input/output module of the robot to process the coding grammar through the function analysis of the robot. And we designed the module of command card to learn coding grammar using color sensors. We have proven the validity of the designed instruction card by examining the experts to see if it is suitable for coding grammar learning. Designed robot and command card were developed with 28 cards and sensor robot. After applying the developed robot and command card to the elementary school students, the questionnaire showed that students grow the understanding and confidence of coding. In addition, students showed an increased need for programming learning.