Solving the Monkey and Banana Problem Using DNA Computing

DNA 컴퓨팅을 이용한 원숭이와 바나나 문제 해결

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

Abstract

The Monkey and Banana Problem is an example commonly used for illustrating simple problem solving. It can be solved by conventional approaches, but this requires a procedural aspect when inferences are processed, and this fact works as a limitation condition in solving complex problems. However, if we use DNA computing methods which are naturally able to realize massive parallel processing. the Monkey and Banana Problem can be solved effectively without weakening the fundamental aims above. In this paper, we design a method of representing the problem using DNA molecules, and show that various solutions are generated through computer-simulations based on the design. The simulation results are obviously interesting in that these are contrary to the fact that the Prolog program for the Monkey and Banana Problem, which was implemented from the conventional point of view, gives us only one optimal solution. That is, DNA computing overcomes the limitations of conventional approaches.

원숭이와 바나나 문제는 인공지능과 관련된 여러 문헌에서 문제 해결(problem solving) 과정을 설명하는 예제로 자주 등장한다. 그러나 이 문제에 대한 전통적인 접근 방식은 추론을 수행함에 있어 절차적(procedural) 관점의 도입을 필요로 하며, 이는 복잡한 문제 해결에 제약 조건으로 작용한다. 그러나 대규모 병렬 처리가 가능한 DNA 컴퓨팅 기법을 이용하면서, AI 본연의 의미를 퇴색시키지 않고서도 이 문제를 효과적으로 해결할 수 있다. 본 논문에서는 DNA 분자를 사용해서 원숭이와 바나나 문제를 표현하는 방법을 설계한 후, 컴퓨터 시뮬레이션을 통해 다양한 해들(solutions)이 생성됨을 확인하였다. 전통적인 방법으로 구현된 Prolog 프로그램이 단 하나의 최적해밖에 제공해 주지 못한다는 사실과 비교해 볼 때, 이것은 확실히 흥미로운 결과이다.

Keywords

References

  1. 전자공학회지 v.29 no.3 분자정보처리기술 장병탁
  2. Science v.266 Molecular Computation of Solutions to Combinatorial Problems Adleman,L.M.
  3. Introduction to Computational Molecular Biology Setubal,J.C.;Meidanis,J.
  4. Lecture Notes in Computer Science v.2568 Version Space Learning with DNA Molecules Lim,H.W.;Yun,J.E.;Jang,H.M.;Chai,Y.G.;Yoo,S.I.;Zhang,B.T.
  5. Lecture Notes in Computer Science v.2568 DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic Lee,I.H.;Park,J.Y.;Jang,H.M.;Chai,Y.G.;Zhang,B.T.
  6. 한국정보과학회 가을 학술발표 논문집(Ⅱ) v.29 no.2 DNA 컴퓨팅을 이용한 삼단논증의 결론 증명 박의준;이인희;장병탁
  7. International Journal of Cybernetics and Systems v.31 no.3 The Inference Based on Molecular Computing Wasiewicz,P.;Janczak,T.;Mulawka,J.J.;Plucienniczak,A.
  8. Prolog Programming for Artifical Intelligence(2nd Ed.) Bratko,I.
  9. The Monkey and the Banana Tutorial Materials Williams,R.
  10. Proceedings of the Third Annual Genetic Programming Conference (GP-98) Molecular Algorithms for Efficient and Reliable DNA Computing Zhang,B.T.;Shin,S.T.