• 논리연구
• /
• 제11권2호
• /
• pp.1-56
• /
• 2008

본 논문은 제르멜로가 집합론을 공리화함에 있어서 힐버트의 공리적 방법을 차용하였다는 널리 무비판적으로 받아들여져 온 가정 자체를 검토하고자 한다. 그들이 공유했다고 가정되는 공리적 방법의 실체가 무엇이고 그것은 과연 어느 시기에 정립된 것인지를 묻는 데서 출발해서 공리적 방법에 관한 제르멜로와 힐버트의 사상이 어떻게 상호작용하며 발전해 나갔는지를 철학적 반성을 통해 규명하려는 것이다. 그 결과 후기 사상에서뿐만 아니라 심지어 전기 사상에 있어서도 제르멜로가 집합론 자체와 공리적 방법에 관하여 힐버트와 상당히 다른 견해를 지녔을 가능성을 확인할 것이다. 이러한 결과는 집합론의 역사와 공리적 방법의 역사, 그리고 나아가서 수학철학 전반에 걸쳐 상당한 함축을 지닐 수밖에 없다고 본다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2007년도 한국지능정보시스템학회
• /
• pp.297-306
• /
• 2007

지능정보시스템 구축에 있어서 자동화가 어려운 단계중의 하나인 규칙 습득을 위해 활용되는 방법중의 하나가 제한된 언어집합 기법을 이용하는 것이다. 그러나 제한된 언어집합 기법을 이용해 규칙을 생성하기 위해서는 규칙을 구성하는 변수와 그 값들에 대한 정보가 사전에 정의되어 있어야 하는데, 유동성이 큰 웹 환경에서 예상 가능한 모든 변수와 그 값을 사전에 정의하는 것이 매우 어렵다. 이에 본 연구에서는 이러한 한계를 극복하기 위해 제한된 언어집합 기법과 온톨로지를 이용한 규칙 생성 방법론을 제시하였다. 이를 위해 지식의 습득 대상이 되는 특정 문장은 문법구조 분석기를 이용해 파싱을 수행하며, 파싱된 단어들을 이용해 규칙의 구성 요소인 변수와 그 값을 식별한다. 그러나 규칙을 내포한 자연어 문장의 불완전성으로 인해 변수가 명확하지 않거나 완전히 빠져 있는 경우가 흔히 발생하며, 이로 인해 온전한 형식의 규칙 생성이 어렵게 된다. 이 문제는 도메인 온톨로지의 생성을 통해 해결하였다. 이 온톨로지는 특정 도메인을 구성하고 있는 개념들간의 관계를 포함하고 있다는 점에서는 기존의 온톨로지와 유사하지만, 규칙을 완성하는 과정에서 사용된 개념들의 사용빈도를 기반으로 온톨로지의 구조를 변경하고, 결과적으로 더 정확한 규칙의 생성을 지원한다는 점에서 기존의 온톨로지와 차별화된다. 이상의 과정을 통해 식별된 규칙의 구성요소들은 제한된 언어집합 기법을 이용해 구체화된다. 본 연구에서 제안하는 방법론을 설명하기 위해 임의의 인터넷 쇼핑몰에서 수행되는 배송관련 웹 페이지를 선정하였다. 본 방법론은 XRML에서의 지식 습득 과정의 효율성 제고에 기여할 수 있을 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.331-333
• /
• 2004

정보통신 인프라를 운영하고 있는 조직은 주요 점보자산의 위형, 취약성 및 위험 분석.평가에 많은 관심이 고조되고 있다. 위험 분석.평가는 다수의 평가자(전문지식을 가진 평가자)의 주관적인 관점이 많이 작용하며 평가결과들 간에 평가 결과에 대한 문제를 야기 시킬 수 있다. 따라서 다수의 평가자들의 평가의견을 보다 효과적으로 결합(적용)할 수 있는 절차 및 방법이 요구된다. 본 논문에서는 분산 환경에서 다수의 평가자들의 평가의견을 집합개념 중 서로 다른 집합끼리의 합을 구하는 절차에서 착안하여 이를 적용한 실용적인 위험분석 방법론을 제시한다.

• 논리연구
• /
• 제9권1호
• /
• pp.31-62
• /
• 2006

이 논문은 포퍼의 후기 확률론인 성향적 확률론에 대한 것이다. 포퍼가 확률에 관한 성향이론을 제시한 가장 중요한 동기는 단일 사건에 확률값을 부여하기 위함이었다. 그의 성향이론은 전기와 후기로 나누어지는데, 전기의 이론은 성향을 반복가능한 조건들의 집합으로, 후기의 이론은 성향을 특정 시각에서의 우주의 상태로 설명한다. 이 글은 포퍼의 전기와 후기 성향이론이 성공적이지 않음을 논증한다. 전기 성향이론에 대해서는 가장 좁은 준거집합의 원리의 문제에 부딪혀서 단일 사건에 대하여 객관적인 확률값을 부여할 수 없기 때문이고, 후기 성향이론은 성향을 약한 인과라고 해석하는 문제와 함께 포퍼 자신의 의도와 달리 형이상학적인 이론이 되어버렸기 때문이다.

• Journal of the Korean Statistical Society
• /
• 제3권1호
• /
• pp.65-66
• /
• 1974

통계학의 수리론을 전개한 우리의 저서가 별로 없는 터에 윤기중교수의 '수리통계학'이 박영사를 통하여 간행되었다. 이책은 미적분에 관한 수학지식으로 능히 독파할 수 있도록 순차적으로 차분하게 기술되어 있다. 집합론의 개념에서부터 시작하여 확률론의 기초사항을 친절하게 설명하고 연속확률변수의 분포, 확률표본, 점추정, 다변량정규분포, 각종 통계량의 분포, 통계적 가설검정, 구간추정, 그리고 끝으로 회귀와 상관분석에 이르기까지 각종항목에 걸쳐서 통계학이론이 빠짐없이 기술되어 있다.

• 전자통신동향분석
• /
• 제9권3호
• /
• pp.139-151
• /
• 1994

퍼지집합은 언어의 의미와 개념속에 포함되어 있는 모호성을 정량적으로 표현하기 위한 집합개념으로서 매우 자연스럽고 어느 누구나 쉽게 이해할 수 있는 이론이다. 일반적으로 퍼지집합은 기존의 Crisp 집합을 확장한 것으로서 부분집합과 정의함수를 1대 1로 대응시키는 것이다. 본 고는 퍼지집합론과 퍼지논리에 대한 기본적인 개념과 퍼지제어이론을 적용한 산업용 응용사례에 대하여 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.241-243
• /
• 2003

지능형 정보 에이전트 시스템에서 사용되는 디폴트 규칙 시스템의 결론 집합을 생성하기 위한 추론 과정에서 불일치를 발생할 수 있는 새로운 오순 상황을 제시하고, 이를 해결할 수 있는 새로운 의미론을 정의한다. 확장 논리 프로그램은 추론된 결과 집합에서 같은 심벌이 양의 부호와 음의 부호를 동시에 가진 형태로 존재하는 경우에 모순이 발생하게 된다. 막장 논리 프로그램에 기반을 둔 디폴트 추론 시스템에서도 이런 모순을 가지게 되며, 이 문제를 해결하기 위한 방법이 정의되어 있다. 하지만, 비단조 추론을 하는 디폴트 규칙 시스템에서는 이런 문제 외에도 모순이 발생하게 된다. 하지만, 기존의 연구에서는 이러한 문제를 해결하는 방범이 고려되지 않았다. 최근에 들어서 디폴트 규칙 시스템은 지능형 에이전트에 내재되면서 에이전트간의 협상과 업데이트 등에 많이 사용되고 있다. 만일, 에이전트 내에서 규칙 시스템이 모순 상황이 발생하는 경우 예기치 않은 손실이 발생하게 된다. 따라서 결론 집합을 일관성 있게 추론하는 것은 지능형 에이전트 시스템의 신뢰성을 높이기 위해서 반드시 필요한 사항이다. 더욱이 에이전트 시스템의 사용분야가 지속적으로 늘어나는 상황에서 기존에 제안된 모순 이외에 각 분야에서 특성에 따라서 발생 가능한 모순이 발생하게 되며, 이 문제를 해결하는 것이 중요한 문제이다. 본 논문에서는 기존에 정의된 모순 외에 발생 가능한 문제점을 제시하고 이를 해결하기 위한 새로운 규칙 시스템의 의미론을 정의하였다.

• 전기의세계
• /
• 제39권12호
• /
• pp.5-11
• /
• 1990

일상생활에서 우리가 정하는 대상중에 명확하게 그 소속을 정의 할 수 없는 경우가 많다. 이러한 대상들을 수학적으로 다루기 위하여 퍼지집합의 개념을 도입하였다. 이 퍼지집합 개념은 각 대상이 속한다, 안속한다라는 이원론적인 논리오부터, 각대상을 그 모임에 속하는 정도로 이해함으로써 일반화된 개념이다.

• 한국시뮬레이션학회논문지
• /
• 제21권2호
• /
• pp.19-30
• /
• 2012

최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.

• 제어로봇시스템학회지
• /
• 제1권3호
• /
• pp.39-51
• /
• 1995

이 글에서는 퍼지이론의 양대부류인 퍼지집합론과 퍼지척도 및 퍼지적분에 대하여 정의 및 기본적 성질을 간략히 소개하였다. 이러한 이론들의 주된 응용분야가 제어와 평가문제로부터 점점 다양한 분야(예를 들면, 자연언어 처리, 퍼지컴퓨터, 경제학, 심리학 등)로 확산되고 있는 현시점에서, 보다 많은 사람들이 퍼지이론에 관신을 갖게 되는데 조금이나마 도움이 됐으면 한다. 최근 우리들의 관심 중 많은 부분이 지적시스템(intelligent system)의 구현에 쏠리고 있음을 감안할 때, 이러한 퍼지이론은 신경회로망이론, 유전자 알고리즘 및 카오스이론과 더불어 지적시스템의 구현을 위한 충분한 도구로서 혹은 방법론으로서 크게 공헌하리라 생각한다.