STRIPS

 

Nils J.Nilsson °ú Richard Fikes °¡ °³¹ßÇÑ ÃÖÃÊÀÇ °èȹ½Ã½ºÅÛ (planning system) ÀÌ´Ù ("STRIPS : A New Approach to the Application of Theorem Proving to Problem Solving," Arificial Intelligence, 1971).

STRIPS ´Â ÁÖ¾îÁø ÃÖÃÊÀÇ »óŸ¦ º¯Çü½ÃÄѼ­ ¸ñÇ¥·Î ÇÏ´Â »óŸ¦ ¸¸µå´Â °úÁ¤ÀÌ true ¶ó°í Áõ¸íµÉ ¼ö ÀÖµµ·Ï world model °ø°£¿¡¼­ ¿¬»êÀÚ (operator) ÀÇ ¼ø¼­¸¦ ã¾Æ³»·Á°í ½ÃµµÇÏ´Â »õ·Î¿î problem solver ¶ó°í ÇÒ ¼ö ÀÖ´Ù. STRIPS ´Â world modelÀ» first-order predicate calculus formula ÁýÇÕÀ¸·Î Ç¥ÇöÇÏ°í, ¸¹Àº ¼öÀÇ formula ·Î ±¸¼ºµÇ´Â ¸ðµ¨°ú ÀÛµ¿Çϵµ·Ï ¼³°èµÇ¾ú´Ù. ¶ÇÇÑ Æ¯Á¤ ¸ðµ¨ÀÇ Áú¹®¿¡ ´ë´äÇÒ ¼ö ÀÖµµ·Ï resolution theorem prover ¸¦ »ç¿ëÇϸç, ±× ƯÁ¤ ¸ðµ¨ÀÌ ¹Ù¶÷Á÷ÇÑ ¸ñÀû (desired goal-satisfying) À» ´Þ¼ºÇÒ ¼ö ÀÖµµ·Ï ¼ö´Ü¸ñÇ¥ºÐ¼® (Means-Ends Analysis) ¸¦ »ç¿ëÇÑ´Ù.  

±× »õ·Î¿î program-solving ÇÁ·Î±×·¥ÀÇ À̸§Àº STRIPS (STanford Research Institute Problem Solver) ¶ó°í  ºÒ¸®¿ü´Ù. STRIPS ÀÇ ÃÖÃÊÀÇ ¹öÀüÀº PDP-10 »ó¿¡¼­ LISP À¸·Î ±¸ÇöµÇ¾ú°í SRI ¿¡¼­ ·Îº¿ ¿¬±¸¿Í ÇÔ²² »ç¿ëµÇ¾ú´Ù.

term :

°èȹ (Planning)    ¹®Á¦ÇØ°á (Problem Solving)   Á¤¸®Áõ¸í (Theorem Proving)   ÈÞ¸®½ºÆ½ Ž»ö (Heuristic Search)

paper :

STRIPS ¿Í RSTRIPS : À¯¼®ÀÎ