Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2002.10d
  • /
  • Pages.382-384
  • /
  • 2002
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Proof of Conclusion in Syllogism with DNA Computing

DNA컴퓨팅을 이용한 삼단논증의 결론 증명

  • 박의준 (서울대학교 대학원 인지과학 협동과정) ;
  • 이인희 (서울대학교 컴퓨터공학부 바이오지능연구실) ;
  • 장병탁 (서울대학교 컴퓨터공학부 바이오지능연구실)
  • Published : 2002.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문에서는 논리학에서 전통적으로 다루어 온 패턴인 삼단논증의 결론을 DNA 컴퓨팅을 이용해 증명해 내는 방법을 제시한다. 연역 장치로 진리나무 방법의 하나(resolution refutation)를 사용하기 위해서, 삼단논증의 전제들과 결론의 부정을 예화시킨 후 CNF 형태로 바꾸어 준다. 그리고 이것을 이중 가닥의 DNA 분자로 디자인한 후, 해소 반응을 통해 모순, 즉 닐(nil)을 발견하게 되면, 증명은 완료된다.

Keywords