• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.835-840
• /
• 2007

현재 이슈가 되고 있는 유비쿼터스 컴퓨팅 환경에서 서비스를 제공함에 있어 사용자의 만족도를 높여주기 위해 서비스의 지능화가 필요하다. 이러한 지능적인 서비스를 제공하기 위해 서비스에 필요한 지식을 논리적으로 표현하고, 체계적으로 추론할 수 있는 방법이 요구된다. 이를 위해 표현 범위가 넓고 유연한 일차 술어 논리(FOL)는 여러 분야에서 사용되었으며, 추론 시스템에 이용되고 있다. 그러나 풍부한 표현 범위는 유비쿼터스 컴퓨팅 환경에서의 오브젝트 관리에 있어 많은 계산비용이 소요된다. 서비스의 빠른 제공을 목표로 하고 있는 유비쿼터스 환경에서 이러한 계산비용은 서비스 제공 시간을 늦추는 요인이 된다. 이러한 문제를 극복하고 지식의 의미를 부여하는 방법으로 Description Logic과 온톨로지가 연구되고 있다. 특히 OWL(Web Ontology Language)은 풍부한 표현력을 제공하고 있으며, W3C에 의해 온톨로지 기술의 표준으로 제안되었다. 그러나 풍부한 표현 범위는 실제 컴퓨팅 환경에서 모두 사용되지 않고, 기술 및 추론의 복잡함으로 overhead가 발생한다. 본 논문에서는 이를 극복하고자 실제 유비쿼터스 환경에서 요구되는 표현 범위를 만족하는 SUNHI의 표현력을 갖는 EOL을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11a
• /
• pp.321-324
• /
• 2003

본 논문에서는 코드 최적화를 위하여 계산적으로나 수명적으로 제한이 없는 희소 코드 모션 알고리즘을 제안한다. 이 알고리즘은 지나친 레지스터의 사용을 막기 위하여 불필요한 코드 모션을 억제한다. 또한, 본 논문에서는 기존 알고리즘의 술어의 의미가 명확하지 않은 것을 개선하였고 노드 단위 분석과 명령어 단위 분석을 혼용했기 때문에 발생하는 모호함도 개선하였다. 따라서, 제안한 알고리즘은 불필요하게 중복된 수식이나 배정문의 수행을 피하게 함으로써, 프로그램의 불필요한 재계산이나 재실행을 하지 않게 하여 프로그램의 능률 및 실행시간을 향상시킨다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.122-126
• /
• 2000

본 논문에서는 코드 최적화를 위하여 계산적으로나 수명적으로 제한이 없는 배정문 모션 알고리즘을 제안한다. 이 알고리즘은 지나친 레지스터의 사용을 막기 위하여 불필요한 코드 모션을 억제한다. 또한, 본 논문에서는 기존 알고리즘의 술어의 의미가 명확하지 않은 것을 개선하였고 노드 단위 분석과 명령어 단위 분석을 혼용했기 때문에 발생하는 모호함도 개선하였다. 따라서, 제안한 알고리즘은 불필요하게 중복된 수식이나 배정문의 수행을 피하게 함으로써, 프로그램의 불필요한 재계산이나 재실행을 하지 않게 하여 프로그램의 능률 및 실행시간을 향상시킨다.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.281-282
• /
• 2012

문서에 존재하는 중요한 개체를 인식하고 그것들 간의 관계를 식별하는 시맨틱 트리플 추출은 문헌 분석의 기반이 되는 중요한 작업이다. 본 논문에서는 특허 문헌에서 이러한 시맨틱 트리플을 추출하는 방법에 대해서 설명한다. 특허 문헌의 효과적인 자동 분석을 위하여 문장 내의 다양한 구문적 변형을 인식하여 하나의 정규화된 의미 형태로 표현해주는 술어-논항 구조 기반의 패턴을 사용하였고, 패턴의 자동화된 확장을 위하여 부트스트랩핑 방법을 적용하였다. 이러한 방법은 소규모의 시드 데이터를 활용하여 특정의미 관계를 갖는 패턴을 자동으로 확장하고 최종적으로는 유의미한 트리플을 추출하는 방법으로 다량의 이진 관계 집합을 처리해야 할 때 아주 유용한 방법이다. 시스템 적용을 통하여 특허 문헌에 적합한 38개의 연관관계 집합을 생성하였고, 32,608개의 유의미한 트리플을 추출하였다.

• The Journal of the Korea Contents Association
• /
• v.20 no.5
• /
• pp.338-343
• /
• 2020

This paper provides a semantic account of double nominative constructions in the framework of Autolexical Grammar, which views syntax, semantics, morphology, and other language components as modules generated simultaneously and independently. Some syntactocentric models in the past analyzed double nominatives as a result of possessor raising, ECM or incorporation. This paper provides a semantic explication of double nominatives through function-argument (F/A) structure of internal possession and external possession. The possessum used in double nominatives is a relational noun which takes a possessor as its argument in F/A structure. If the possessor directly combines with the relational noun, then internal possession is generated. If the possessor is a gap in F/A structure, then the argument which is coreferential with the gap combines later with the predicate, resulting in external possession, in which the possessor is in the nominative case. Unlike internal possession, the F/A structure of external possession structurally shows that the sentence is predicated of the possessor.

• Journal of the Korean Society for information Management
• /
• v.36 no.2
• /
• pp.175-199
• /
• 2019

Uncertainty means incomplete stages of knowledge of propositions due to the lack of consensus of information and existing knowledge. As the amount of academic literature increases exponentially over time, new knowledge is discovered as research develops. Although the flow of time may be an important factor to identify patterns of uncertainty in scientific knowledge, existing studies have only identified the nature of uncertainty based on the frequency in a particular discipline, and they did not take into consideration of the flow of time. Therefore, in this study, we identify and analyze the uncertainty words that indicate uncertainty in the scientific literature and investigate the stream of knowledge. We examine the pattern of biomedical knowledge such as representative entity pairs, predicate types, and entities over time. We also perform the significance testing using linear regression analysis. Seven pairs out of 17 entity pairs show the significant decrease pattern statistically and all 10 representative predicates decrease significantly over time. We analyze the relative importance of representative entities by year and identify entities that display a significant rising and falling pattern.

• Cross-Cultural Studies
• /
• v.42
• /
• pp.451-474
• /
• 2016

Analysis of the syntactic structure of the modern Chinese adverbs for time 'Cengjing (曾經)' and 'Yijing (已經)' was performed to examine the tenses and aspects of the terms. The corresponding Korean words were examined and the terms in both languages were compared. The syntactic structures used in China and South Korea were found to be different. We hope the study of the Chinese language will help Korean students. 'Cengjing (曾經)' specific projects with 'aspect' of, 'Past experience aspect', 'Past continuous aspect', 'Past continuous aspect' in the past tense. [ED: unclear, please reword] These correspond to '_었 (았)_', '_었었_' in the Korean language. 'Yijing (已經)' has 'finished phase' of concrete projects, 'Past experience aspect', 'Past continuous aspect', also has a specific project tense, the 'past tense', 'present tense', 'future tense', and so tense. [ED: unclear, please reword] Adjectives can also be modified with a 'change of status'. These correspond to '_었 (았)_', '_고_', '_었었_', '곧' etc. in Korean. 'Cengjing (曾經)' and the dynamic auxiliary 'Guo (過)' were compared to determine whether they have the aspect and tense features. However, 'Guo (過)' can only modify the predicate verb, so it possesses only aspect characteristics. 'Cengjing (曾經)' modifies the range more widely. 'Yijing (已經)' may be modified by the adverb 'Zai (在)' whereas 'Cengjing (曾經)' may not. Additionally, 'Yijing (已經)' can be modified by predicate adjectives and noun predicates, while 'Cengjing (曾經)' cannot.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.71-109
• /
• 2014

Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

• The Journal of the Korea Contents Association
• /
• v.22 no.10
• /
• pp.74-82
• /
• 2022

The purpose of this paper is to provide a multi-modular account of double accusative constructions in Korean in the framework of Autolexical Grammar. The grammar views syntactic, semantic, and morphological structures of sentences as modules which are generated simultaneously and independently. Unlike syntactocentric theories, this paper analyzes semantic characteristics of double accusatives through function-argument (F/A) structure along with roles structure (RS) and information structure (IS). In F/A structure of double accusatives, the first accusative becomes an argument of a predicate, unlike the possessive, which is an argument of a relational noun. Furthermore, the first accusative of double accusatives takes the role of patient in RS, which allows it to become the subject of a passive sentence. On the other hand, the second accusative, which is originally the possessee, becomes a focal area in IS. Therefore, the purpose of double accusatives is twofold: one is to turn the possessor into an independent argument of a predicate which takes patient role, and the other is to turn the possessee into a focus. Such semantic characteristics of double accusatives can be expressed by means of multi-dimensional structures of F/A structure, RS, and IS of Autolexical Grammar, which allows an integrated account of the phenomenon.

• Journal of the Korean earth science society
• /
• v.32 no.1
• /
• pp.84-98
• /
• 2011

The study investigated the linguistic characteristics of middle school students' writing on the themes of earth science through analysis of its genre and register. Data for analysis included $7^{th}$ grade and $9^{th}$ grade students' writings about 'global warming' and 'classification of rocks'. The results of this study include: First, many students were not accustomed to writing in genre, especially exposition genre. Second, in terms of ideational meaning, the material verbs representing action or doing were more dominant than relational verbs that are related to the attribute or definition of things, and additional logical relations were predominant. Third, regarding interpersonal meaning, agents, emotions, subjective opinions appeared in the writings and students did not express their ideas conclusively and revealed feelings of doubt and uncertainty about their knowledge. Fourth, as for textual meaning, most students listed fragments of information using additional conjunctions in simple structures and were not accustomed to writing texts with organizing structures, logical patterns, cohesion, and coherence. From these results, we argued that the scientific writings should be emphasized in science learning that aims to foster scientific literacy. In addition, we discussed the necessity of improving science teachers' perceptions on scientific writing as well as setting up a specific plan in the national curriculum.