• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 춘계정기학술대회
• /
• pp.377-381
• /
• 2001

An ATMS(Assumption-based Truth Maintenance System) has been widely used for maintaining the truth of information by detecting and solving contradictions in nile-based systems. But the ATMS can not correctly maintain the truth of the information in case that the generated information is satisfied within a time interval or includes data about temporal relations of events in time varying situations, because it has no mechanism manipulating temporal data. In this paper, The extended ATMS method is proposed, which can maintain the truth of the information in the inference system using information changing over time or temporal relations of events. In order to maintain contexts generated by relations of events, the label representation method is modified, the disjunction, conjunction simplification method in the label-propagation procedure and nogood handling method of the conventional ATMS are modified, too.

• 한국지능시스템학회논문지
• /
• 제17권5호
• /
• pp.674-678
• /
• 2007

Baldwin은 진리함수사상을 이용하는 근사추론법을 정의하였다. 우리는 논문[4]에서 기존에 사용되는 진리함수사상 이외에 새로운 진리함수사상 두 가지를 정의하여 일반화된 연역추론에 적용한 결과를 소개하였다. 이 논문에서는 이 진리함수사상을 적용한 일반화된 대우추론에 대하여 알아보고 그 결과를 소개하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.1416-1417
• /
• 2013

깊이 정보를 획득하기 위해서 가장 많이 시도되는 방법이 스테레오 정합이다. 스테레오 정합 알고리즘은 다양한 알고리즘의 조합으로 구성되며, 파라메터 또한 다양하다. 일반적으로는 middlebury에서 제공하는 영상과 ground truth를 이용해서 스테레오 정합 알고리즘을 연구하고, 파라메터 최적화 과정을 거친다. 실제 시스템에 알고리즘 및 파라메터를 적용할 때 middlebury 영상으로 선택된 알고리즘과 파라메터가 상이할 수 있다. 본 논문에서는 실제 시스템의 스테레오 카메라를 이용해서 ground truth를 만들 수 있는 방법을 제안하다. 프로젝트를 이용해서 패턴을 투사하고, 스테레오 카메라로 영상을 획득한다. 한 장면에 대해서 다양한 영상으로 스테레오 정합을 수행하여 만들어진 disparity map은 높은 정확성을 가지고 있음으로, 스테레오 정합 알고리즘 검증용 ground truth로 사용이 가능하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2023년도 춘계학술발표대회
• /
• pp.104-106
• /
• 2023

The mobile crowdsensing platform obtains sensing data from mobile users, and the involvement of the public increases the untrustworthy of collected data. In order to distinguish factual data from inaccurate data provided by untrustworthy users, the truth discovery method has been introduced for accurate data aggregation in mobile crowdsensing (MCS). To explore the application of truth discovery in mobile crowdsensing, we overview the general concepts of truth discovery algorithms. Finally, we summarize the main existing application prospects of truth discovery in mobile crowdsensing.

• 대순사상과 동아시아종교
• /
• 제1권1호
• /
• pp.39-60
• /
• 2021

This essay analyzes the meaning of "modern civilization" and the ways it relates to religion conceived as a "The Fellowship of Daesoon Truth (Daesoon Jinrihoe)." We take the expression "Fellowship of Truth" in the broadest sense as indicative of a human companionship with the true nature of the Real. We therefore understand the term to be practically equivalent with the concept of "religion" as connoting the ideas of bond, relationship, debt, and duty toward the Ultimate Reality, toward fellow human beings, and toward the cosmos in general. On this basis, our intent is to assess the nature and limits of the relationship between religion as a fellowship of the Truth and the tenets of modern civilization. Within this overarching perspective, the case of Daesoon Jinrihoe is particularly significant and fruitful for two sets of reasons. Firstly, this is so because Daesoon is typically branded a "new religious movement" open to modernity while it is also true that at least some of its representatives are wary of the negative implications of the modern world. Secondly, the significance of a study of Daesoon in light of the notion of religion as a "The Fellowship of the Truth" lies in that it asserts being rooted in tradition, which raises the question of its relationship with modernity.

• 논리연구
• /
• 제16권3호
• /
• pp.407-436
• /
• 2013

이 글의 목표는 직관주의적 유형론에서의 진리개념이 어떻게 이해될 수 있는지를 검토하고, 이에 의거하여 직관주의적이면서 객관적인 진리개념을 확보하는 문제에 있어서 프라위츠의 논증보다 진전된 논증을 제시하는 것이다. 이를 위해, 직관주의적 유형론에서의 명제, 유형 및 판단의 구분을 프레게의 판단이론과 비교하며 간략히 설명한 후, 직관주의적 유형론에서의 진리판단을 분석하고, 이에 의거해 증명의 존재의 확정성이 어떻게 이해될 수 있는지 밝힐 것이다. 또한 직관주의적 유형론에서 진리판단으로서의 존재판단이 어떻게 이해되어야 하는지, 특히 왜 그것이 존재양화명제가 될 수 없는지 그 이유를 밝히고, 존재판단을 생략적 판단으로 해석하는 한 견해를 비판할 것이다. 직관주의적 유형론에서의 진리개념에 관한 이 글에서의 분석은 증명의 존재의 확정성 문제와 증명의 존재의 비명제적 성격을 분명히 한 점에서 직관주의적이고 객관적인 진리개념에 대한 프라위츠의 규정보다 진전된 형태의 설명임을 밝히고, 이런 진리개념에 대한 주관적 진리개념의 옹호자들의 한 비판에 답할 것이다.

• 디지털융복합연구
• /
• 제12권3호
• /
• pp.89-94
• /
• 2014

본 연구는 로열티 프로그램에서 등급 강등 시, 고객의 등급과 메시지의 진실성, 관여도가 충성도에 미치는 영향을 검증하고자 20대 230명을 대상으로 $2{\times}2{\times}2$ 집단간 실험설계를 통한 ANCOVA분석을 실시하였다. 실험결과, 최고등급과 중간등급 모두 등급하락 후 충성도가 감소하였으며 최고등급보다 중간등급의 충성도가 더 작게 감소하였다. 최고등급의 경우 메시지에서 진실성을 느끼는 정도가 높은 집단의 충성도가 더 작게 감소하였으며, 관여도가 낮은 집단의 충성도가 더 작게 감소하였다. 중간등급 또한 진실성을 느끼는 정도가 높은 집단의 충성도가 더 작게 감소하였으며, 관여도가 낮은 집단 충성도가 더 작게 감소하였다. 고객의 등급, 메시지의 진실성, 관여도의 삼원상호작용에서는 메시지에 진실성이 높다고 느끼며 관여도가 낮은 중간등급의 충성도가 가장 작게 감소하였다.

• 논리연구
• /
• 제16권2호
• /
• pp.131-154
• /
• 2013

마이클 윌리엄스는 그의 논문에서 데이빗슨의 원초적 해석은 진리 조건적 의미 설명에 해당한다는 통설에 반대하면서, 해석에서는 실제로 팽 창적 진리가 설명적 역할을 수행하지 않으므로 해석은 진리 축소주의와 조화될 수 있다는 제안을 내놓는다. 본 논문을 통해 필자는 원초적 해석 내에서 진리와 의미 사이의 설명적 구도에 관한 올바른 이해를 모색하고, 이를 바탕으로 윌리엄스의 주장이 적절한가의 여부를 검토하고자 한다. 필자의 진단은 해석에 포함된 몇 가지 중심적인 요소들을 어떻게 바라볼 것인가에 따라서 윌리엄스의 대안적 해석 이론이 수용될 여지가 결정된다는 것이다. 특히 진리 조건에 대한 축소 또는 팽창적 이해는 원초적 해석을 이해하는 방식에서도 차이를 낳는 전제조건이며 그에 따라서 원초적 해석을 축소주의적으로 이해할 수 있는 가능성 도 결정됨을 본 논문은 논증할 것이다. 아울러 이와 비슷한 평가가 호위치의 사용 의미론과 데이빗슨 사이의 유사성을 주장하는 윌리엄스의 또 다른 주장에 대해서도 동일하게 적용될 수 있음을 서술할 것이다.

• 한국언어정보학회지:언어와정보
• /
• 제8권1호
• /
• pp.163-182
• /
• 2004

Since metaphor was proposed to be a matter of thought instead of language over two decades ago, the research in this area has made most of its progress by the cognitivists. For the cognitivists represented by Lakoff, metaphor is not a mere poetic or rhetoric device, but is central to our everyday language. Furthermore, according to them, we categorize the world and break it into concepts mainly through metaphors, and truth conditions simply cannot account for metaphor. However, this cognitivists' view has been severely counterattacked by the truth-conditional semanticists. Their main criticism is that the cognitivists do not provide a way to go from our internal representations to the outside world. It is also criticized that the cognitive theory of metaphor as cross-conceptual domain mappings is too broad and general, and that they do not explain why a particular metaphorical expression should be subsumed under one mapping rather than another mapping, i.e., their schemes and structural relations are not predictive. In this context, the purpose of this paper is to propose a model for metaphor interpretation that combines the virtues of the two opposite views of metaphor. Truth-conditional semantics cannot ignore cognitive aspects of language, so-called states of affairs or mental representations, while cognitive theories cannot neglect vigorous representation of meaning with objective reality. This paper will try to present a preliminary outline of this combining model.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1999년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.13-18
• /
• 1999

Land cover map of 30 arc-second grid by NOAA AVHRR data for the whole Asia was produced by the authors as the project of the Asian Association on Remote Sensing(AARS). Land cover change monitoring of continental scale by satellite data needs preprocessing to remove undesirable factors due to noises, atmosphere, or the effect by solar zenith angle. The paper describes the method to remove these factors. The most important thing for better mapping/monitoring in the future is the accumulation of ground truth data by many land cover related researchers. The project of the development of Global Land Cover Ground Truth Database(GLCGT-DB) is proposed.