Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2002.10d
- /
- Pages.382-384
- /
- 2002
- /
- 1598-5164(pISSN)
Proof of Conclusion in Syllogism with DNA Computing
DNA컴퓨팅을 이용한 삼단논증의 결론 증명
Abstract
본 논문에서는 논리학에서 전통적으로 다루어 온 패턴인 삼단논증의 결론을 DNA 컴퓨팅을 이용해 증명해 내는 방법을 제시한다. 연역 장치로 진리나무 방법의 하나(resolution refutation)를 사용하기 위해서, 삼단논증의 전제들과 결론의 부정을 예화시킨 후 CNF 형태로 바꾸어 준다. 그리고 이것을 이중 가닥의 DNA 분자로 디자인한 후, 해소 반응을 통해 모순, 즉 닐(nil)을 발견하게 되면, 증명은 완료된다.
Keywords