• Genomics & Informatics
• /
• 제10권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.

• 한국언어정보학회지:언어와정보
• /
• 제2권1호
• /
• pp.116-156
• /
• 1998

This paper is an HPSG approach to agreement phenomena involving the Korean honorific expressions. it is shown that the theoretical devices developed by the constraint-based theory of HPSG can be fruitfully used to capture the interactions between syntactic constraints and semantic of pragmatic factors in Korean honorific agreement. The HPSG's semantic feature 'referential index' plays a key rele in discribing the multiple interaction. The constraint-based theory of agreement proves successful in accounting for the phenomenon that may be called 'inconsistent' honorific agreement as well as 'consistent' regular honorific usages. However, this paper acknowledges its limit. Recognizing an important distinction between basic and 'coercive' honorific expressions, it is argued that a systactic-semantic-pragmatic approach such as the present one can only be applied to basic honorific agreement. Being sociolinguistic in nature, coercive honorific agreement is perhaps not amenable to formal linguistic investigation.

• 영어영문학
• /
• 제55권3호
• /
• pp.475-495
• /
• 2009

In this paper, I discuss some asymmetries of bracketing paradoxes from a corpus-based perspective. Through a critical examination of previous analyses of bracketing paradoxes, it is demonstrated that the cases of apparent asymmetries of bracketing paradoxes are consistently accounted for when combined with the frequency-based parsability in morphological processing. Based on the relative frequency, this paper argues that bracketing paradoxes are well-atttested when their immediate bases are frequent and productive enough to be accessed as a unit and stored as such in memory. This is an extension of Hay 2002 which conducted a comprehensive survey of differential frequency effects in suffix pairs. A frequency-based approach to bracketing paradoxes adopted in this paper can be a challenge to the conventional formal theory by assuming a major role of language use and have the potential to significantly advance our understanding of the asymmetries observed in the real language world.

• 정보보호학회논문지
• /
• 제7권3호
• /
• pp.79-94
• /
• 1997

분산 객체 시스템에서 보안 기술과 객체지향 기술의 통합은 중요한 요소이기 때문에 OMG(Object Management Group)에서는 객체 시스템에서 보안성을 다루기 위한 표준 보안 서비스 규격으로 CORBA(Common Object Request Broker Architecture) 보안 참조 모델(security reference model)을 제시하였다. CORBA 보안 참조 모델에서 접근 제어 기능은 특정 구현 메카니즘에 종속되지 않는 독립적인 개념으로 정의되고 있으며, 또한 보안 특성의 의미가 완전하게 기술되지 않는다. 이는 구현자와 사용자가 상호 일치되지 않은 개념을 갖을 가능성을 내포한다 따라서 본 논문에서는 CORBA 보안참조 모델에 기술된 접근 제어 기능이 갖는 의미가 정확히 기술될 수 있도록 집합론에 기초하는 정형화 언어인 Z 언어의 스키마 구조를 이용하여 CORBA 접근 제어 모델을 정형화한다.

• Journal of applied mathematics & informatics
• /
• 제6권3호
• /
• pp.783-798
• /
• 1999

Nondeterministic finite Rabin-Scott's automata without initial and final states (2 $\omega$-FA) are considered. In this paper they are used to define so called sets of obstruction used also in various alge-braic systems and to consider similar problems for the formal languages theory. Thus we define sets of obstructions of languages(or, rather, 2$\omega$-languages) of such automata. We obtain that each 2$\omega$-language defined by 2 $\omega$-FA has the set of obstruction being a regular language. And vice versa for each regular language L(containing no proper subword of its another word) there exists a 2$\omega$ -FA having L as the set of obstructions.

• 한국영어학회지:영어학
• /
• 제2권4호
• /
• pp.575-587
• /
• 2002

In this paper we discuss the contrastive nature of formalism and functionalism in linguistics. Though the mainstreams of linguistic analysis have been focused on the form and function, they have been challenged from each other's strong points. On the one hand, the formal description has been studied in the tradition of generative grammar. On the other hand, the functional nature has played a crucial role in the framework of language use. It seems undesirable to argue that there is one-sided bias toward any type of linguistic approach. I try to present a balanced view of these two contrastive approaches. We also argue that there should be a cooperative work in developing the mutual growth of linguistic theory.

• 한국영어학회지:영어학
• /
• 제2권3호
• /
• pp.403-430
• /
• 2002

With a view to providing a unitary interpretation of a lexical item, even, this paper proposes that even be understood as a quantifier. To countenance this idea, the quantifier theories will be evaluated against the implicature accounts on the basis of conceptual and empirical evidence. With the help of Bach (1999), the quantifier theories of even are regarded as most viable and plausible. On the other hand, from among different quantifier approaches even will be viewed as a quasi-universal quantifier, which means that even is similar to the universal quantifier but still it is different from it. That is, even introduces a comparison set that is context-dependent and only the salient members of this comparison set will be taken into account when an even-sentence is to be uttered. This observation is based on the formal representation for a universal quantifier in general on the one hand and the truth-conditional contribution of even to the sentence containing it.

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

The purpose of this paper is to analyze the lexical-semantic structure of morphologically derived passive verbs in Korean based on Pustejovsky (1995)'s Generative Lexicon Theory (GL) and to explain the change of the root verb's lexical-semantic structure by means of passivization. Passivization in this paper is defined as the unaccusaztivization. In Argument Structure of derived passive verbs, the agent argument is deleted and the theme argument is realized as a syntactic subject. As for Event Structure, derived passives express left-headed event (achievement), whereas their roots denote right-headed event (accomplishment). In Qualia Structure, passive verbs and root ones have the same Fomal Role, but in Agentive Role of passive verbs, an act weakens to a process. Both Formal and Agentive Roles have the same theme argument.

• Asia pacific journal of information systems
• /
• 제16권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.

• 영어어문교육
• /
• 제9권spc호
• /
• pp.79-98
• /
• 2003

This article reports that a testee's content schemata have detrimental effects on the validity of standardized reading comprehension tests. in case that the reading passages constitute his prior background knowledge framed by regular academic pursuits focused on a major field of study. The empirical research findings on such a reliability issue have shown that the Korean subjects' familiarity with the content domain of the reading materials may substantially enhance their test performance, operated as unfair advantages over the other participants at the same level of English proficiency who do not possess technical knowledge closely related to the contents of the test passages. Based on these results, it may be argued that the reading text should be composed of maximally neutral contents to every testee to avoid the possible overlapping between a test-taker's content schemata and the content domain of the materials. Therefore, this article claims that the tenets of schema theory with its long-standing foundation on culturally predetermined content and formal schemata need to be expanded to cover professional knowledge structures, like those acquired by higher education, as the hard-wired framework of an individual's original culture-specific background knowledge.