• 논리연구
• /
• 제13권2호
• /
• pp.167-201
• /
• 2010

본 논문의 목적은 철학적으로 만족스러운 메타논리학으로서 부분전체론의 가능성을 살펴보는 것이다. 그 이유는 명백하다. 소위 수리 논리학으로 알려진 메타논리학에 대한 전통적인 접근은 집합들, 함수들, 모형들과 같은 수학적 존재자들의 존재를 미리 상정하고 있다. 이는 우리가 논리학을 개별 과학 분야에 적용할 때마다, 이러한 집합론적 메타논리학이 이들 분야의 논의영역에 언제나 이들 특수한 존재자들을 부가한다는 것을 의미한다. 이러한 사실은 집합론적 메타논리학이 논리학의 존재론적 보수성과 상충한다는 것을 보여준다. 반면에 집합론과 유사한 형식 체계인 부분전체론은 존재론적으로 무고하다고 주장되어 왔다. 따라서 우리가 논리학의 존재론적 보수성을 보장할 수 있는 중립적인 메타논리학으로 이 부분전체론을 고려하는 것은 상당히 자연스러운 일일 것이다. 하지만 부분전체론의 존재론적 무고함을 주장하는 논변들을 살펴보면, 우리는 부분전체론적 합 혹은 융합체와 같은 부분전체론적 존재자들이 존재론적으로 중립적인, 무고한 존재자가 아니라는 것을 알게 된다. 결국 우리는 부분전체론을 통한 메타논리학 역시도 논리학의 기초로서 올바른 접근이 될 수 없다고 결론 내리게 된다.

• 한국시스템다이내믹스학회:학술대회논문집
• /
• 한국시스템다이내믹스학회 2007년도 추계학술대회 발표논문집
• /
• pp.1-8
• /
• 2007

최근에, 에너지 부문의 지속가능성을 달성하는 하나의 패러다임으로 전체론적 접근법(holistic approach)이 국내외적으로 관심의 대상이 되고 있다. 에너지 부문에서, 특히 원자력 시설과 같이 복잡 시스템은 전체론적 접근법 대신에 주로 결정론적 방법이나 확률론적 방법과 같은 기존의 분석적 접근법으로 다뤄지고 있다. 하지만, 시스템 다이내믹스와 같은 전체론적 접근법으로 문제들을 다루는 경우, 기존 접근법으로 얻을 수 없는 다양한 정보를 얻을 수 있다. 이 작업의 목적은 한국원자력 부문에 시스템 다이내믹스가 어떻게 적용되고 있는 지 그 현황을 소개하고, 앞으로 이러한 방법론이 활용될 수 있는 가능성을 논의하고자 한다. 이를 통해, 시스템 다이내믹스 방법론과 분석적 방법론의 융합에 기반한 정보와 기술력의 시너지 효과를 기대해 본다.

• 논리연구
• /
• 제7권2호
• /
• pp.1-14
• /
• 2004

현재의 언어철학에서 거의 지배적인 위상을 갖고 있는 의미 전체론이 직면하는 중요한 문제 중의 하나는 '의미 불안정성 문제'이다. 의미 전체론에 의하면, 한 진술의 동일성 조건이 그 진술이 속한 이론에 상대적이기 때문에 전체 이론이 조금만 바뀌어도 그 진술의 의미가 바뀌게 되는 의미 불안정성의 문제가 발생한다. 필자는 이 논문에서 이 문제에 관한 기존의 해결 방식의 일부를 소개한 후 브랜덤이 그의 책 Making It Explicit (1994)에서 제시한 새로운 해결책을 소개하고 이를 옹호한다. 브랜덤은 이 문제를 해결하기 위해, 커뮤니케이션은 어떤 공통적인 것을 공유하는 것이라는 커뮤니케이션에 관한 기존 모델을 거부하고, "실천 속에서의 일종의 협동"으로서의 새로운 커뮤니케이션 모델을 제시한다. 필자는 이 논문에서 브랜덤이 제시하는 새로운 커뮤니케이션의 모델을 적극 옹호한다.

• Spatial Information Research
• /
• 제23권6호
• /
• pp.77-87
• /
• 2015

지구의 지속가능한 개발에 대한 설계 방법은 자연의 과정과 도시환경을 종합적으로 이해하는 통각적(apperceptive), 전체론적(holistic) 관점을 요구하고 있다. 통각적, 전체론적 조경 설계방법은 분석-계획-설계의 개별 과정이 하나의 환경에서 수반되어져야 하며, 각각의 과정별로 공간에 대한 많은 정보를 제공하여야 하고, 디자인의 결과와 영향에 대한 평가와 이해가 수반되어야 한다. 1969년 "Design with Nature"에서 Ian Mcharg가 제시하였던 지구 전체를 하나의 생태계(Superorganism)로 보는 비젼이 Geodesign의 기술 환경으로 현실화 되어가고 있다. 본 논문에서는 기존 GIS의 지속가능한 설계의 지원한계를 극복하고 수행할 수 있는 Geodesign 조경설계 방법에 대해 고찰하고 선행연구의 분석을 진행하였다. 이와 함께 국외의 Geodesign 사례와 적용 이론들에 대한 고찰을 통해 조경설계를 위한 Geodesign 방법론을 제시하였다. 또한 제시된 방법론을 구현하기 위한 Geodesign 기술과 도구들을 살펴보고, 방법론의 적용을 통해 기술적 가능성, 활용 방안 등을 검토하고, 미래의 조경설계에 있어서 본 방법론이 가지는 잠재력과 효율성을 입증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.307-309
• /
• 2002

지능은 창발적 현상이라는 주장이 제기되고 있다. 이 주장이 맞는다면, 지능에 대한 현재의 환원론적 접근 방법은 제고되어야 한다고 본다. 즉, 지능에 속하는 주제들을 하나의 전체론적 틀 안에서 다툴 수 있을때, 지능의 본질에 보다 효율적으로 접근할 수 있다는 것이다. 본 논문에서는 이런 점에 착안하여 지능적 주제들을 보다 포괄적으로 다를 수 있는 일반화된 디코히어런스 모델을 제안하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.573-576
• /
• 2002

지능은 창발적 현상이며, 창발적 현상은 환원론적 방법론으로 다루기에 적합한 대상이 아니다. 즉, 지능에 속하는 주제들을 하나의 전체론적 틀 안에서 다룰 수 있을 때, 지능의 간질에 보다 효율적으로 접근할 수 있다는 것이다. 본 논문에서는 이런 점에 착안하여 지능적 주제들을 보다 포괄적으로 다룰 수 있는 일반화된 디코히어런스 모델을 제안하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.513-518
• /
• 2007

시뮬레이션 방법론에 있어서 모델기반 시뮬레이션과 프로세스기반 시뮬레이션으로 나눌 수 있는데, 재사용성, 확장성, 시뮬레이터 기술 용이성 등의 장점으로 모델기반 시뮬레이션이 많이 사용되고 있다. 이러한 이유로 근래에는 컴퓨터 시스템, 항공, 자동차 등에서 모델 기반 시뮬레이션 방법이 사용되고 있다. 모델기반 시뮬레이션 방법으로 수학적 이론을 기반으로 모델을 정의하는 DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화 된 형태로 이산사건 시스템을 기술한다. 대규모의 복잡한 시뮬레이션 모델을 검증 할 목적으로 분산 시뮬레이션 방법론이 있는데, 이들은 크게 동기적인 방법과 비동기적인 방법이 있다. 동기적 방식보다 빠른 수행을 위해 비동기적 방법은 전체 Time-order 순이 아닌 로컬 Time-order를 가진다. 그러나 비동기적 방식에는 분산된 시뮬레이터들 간의 전체 Time-order를 유지하기 위해 전 처리된 시뮬레이터 결과들을 저장하는데, Time-order 상으로 현재의 시뮬레이션 시간보다 과거의 사건이 왔을 때 그 이벤트를 처리해주어야 되기 때문이다. 이러한 비동기적 분산 시뮬레이션 방법론에서는 전체 Time-order를 유지하기 위해 과거의 Time-order를 가지는 이벤트가 왔을 때 rollback operation을 수행한다. 그러나 rollback operation은 분산 시뮬레이션 방법론에서 성능 장애요소 중 하나이다. 본 논문에서는 rollback operation을 최소할 할 수 있는 DEVS 모델 분배 방법을 제안한다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 한글 및 한국어 정보처리
• /
• pp.323-328
• /
• 2000

국내에서 영한 자동번역 시스템을 1985 년부터 개발한 지 벌써 15년이 흐르고 있다. 15년의 영한 자동번역 기술개발에도 불구하고 아직도 영한 자동번역 시스템의 번역품질은 40%를 넘지 못하고 있다. 이렇게 번역품질이 낮은 이유는 다음과 같이 요약할 수 있을 것이다. $\textbullet$ 입력문에 대해 파싱할 때 오른쪽 경계를 잘못 인식함으로써 구조적 모호성의 발생문제: 예를 들어 등위 접속절에서 오른쪽 등위절이 등위 접속절에 포함되는 지의 모호성. $\textbullet$ 번역 단위로써 전체 문장을 대상으로 한 번역패턴이 아닌 구나 절과 같은 부분적인 번역패턴으로 인한 문장 전체의 번역 결과 발생. $\textbullet$ 점차 증가하는 대용량 번역지식의 구축과 관련해 새로 구축되는 번역 지식과 기구축된 대용량 번역지식들 간의 상호 충돌로 인한 번역 품질의 저하. 이러한 심각한 원인들을 극복하기 위해 본 논문에서는 문틀에 기반한 새로운 영한 자동번역 방법론을 소개하고자 한다. 이 문틀에 기반한 영한 자동번역 방법론은 현재 CNN 뉴스 방송 자막을 대상으로 한 영한 자동번역 시스템에서 실제 활용되고 있다. 이 방법론은 기본적으로 data-driven 방법론에 속한다. 문틀기반 자동번역 방법론은 규칙기반 자동번역 방법론보다는 낮은 단계에서 예제 기반 자동번역 방법론 보다는 높은 단계에서 번역을 하는 번역방법론이다. 이 방법론은 영한 자동번역에 뿐만 아니라 다른 언어쌍의 번역에서도 적용할 수 있을 것이다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2004년도 추계학술대회
• /
• pp.409-416
• /
• 2004

동적 공급사슬망은 복잡하고 다양한 이해관계를 가진 기업들로 구성되어 있다. 다수의 구매자로부터 주문 의뢰가 동시다발적으로 발생하므로 하위 구성원들은 경쟁적 관계에 놓이게 된다. 그러므로 최적의 공급사슬구성을 위해서는 수평적 경쟁 관계를 고려하여 구성주체들간의 협력관계를 통해 이를 해결하여야 한다. 지금까지의 스케줄링 문제에서는 상위의 구성원이 하위 구성원들을 일방적으로 선택하는 의사결정이 이루어졌으나 본 문제에서는 구성원간의 협력관계에서 에이전트를 통한 다자간 협상을 통해 공급사슬 전체의 최적화를 구성하는 방법론을 제시한다. 본 협상방법론은 단일기계에서 상이한 납기일, 조기생산(earliness), 지연생산(tardiness)을 동시에 고려하였으며 전체 공급사슬의 평균절대편차(Mean Absolute Deviation)의 최소화를 목적으로 하고 있다. 본 협상방법론의 효과성을 증명하기 위해 분지한계법(Branch & Bound)과 비교하고, 알고리즘 구현을 통해 구매자 협상방법론의 최적화 여부를 실험을 통해 증명하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.38-42
• /
• 1998

본 논문에서는 DEVS 형식론과 High Level Architecture에 기반을 둔 이 기종 시뮬레이션 환경의 구축에 대해 기술한다. DEVS 형식론은 여러 가지 방법으로 기술된 모델들을 동일한 형식론으로 간주하기 위해 사용되었다. 즉, 이산사건 모델링을 위한 세가지 세계관(world view)으로 기술된 시뮬레이션 모델들을 DEVS 형식론으로의 변환을 통해 전체적으로는 DEVS 형식론만을 사용한 것과 동일한 형태로 표현되도록 하였다. High Level Architecture는 시뮬레이션 수행시의 상호 연동성을 보장하기 위해 사용되었다. 이때, DEVS 형식론과 High Level Architecture에서의 시뮬레이션 시간 진행 방법이 다르기 때문에 이의 해결을 Synchronizer, EOS 방법을 제안하였다.