• Journal of Internet Computing and Services
• /
• v.8 no.5
• /
• pp.35-43
• /
• 2007

Semantics-based notations need to be used for specification of static and dynamic semantics to specify and implement new programming language. If the semantics is practically defined, we easily gain a translator according to the implementation of the semantics. In this paper, we describe the static and dynamic semantics to get a translator easily. We present practical semantics-based Action Equations, an extension and transformation of Attribute Grammar(AGs) suitable for specifying the static and dynamic semantics of a object oriented programming language. Compare with the existing descriptions, Action Equations is superior, modernized, and accurate.

• The Journal of Korea Robotics Society
• /
• v.14 no.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.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• 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.

• Journal of English Language & Literature
• /
• v.60 no.2
• /
• pp.391-393
• /
• 2014

• Korean Journal of Cognitive Science
• /
• v.3 no.1
• /
• pp.1-24
• /
• 1991

This paper presents the Lexical Ambiguity Resolution System of Korean Language. This system uses Dependency grammar and Collative Semantics. Dependency grammar is used to analyze Korean syntactic dependency. A robust way to analyze a sentence is to establish links between individual words. Collative Semantics investigates the interplay between lexical ambiguity and semantics relations. Collative Semantics consists of sense-frame, semantic vector, collation, and screening. Our system was implemented by C programming language. This system analyzes sentences, discriminates the kinds of semantic relation between pairs of words senses in those sentences, and resolves lexical ambiguity.

• Journal of KIISE:Software and Applications
• /
• v.37 no.1
• /
• pp.54-59
• /
• 2010

Special-purpose microcontrollers PLCs have been widely used in the area of industrial automation. For the research of analysis and verification for PLC programs, first of all we have to specify formal sematics of PLC programming languages. This paper defines formally the operational semantics of LD language. After we transform the graphical language LD into its textual representation Symbolic LD, we give semantics of Symbolic LD since LD language is a graphical language. This paper defines the natural sematics of Symbolic LD and formalizes it in Coq proof assistant.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• 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.

• Language and Information
• /
• v.8 no.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.

• Speech Sciences
• /
• v.9 no.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.

• Language and Information
• /
• v.15 no.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'.