• Title/Summary/Keyword: Formal language

Search Result 310, Processing Time 0.023 seconds

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

A Formal Description and Analysis of 2-beolsik Hangul Input Methods (두벌식 한글 입력 방식의 정형적인 기술과 분석)

  • Kim, Yongmook;Kim, Kuk
    • Annual Conference on Human and Language Technology
    • /
    • 2016.10a
    • /
    • pp.27-32
    • /
    • 2016
  • 한글 입력 방식은 글쇠배열과 더불어 추가적인 낱자들을 입력하기 위한 결합 규칙이라는 형태로 정의할 수 있다. 그런데 이 규칙을 토대로 입력 방식을 실제로 구현해 보면 겹낱자를 결합하거나 음절이 바뀌는 과정에서 모호성 같은 문제가 발생할 수 있다. 초성과 종성을 문맥에 따라 구분해야 하는 두벌식, 모바일 환경처럼 매우 적은 글쇠, 수십 종류의 낱자들을 조합해야 하는 옛한글이라는 조건이 더해지면 입력 방식을 기술하고 분석하는 난이도가 더욱 높아진다. 본 논문에서는 한글 낱자의 결합 규칙을 대결합과 소결합으로 구분해서 기술하는 체계를 제안하며, 이를 토대로 입력 방식의 예상 동작을 분석해 주는 프로그램을 소개하였다. 그리고 모바일용 삼성 천지인과 KT 나랏글 한글 입력 방식을 동일 프로그램으로 기술하고 분석한 결과를 제시하였다.

  • PDF

An In-Depth Understanding of Five Asian English Teachers' Beliefs

  • Shin, Soo-Jeong
    • English Language & Literature Teaching
    • /
    • v.8 no.1
    • /
    • pp.103-124
    • /
    • 2002
  • For the current study, five Asian English teachers participated in their case studies to investigate an in-depth understanding of their beliefs about teaching and learning English as a foreign language. Data were collected through structured and unstructured interviews, written documents, observations of teacher-participants' micro teaching, a research methodology journal and a self-reflection journal. This study described the beliefs that Asian English teachers brought to the teacher preparation program and examined to see if these teacher-participants who were involved in case studies perceived change in their beliefs. The study found that formal and informal learning experiences greatly shaped the way teacher-participants' beliefs about the way learning and teaching ought to be. In addition, early experiences of learning and teaching influenced teacher-participants' change in beliefs.

  • PDF