• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.121-146
• /
• 2004

본 논문은 베이즈주의가 확률론을 이용해서 제거적 귀납을 정교하게 발전시키고 있다고 주장한다. 이를 위해 본 논문은 두 가지 작업을 진행한다. 하나는 제거적 귀납이 무엇인가 하는것이고 다른 하나는 제거적 귀납이 베이즈주의에 기여하는 바가 무엇인가 하는 것이다. 먼저 본 논문은 제거적 귀납이 참인 가설을 포함하는 가능한 가설들의 총체로부터 경쟁가설들을 연역적 또는 귀납적으로 제거하고 남는 가설을 선택하는 추론형식임을 밝히고, 이 때 베이즈주의는 제거적 귀납을 정교하게 발전시킨 모습이기 때문에 제거적 귀납으로부터 기술적으로 도움 받을 측면은 없다고 주장한다. 그 대신 본 논문은 베이즈주의가 과학방법론으로 발전되는 데에서 직면하는 여러 가지 문제점을 해결하는 방법에 대해 제거적 귀납으로부터 조언을 얻을 수 있다고 주장한다. 이와 같은 논의를 통해 본 논문은 베이즈주의와 제거적 귀납주의의 결합은 유용한 과학방법론을 만들 수 있을 것으로 전망한다.

• Journal of Internet Computing and Services
• /
• v.13 no.2
• /
• pp.87-98
• /
• 2012

Understanding agent's intent is an essential component of the human-computer interaction of ubiquitous computing. Because correct inference of subject's intention in ubiquitous computing system helps particularly to understand situations that involve collaboration among multiple agents or detection of situations that can pose a particular activity. This paper, inspired by people have a mechanism for interpreting one another's actions and for inferring the intentions and goals that underlie action, proposes an approach that allows a computing system to quickly recognize the intent of agents based on experience data acquired through prior capabilities of activities recognition. To proceed intention recognition, proposed method uses formulations of Hidden Markov Models (HMM) to model a system's prior experience and agents' action change, then makes for system infer intents in advance before the agent's actions are finalized while taking the perspective of the agent whose intent should be recognized. Quantitative validation of experimental results, while presenting an accurate rate, an early detection rate and a correct duration rate with detecting the intent of several people performing various activities, shows that proposed research contributes to implement effective intent recognition system.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2003.05a
• /
• pp.5-7
• /
• 2003

의류용 섬유제품의 쾌적성을 객관적으로 측정하려는 시도가 계속되고 있지만, 아직 소비자의 미묘한 차이를 검출하는 능력을 재현하기에는 거리가 있어 보인다. 객관적 측정법들은 재현성과 신뢰성 면에서 제각기 자신들의 우수한 성능을 자랑하지만, 검출능력의 민감성은 주관적 평가에 훨씬 못 미치고 있기 때문에 비현실적인 경우가 많다. 본 연구의 목적은 주관적 평가의 신뢰성을 높이고 통계적인 추론이 가능한 보다 진보된 형식의 주관적 평가법을 개발하고 의류용 직물의 촉감평가에 응용하는 것이다. 국내에서 생산되는 여름용 캐쥬얼 웨어를 대상으로 여러 형태의 주관적 평가법을 적용하여 그 촉감을 평가하였다. 평정척도법, 표준 비교법, 순위법, Thurstone일대 비교법, Quad 분석법 등을 순차적으로 적용하여 평가자 판단의 일관성 여부, 평가자간의 일치성 여부, 재현성 및 논리성 여부를 통계적으로 평가한 후 이를 통과한 평가자들을 대상으로 실험을 반복한 후, 직물 촉감과 관련된 물리적 속성들과의 관련성을 고찰하였다.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.273-295
• /
• 2001

통계는 연역적 사고를 강조하는 수학의 다른 영역과 달리 귀납적 추론과 직관적 사고를 요구한다. 따라서 학교 수업에서 학생들이 실제적인 상황을 모델링 할 수 있도록 하며, 주어진 상황에서 자료를 올바르게 산출하고 분석 할 수 있도록 적절한 지도 방법이 필요하다. 그렇지만 학교 수업은 대다수 알고리즘 연습 위주의 통계 학습-지도로 통계적 사고 교육이 제대로 이루어지지 못하고 있다. 이로 인해 학생들은 형식적인 통계 처리에는 익숙하지만 통계 교육의 궁극적 목적인 변이성과 자료를 현명하게 다루는 능력이 부족하다. 본고에서는 피상적인 기계적 계산위주의 통계교육에서 실제적인 자료를 수집하고, 이를 적절히 가공 처리하여 정보의 가치를 높일 수 있는 통계 지도 방향을 탐색해 보고자 한다.

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.97-136
• /
• 2006

비트겐슈타인의 규칙따르기 개념에 대한 올바른 이해는 그의 후기 철학의 궤적을 살피는데 있어서 중요하다. 비트겐슈타인의 규칙따르기 문제에 대해 회의적 해석으로 유명한 크립키는 "탐구"의 201절을 문제 삼으며 '역설'의 문제를 새로운 형식의 철학적 회의주의로 간주했다. 본 논문은 규칙의 역설에 대한 크립키의 논증이 비트겐슈타인의 관점과 무엇 때문에 충돌하는지를 밝히면서 그와 함께 비트겐슈타인이 '규칙의 역설'을 제시한 궁극적 이유를 규명하는데 있다. 규칙의 역설에 대한 크립키 논증의 의의와 한계를 비판적으로 다룸으로서 필자는 다음과 같은 점을 주장할 것이다. 비트겐슈타인에게 있어서 규칙은 우리들의 행동을 이끄는 지침의 역할을 하며, 규칙의 문제를 추론과 연관시켜 수학이 엄격한 규칙을 따르는 인간의 지적 활동이며, 규칙에 대한 비트겐슈타인의 관점은 귀납적 회의주의와 무관하다. 이런 맥락에서 비트겐슈타인을 회의주의자 혹은 상대주의자로 평가하는 것은 문제가 있다. 그런 점에서 비트겐슈타인은 오히려 어떤 이론이나 선입견에 사로잡히지 않은 봄의 방식을 강조한 철학자로 평가하는 것이 옳다.

• Journal of Korean Philosophical Society
• /
• v.129
• /
• pp.267-290
• /
• 2014

The slippery slope argument means that if we accept a type of action A, we are committed to accepting B, C and eventually N. Then, N is situation which we must not accept morally. It works causal mechnism that B because A is raised, C because B is raised. But in the logic textbooks and treatises, the slippery slope argument is classified as fallacy. The reason is that the argument is not a causal argument. Actually, it is a probable. Also it is argued that the argument is wrong because it fears about the future extremely. But We can not say all slippery slope argument is fallacy even though a slippery slope argument is sometimes fallacy. I think it is persuasive argument in a significant place. Therefore I argue that the argument is not simple logic as a form of thinking, but practical reasoning applied the context of dialogue. So in order to find it to be practical reasoning we demand the new understanding to fallacy theory. In traditionally, fallacy is defined to wrong reasoning logically, but according to Walton, fallacy means a verbal tactic or deceptive trick that can be used to cause someone to fall down in argument. That is to say, whether or not the argument is successful depends on how it uses as argument tactic in a given context of dialogue. Therefore I argue that whether or not the argument is successful, because of it is practical problem used in a context of dialogue, is to be approached to pragma and dialectical method, not semantic.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.05a
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.4B
• /
• pp.491-504
• /
• 2001

본 논문은 고정된 카메라를 통해 들어오는 도로연상에서 추적되는 다중 차량들의 겹침(occlusion)발생시 칼만 필터와 차량의 특징정보를 이용하여 개별 차량을 분할하고 추적 가능한 시스템을 제안하고 구현하였다. 다중 차량을 추적할 시 가장 큰 문제점이 되고 있는 차량 겹침을 해결하기 위해 카메라와의 거리를 이용하여 해결하는 방법 3D 모델을 이용하여 해결하는 방법, 겹침 추론 등 차량 겹침을 해결하기 위한 여러 가지 방법들이 제시되고 있다. 그러나 영상에 연속적으로 나타나는 다중 차량의 겹침을 단일 차량으로 인식할 수 는 단점이 있다. 따라서 칼만 필터와 차량의 특징 정보로서 차량의 높이와 넓이의 비, 추적에 사용되는 박스에서 차량과 여백의 비를 이용함으로서 연속적으로 나타날 수 있는 차량 겹침을 분할하고 추적 가능하게 하는 시스템을 구현하고 실험하였다. 본 시스템에서는 256X 256의 크기로 15 frames/sec로 저장된 AVI 파일 형식의 동영상을 사용하여 실험에 이용하였으며, 시내 도로에서의 차량들의 실험 결과 기존의 방법 보다 차량 특징 정보를 이용한 방법이 연속적 겹침에 대한 처리에 우수함을 보였다.

• International Commerce and Information Review
• /
• v.18 no.4
• /
• pp.143-164
• /
• 2016

PICC are dealing with form requirements of international commercial contract under writings in confirmation, conclusion of contract dependent on agreement on specific matters or in a particular form, contract with terms deliberately left open, merger clauses, modification in a particular form. If a writing which is sent within a reasonable time after the conclusion of the contract and which purports to be a confirmation of the contract contains additional or different terms, such terms become part of the contract, unless they materially alter the contract or the recipient, without undue delay, objects to the discrepancy. Where in the course of negotiations one of the parties insists that the contract is not concluded until there is agreement on specific matters or in a particular form, no contract is concluded before agreement is reached on those matters or in that form. If the parties intend to conclude a contract, the fact that they intentionally leave a term to be agreed upon in further negotiations or to be determined by a third person does not prevent a contract from coming into existence. A contract in writing which contains a clause indicating that the writing completely embodies the terms on which the parties have agreed cannot be contradicted or supplemented by evidence of prior statements or agreements. However, such statements or agreements may be used to interpret the writing. A contract in writing which contains a clause requiring any modification or termination by agreement to be in a particular form may not be otherwise modified or terminated.

• Korean Journal of Cognitive Science
• /
• v.1 no.2
• /
• pp.255-257
• /
• 1989

This paper proposes a method for extracting the imformation of aspect and modality from the predicative part which is consisted of main verbal and auxiiary verbals.Data which are expressed by the compound predicate with many consecutive verbals are collected and analyzed to thirty-six structual forms of the predicative part.Inthe final analysis, an extracting function of conceptual information is derived to find the connoted aspect and modality in each structure.The informations which are obtained by this function decrease the individual ambiguity of an auxiliary verbal and offer a detailed meaning inthe syntactic and semantic analysis of machine translation system or inference machine.