• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.461-484
• /
• 2014

This essay suggests a constructive interpretation of probabilities by diagnosing problems of the objective and the epistemic interpretations of probability. According to this interpretation, attributions of the mathematical structure of probability to a given system can be understood as positing constructive theoretical hypotheses showing the relationship among empirical data. The constructive interpretation is applied to comprehend probability claims in the explanation of temporal asymmetrical behaviour of our universe. A new approach interpreting probabilities as constructive theoretical terms enables us to circumvent shortcomings of both objective and subjective interpretation of probability, and appreciate why these interpretations nevertheless appear to be convincing in our case.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.11a
• /
• pp.614-621
• /
• 2007

전통적 계획방식은 결정적 효과를 간진 동작들로 이루어진 도메인을 다룬다. 따라서 전통적 계획기는 동작이 환경을 어떻게 변화시킬지 명확하게 예측할 수 있다. 그러나, 많은 실제 응용들에서는 불완전한 정보와 비-결정적 효과를 처리할 수 있는 계획방식을 요구한다. 확률적 계획방식은 확률적 효과를 가진 동작들을 포함함으로써 이러한 요구를 만족한다. 확률적 계획기는 일반적으로 목표상태에 도달하기 위한 하나의 행동정책을 찾아내며, 이는 (상태, 동작)쌍들의 집합으로 표현된다. 그러나 확률적 효과를 포함시킴으로써 계획기들의 복잡도가 이전보다 증가되었다. 본 논문에서는 효율적인 확률적 계획기의 설계와 구현에 대해 설명한다. 이 계획기는 표준 PPDDL 언어로 표현된 도메인 묘사를 입력으로 받아들이며, 실시간 동적 프로그래밍 알고리즘을 채용하고, 간략화한 문제로부터 추출된 휴리스틱 지식을 이용한다. 생성된 상태들과 행동정책을 효율적으로 저장하기 위해, 이 확률적 계획기는 해쉬테이블을 이용한다.

• Korean Journal of Logic
• /
• v.3
• /
• pp.5-26
• /
• 2000

확률적 인과론은 확률관계를 통해 인과 관계를 밝히려는 이론이다. 그런데 만약 단지 C가 E의 발생 확률을 높인다는 사실을 밝히는 것으로 그치지 않고 더하여 C가 E를 발생시키는데 얼마나 기여하는지 그 기여도도 밝힐 수 있다면 우리는 원인과 결과의 관계에 대하여 훨씬 더 많은 정보를 얻을 수 있게 될 것이다. 이 글에서 나는 빼기의 개념에 기반한 멜러나 엘스의 정량적 확률적 인과론들을 살펴본 후 그 이론들이 인과적 효과도나 인과적 연관도를 밝히는데 부적절한 이론들임을 보인다. 그 후 나는 인과적 효과도클 측정하는데 보다 적절한 공식을 제시하며 이 공식에 기반하여 인과적 연관도 또는 인과적 기여도의 공식도 제시한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.485-488
• /
• 2000

실제 많은 차량경로결정문제(Vehicle Routing Problem: VRP)에서 차량의 이동속도는 도로의 교통량 등의 인에 의해 시간에 따라 변화하고 서비스 수량이 고객의 운영상태에 따라 달라질 수 있다. 이러한 사실에도 불구하고, 거의 대부분의 VRP 기법에서 차량속도와 서비스 수량을 확정적으로 가정하거나 평균값을 사용하는 이유는 알고리즘 적 분석의 어려움 때문인 것으로 알려져 있다. 이에 따라 확정적 VRP 기법들에 해 구해진 해는 실제 적용에서 그 유효성에 대해 심각한 이의가 제기될 수 있다. 그러나 만일 잘 알려진 정적 VRP 기법들이 확률적 상황에서도 뛰어난 성능을 보인다면, 실제 차량경로계획 상황에서 이들 확정적 기법들이 복잡하고 난해한 확률적 VRP 기법을 대신할 수 있을 것이다. 본 논문에서는 확률적 환경에서 네 가지 확정적 VRP 기법들의 성능을 평가하는 계산실험 연구를 소개한다. Solomon의 다양한 실험문제를 사용하였으며, 모든 문제에서 hard 및 soft 서비스 시간대를 설정하였다. 그리고 지점간 차량이동시간과 고객들의 서비스 물량은 세 가지 확률분포로써 나타내었다. 실험결과, 특정 확정적 VRP 기법이 특정 확률적 환경에서 뛰어난 성능을 보이는 것을 확인할 수 있었다

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.681-684
• /
• 2004

본 연구는 hitless-restart기능과 확률적인 예측을 할 수 있는 발전된 형태의 Hitless 라우터(Router) 설계를 제안한다. Hitless-restart기능이라 함은 라우터가 reset 혹은 shutdown이 되더라도 forwarding path와 네트워크 구조는 유지하는 것을 말한다. 그러나 현재 hitless-restart의 가장 큰 문제점은 라우터가 restart를 할 때를 대비하여 항상 active한 상태로 유지시켜야 한다는 것이다. 확률적 예측이 가능한 Hitless 라우터는 restart할 시점을 확률적으로 예측함으로써 라우터 시스템을 보다 효과적으로 운영할 수 있도록 한다. First Exceed Level이론은 라우터의 조건에 따라 restart가 필요한 시점을 확률 적으로 예측할 수 있도록 한다. 이러한 예측결과를 이용하여 우리는 라우터가 구조적인 한계를 넘어서기 전에 hitless-restart를 실시함으로써 라우터가 shutdown되는 것을 방지할 수 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.98-98
• /
• 2016

본 연구에서는 유입량의 불확실성을 고려하여 미래 저수량을 확률론적으로 예측하였다. 월별 유입량을 표본으로 한 확률밀도함수를 핵밀도함수(kernel function)를 이용하여 추정하고, 추정된 확률분포로 월별 유입량을 모의 발생하였다. 모의 발생된 유입량을 통해 연속적인 조건부 확률을 산정하였고, 이의 누적확률분포(F(x))는 해당 저수량에 도달하지 못할 확률, 즉 실패확률을 의미하므로 1-F(x)로 해당 저수량 이상을 확보할 수 있는 확률을 산정하였다. 보령댐을 대상으로 분석한 결과 2016년 2월 말 저수량 27.8 백만$m^3$ 기준으로 3월부터 6월까지 정상용수공급환원 기준 저수량을 만족할 확률이 각각 2.3%, 12.5%, 24.2%, 33.5%로 나타났다. 지역적 가뭄에 대응하기 위해 하천유지용수 감량, 용수 대체공급, 자율 급수조정 및 금강-보령댐 도수로를 이용한 용수공급으로 20.6만$m^3/day$의 용수가 비축될 경우, 정상용수공급환원 기준 저수량을 만족할 확률이 10.2%, 40.3%, 73.8%, 78.7%로 용수비축의 효과가 크게 나타나는 것을 확인하였다. 저수량의 확률론적 예측을 통해 미래 저수량의 확률적 발생가능성을 추정할 수 있으며, 가뭄이 발생할 경우, 가뭄 대응효과를 정량적으로 나타낼 수 있어 가뭄 위험 상황 전달 및 용수공급조정 의사결정 시 활용할 수 있을 것으로 판단된다.

• Journal of Korean Society of Transportation
• /
• v.28 no.5
• /
• pp.107-116
• /
• 2010

The vehicle travel time between locations in a downtown is greatly influenced by both complex road conditions and traffic situation that changes real time according to various external variables. The customer's demands also stochastically change by time period. Most vehicle routing problems suggest a vehicle route considering travel distance, average vehicle speed, and deterministic demand; however, they do not consider the dynamic external environment, including items such as traffic conditions and stochastic demand. A realistic vehicle routing problem which considers traffic (smooth, delaying, and stagnating) and stochastic demands is suggested in this study. A mathematical programming model and hybrid genetic algorithm are suggested to minimize the total travel time. By comparing the results considering traffic and stochastic demands, the suggested algorithm gives a better solution than existing algorithms.

• Korean Journal of Logic
• /
• v.13 no.1
• /
• pp.53-81
• /
• 2010

This essay attempts to suggest a third way to interpret probabilities based on diagnoses of weaknesses and strengths of the objective and the subjective interpretations. While the objective interpretations capture important intuitions in employing probability, it can provide the definitions of probability only in a circular way. Although the subjective interpretations seem to avoid this problem, it also fails to understand how one can extract certain information from the ignorance of a given system. It will be suggested that these problems can be bypassed if we consider probabilities as theoretical structure, which provide significant generalizations about the world.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.301-303
• /
• 2001

최근 DNA 칩 또는 마이크로어레이 기술의 발전으로 인해 한 세포 내의 수천 개의 유전자의 발현 정도를 동시에 측정할 수 있게 되었다. 이러한 마이크로어레이 데이터를 분석해서 암의 경과나 세포의 주기적 변화 등에 영향을 미치는 유전자들을 알아낼 수 있다. 본 논문에서는 베이지안망을 이용해서 마이크로어레이 데이터를 분석, 백혈병의 경과를 예측한다. 베이지안망은 다수의 변수들간의 확률적 관계를 표현하는 그래프 모델로 각 유전자들간의 확률적 관계를 표현하는 그래프 모델로 각 유전자들간의 확률적 관계를 사람이 알아보기 쉬운 형태로 학습할 수 있다는 장점이 있다. 마이크로어레이 데이터에 대해서 학습된 베이지안망은 백혈병 경과 예측에 대해서 기존의 방법보다 뛰어난 성능을 보였다.

• Journal of Korean Society of Transportation
• /
• v.25 no.4
• /
• pp.99-108
• /
• 2007

This paper presents an elastic demand stochastic user equilibrium traffic assignment that could not be easily tackled. The elastic demand coupled with a travel performance function is known to converge to a supply-demand equilibrium, where a stochastic user equilibrium (SUE) is obtained. SUE is the state in which all equivalent path costs are equal, and thus no user can reduce his perceived travel cost. The elastic demand SUE traffic assignment can be formulated based on a dynamic system, which is a means of describing how one state develops into another state over the course of time. Traditionally it has been used for control engineering, but it is also useful for transportation problems in that it can describe time-variant traffic movements. Through the Lyapunov Function Theorem, the author proves that the model has a stable solution and confirms it with a numerical example.