• 논리연구
• /
• 제8권1호
• /
• pp.47-67
• /
• 2005

베이즈망은 탐구 공간을 구성하는 변수들 사이에 성립하는 확률적 관계를 이용하여 그 변수들 사이에 성립된다고 가정되는 인과 관계를 추론하는데 이용된다. 베이즈망에 관한 철학적 논쟁의 대상은 특정한 변수들의 확률적 독립성을 가정하는 인과적 마코프 조건이다. 베이즈망 이론에 대한 강력한 비판자인 카트라이트는 인과적 마코프 조건이 비결정적 세계에서는 성립될 수 없기 때문에 인과적 추리에 대한 타당한 원리가 될 수 없다고 주장한다. 이글의 목적은 인과적 마코프 조건이 인과적 추리에 대한 타당한 원리가 될 수 없다는 카트라이트의 비판이 타당한가를 검토하는 것이다. 나는 인과적 사건들의 연쇄를 허용하는 연속모델은 카트라이트의 비판을 벗어날 수 있다고 주장한다.

• 논리연구
• /
• 제12권1호
• /
• pp.45-87
• /
• 2009

이 글에서 필자는 결정론적 인과를 토대로 속성 수준의 인과와 사건 수준의 인과의 연관성을 주장하는 하우스만(Hausman 1998)의 이론을 비판하고 두 수준의 인과의 관계를 바르게 이해하는 데 무엇이 필요한지를 제시한다. 하우스만은 결정론과 배경 조건의 다양성을 토대로 그리고 비결정적 상황에서는 확률에 대한 결정론적 인과를 토대로, 속성 수준의 인과는 사건 수준의 인과에서 도출된다는 의미에서 속성 수준의 인과는 사건 수준의 인과의 일반화라고 주장한다. 필자는 그 관계에 대한 문제를 제기하고 이 문제는 사건 수준의 인과에 본질적인 인과 연결을 주목하지 않은 채 변수들 간의 의존 관계만으로 두 수준의 인과의 관계를 단순히 해명하는 데에 있다고 지적한다. 필자는 두 수준의 인과의 관계는 단순히 한 가지 관점이나 방식으로 파악될 수 없고 해명, 설명, 예측 둥 다양한 관점에서 복합적으로 파악되어야 한다고 주장한다. 특히 사건 수준의 인과는 속성 수준의 인과에 개념적으로 의존하는 관계를 주목한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.598-600
• /
• 2004

기존의 연구 논문 중 비결정론적인 알고리즘인 유전자 알고리즘이나 인공신경망 등을 오델로 게임에 적용하여 자동학습을 시킨 예는 많으나 면역알고리즘을 모델로 게임에 적용한 예는 찾기가 어렵다 본 논문에서는 생리학의 면역시스템의 특징을 그대로 적용한 면역알고리즘을 모델로 게임에 적용하여 게임전략 생성에 관하여 연구한다. 생리학의 면역시스템은 자기조절능력이 있다는 외과 재 감염시 빠르게 대응할 수 있다는 특징이 있다. 면역알고리즘을 이용하여 탐색된 전략을 유전자알고리즘 그리고 기존에 연구되어진 게임전략 등과 실험하여 그 결과를 비교.연구한 결과 면역알고리즘을 적용하여 탐색된 모델로 게임전략이 가장 높은 승률을 보인다.

• 생명과학회지
• /
• 제4권1호
• /
• pp.2-10
• /
• 1994

과학과 형이상학은 포퍼에게서는 분명히 구별된다. 그럼에도 불구하고 전형적인 형이상학적 이론인 실재론, 비결정론, 출현이론은 과학 활동의 전제 조건으로 수용된다 하지만 폴라니에게서는 과학과 형이상학이 서로 다른 차원으로 분리되지 않는다. 형이상학적 믿음은 과학 자체의 구조를 이루고 있다. 과학은 형이상학적 개념이라 할 수 있는 진리, 선, 미, 정의 등의 본질적 가치에 따라 현실의 드러냄을 목적으로 삼는 인간의 통합적 행위이다. 다라서 폴라니에게 형이상학은 두 가지의 차원을 갖는다. 한편으로 형이상학에는 주관적인 차원이 있다. 도덕적 태도, 지적 열정, 이론의 미적 차원에 대한 감각, 종교적 관점 등 주체로서의 인간의 자기 이해와 관련된 차원이 있다. 진리에 대한 열정과 현실의 의미 추구를 자신의 과학적 활동의 본질적 부분으로 볼 수 있는 과학자는 바로 그 자체는 하나의 훌륭한 형이상학자가 되는 것이다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2022년도 제66차 하계학술대회논문집 30권2호
• /
• pp.153-154
• /
• 2022

본 논문에서는 블록체인 기반의 투명성/신뢰성을 제공하는 조작 불가능한 확률 제어 시스템을 제안한다. 해당 시스템은 클라이언트에 의해 질의 된 확률값을 블록체인상에서 산출해냄으로써, Legacy 시스템 아키텍처의 한계인 조작 가능성을 원천적으로 배제할 수 있다. 이는 블록체인 참여 노드 간의 데이터를 동일하게 공유하여 투명성을 확보하고, 이를 기반으로 데이터에 대한 신뢰성을 확보한 확률 제공 기능이다. 특히 해당 시스템은 Private/Permissioned 구조 기반의 블록체인 네트워크를 기반으로 운영 노드에 의해서 유지/관리되어 별도의 트랜잭션 수수료가 블록체인상에서 발생하지 않는다. 또한 Public Blockchain 메인 네트워크상의 미래 블록에 대한 정보를 확률값 산출 Seed에 활용함으로써, Non-deterministic 한 환경을 제공한다. 이는 클라이언트가 확률 질의에 대한 검증 과정을 직접 수행하거나 Third-party 검증을 통해 확률값에 대한 조작 여부를 확인할 수 있다.

• 한국철도학회논문집
• /
• 제13권6호
• /
• pp.570-576
• /
• 2010

본 논문에서 우리는 Petri Net을 사용하여 철도 선로를 모형화 하는 문제를 다루었다. Petri Net는 병행적, 비동기, 분산, 병렬, 비결정론, 확률론 등의 특성을 가진 정보처리시스템을 기술하고 시스템의 동적거동의 특성을 연구하기 위해 고안된 도식적, 수학적 모델링 도구이다. 검증 사례로서, 한국형 경량전철시험선 선로를 철도 시설물의 구성품(세그먼트, 궤도, 분기기, 승강장)으로 모델링하고, 대피선이 있는 단일 궤도에서 두 대의 열차가 동일한 방향에서 함께 진행하고 있거나 반대방향에서 동시에 진행을 하지만 충돌을 하지 않는다는 것을 보장하면서 설정된 진로를 이동하는 Peri Net 모형을 구현하였다.

• 논리연구
• /
• 제4권
• /
• pp.63-87
• /
• 2000

내일 눈이 올 것이다. 이 명제의 모순적 반대는 '내일 눈이 오지 않을 것이다'이다. 오늘 이 둘 중의 어느 한 명제가 참일 경우, 그 명제는 이미 오늘 참이고 그리고 그의 모순적 반대의 다른 한 명제는 오늘 이미 거짓이다. 만약 오늘 둘 중의 어느 명제가 참인지 이미 결정되어 있다면, 그러한 결정된 사태가 내일 발생되지 않을 조바심에 안달이 날 것이다. 만약, 둘 중의 어떤 한 명제가 참인지 결정되어있지 않으면, 그 역시 내일의 사태가 어떠한 결정적 태도로 주어지고 있지 않은 현재가 찝찔한 것이다. 전자를 결정론, 후자는 비결정론의 입장인데, 에피쿠어의 절충적 의견에 따르면, '눈이 온다'와 그리고 '눈이 오지 않는다'는 둘 다의 결과들이 가능하다. 그에 따르면 실제로 일어나는 것만 가능하므로, 세계의 전 과정에서 결코 일어나지 않았던 것은 언제라도 가능하지 않았다. 전자를 대표하는 디오도어는 현존하는 한 언명은 시간의 질서 안에서 가까운 훗날에나 먼 훗날에도 명제 논리적으로 결정되어있다고 주장한다. 이에 후자를 표방한 크리십은 한 언명의 결과는 그의 모든 조건들이 채워진다면 가능하고, 그의 필연적인 조건들이 결코 충족적으로 채워지지 않으면 다른 한 결과는 결코 일어나지 않는다고 주장한다. 여기서 벌어진 논쟁에서 본고는 명제의 가치를 선형적 구조의 시간에서 해석한 디오도어의 결정론에 대하여 흐트러진 시간의 구조에서 해석한 크리십의 숙명론의 논의의 대비를 보여줄 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
• /
• pp.454-455
• /
• 2008

산업현장의 이더넷 통신망의 적용은 CSMA/CD 매체접근 방식에서 발생 가능한 충돌회피 알고리듬의 비결정론적인 특성으로 인해 많은 논란이 있었지만, 전이중(full duplex) 방식의 스위치(switch)의 도입으로 충돌이 회피됨으로써 이러한 논의는 이제 거의 불식된 것 같다. 따라서 과거와 같이 공유 전송망에서 고려되던 최대 통신부하는 이제 각 단위 통신망의 최대 대역폭의 능력으로 직접적인 유추가 가능하게 되었다. 이에 과거의 매체공유방식의 분산제어시스템에서 사용되던 통신망의 전송부하 시험을 대체할 용이한 통신부하 시험 모델을 제안하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제18권6호
• /
• pp.37-45
• /
• 2013

통신채널 최적 할당 문제는 아직까지 결정론적 규칙이 알려지지 않고 있어 비결정론적 방법인 휴리스틱 알고리즘으로 대부분 해를 구하고 있다. 본 논문은 통신채널 최적 할당 문제에 대해 결정론적 방법으로 채널 배정을 할 수 있음을 보인다. 채널 배정 규칙을 적용하여 필라델피아의 9개 사례에 대해 적용한 결과 최적해를 구하였다.

• 한국지능시스템학회논문지
• /
• 제11권5호
• /
• pp.426-432
• /
• 2001

본 논문은 진화형 하드웨어를 이용하여 생물의 정보처리 시스템인 셀룰라 오토마타 신경망의 구현에 관한 연구이다. 셀룰라 오토마타 신경망은 진화 및 발생을 기반으로 한 신경망 모델이다. 진화는 다양성을 주요 근원을 제공하는 돌연변이 및 재 조합 비율에 의하여 비결정론이며, 발생은 결정론 적이며 지역적인 무리현상을 따른다. 셀룰라 오토마타 신경망은 셀룰라 오토마타에 의해 신경망 내부의 각 셀의 상태를 발생시키고, 초기 셀을 유전자 알고리즘의 개체로 간주하여 초기 셀이 진화 알고리즘을 통해 진화함으로써 신경망이 진화하는 시스템이다. 본 논문은 이 시스템을 진화형 하드웨어 이용하여 하드웨어로 구현하였다. 진화형 하드웨어는 진화 알고리즘과 재구성하드웨어의 결합체이다. 즉, 재구성 하드웨어의 구성에 필요한 bit를 유전자 알고리즘의 개체로 간주한 것이다. 진화 알고리즘을 수행하기 위해 유전자 알고리즘 프로세서를 설계하였으며, 셀룰라 오토마타 신경망이 유전자 알고리즘의 개체와 셀룰라 오토마타 룰에 의해 자동적으로 신경망을 생성하기 위해 신경망을 이루는 셀들로 설계하였다. 제안된 시스템의 효율성을 검증하기 위해 Exclusive-OR 문제에 적용하였다.