Acknowledgement
Grant : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발
Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2012.06b
- /
- Pages.147-149
- /
- 2012
- /
- 1598-5164(pISSN)
Finding a Strategy of the Puzzle using GR(1) Synthesis
GR(1) Synthesis를 이용한 퍼즐의 전략 찾기
- Kwon, Ryoung-Kwo (Department of Computer Science, Kyonggi University) ;
- Kwon, Gi-Hwon (Department of Computer Science, Kyonggi University)
- Published : 2012.06.22
Abstract
본 논문에서 GR(1) Synthesis를 이용하여 퍼즐의 전략을 찾는 방법과 실험 결과를 기술한다. 먼저 GR(1) Synthesis와 승리 전략을 정형적으로 정의하고, 퍼즐을 어떻게 형식화 할 것인지에 대하여 설명한다. 마지막으로 GR(1) Synthesis를 통해 획득한 승리 전략을 이용하여 GetOut 퍼즐을 해결하고 그 결과에 대하여 말한다.
Keywords