바둑은 적어도 2,500년 이상의 역사를 지녔고 그동안 인간 고유의 게임 영역으로 여겨왔으나, 2016년 컴퓨터 바둑인 알파고에 의해 제압된 마지막 보드게임이 되었다. 바둑에서의 사활문제는 컴퓨터 바둑을 구축 시 반 드시 해결해야 되는 기본 문제 영역이 된다. 연역적 추론은 이미 알고 있는 판단을 근거로 새로운 사실을 추 론하는 논리학의 용어이다. 본 논문에서는 연역적 추론을 위해 제약 충족 방법을 활용하여 사활문제와 직결 되는 3궁, 4궁, 5궁, 6궁의 원형 안형을 표현하는 4-튜플의 형식을 찾고자 했다. 이후 생성된 4-튜플의 형식 을 갖고 점 패턴 매칭을 활용하여 각 궁도의 원형 안형의 갯수를 파악하고자 했다. 실험 결과에 따른 4-튜플 형식의 갯수는 3궁 1개, 4궁 3개, 5궁 4개, 6궁 8개가 있음을 알 수 있었다. 또한 각 궁도의 원형 안형의 갯 수는 3궁 2개, 4궁 5개, 5궁 12개, 6궁 35개가 존재함을 찾아냈다. 마지막으로 컴퓨터 바둑에서의 사활문제 해결을 위해 원형 안형들을 4-튜플 형식의 변형인 5-튜플 형식으로도 제시하였다.

바둑게임은 중국에서 적어도 2,500년 전에 창안되었으며, 게임을 이기기 위해 상대방보다 더 많은 영역을 둘러싸는 것을 목표로 한다. 간단한 규칙에도 불구하고 바둑은 인공지능(AI) 분야에서 아주 복잡한 전략적인 보드게임이다. 몬테카를로 트리탐색(MCTS)은 국면 평가의 어려움을 극복하고 게임트리 내의 엄청난 분기수를 줄여주는 최상우선탐색 알고리즘이다. 컴퓨터바둑 게임에서 MCTS는 수많은 플레이아웃을 수행한 후, 게임트리 내에 있는 현재노드로부터 단말노드까지의 임의의 수순을 표본 추출하여 다음 후보 착수에 대한 승률을 근사적으로 계산해낸다. AlphaGo를 포함한 모든 강력한 컴퓨터바둑 프로그램은 컴퓨터바둑 게임 진행에 있어 MCTS를 이용하여 가장 유망한 착수를 구해왔다. 본 연구는 소형바둑 컴퓨터게임에 있어 순수 MCTS를 이용하여 가장 유망한 일련의 수순을 찾고자 했다. 실험결과에 의하면 순수 MCTS는 소형바둑에서 19줄바둑게임에서 벌어지는 포석, 중반전, 끝내기라는 3단계가 아닌 중반전과 끝내기라는 단지 2단계를 진행하였으며, 아울러 순수 MCTS는 맥과 연단수와 같은 하위개념의 지식을 이해 못하는 것을 보였다.