• Korean Journal of Logic
• /
• v.1
• /
• pp.9-63
• /
• 1997

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.96-110
• /
• 1994

인간은 사고하는 존재, 그리고 언어를 사용하는 존재라는 사실은 바로 인간이 지향적 주체라는 것을 보여주는 두가지 특징적 측면이다. 즉 심성내용과 의미는 지향적 대상의 두 축이라고 할 수 있다. 그런데 데이빗슨은 자비(charity) 혹은 합리성(rationality)이라는 동일한 원리에 기초하여 내용과 의미의 통일적 이론을 모색한 철학자이다. 이 논문에서는 데이빗슨의 내용과 의미의 이론을 반(反)데카르트적 관점으로 해석함으로써 데이빗슨 철학이 갖는 비트겐슈타인적 경향을 검토한다. 즉 데이빗슨의 내용과 의미론을 비트겐슈타인적 시각에서 조명하고 둘 사이에 어떤 연속성과 차이가 있는지를 논의함으로써, 데카르트 전통의 지향성 개념을 모색하는 새로운 지향성 개념을 모색하는 것이 이 논문의 목표이다.

• Annual Conference on Human and Language Technology
• /
• 2014.10a
• /
• pp.255-258
• /
• 2014

본 논문에서는 semantic parsing과 사전 정의된 어휘-의미 패턴 질의 템플릿 방법론을 결합하여 자연어 질의로부터 RDF 지식베이스에 질의하기 위한 SPARQL 쿼리를 생성하는 방법을 제안한다. semantic parsing 접근법은 문장의 표현과 분리된 형식적 의미표현만을 포착해내므로, paraphrase 혹은 의미 변화와 무관한 어순의 변화에 강인하지만, 일부 자연어 질의문장에는 단순한 의미 및 구조를 갖는 문장도 적합한 형식적 의미표현을 생성하지 못하는 단점이 있다. 따라서 이 연구에서는 이러한 단순한 문장에 있어서는 사전 정의된 질의 템플릿을 사용하여 적합한 쿼리를 생성하되, 적합한 템플릿을 선택하는데 있어 해당 질의문장의 어휘-의미적 유형을 포착하고 해당 정보를 이용하는 방법을 이용하였으며 이를 통해 주 방법론의 약점을 보완하는 제한적인 효과를 얻을 수 있었다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.10
• /
• pp.783-789
• /
• 2020

This paper proposes a new method for vision-based navigation using semantically segmented aerial images. Vision-based navigation can reinforce the vulnerability of the GPS/INS integrated navigation system. However, due to the visual and temporal difference between the aerial image and the database image, the existing image matching algorithms have difficulties being applied to aerial navigation problems. For this reason, this paper proposes a suitable matching method for the flight composed of navigational feature extraction through semantic segmentation followed by template matching. The proposed method shows excellent performance in simulation and even flight situations.

• The Journal of the Convergence on Culture Technology
• /
• v.4 no.1
• /
• pp.275-278
• /
• 2018

This study examines how poem and poetic ego of Cho Ji-Hoon form synapses. It is to clarify the synaptic structure of the healing, the contact point between the literary mechanism and the mechanism of the ego. Therefore, it aims to encode the active therapy by substituting the structure into the literary therapy program. Cho Ji-Hoon's poem "Bellflower Flower" is a mesh of poem, and a mesh of semantic arguments is set up for the 'Bellflower Flower' of functor. At this time, the longing that attracts depression to the net of the semantic argument is caught. This exists as a function of healing. If we embody a literary therapy program that utilizes the synaptic structure of this healing, it will be able to experience the function of literary therapy improved than before.

• Korean Journal of Logic
• /
• v.16 no.2
• /
• pp.189-231
• /
• 2013

The purpose of this paper is to show that Williamson's counterexamples and Fara's paradox do not conclusively refute supervaluationism. I will achieve this purpose on the basis of local validity. In general, people regard supervaluational validity as global validity. And D-introduction, which is premise of Williamson's counterexamples and Fara's paradox, is justified only if we assume global validity. But it cannot correctly grasp supervaluational semantics, especially semantic character of D-operator. So I will show that validity of supervaluationism is local and define global validity by local validity. Strategy of this paper is to protect supervaluationism against Williamson's counterexamples and Fara's paradox by minimal modification of supervaluationism and to prove that supervaluational logic is not revisionary and weak for solving the sorites paradox.

• The Journal of the Korea Contents Association
• /
• v.21 no.3
• /
• pp.23-32
• /
• 2021

Semantic image segmentation technology in the field of computer vision is a technology that classifies an image by dividing it into pixels. This technique is also rapidly improving performance using a machine learning method, and a high possibility of utilizing information in units of pixels is drawing attention. However, this technology has been raised from the early days until recently for 'lack of detailed segmentation' problem. Since this problem was caused by increasing the size of the label map, it was expected that the label map could be improved by using the edge map of the original image with detailed edge information. Therefore, in this paper, we propose a post-processing algorithm that maintains semantic image segmentation based on learning, but modifies the resulting label map based on the edge map of the original image. After applying the algorithm to the existing method, when comparing similar applications before and after, approximately 1.74% pixels and 1.35% IoU (Intersection of Union) were applied, and when analyzing the results, the precise targeting fine segmentation function was improved.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.54-56
• /
• 1999

현재 많은 내장형 시스템을 구현하기 위한 방법론으로 가상 프로토타입(VP)을 이용하고 있다. 본 논문에서는 가상 프로토타입을 이용하여 내장형 시스템의 설계 및 구현을 위해 사용되는 시스템 명세 언어인 SpecCharts로 명세된 시스템을 동기적 의미론에 만족하는 SpecCharts의 Subset을 규명하여 동기화 형태로 해당명세를 변환시키고 이로부터 synchronous VHDL 코드로 생성할 수 있는 방법을 설계하였다. 동기적 의미론을 만족시키기 위하여 비결정적인 추상적인 모델(NDAM)을 이용하여 SpecCharts로부터 VHDL ？로 변환하는 방법을 제시하고, 변환된 VHDL 코드를 동기적 VHDL 코드로 변환하기 위하여 W. Baker에 의해 규명된 동기적 VHDL subset 적용하여 synchronous VHDL 코드를 생성하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.62-64
• /
• 2010

문맥 광고의 의미론적 매칭에서 웹 페이지와 광고의 매칭 정확도는 웹 페이지와 광고의 분류 성능에 종속적이다. 그러나 광고의 짧은 텍스트는 광고 분류 성능을 하락시키는 원인이 되고 있다. 본 논문에서는, 광고 분류 성능을 높이기 위하여, 광고 랜딩 페이지를 활용하여 광고 텍스트를 확장시키는 방법을 제안하고, 실험을 통하여 그 효과를 입증한다. 추가로, 구문론적 매칭과 의미론적 매칭 방법을 적용하여 개발된 문맥 광고 엔진의 프로토타입을 제시한다.