Robert A. Kowalski
(¿µ±¹ ³í¸®ÇÐ, ÄÄÇ»ÅͰúÇÐ, 1941~ )
Logic Programming ÀÇ Åõ»ç
AI ¿Í ·ÎÁ÷ ÇÁ·Î±×·¡¹ÖÀÇ °ü°è´Â 1980³â´ë¿¡ µé¾î¼¸é¼ ¸Å¿ì ±í¾îÁ³´Ù. À̰ÍÀº ¹®Á¦ÇذáÀÇ Æ²·Î¼ ·ÎÁ÷ ÇÁ·Î±×·¡¹ÖÀÌ ±âÃʰ¡ µÉ »Ó¸¸ ¾Æ´Ï¶ó, ÀÀ¿ë¿¡µµ ÃæºÐÈ÷ µµ¿òÀÌ µÈ´Ù´Â °ÍÀ» ¾Ë¾Ò±â ¶§¹®ÀÌ´Ù. 1970³â´ëÀÇ AI ¿¬±¸ÀÚ¿´´ø ¿µ±¹ ·±´ø ´ëÇÐÀÇ ÄڿнºÅ°´Â Àú¼ "Logic for Problem Solving" (1979) ¿¡¼ AI ¹®Á¦¸¦ bottom up Àû ³í¸®¸¦ ÀÌ¿ëÇØ¼ ±¸Ã¼ÀûÀ¸·Î Àü°³ÇÏ´Â ¹æ¾ÈÀ» Á¦¾ÈÇß´Ù. ±×¸®°í ³í¸®½ÄÀ¸·Î ÀýÇü½Ä(Clause Form)À̶ó´Â PROLOG·Î ¹Ù²Ù¾î ¾µ ¼ö ÀÖ´Â Çü½ÄÀ» äÅÃÇ߱⠶§¹®¿¡ ¹®Á¦ÀÇ ±â¼úÀÌ ´ë´ÜÈ÷ ÀÌÇØÇϱ⠽±´Ù´Â Ư¡À» °¡Áö°í ÀÖ¾ú´Ù.
ÄڿнºÅ°´Â 1941³â 5¿ù¿¡ Äɳ×ġīƮ ÁÖ ºê¸®ÁöÆ÷Æ®(Bridgepott)¶ó´Â ¸¶À»¿¡¼ ž´Ù. Daniel Bobrow ÀÇ Schlumberger-doll ¿¬±¸¼Òµµ ¹Ù·Î ÀÌ Äɳ×ġīƮ ÁÖ¿¡ Àִµ¥, ´º¿å¿¡¼ Â÷·Î 2½Ã°£ °Å¸®ÀÎ º°ÀåÁö·Î¼µµ À¯¸íÇÑ °÷ÀÌ´Ù. ±×ÀÇ ´ëÇÐ ½ÃÀýÀº ¸Å¿ì º¯È°¡ ¸¹¾Æ¼ 1958³â~1959³â±îÁö 1³â°£Àº ½ÃÄ«°í ´ëÇÐ(Univ of Chicago) ¿¡ ÀÖ¾ú°í, ±×ÈÄ Ãâ½ÅÁöÀÇ ºê¸®ÁöÆ÷Æ® ´ëÇÐ(Univ of Bridgepott)À¸·Î µ¹¾Æ¿ÔÀ¸¸ç, 1963³â¿¡ Á¹¾÷Çß´Ù. ´ëÇпøÀº ½ºÅÄÆ÷µå ´ëÇÐ(Stanford Univ) ¿¡¼ 1963~1964³â, 1965~1966³â¿¡ ¼ö·áÇßÁö¸¸, ±× µ¿¾È¿¡ ¿ö¼Ò ´ëÇÐ(Univ of Warsaw)¿¡¼ 1³â°£ °øºÎÇß´Ù. ±×¸®°í Ph.D.´Â ¿¡µç¹ö·¯ ´ëÇÐ(Univ of Edinburgh)¿¡¼ 1967~1970³â »çÀÌ¿¡ ÃëµæÇß´Ù. ½ºÅÄÆ÷µå ´ëÇÐ(Stanford Univ)¿¡¼ÀÇ Àü°øÀº ¼öÇÐÀ̰í, ¿ö¼Ò ´ëÇп¡¼´Â ¼öÇаú ·ÎÁ÷À» °øºÎÇß´Ù. ¿¡µç¹ö·¯ ´ëÇп¡¼´Â ÄÄÇ»ÅÍ »çÀ̾ð½ºÇаú¸¦ À̼öÇßÀ¸³ª, ¿¡µç¹ö·¯ÀÇ AI Çаú´Â ±×ÈÄ¿¡ °³¼³µÇ¾ú´Ù. Ph.D. Ãëµæ ÈÄ, ¿¡µç¹ö·¯ ´ëÇп¡¼ °è»ê³í¸®ÇаúÀÇ ¿¬±¸¿øÀ¸·Î¼ ³²¾Æ, 1970~1974³â±îÁö À̰÷¿¡ ÀÖ´Ù°¡ ±×ÈÄ ·±´ø ´ëÇÐÀ¸·Î ¿Å°å´Ù. ¿¡µç¹ö·¯ ´ëÇнÃÀý¿¡ ¾´ "Logic for Problem Solving"Àº DCL(Dept. of Computation Logic)ÀÇ Memo 75 ·Î ¹ßÇ¥µÈ ÈÄ, ³ªÁß¿¡ Ã¥À¸·Î ÃâÆÇµÇ¾ú´Ù. ÀÌ Memo 75 ´Â À¯·´¿¡¼´Â ÄڿнºÅ°ÀÇ °ÀÇÀÚ·á·Î »ç¿ëµÇ¾ú´Ù.
1974³â 12¿ùºÎÅÍ ·±´ø ´ëÇÐÀÇ ¸®´õ Æ÷Áö¼ÇÀ» ¾ò¾ú´Âµ¥, ´ç½Ã ¿µ±¹ÀÇ ´ëÇеéÀº ±³¼ö(Professor) ¾Æ·¡¿¡ ¸®´õ(Reader) ¿Í ·ºÃ³·¯(Lecturer) °¡ ÀÖ¾ú´Ù. ¸»ÇÏÀÚ¸é, Á¶±³¼ö¿¡ ÇØ´çÇÑ´Ù. ÄڿнºÅ°´Â µ¿½Ã¿¡ ¿µ±¹ÀÇ SERC(Science Engineering Research Council) ÀÇ ¿¬±¸Áö¿øÀ» ¹Þ°í, Ŭ¶óÅ©(K. Clark) ¶ó´Â ¸Å¿ì ºñ»óÇÑ µÎ³ú¸¦ °¡Áø °øµ¿¿¬±¸ÀÚ¸¦ ¸¸³µ´Ù. ÄڿнºÅ°´Â 1982³â 10¿ù¿¡ Á¤½Ä±³¼ö·Î ½ÂÁøÇß´Ù. ·±´ø ´ëÇÐÀÇ ·ÎÁ÷ ÇÁ·Î±×·¡¹Ö ±×·ìÀº ±³¼ö 2¸í, ¸®´õ 1¸í, ·ºÃ³·¯ 7¸í, SERCÀÇ ¿¬±¸¿ø 3¸í, Á¶¼ö 19¸í, »ç¹«¿ø 5¸í, ´ëÇпø»ý 13¸íÀ¸·Î ±¸¼ºµÇ¾î ÀÖ´Ù. ¿µ±¹ÀÇ ·ÎÁ÷ ÇÁ·Î±×·¡¹ÖÀÇ Áß½ÉÀûÀÎ Á¸Àç°¡ ·±´ø ´ëÇÐÀÇ ÄڿнºÅ° ±×·ìÀ̸ç, Ŭ¶óÅ©¿Í ÇÔ²² ¿ì¼öÇÑ ¿¬±¸ÀÚµéÀ» ±æ·¯³»°í ÀÖ´Ù. ¿¹¸¦ µé¸é, º´·Ä ÇÁ·Î±×·¡¹Ö PARLOG¸¦ ÀÛ¼ºÇÑ ±×·¹°í¸®(S. Gregory) ³ª Æ÷½ºÅÍ(I.Poster) µµ ·±´ø ´ëÇÐÀÇ ·ÎÁ÷ ÇÁ·Î±×·¡¹Ö ±×·ìÀÇ ¸â¹öÀÌ´Ù. ¶ÇÇÑ Micro-Prolog¸¦ °³¹ßÇÑ ¸ÅÄÉÀ̺ê(F.McCabe) ¿Í ÀüºÐ°¡ ½Ã½ºÅÛ¿ë ¼Ð APES ¸¦ ±¸ÃàÇÑ Çϸóµå(P.Hammond) µµ ¿ª½Ã ÄڿнºÅ°¿¡°Ô¼ ¹è¿î ÇлýµéÀÌ´Ù.
ÃÖ±Ù¿¡ ¿Í¼ º´·Ä ÇÁ·Î±×·¡¹Ö ¾ð¾î´Â °¢±¤À» ¹Þ°í ÀÖÁö¸¸, Æ÷½ºÅÍ µîÀº º¸´Ù ½Ç¿ëÀûÀÎ Strand ¶ó´Â À̸§ÀÇ ¾ð¾î¸¦ ¸¸µé¾î³»¾î, ¹Ì±¹ ¾Æ¸£°ï´À ±¹¸³¿¬±¸¼Ò ³»¿¡¼ »ç¿ëµÇ¾ú´Ù. ÀÌ Strand ´Â ICOT¿¡¼ °³¹ßÇÑ CHC ¿Í À¯»çÇÑ ¾ð¾îÀÌÁö¸¸, °¢Á¾ ´Ù¸¥ ¾ð¾îµé°úÀÇ ¸µÅ©°¡ °¡´ÉÇÏ´Ù. ÀÌ Strand ¸¦ ÀÌ¿ëÇÑ ÇÁ·Î±×·¥ÀÌ À¯ÀüÀÚ ½ÃÄö½º¸¦ ã¾Æ³»´Â ¿µ¿ª¿¡µµ »ç¿ëµÇ°í ÀÖ´Ù.
ÄڿнºÅ°ÀÇ ÇÐÀ§³í¹®Àº "Studies in the Completeness and Efficiency of Theorem-proving by Resolution(µµÃâ¿¡ ÀÇÇÑ Á¤¸®Áõ¸íÀÇ ¿ÏÀü¼º°ú È¿À²¿¡ °üÇÑ ¿¬±¸)"·Î, 1970³â ¿¡µç¹ö·¯ ´ëÇп¡ Á¦ÃâÇß´Ù. ÀÌ ³í¹®Àº John Robinson ÀÌ ¹ß°ßÇÑ µµÃâ ¿ø¸®¿¡ ±âÃʸ¦ µÐ Áõ¸í ÇÁ·Î¼¼½º¿¡ µû¶ó Ž»ö°ø°£À» ¾î¶»°Ô Ãà¼ÒÇÒ °ÍÀΰ¡(È¿À²È ¹®Á¦), ±×¸®°í Áõ¸íÀÇ ¿ÏÀü¼º(ÂüÀÎ °ÍÀº ¹Ýµå½Ã Áõ¸íÇÒ ¼ö ÀÖ´Ù)À» ¾î¶»°Ô Áõ¸íÇÏ¸é µÉ±î¸¦ ´Ù·é °ÍÀÌ´Ù. ÄڿнºÅ°ÀÇ ¹ß»óÀº Selective Linear ¹æ½ÄÀ» äÅÃÇϰí, ¿ÏÀü¼ºÀ» À¯ÁöÇØ °¡¸ç, µµÃâÀ» È¿À²ÀûÀ¸·Î ¼öÇàÇÒ ¼ö ÀÖ´Ù´Â °ÍÀÌ¿´´Ù. ÀÌ·¯ÇÑ ÀÌ·ÐÀûÀÎ ³í¹®Àº 1971³â AI Àú³Î¿¡ ¹ßÇ¥µÇ¾ú´Ù. µ¿½Ã¿¡ DCL Memo75 ¿Í °°ÀÌ AI ¿¡ ÀÖ¾î¼ÀÇ ·ÎÁ÷ÀÇ ÀÀ¿ëÀ» ½ÃµµÇÑ ·ºÃ³ ³ëÆ®(Lecture Note)µµ ´Ù·ç°í ÀÖ´Ù.
1970³â´ë¿¡´Â ·ÎÁ÷°ú Á¤º¸Ã³¸® ¹× AI ÀÇ °ü°è¸¦ °Á¶ÇÑ ³í¹®ÀÌ ¸¹¾ÒÀ¸³ª 1980³â´ë¿¡ À̸£ÀÚ, ·ÎÁ÷ ÇÁ·Î±×·¡¹ÖÀ» ´õ¿í °·ÂÇÏ°Ô Çϴ ƲÀ», ¸ÞŸ ÇÁ·Î±×·¡¹ÖÀ¸·Î¼ º¸¿£(K. Bowen) °ú °øµ¿¿¬±¸¿¡ µé¾î°¬´Ù. ±×¸®°í ÃÖ±ÙÀÇ ¿¬±¸´Â ·ÎÁ÷°ú µ¥ÀÌÅͺ£À̽º¿ÍÀÇ °ü°è, ·ÎÁ÷ ÇÁ·Î±×·¡¹Ö°ú Àü¹®°¡ ½Ã½ºÅÛ µîÀÇ ¼º°ú·ÎºÎÅÍ ÇѰÉÀ½ ´õ ÀüÁøÇϰí ÀÖ´Ù. ... (±èÇö¼÷, 1997)
term :
Robert A. Kowalski ³í¸®ÇÁ·Î±×·¡¹Ö (Logic Programming) Prolog µµÃâ¹ý (Resolution) Áõ¸í (Proof) Á¤¸®Áõ¸í (Theorem Proving) ÀΰøÁö´É (Artificial Intelligence)
site :
Robert A. Kowalski : Computing of Imperial College
paper :
ÀΰøÁö´ÉÀ̶õ ¹«¾ùÀΰ¡ : ±èÇö¼÷, Å©¶ó¿îÃâÆÇ»ç, 1997, Page 313~314