• 인터넷정보학회논문지
• /
• 제8권5호
• /
• pp.35-43
• /
• 2007

의미 기반 표기법은 새로운 프로그래밍 언어를 명세하여 그 언어를 구현하기 위한 정적이고 동적인 의미를 명세하는데 필요한 것이다. 프로그래밍 언어에 대한 의미를 보다 실제적으로 정의하면 그 의미에 따라 언어를 구현함으로써 번역기를 쉽게 만들 수 있다. 본 논문에서는 번역기를 쉽게 만들 수 있는 정적이고 동적인 의미를 명세 하고자 한다. 객체 지향 언어를 위한 정적이고 동적인 의미를 적절하게 명세 할 수 있도록 속성 문법을 확장하고 변형하여 실제적인 의미 기반의 작용식을 제시하였고 기존의 연구 방법과 비교하여 제시된 작용식의 의미 명세가 우월함을 알 수 있었다.

• 로봇학회논문지
• /
• 제14권4호
• /
• pp.340-347
• /
• 2019

Due to advances in machine intelligence and increased demands for autonomous machines, the complexity of the underlying software platform is increasing at a rapid pace, overwhelming the developers with implementation details. We attempt to ease the burden that falls onto the developers by creating a graphical programming framework we named Splash. Splash is designed to provide an effective programming abstraction for autonomous machines that require stream processing. It also enables programmers to specify genuine, end-to-end timing constraints, which the Splash framework automatically monitors for violation. By utilizing the timing constraints, Splash provides three key language semantics: timing semantics, in-order delivery semantics, and rate-controlled data-driven stream processing semantics. These three semantics together collectively serve as a conceptual tool that can hide low-level details from programmers, allowing developers to focus on the main logic of their applications. In this paper, we introduce the three-language semantics in detail and explain their function in association with Splash's language constructs. Furthermore, we present the internal workings of the Splash programming framework and validate its effectiveness via a lane keeping assist system.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2007년도 정기학술대회
• /
• pp.13-28
• /
• 2007

This is a speculative paper, describing a recently started effort to give a formal semantics to semantic annotation schemes. Semantic annotations are intended to capture certain semantic information in a text, which means that it only makes sense to use semantic annotations if these have a well-defined semantics. In practice, however, semantic annotation schemes are used that lack any formal semantics. In this paper we outline how existing approaches to the annotation of temporal information, semantic roles, and reference relations can be integrated in a single XML-based format and can be given a formal semantics by translating them into second-order logic. This is argued to offer an incremental aproach to the incorporation of semantic information in natural language processing that does not suffer from the problems of ambiguity and lack of robustness that are common to traditional approaches to computational semantics.

• 영어영문학
• /
• 제60권2호
• /
• pp.391-393
• /
• 2014

• 인지과학
• /
• 제3권1호
• /
• pp.1-24
• /
• 1991

본 논문은 한국어의 어휘적 중의성을 해결하는 시스템을 보여준다. 이 시스템은 의존 문법과 대조 의미론을 이용하고 있다. 의존 문법은 두 형태소 사이의 의존관계에 의하여 문장을 분석한다. 대조 의미론은 어휘적 중의성과 의미관계의 상호작용을 조사한다. 대조 의미론은 의미 프레임,의미 백터,대조,분류의 4개의 구성요소로 이루어진다. 본 시스템은 C 언어로 구성되었으며, 문자을 분석 학과 두 단어간의 의미 관계를 조사하며 어휘적 중의성을 해결한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.54-59
• /
• 2010

산업자동화 분야에는 특수목적 마이크로콘트롤러인 PLC가 널리 사용된다. PLC 프로그램 분석과 검증을 위한 연구에서 우선적으로 해야 할 일은 PLC 프로그래밍 언어의 의미구조를 정형적으로 제시하는 것이다. 본 논문은 PLC 프로그래밍에 널리 사용하는 LD 언어의 의미구조를 정의한다. LD 언어는 그래픽 언어이기 때문에 먼저 텍스트 언어 Symbolic LD로 구문구조를 정형화한 다음에, Symbolic LD에 대한 의미구조를 정의할 수가 있다. 본 논문은 Symbolic LD의 의미구조를 자연 의미구조 기법으로 정의하고, 증명 보조기 Coq을 이용하여 정형화하였다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.2-27
• /
• 2002

As pact of a long-ranged project that aims at establishing database-theoretic semantics as a model of computational semantics, this presentation focuses on the development of a syntactic component for processing strings of words or sentences to construct semantic data structures. For design arid modeling purposes, the present treatment will be restricted to the analysis of some problematic constructions of Korean involving semi-free word order, conjunction arid temporal anchoring, and adnominal modification and antecedent binding. The present work heavily relies on Hausser's (1999, 2000) SLIM theory for language that is based on surface compositionality, time-linearity arid two other conditions on natural language processing. Time-linear syntax for natural language has been shown to be conceptually simple and computationally efficient. The associated semantics is complex, however, because it must deal with situated language involving interactive multi-agents. Nevertheless, by processing input word strings in a time-linear mode, the syntax cart incrementally construct the necessary semantic structures for relevant queries and valid inferences. The fragment of Korean syntax will be implemented in Malaga, a C-type implementation language that was enriched for both programming and debugging purposes arid that was particluarly made suitable for implementing in Left-Associative Grammar. This presentation will show how the system of syntactic rules with constraining subrules processes Korean sentences in a step-by-step time-linear manner to incrementally construct semantic data structures that mainly specify relations with their argument, temporal, and binding structures.

• 한국언어정보학회지:언어와정보
• /
• 제8권2호
• /
• pp.113-130
• /
• 2004

In a prevailing view of meaning and reference (cf. Frege 1892), words pick out entities in the physical world by virtue of meaning. Linguists and philosophers have argued whether the meaning of a word is inside or out-side language users' mind; but, in general, they have taken it for granted that words refer to entities in the physical world. Hilary Putnam (1975), based on his famous twin-earth thought experiment, argued that the meaning of a word could not be inside language users' head. In this paper, I point out that Putnam's argument makes sense only if words refer to entities in the physical world. That is, Putnam did not provide any argument against mentalistic semantics, since he erroneously assumed that meaning, but not reference, was inside our mind in mentalistic semantics. Mentalistic semanticist, however, assume that words pick out their references inside our head (instead of a possible outside world). A number of arguments for the mentalistic position come from psychology: studies on emotion and visual perception provide numerous cases where words cannot pick out entities from the physical world, but inside our head. The mentalistic theory has desirable consequences for the philosophy of language in that some classical puzzles of language (e.g. Russell's (1919) well-known puzzle of excluded middle) are explained well in the proposed theory.

• 음성과학
• /
• 제9권3호
• /
• pp.121-131
• /
• 2002

The purpose of the present study was to investigate the characteristics of receptive and expressive language development of cleft palate infants aged under 3. Twenty-six cleft palate infants and 52 normal infants were grouped into 3 chronological age groups with 1 year intervals: less than 1, 1, and 2 years old. The cleft palate infants were divided into 2 groups: cleft palate only, and cleft lip & palate. Each mother of the infants was asked to complete the questionnaire, Sequenced Language Scale for Infants (SELSI). Receptive and Expressive language scores of SELSI were computed. The scores of receptive and expressive language were respectively analyzed into 4 categories of language: phonology/prosody, semantics, syntax, and pragmatics. The results, concerning the differences of language development between the cleft palate and the normal infants, were as follows: (1) expressive language scores were significantly different at age 2 between the cleft palate and the normal infants; (2) cleft plate groups aged less than 1 and 1 showed lower scores of phonology/prosody of expressive language than the normal groups; (3) cleft palate group aged 2 showed lower scores than the normal group in semantics, syntax, and pragmatics. The results, concerning the characteristics of language development between the cleft palate only and the cleft lip & palate infants, were as follows: (1) the scores of expressive and receptive language were not statistically different between the 2 groups; (2) both groups did not show any difference in .the scores of phonology/ prosody, semantics, syntax, and pragmatics of receptive and expressive language.

• 한국언어정보학회지:언어와정보
• /
• 제15권1호
• /
• pp.79-92
• /
• 2011

Some terms related to "meaning" in semantics are reviewed, particularly those used in Lyons' famous semantics book Semantics 1 and Semantics 2 (Cambridge University Press, 1977). Since Lyons' book is so comprehensive that the semantic terms used in that book cover almost every important notions/terms used in contemporary semantics. With relevant interpretation of the terms, we suggest most appropriate Korean translations, trying to give different translations for different English terms. Terms covered include: 'signify, signification; reference/refer/referent, sense; denotation/denote, connotation/connote; extension, intension; implication/imply, implicature/implicate, entailment/entail; designate, demonstrate/demonstrative'.