Pattern-obtaining Method Based on Sequential Matching with the Given Specification

摘要

This article proposes a method for problem-solving based on instructions for a task achievement. Assuming that progress of the task is observable by sensors and the result of observation is thought as pattern information, the method is described as finding a pattern satisfying specification that is a symbolic description of given instructions. The method is based on informed tree-search and is successful in obtaining the pattern corresponding to the specification using appropriate evaluation functions.