• Journal of KIISE:Software and Applications
• /
• v.27 no.8
• /
• pp.877-885
• /
• 2000

Static slice means a set of parts of a program that potentially affect the values computed at a slicing criterion considering all the possible input values. In this paper, we have formally defined static slice of a first-order functional language based on operational semantics. And, we have presented a sound method to analyze static slice using abstract interpretation.

• 중국학논총
• /
• no.71
• /
• pp.23-40
• /
• 2021

'过' and '了' are the key points, as well as difficult ones, in the academic study of Chinese grammar and language teaching. This article analyzes this language use by taking two sentence structures as example, namely 'Pao le.' and 'Pao guo le.'. As the semantic meanings of 'V+了2' and 'V+过1+了2' are very similar. Therefore, it can be confusing for non-native speakers to master this usage. This article attempts to sort out and analyze the usage environment and pragmatic characteristics of 'V+过1+了2' by employing the examples from the data of Corpus of the Chinese Linguistics Research Center of Peking University. By focusing on the usage environment and pragmatic characteristics of '过' and it is desirable for teachers to combine semantics, syntax and pragmatics while explaining the grammar point, in order for learners to understand accurate information quickly and learn how to use it.

• Journal of Computing Science and Engineering
• /
• v.3 no.3
• /
• pp.143-164
• /
• 2009

This article surveys recent research in the area of language modeling (sometimes called statistical language modeling) approaches to information retrieval. Language modeling is a formal probabilistic retrieval framework with roots in speech recognition and natural language processing. The underlying assumption of language modeling is that human language generation is a random process; the goal is to model that process via a generative statistical model. In this article, we discuss current research in the application of language modeling to information retrieval, the role of semantics in the language modeling framework, cluster-based language models, use of language modeling for XML retrieval and future trends.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2001.10a
• /
• pp.23.1-23
• /
• 2001

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1996.02a
• /
• pp.137-146
• /
• 1996

Our research goal has been the development of a domain independent natural language processing (NLP) system suitable for information retrieval. As part of that research, we have investigated ways to automatically extend the semantics of a lexicon derived from machine-readable lexical sources. This paper details the extraction of thematic roles derived from lexical patterns in a machine-readable dictionary.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.473-475
• /
• 2021

유의어 추천을 구현하기 위해서는 각 단어 사이의 유사도를 계산하는 것이 필수적이다. 하지만, 기존의 단어간 유사도를 계산하는 여러 방법들은 데이터셋에 등장하지 않은 단어에 대해 유사도를 계산 할 수 없다. 이 논문에서는 이를 해결하기 위해 언어모델의 PPL을 활용하여 단어간 유사도를 계산하였고, 이를 통해 유의어를 추천했을 때 MRR 41.31%의 성능을 확인했다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1531-1541
• /
• 1999

프로그래밍 언어의 의미를 정형적으로 표기하는 기법인 액션의미론을 기반으로 한 컴파일러 생성기는 프로그래밍언어의 액션의미구조가 주어지면 그 언어의 컴파일러를 자동으로 생성한다. 생성된 컴파일러는 먼저 원시 프로그램을 그에 상응하는 액션 프로그램으로 확장한 후, 목적 프로그램으로 컴파일 한다. 여기서 액션 프로그램은 일종의 중간코드로 쓰이므로, 효율적인 목적코드를 생성하기 위해서 중간코드의 성능향상이 필요하다. 본 논문에서는 액션 프로그램을 부분계산을 통해 효율적인 코드로 자동 변환해 주는 온라인 액션 부분계산기를 설계하고 구현한다. 선행 연구된 오프라인 방식에서 전역분석을 하지 않고는 불가능했던 요약캡슐의 몸통, 펼치기의 몸통에 대한 부분계산이 온라인 방법을 사용하면 가능함을 보이고, 명령형 액션의 부분계산도 추가적으로 수행할 수 있도록 확장한다. Abstract Action Semantics is a framework for formally defining the semantics of programming languages. Action semantics-directed compiler generators take an action semantics definition of a programming language and automatically generate a compiler of the language. The generated compiler first expands a source program into an action denotation of the program, and then compiles it to a target code. In these compiler-generation systems, it is important to statically process the expanded action denotation - used as an intermediate code - as much as possible so that the generated compiler can produce better target code. In this paper, we develop an automatic action-transformation method based on online partial evaluation. The previous off-line method was rather weak because it could not partially evaluate actions inside the body of abstraction and unfolding-action without performing separate global analysis. The proposed online method remedies the problem, thus naturally improves the quality of residual actions. Moreover, we also extend the method to partially evaluate imperative actions.

• Language and Information
• /
• v.15 no.2
• /
• pp.47-65
• /
• 2011

A Korean adverb '거의(geoui)' modifies predicates to generate complex predicates which have meanings of 'nearly' complete or typical properties of the modified predicates in quantities, degrees, and frequencies. The modified predicates 'complete' or 'typical' properties are referred counterfactually as standards for the generated predicates' meanings of deficiencies. These counterfactual standards can be formalized by a counterfactual conditional operator of the intensional semantics in Cresswell(1990). The deficiencies in the quantities, degrees, or frequencies of the properties can be expressed formally introducing a world-independent measure of comparison. The measure can be manufactured out of relations between intensional things at indices and their equivalence classes. The world-independent measure of comparison has a semantic structure under-specified in quantity, degree, and frequency, and seems very well-suited in describing lexical meaning of '거의(geoui)'. The lexical-semantic analysis of '거의(geoui)' shows explicitly the plausibility of the indispensable existence of the comparing measure which works across real and counterfactual worlds in natural language meaning. On the other hand, we examined Kim, young-hee(1985)'s proposal of a transition of quantificational meaning for Korean degree adverbs, where he tried to explain the quantificational meaning of Korean degree adverbs in general including '거의(geoui)' with several syntactic and semantic constraints of 'contextual deletion'. But it is shown that the quantificational meanings of the degree adverbs which Kim(1985) discussed are also explained better by their under-specified meanings in quantities, frequencies and degrees with the world-independent measure of comparison applied to their paradigmatic lexical constraint rather than Kim(1985)'s transition of meaning.

• Journal of KIISE:Software and Applications
• /
• v.37 no.5
• /
• pp.370-377
• /
• 2010

An Intelligent service robot performs various complex tasks in dynamic environment, providing useful intelligent services for human users. The robot needs to continuously monitor dynamically changing environment and reactively choose the best behavior for the changing context. The selected behaviors may include nondeterministic or parallel actions. In this paper, we present a structured reactive robot programming language, SPRIT that is based on Structured Circuit Semantics (SCS). SPRIT is fully implemented as a task executor and tested for reactive robot tasks in dynamic environment to show that it can be used to explicitly represent and effectively implement the complex reactive behaviors of intelligent robot systems.

• The Journal of Engineering Research
• /
• v.3 no.1
• /
• pp.29-41
• /
• 1998

This paper is for the design and implementation of SGML presentation system to format based on DSSSL (Document style semantics and specification Language). ISO proposed DSSSL as the technological standard for formatting and transforming SGML document. So, the body of this paper shows the design of this system in accordance with the model defined in DSSSL. This system, which is able to provide Korean, has Parsing function of arbitrary DTD, SGML document and DSSSL styles sheet, and contains a formatter that can manage various details, such as table, list, picture and others, as well as text.