• Title/Summary/Keyword: formal language

Search Result 314, Processing Time 0.022 seconds

An Unification Methodology in the Unification-based Grammar Formalisms (단일화중심 문법론에서의 단일화 방법)

  • 손덕진
    • Korean Journal of Cognitive Science
    • /
    • v.2 no.1
    • /
    • pp.15-32
    • /
    • 1990
  • In the area of natural language processing, a lot of unification-based grammar formalisms have been issued and are highlighted. The core of the formalisms is an unification of feature stutures. But few formal unification methodologies have been developed. Therfore, implementers of the formalisms could not help adopting an ad hoc design strategy for the unification module. In this paper, we suggest an efficient unification methodology using FUL, a programming language whic supports the unification. For the exeample, we will trace the unification processes in LFG and HPSG, the representative unification-based grammar formalisms, with FUL.

On the Passivization Possibilities of the Prepositional Object in English

  • Goh, Gwang-Yoon
    • Korean Journal of English Language and Linguistics
    • /
    • v.1 no.2
    • /
    • pp.211-225
    • /
    • 2001
  • The prepositional object (PO) of an active sentence in English can sometimes be passivized, becoming the subject of the corresponding passive sentence. In particular, the verb (V) and preposition (P) in the English prepositional passive (P-Passive) are assumed to be reanalyzed to form a single structural unit, giving the status of a verbal object to the PO to be passivized. However, not every V+P sequence can undergo reanalysis, permitting the passivization of POs. Thus, we have to explain what licenses the reanalysis of V and p. resulting in an acceptable P-Passive sentence. In this paper, I will identify the factors which determine the passivization possibilities of POs and explain how they interact with one another. The results of this study will illustrate how formal and functional factors work together to form a major syntactic construction and to determine its grammaticality and acceptability.

  • PDF

Developing JSequitur to Study the Hierarchical Structure of Biological Sequences in a Grammatical Inference Framework of String Compression Algorithms

  • Galbadrakh, Bulgan;Lee, Kyung-Eun;Park, Hyun-Seok
    • Genomics & Informatics
    • /
    • v.10 no.4
    • /
    • pp.266-270
    • /
    • 2012
  • Grammatical inference methods are expected to find grammatical structures hidden in biological sequences. One hopes that studies of grammar serve as an appropriate tool for theory formation. Thus, we have developed JSequitur for automatically generating the grammatical structure of biological sequences in an inference framework of string compression algorithms. Our original motivation was to find any grammatical traits of several cancer genes that can be detected by string compression algorithms. Through this research, we could not find any meaningful unique traits of the cancer genes yet, but we could observe some interesting traits in regards to the relationship among gene length, similarity of sequences, the patterns of the generated grammar, and compression rate.

Real-time Data Integration using Ontology and Semantic Mediators (온톨로지와 시맨틱 중재 에이전트를 이용한 실시간 통합 환경 구축에 관한 연구)

  • Park, Jin-Soo
    • Asia pacific journal of information systems
    • /
    • v.16 no.4
    • /
    • pp.151-178
    • /
    • 2006
  • The objective of this research is to develop a formal framework and methodology to facilitate real-time data integration, thus enabling semantic interoperability among distributed and heterogeneous information systems. The proposed approach is based on the concepts of "ontology" and "semantic mediators." An ontology is developed and used to capture the intension (including structure, integrity rules and meta-properties) of the database schema. We also develop the agent communication protocol for semantic reconciliation, which is based on the theory of speech acts and agent communication language. This protocol is used by a set of semantic mediators, which automatically detect and resolve various semantic conflicts at the data- and schema-levels by referring to the ontology. A mediation-based query processing technique is developed to provide uniform and integrated access to the multiple heterogeneous information sources. Prototype tools are being implemented to provide proof of concept for this work.

Two Types of Cleft Constructions in Korean: A Constraint-Based Approach

  • Kim, Jong-Bok
    • Language and Information
    • /
    • v.12 no.1
    • /
    • pp.85-103
    • /
    • 2008
  • Like English, Korean employs several complicated types of cleft constructions. This paper deals with two main types of Korean cleft constructions: predicational and identificational. It first reviews the formal properties of these two types and then provides a constraint-based analysis that can be computationally implemented. In particular, the paper assumes two types of noun KES (one as a common noun and the other as a bound noun) and treats the argument-gapped cleft clause similar to relative clauses while treating the adjunct-gapped cleft clause as a noun-complement construction. The paper further shows that the cleft constructions are closely linked to the copula constructions, sharing many common properties while having their own constructional constraints.

  • PDF

Consciousness in EFL Performances

  • Kim, Byoung-Won
    • Korean Journal of English Language and Linguistics
    • /
    • v.1 no.3
    • /
    • pp.387-416
    • /
    • 2001
  • In an attempt to identify highly probable causes of poor EFL performances, certain intriguing data of 11 common errors collected from 23 university students' listening and reading for correction of a short conversation of three people, with a questionnaire regarding their knowledge of the situational context, were analysed and interpreted within a theoretical framework of consciousness and the intonation unit (Chafe 1974, 1980, 1994), compatible with some important philosophical and psychological theories. The results: situational understanding does not always guarantee good EFL performances; the 11 errors were not attributable to hearing problems; consciousness appropriate for literacy and formal schooling appeared to be the major cause, which was inappropriate for a communicative use of English. Re-shaping of consciousness was suggested, with a warning against the ‘grammar consciousness raising’ approach.

  • PDF

Opacity and Presupposition Inheritance in Belief Contexts

  • Kim, Kyoung-Ae
    • Language and Information
    • /
    • v.3 no.2
    • /
    • pp.67-83
    • /
    • 1999
  • This paper attempts to provide an account for the problems of intensional opacity of referring expressions and the presupposition inheritance in the belief contexts from the discourse perspective. I discuss Jaszczolt's discourse model based on DRT to account for the belief reports. Jaszczolt analyzes referring expressions in terms of the three readings(de re, de $dicto_1$ and de $dicto_2$) and attempts to represent the differences between them in the DRS's via different anchoring modes; external anchoring, formal anchoring and nonanchoring. I propose an extended model to account for the presupposition inheritance in the belief contexts and attempt to analyze the data in Korean based on this model. The differences in the PI and in the representations of DRS's which are induced by the different complement types, ${\ldots}ko(mitta)\;and\;{\ldots}kesul(mitta)$, are discussed.

  • PDF

Analyzer to Identify Phrases and the Functional Roles in Sentences: Its Architectural Aspects

  • Alam, Yukiko Sasaki
    • Proceedings of the Korean Society for Language and Information Conference
    • /
    • 2007.11a
    • /
    • pp.67-75
    • /
    • 2007
  • This paper presents the architectural aspects of the phrase analyzer that attempts to recognize phrases and identify the functional roles in the sentences in formal Japanese documents. Since the object of interest is a phrase, the current system, designed in an object-oriented architecture, contains the Phrase class, and makes use of the linguistic generalization about languages with Case markers that a phrase, whether a noun phrase, a verb phrase, a postposition (or preposition) phrase or a clause phrase, can be separated into the content and the function components. Without a dictionary, and drawing on the orthographic information on the words to parse, it also contains a class that identifies the types of characters, a class representing grammar, and a class playing the role of a controller. The system has a simple and intuitive structure, externally and internally, and therefore is easy to modify and extend.

  • PDF

The design and implementation of an enhanced ASN.1 compiler for open system application (개방 시스템 응용을 위한 개선된 ASN.1 컴파일러 설계 및 구현)

  • 김홍열;임제택
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.33A no.3
    • /
    • pp.28-37
    • /
    • 1996
  • Syntax notation one (ASN.1) defined by ITU-T and ISO, is a formal abstrct specification language which has been widely used in international standards specifiation to inteconnect distributed open systems. It si necessary to have well defined encoder/decoder modules which taranslate ASN.1 datum to BER octets stream to interconnect distributed open systems. In this paper, we designed and implemented a new ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which atutomatically translates and ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which automatically translates an ASN.1 specification into C-language BER encoders and decoders with simple and neat I/F for the defined ASN.1 data types, and enhanced BER (basic encoding rules)encoding/decoding libraries, called HY(hanyang)BER library, and useful utility functions. And this paper discusses HYASNC compiler, HY BER runtime library's design and implementation principles, and also evaluates the perfomrance of HY BER library and the interoperability with other ASN.1 compilers.

  • PDF

The Variable Acquisition of Discourse Marker Use in Korean American Speakers of English

  • Lee, Hi-Kyoung
    • English Language & Literature Teaching
    • /
    • v.11 no.2
    • /
    • pp.1-18
    • /
    • 2005
  • This study is a preliminary investigation of the nature of discourse marker acquisition in Korean American speakers of English. Discourse markers are of interest because they are not an aspect of language taught through formal instruction either to native or non-native speakers. Therefore, discourse marker use serves as indirect evidence of face-to-face interaction with native speakers and an indicator of integration. In this light, the present study examines the presence of discourse markers in Korean Americans. The markers chosen for analysis were you know, like, and I mean. The data consist of spontaneous speech elicited from interviews. Sociolinguistic variables such as age, sex, and generation (i.e., $1^{st}$, 1.5, $2^{nd}$) were examined. Results show that there appears to be interaction between the variables and discourse marker use. While all speakers showed variable acquisition of markers, younger, female, and 1.5 generation speakers were found to use discourse markers more than other speakers. Although discourse marker use is optional and thus not a linguistic feature that must be necessarily acquired, it is clear that use is pervasive and acquired differentially by English speakers irrespective of whether they are native or not.

  • PDF