• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.06a
• /
• 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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.5
• /
• pp.674-678
• /
• 2007

Baldwin defined the approximate reasoning using truth function mapping. In paper [4], we defined two truth function mappings and applied these truth function mappings to generalized modus ponens. In this paper, we introduce the results of generalized modus tollens using these two truth function mappings.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1416-1417
• /
• 2013

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.05a
• /
• 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.

• Journal of Daesoon Thought and the Religions of East Asia
• /
• v.1 no.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.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Journal of Digital Convergence
• /
• v.12 no.3
• /
• pp.89-94
• /
• 2014

It empirically studied the effects of customer status, truth of messages, and involvement on loyalty when customer experience demotion in loyalty program. A scenario based 2(customer demotion: highest status customer/middle status customer) ${\times}$ 2(truth of messages: high/low) ${\times}$ 2(involvement: high/low) between-subjects factorial design experiments are conducted for the hypotheses. According to the result of ANCOVA, highest status customer's loyalty and middle status customer's loyalty decrease when they experience demotion. But middle status customer's loyalty less decreases than the highest status customer. Loyalty of the group who feel high truth of message less decreases than those of other groups. And loyalty of the low-involvement group's loyalty less decreases than those of other groups. Moreover it test three way interactions among customer status, truth of messages, and involvement. The result indicates that loyalty of the group who feel high truth of message and low-involvement less decreases than those of other groups.

• Korean Journal of Logic
• /
• v.16 no.2
• /
• pp.131-154
• /
• 2013

Michael Williams, in his paper, rejects the wide-accepted view that Donald Davidson's radical interpretation is a truth conditional account of meaning, and suggests a claim that robust truth in fact does not play any role in Davidson's interpretation and thus interpretation can be in accord with the deflationary theory of truth. In this paper, I will first research the right understanding on the explanatory relations in radical interpretation between truth and meaning, and on that ground, will evaluate the adequacy of Williams' suggestion. My diagnosis is that the acceptability of Williams' idea depends on how we regard the several factors which are crucial for interpretation. Especially I will argue that whether truth condition is regarded as deflationary or inflationary makes difference to the way of understanding radical interpretation, hence the room for taking radical interpretation as deflationary can be in two different ways. Furthermore I will show the same argument can be applied to Williams' another claim that Paul Horwich's use theory of meaning is similar to Davidson's account.

• Language and Information
• /
• v.8 no.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.

• Proceedings of the KSRS Conference
• /
• 1999.11a
• /
• 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.