Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2003.10a
- /
- Pages.58-60
- /
- 2003
- /
- 1598-5164(pISSN)
Theorem Proving in Horn-Clause Logic Using DNA Computing
DNA 컴퓨팅을 이용한 혼 절 논리 정리 증명
Abstract
원숭이와 바나나 문제는 논리적 추론에 의한 문제 해결 과정을 설명하기 위해 사용되는 대표적 예제이다. 본 논문에서는 전통적인 접근 방식과는 달리, 이 문제를 그래프 탈색의 그것으로 이해한 후 DNA 컴퓨팅에 근거한 너비 우선 탐색(breadth-first search, BFS)을 통해 해들을 발견하고자 한다. 그 결과, 최적해 (optimal solution)를 포함한 최소 4개 이상의 다양한 해들이 실제 DNA 생화학 실험을 통해 확인되었다.
Keywords