Korean Article Bank

ÀÎÁö°úÇÐÀÇ ³í¸® - ¼ö¸®³í¸®ÇÐ°ú ÀÎ°øÁö´É

±è»ó¹® (¿¬¼¼´ë ¼öÇÐ°ú)

ÀÎÁö °úÇÐ (¸¶À½, ¾ð¾î, ±â°è) : ÇÑ±¤Èñ, ÀÓÁß¿ì, ±è¹Î½Ä, ÀÌÀÏº´, º¯Çý¶õ, ±èÁø¿ì, ±è»ó¹®, ÀÌ½ÂÁ¾, ÀÌÀÍÈ¯, ÀÌ¹ÎÇà, ÀÓÃá¼º, ¹ÚÃ¢±Õ, ³ªµ¿·Ä °øÀú, ÇÐÁö»ç, 2000, Page 111~130

1. ¸¶À½ÀÇ ±â°èÈ

2. ÀÎÁö°úÇÐ°ú ¼ö¸®³í¸®ÇÐ

1) ¼ö¸®³í¸®ÇÐÀÇ ¹ßÀü°ú ÀÎÁö°úÇÐ

2) Æ©¸µ±â°è (Turing Machine) ¿Í ÀÎÁö°úÇÐ

3. ±«µ¨ (Gödel) ÀÌ·Ð°ú ÀÎÁö°úÇÐ

1) ±«µ¨°ú ÀÎ°øÁö´É (AI)

2) ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¿Í ±â°è¿Í ¸¶À½ÀÇ ÇÑ°è
4. ³í¸®ÇÐ°ú ÀÎ°øÁö´É (AI)

1) ³í¸®ÇÐ°ú Áö½ÄÇ¥»ó

2) ÀÎ°øÁö´ÉÀÇ ³í¸®ÇÐ

5. ÀÎÁö°úÇÐÀÇ ³í¸®

6. °á·Ð

1. ¸¶À½ÀÇ ±â°èÈ
ÀÎÁö°úÇÐÀÇ ¸ñÇ¥°¡ ¸¶À½ÀÇ º»Áú°ú ±× ±â´ÉÀ» ÇØ¸íÇÏ°í ±â°èÀû ±¸ÇöÀ» ÅëÇÑ °ËÁõ¿¡ ÀÖ´Ù°í ÇÒ ¶§, '¸¶À½ÀÇ ±â°èÈ (mechanization of mind)' ´Â ÀÎÁö°úÇÐÀÇ °¡Àå Áß¿äÇÑ ÁÖÁ¦ÀÇ ÇÏ³ªÀÌ¸ç µ¿½Ã¿¡ ÀÎÁö°úÇÐÀÌ ´ç¸éÇÑ ¿¬±¸°úÁ¦ÀÌ±âµµ ÇÏ´Ù. ¸¶À½ÀÇ ±â°èÈ¿¡ °üÇÑ ¿¬±¸´Â ºñ±³Àû ¿À·£ ¿ª»ç¸¦ °¡Áö°í ÀÖ´Ù. ÀÌ¹Ì À¯Å¬¸®µå (Euclide) ÀÇ ±âÇÏÇÐÀÇ °ø¸®ÇÐ (Axiomatization), ¾Æ¸®½ºÅäÅÚ·¹½º (Aristoteles) ÀÇ ³í¸®ÀÇ °ø¸®È ½Ãµµ¿¡¼ »ç°í¿¡ ´ëÇÑ ±â°èÀû ÀÌÇØ·Î¼ÀÇ ±â¿øÀ» Ã£¾Æº¼ ¼ö ÀÖÀ¸¸ç, ¶óÀÌÇÁ´ÏÃ÷ (G. W. Leibniz, 1646~1716) ÀÇ ±âÈ£¸¦ µµ±¸·Î ÇÏ´Â °è»êÃß·Ð (calculable reasoning), ±×¸®°í Èú¹öÆ® (D. Hibert) ÀÇ ¸ðµç ¼öÇÐÀû Áõ¸íÀÇ Çü½ÄÈ (formalization) °èÈ¹À» °ÅÃÄ ¿À´Ã³¯ÀÇ ÀÎÁö°úÇÐ¿¡ ÀÌ¸£±â±îÁö ¿¬±¸°¡ ÁøÇàµÇ°í ÀÖ´Ù. Æ¯È÷ Çü½Ä³í¸®Ã¼°èÀÇ ¹°¸®Àû ±¸ÇöÀÎ ÄÄÇ»ÅÍÀÇ ÃâÇöÀº ¸¶À½ÀÇ ÀÏÁ¤ÇÑ ºÎºÐÀû ±â´ÉÀÌ ±â°èÀûÀ¸·Î ±¸Çö °¡´ÉÇÏ´Ù´Â °ÍÀ» º¸¿©ÁÖ¾ú´Ù. ±×·¡¼ ÀÎ°øÁö´É (AI : Artificial Intelligence) ºÐ¾ß¿¡¼´Â ÀÎ°£ÀÇ 'ÀÚ¿¬Àû ±â´É' ¿¡ ºñ°ßÇÒ ¸¸ÇÑ 'ÀÎ°øÁö´É (AI)' ÀÇ ±¸ÇöÀ» ¸ñÇ¥·Î ´Ù°¢ÀûÀ¸·Î ¿¬±¸Áß¿¡ ÀÖ´Ù.

°ú¿¬ ÀÎ°£Àº »ý°¢ÇÏ´Â ±â°èÀÎ°¡? ¸¶À½ÀÇ ±â°èÈ´Â °¡´ÉÇÑ°¡? ÀÌ·± Áú¹®°ú °ü·ÃÇÏ¿©, ÀÎ°£À» 'ÀÇ¹Ì ±â°ü (semantic engine)', Áï ÀÚµ¿Çü½ÄÃ¼°è (automatic formal systems) ·Î º¼ ¼ö ÀÖ´Ù´Â °ßÇØ´Â ÀÎÁö°úÇÐÀÇ ±âº»Àû ÀüÁ¦ÀÇ ÇÏ³ªÀÌ´Ù (J. systems) ·Î º¼ ¼ö ÀÖ´Ù´Â °ßÇØ´Â ÀÎÁö°úÇÐÀÇ ±âº»Àû ÀüÁ¦ÀÇ ÇÏ³ªÀÌ´Ù (J. Haugeland, 1981). 19 ¼¼±â ±Ù´ë ¼ö¸®³í¸®ÇÐ (mathematical logic) ÀÇ ¼º¸³¿¡ Áß¿äÇÑ °øÇåÀÚÀÎ ºÎ¿ï (G. Boole, 1815~1864) Àº ´ë¼öÀû Çü½ÄÃ¼°è (algebraic formal systems) ¸¦ ÅëÇÏ¿© ÀÎ°£ÀÇ ¼ø¼öÇÑ »ý°¢À» Ç¥ÇöÇØ ³¾ ¼ö ÀÖ´Ù°í º¸¾ÒÀ¸¸ç ÀÌÈÄ¿¡ ¼ö¸®³í¸®ÇÐÀÇ ¼º¸³°úÁ¤Àº ¹Ù·Î ¸¶À½ÀÇ ¿ÏÀüÇÑ Çü½ÄÀû Ç¥ÇöÀ» ÁöÇâÇÏ´Â ¹ßÀüÀ» º¸¿©ÁÖ¾ú´Ù. Æ¯È÷ ¼ö¸®³í¸®ÇÐ ³»¿¡¼µµ È¸±ÍÀÌ·Ð (recursion theory), Áï °è»ê°¡´É¼ºÀÌ·Ð (computability theory), ºñ´ÜÁ¶³í¸® (nonmonotonic logic) µîÀÇ ¹ßÀüÀº ¿À´Ã³¯ ÄÄÇ»ÅÍ °úÇÐÀÇ Åº»ý°ú AI ÀÇ ¹ßÀü¿¡ Á÷Á¢ÀûÀ¸·Î ¿¬°áµÇ¾î ÀÖÀ¸¸ç, Çö´ë ÀÀ¿ë¼öÇÐÀÇ Á¤º¸ÀÌ·Ð (information theory), Åë½ÅÀÌ·Ð (communication theory) Àº ÀÎÁö°úÇÐÀÇ Á¤º¸Ã³¸®ÀÌ·Ð (information processing theory) ¼º¸³¿¡ °áÁ¤ÀûÀÎ ¿µÇâÀ» ÁÖ¾ú´Ù°í Æò°¡µÈ´Ù. ÀÌ·¯ÇÑ ¿ª»çÀû Èå¸§ ¼Ó¿¡¼ ¼ö¸®³í¸®ÇÐÀû ÀÌ·Ð°ú ¹è°æ, ³í¸®ÇÐ°ú ÀÎ°øÁö´É°úÀÇ °ü°è¸¦ ¼Ò°³ÇÏ°í ÀÎÁö°úÇÐÀÇ ³í¸®¿¡ °üÇÏ¿© °íÂûÇØ º¸°íÀÚ ÇÑ´Ù.

2. ÀÎÁö°úÇÐ°ú ¼ö¸®³í¸®ÇÐ
1) ¼ö¸®³í¸®ÇÐÀÇ ¹ßÀü°ú ÀÎÁö°úÇÐ
ÀÎ°£ÀÇ »ç°í¸¦ ±âÈ£·Î ÃæºÐÈ÷ Ç¥ÇöÇÏ¿© ´Ù·ê ¼ö ÀÖ´Ù´Â ¶óÀÌÇÁ´ÏÃ÷ (Leibniz) ÀÇ ÁÖÀåÀº ±âÈ£³í¸®ÇÐ (symbolic logic), °ð ¼ö¸®³í¸®ÇÐÀÇ ½ÃÃÊ·Î Æò°¡µÈ´Ù. ÀÌÈÄ ºÎ¿ï°ú ¸ð°£Àº ¾Æ¸®½ºÅäÅÚ·¹¼ ÀÌ·¡ÀÇ °íÀü³í¸®ÇÐ¿¡¼ ´Ù·ç´Â ³»¿ë°ú ¹üÀ§¸¦ ¸ðµÎ ´ë¼öÀû ±âÈ£³í¸®·Î Ã³¸®ÇÒ ¼ö ÀÖÀ½À» Áõ¸íÇÏ¿© ¶óÀÌÇÁ´ÏÃ÷ÀÇ ±¸»óÀ» ´õ¿í ±¸Ã¼È½ÃÄÑ º¸¿©ÁÖ¾ú´Ù. ÇÁ·¹°Ô (F. L. G. Frege, 1848~1925) ´Â ¼öÇÐÀÇ ±â¹ÝÀÌ µÉ ¼ö ÀÖ´Â ³í¸®Ã¼°ÔÀÇ °ø¸®Àû Çü½ÄÈ (axiomatic formalization) ¸¦ ÅëÇÏ¿© °Ç¼³ÇÏ°íÀÚ ÇÏ¿´°í, µ¿½Ã´ëÀÇ Æä¾Æ³ë (G. Peano, 1858~1932) ´Â ½ÇÁ¦·Î ÀÚ¿¬¼öÀÇ »ê¼ú¿¡ ´ëÇÑ °ø¸®Ã¼°è (Peano Arithmetic) ¸¦ ±¸¼ºÇÏ¿© ¼öÇÐ ³»ÀÇ ¿©·¯ °¡Áö Á¤¸®µéÀ» ³í¸®ÀûÀ¸·Î Áõ¸íÇÏ¿© º¸¿´´Ù.

ÇÑÆí ÄÅä¾î (G. Cantor, 1845~1918) ´Â ¹«ÇÑÀÇ ¹®Á¦¸¦ ¼öÇÐÀûÀ¸·Î ÇØ°áÇÏ°íÀÚ Çö´ë¼öÇÐÀÇ ±â¿øÀÌ µÇ´Â ÁýÇÕ·ÐÀ» ±¸¼ºÇÏ¿´´Âµ¥, ÁýÇÕ·ÐÀº ¼öÇÐÀÇ ±âÃÊ¿¡ ´ëÇÑ ±Ùº»ÀûÀÌ°í ±¸Á¶ÀûÀÎ º¯È¸¦ °¡Á®¿Ô´Ù. ±×·±µ¥ ºê¶ö¸®-Æ÷Æ¼ (Burali-Forti) ÀÇ ÆÐ·¯µ¶½º (1897), ÄÅä¾îÀÇ ÆÐ·¯µ¶½º (1899), ·¯¼¿ÀÇ ÆÐ·¯µ¶½º (1903) µî ÀÏ·ÃÀÇ ÆÐ·¯µ¶½ºµéÀÌ ¹ß°ßµÇ¸é¼ ÁýÇÕ·Ð¿¡ ±Ù°ÅÇÑ ¼öÇÐÀÇ ±â¹ÝÀÌ À§Çù¹Þ´Â »óÈ²ÀÌ ÀÏ¾î³ª°Ô µÇ¾ú´Ù. ÀÌ·¯ÇÑ »óÈ²¿¡¼ 20 ¼¼±â¿¡ µé¾î¿Í ¼öÇÐ ³»ÀÇ °³º°Àû ³»¿ëÀ» ´Ù·ç±âº¸´Ù´Â ¼öÇÐ ÀÚÃ¼ÀÇ ±¸Á¶Àû °Ç½Ç¼º (soundness) À» È®¸³ÇÏ±â À§ÇÑ ¼öÇÐ±âÃÊ·Ð (Foundations of Mathematics) ÀÌ ¼º¸³ÇÏ°Ô µÇ¾úÀ¸¸ç, ¼ö¸®³í¸®ÇÐÀ» Áß½ÉÀ¸·Î ¼öÇÐÀÇ º»Áú¿¡ °üÇÑ ¿¬±¸°¡ Ã¼°èÀûÀ¸·Î ¼öÇàµÇ¾ú´Ù.

¼öÇÐÀÇ º»Áú¿¡ °üÇÑ ÇØ¼®¿¡ µû¶ó Å©°Ô ´ëº°µÇ´Â ¼¼ °¡ÁöÀÇ ÀÔÀåÀÌ ÀÖ¾ú´Âµ¥, ÇÁ·¹°Ô (Frege), ·¯¼¿ (Russell), ÈÀÌÆ®Çìµå (Whitehead) ÀÇ ³í¸®ÁÖÀÇ (Logicism), ºê·Î¿ö (Brouwer, 1881~1966) ÀÇ Á÷°üÁÖÀÇ (Intuitionism), Èú¹öÆ® (Hilbert, 1862~1943) ÀÇ Çü½ÄÁÖÀÇ (Formalism) ·Î ºÐ·ùÇØ º¼ ¼ö ÀÖ´Ù. ÇÁ·¹°Ô´Â ¡º°³³ä³íÀú (Begriffsschrift)¡»(1879) ¸¦ ÅëÇÏ¿© ¼ø¼öÇÑ »ç°íÀÇ Ç¥ÇöÀ» À§ÇÑ Çü½Ä¾ð¾î·Î¼ÀÇ Çü½Ä³í¸®ÇÐ Ã¼°è¸¦ ±¸»óÇÏ¿´´Ù. ±×´Â ±âº»ÀûÀÎ ³í¸®ºÐ¼®À» ÅëÇØ¼ ¼öÇÐ ³»ÀÇ Á¤¸®¿Í Áõ¸íµéÀÇ º»ÁúÀû ±¸Á¶¸¦ ¹àÇô³¾ ¼ö ÀÖ´Ù°í º¸°í ¼öÇÐÀ» Çü½Ä³í¸®Ã¼°è·Î È¯¿ø½ÃÅ°´Â ÀÛ¾÷ÀÇ ±âÃÊ¸¦ Á¦°øÇÏ¿´´Ù. ÀÌ·¯ÇÑ ½Ãµµ°¡ Å¸´çÇÏ´Ù°í º» ·¯¼¿Àº ¡º¼öÇÐÀÇ ¿øÄ¢ (Principles of Mathematics)¡»(1903) ¿¡¼ ÇÁ·¹°ÔÀÇ °èÈ¹°ú Æä¾Æ³ëÀÇ °á°ú¸¦ °áÇÏºñÄÑ »ê¼úÃ¼°è»Ó ¾Æ´Ï¶ó ¼öÇÐÀÇ ¸ðµç ºÐ¾ßµéµµ ³í¸®¿¡ È¯¿øµÉ ¼ö ÀÖ´Ù°í »ý°¡ÇÏ¿´´Ù. ±×¸®°í ÈÀÌÆ® Çàµå¿ÍÀÇ °øÀú ¡º¼öÇÐ¿ø·Ð (Principia Mathematical)¡»(1910~1913) ¿¡¼´Â ¸íÁ¦³í¸®Ã¼°è (Propositional Logic System) ³»¿¡¼ ¼¼ºÐÈ À¯Çü·Ð (ramified type theory) À» »ç¿ëÇÏ¿© ³í¸®·ÎºÎÅÍ ¼öÇÐÀÌ ¿¬¿ª°¡´ÉÇÔÀ¸·Î º¸ÀÌ°íÀÚ ÇÏ¿´´Ù.

ºê·Î¿ö´Â Å©·Î³×Ä¿ÀÇ ±¸¼ºÁÖÀÇÀÇ ¿µÇâ°ú ¼öÇÐÀÇ º»ÁúÀÌ Á÷°ü¿¡ ÀÖ´Ù´Â »ý°¢¿¡ ±Ù°ÅÇÏ¿© ¼öÇÐÀ» ³í¸®¿¡ È¯¿ø½ÃÅ°´Â °ÍÀ» ¹Ý´ëÇÏ¿´°í ¶ÇÇÑ °ø¸®È¿¡ ´ëÇØ¼µµ ¹Ý´ëÇÏ¿´´Ù (¼öÇÐÀÇ ±âÃÊ¿¡ °üÇÏ¿© Over de grondslagen der wiskunde, 1907). ±×´Â ³í¸®¿Í ¼öÇÐÀÇ ¹«°ü¼ºÀ» ÁÖÀåÇÏ¸ç ¹«ÇÑÁýÇÕ¿¡ ¹èÁß·ü (law of the excluded middle) À» Àû¿ëÇÏ´Â °ÍÀÌ À¯ÇÑÁýÇÕÀ¸·ÎºÎÅÍÀÇ ºÎ´çÇÑ È®ÀåÀÌ¶ó°í º¸°í ÀÌ¸¦ ±Ù°Å·Î ¼öÇÐÀû Ãß·Ð¿¡¼ ¹èÁß·üÀÇ ¹«Á¦ÇÑÀû Àû¿ë¿¡ ¹Ý´ëÇÏ±âµµ ÇÏ¿´´Ù (³í¸®¹ýÄ¢ÀÇ ºñ½Å·Ú¼º De onbetrouwbaarheit der logische principes, 1908). ³í¸®ÁÖÀÇ°¡ ³í¸®Àû È¯¿øÀ» ÅëÇÏ¿© ÆÐ·¯µ¶½ºÀÇ ÇØ°áÀ» ½ÃµµÇÏ¿´´Ù¸é Á÷°üÁÖÀÇ´Â ³»¿ëÀÇ Àç±¸¼ºÀ» ÅëÇÏ¿© ÆÐ·¯µ¶½ºÀÇ ¹®Á¦¸¦ ÇØ¼Ò½ÃÅ°°íÀÚ ÇÏ¿´´Ù.

Èú¹öÆ®´Â ¸ÕÀú ±âÇÏÇÐÀÇ ±âÃÊ¸¦ Çü½ÄÈ (formalization) ÇÏ´Âµ¥ ¼º°øÇÑ ÈÄ¿¡ ¼öÇÐ ÀüÃ¼¿¡ ´ëÇÑ Á¤¸®µé (theorems) °ú °ø¸®µé (axioms) ÀÇ Çü½ÄÈ¸¦ µµ¸ðÇÏ¿© ±× Çü½ÄÃ¼°è ÀÚÃ¼ÀÇ ¹«¸ð¼ø¼º (consistency) °ú ¿ÏÀü¼º (completeness) À» Áõ¸íÇÔÀ¸·Î½á ¼öÇÐÀÇ ±âÃÊ¸¦ È®¸³ÇÏ°íÀÚ ÇÏ¿´´Ù. Çü½ÄÃ¼°èÀÇ ¹«¸ð¼ø¼º°ú ¿ÏÀü¼ºÀ» Áõ¸íÇÏ±â À§ÇÏ¿© À¯ÇÑÀû (finitistic) Çü½Ä°ú ÀýÂ÷¿¡ ÀÇÇÑ À¯ÇÑÀû Çü½ÄÈ ¹æ¹ýÀ» ÅëÇÏ¿© Áõ¸íÇÑ ÀÌ·ÐÀÌ Áõ¸í·Ð (Beweistheorie, proof theory) ¶Ç´Â ¸ÞÅ¸¼öÇÐ (Metamathematics) ÀÌ´Ù. 1901 ³â ±«ÆÃ°Õ (Göttingen) ¼öÇÐÈ¸¿¡¼ ÇàÇÑ °¿¬ '¿ÏÀü¼º°ú °áÁ¤°¡´É¼º¿¡ °üÇÏ¿©' ¿¡¼ ÁýÇÕ·ÐÀ» Æ÷ÇÔÇÏ¿© ¼öÇÐÀÇ ¸íÁ¦µéÀº Çü½ÄÃ¼°è ³»¿¡¼ °ø¸®¿¡ ÀÇÇØ Çü½ÄÀûÀ¸·Î °áÁ¤µÉ ¼ö ÀÖ¾î¾ß ÇÏ¸ç, ÀÌ Çü½ÄÃ¼°èÀÇ ¹«¸ð¼ø¼º, °áÁ¤°¡´É¼º (decidability), ¿ÏÀü¼ºÀ» ÀÔÁõÇØ¾ß ÇÑ´Ù°í ÁÖÀåÇÏ¿´´Âµ¥, ÀÌ°ÍÀÌ ÀÌ¸¥ ¹Ù 'Èú¹öÆ® ÇÁ·Î±×·¥' ÀÌ¶ó´Â °ÍÀÌ¾ú´Ù. Áï, ÀÌ°ÍÀº 1 °è¼ú¾î³í¸® (First-order predicate logic) ¶ó´Â Çü½ÄÃ¼°èÀÇ ¿ÏÀü¼º, °áÁ¤°¡´É¼º, ¹«¸ð¼ø¼º Áõ¸íÀÇ ¹®Á¦¸¦ ÀÇ¹ÌÇÑ´Ù.

20 ¼¼±â ÃÊ¹Ý¿¡ ¼ö¸®³í¸®ÇÐÀÌ ³í¸®ÁÖÀÇ¿Í Á÷°üÁÖÀÇ, Çü½ÄÁÖÀÇ¿Í Á÷°üÁÖÀÇÀÇ Ä¡¿ÇÑ ³íÀïÀ» °ÅÄ¡¸é¼ Àü°³µÇ¾ú´Ù. 1930 ³â ±«µ¨ (K. Gödel, 1906~1978) Àº Hilbert °¡ Á¦½ÃÇÑ ¹ÌÇØ°á ¹®Á¦ Áß Æä¾Æ³ë »ê¼úÃ¼°è¸¦ Æ÷ÇÔÇÏ´Â 1 °è³í¸®ÀÇ ¿ÏÀü¼º ¹®Á¦¸¦ Áõ¸íÇÏ¿© ºñ¿£³ª ´ëÇÐÀÇ ¹Ú»çÇÐÀ§ ³í¹® '³í¸®°è»êÀÇ ¿ÏÀü¼º¿¡ °üÇÏ¿© (Über die Vollständigkeit des Logikkalküls)' ·Î ¹ßÇ¥ÇÏ¿´´Ù. ±×´Â ÀÌ¾î¼ 1931 ³â Æä¾Æ³ë »ê¼úÃ¼°èÀÇ È®ÀåµÈ Çü½ÄÃ¼°è°¡ ¿À¸Þ°¡ -¹«¸ð¼ø (¥ø-consistent) ÇÏ¸é ±× Çü½ÄÃ¼°è ³»¿¡¼ Áõ¸íºÒ°¡´É (unprovable) ÇÏ¸é¼ ¹ÝÁõºÒ°¡´ÉÇÑ (not disprovable) ¹®Àå, Áï °áÁ¤ºÒ°¡´ÉÇÑ ¹®Àå (formally undecidable sentence) ÀÌ Á¸ÀçÇÑ´Ù´Â °ÍÀ» Áõ¸íÇÏ¿´´Ù ('¼öÇÐ¿ø·Ð°ú °ü·ÃÃ¼°èµéÀÇ Çü½ÄÀû °áÁ¤ºÒ°¡´É¼º ¸íÁ¦¿¡ °üÇÏ¿© I Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System I,' 1931). ÀÌ°ÍÀÌ ±«µ¨ÀÇ Á¦ 1 ºÒ¿ÏÀü¼º Á¤¸® (1st Incompleteness Theorem) ÀÌ´Ù. ¿ÏÀü¼ºÀÌ Áõ¸íµÈ 1 °è³í¸®¶ó´Â Çü½ÄÃ¼°è¸¦ ÅëÇÏ¿© È®ÀåµÈ Çü½ÄÃ¼°èÀÇ ºÒ¿ÏÀü¼ºÀÌ Áõ¸íµÈ °ÍÀÌ´Ù. µû¶ó¼ ÀÌ ºÒ¿ÏÀü¼º Á¤¸®¿¡ ÀÇÇØ Èú¹öÆ®ÀÇ ¿ø´ëÇÑ °èÈ¹ÀÌ ºÒ°¡´ÉÇÏ´Ù´Â °ÍÀÌ Áõ¸íµÇ¾ù´Ù. Çü½Ä³í¸®Ã¼°èÀÇ ¿ÏÀü¼ºÀÌ º¸ÀåµÉ ¼ö ¾ø´Ù´Â, Áï ³í¸®ÇÐ¿¡¼ °¡Àå ¹ß´ÞµÈ Çü½Ä³í¸®ÇÐ Ã¼°èÀÇ ÇÑ°è¸¦ ºÐ¸íÈ÷ º¸¿©ÁØ Ãæ°ÝÀûÀÎ »ç°ÇÀÌ¾ú´Ù.

ÀÌÈÄ Çü½Ä³í¸®ÀÇ ÇÑ°è¸¦ º¸¿©ÁÖ´Â Á¤¸®·Î À¯È¿Àû À¯ÇÑÀýÂ÷ (effective finite procedure) °¡ Á¸ÀçÇÒ ¼ö ¾øÀ½À» Áõ¸íÇØ º¸ÀÎ Ã³Ä¡ (A. Church) ÀÇ Á¤¸® (1936) °¡ ÀÖÀ¸¸ç, ÀÌ·¯ÇÑ ¹®Á¦´Â ¼ö¸®³í¸®ÇÐ¿¡¼ °áÁ¤ºÒ°¡´É¼º (undecidability) ÀÇ ÁÖÁ¦·Î ´Ù·ç¾î Áö°í ÀÖ´Ù. ÀÌ·¯ÇÑ °áÁ¤ºÒ°¡´É¼ºÀÇ ¹®Á¦¿Í ÇÑ°èÀÌ·ÐµéÀº ¹Ù·Î ÀÎ°£°ú ±â°èÀÇ ³í¸®Àû ÇÑ°è¸¦ µ¿½Ã¿¡ º¸¿©ÁÖ´Â °ÍÀ¸·Î ÀÎÁöÀÇ ÇÑ°è ¶Ç´Â ÀÎÁö ¿µ¿ªÀÇ °áÁ¤ºÒ°¡´É¼º ¹®Á¦¿Í °ü·ÃµÈ ÀÎÁö°úÇÐÀÇ Áß¿äÇÑ ÁÖÁ¦ÀÌÀÚ °úÁ¦ÀÌ´Ù.

±«µ¨ (Gödel) ÀÇ °á·ÐÀÌ ¸ðµç ¹®Á¦ÀÇ ÇØ´äÀ» Á¦½ÃÇÑ °ÍÀº ¾Æ´Ï´Ù. °¡·É Áõ¸íºÒ°¡´ÉÇÑ ¸íÁ¦°¡ Áõ¸í°¡´ÉÇÑ ¸íÁ¦¿Í ¾î´À Á¤µµ ±¸º°µÉ ¼ö ÀÖ´Â°¡ÀÇ ¹®Á¦´Â ÇØ°áµÈ °ÍÀÌ ¾Æ´Ï¾ú´Ù. ±â°èÀûÀ¸·Î È®ÀÎµÉ ¼ö ÀÖ´Â Áõ¸í¿¡ ÀÇÇØ ¼öÇÐÀÇ ´ëºÎºÐÀÌ Á¤È®ÇÏ°Ô µÉ ¼ö ÀÖÀ¸¸®¶ó´Â ±â´ë°¡ ¿©ÀüÈ÷ ³²¾Æ ÀÖÀ¸¸ç ±×·¯ÇÑ ¹®Á¦¸¦ ÁýÁßÀûÀ¸·Î ´Ù·é ÇÐÀÚµéÀÌ Æ©¸µ (A. Turing), Ã³Ä¡ (A. Church), Å¬¸° (C. Kleene), Æ÷½ºÆ® (E. Post) µîÀÌ¾ú´Ù. ÀÌµé¿¡ ÀÇÇØ °è»êÀÇ Çü½Ä ¸ðµ¨µéÀÌ ´Ù¾çÇÏ°Ô ±¸¼ºµÇ¾úÀ¸¸ç, Æ¯È÷ È¸±ÍÇÔ¼ö (recursive function) ¿¡ °üÇÑ Áß¿äÇÑ °á°úµéÀÌ ³ª¿Ô´Ù. ÀÚ½ÅÀÇ °è»ê°á°ú¸¦ ¼ö¿ëÇÏ´Â È¸±ÍÇÔ¼öÀÇ ¼Ó¼ºÀº ´ÙÀ½°ú °°ÀÌ Ç¥ÇöµÉ ¼ö ÀÖ´Ù.

°è»ê°¡´É¼ºÀÌ·Ð (Computability Theory) Àº º»·¡ ±«µ¨ÀÇ ¿øÈ¸±ÍÇÔ¼ö (primitive recursive function) ·ÎºÎÅÍ ¹ßÀüµÈ Herbrand-Gödel-Kleene Ã¼°èÀÇ ÀÏ¹ÝÈ¸±ÍÇÔ¼ö (general recursive function) ¿¡¼ ¹ßÀüµÈ °ÍÀÌ´Ù. Ã³Ä¡ÀÇ Á¤¸® (Church Thesis, 1936) ¿¡ ÀÇÇØ À¯È¿Àû (effective) ÀÌ¶ó´Â °³³äÀÌ È¸±ÍÀû (recursive) ÀÌ¶ó´Â °³³ä°ú °áÇÕµÇ¾î À¯È¿Àû °è»ê°¡´É¼ºÀÌ °ð È¸±ÍÀûÀÌ¶ó°í ¹Þ¾Æµé¿©Áö°Ô µÇ¾ú´Ù. ±×¸®°í Æ©¸µ (A. Turing, 1912~1954) Àº °è»ê°¡´É¼ºÀÇ Ãß»óÀû Çü½ÄÃ¼°èÀÎ Æ©¸µ±â°è (Turing Machine) ¸¦ °í¾ÈÇÏ¿© Æ©¸µ±â°è¿¡ ÀÇÇØ °è»ê°¡´ÉÇÑ °ÍÀº °ð À¯È¿Àû °è»ê°¡´ÉÀÓÀ» ÁÖÀåÇÏ¿´´Ù (Turing Thesis, 1936). ±×·¡¼ Ã³Ä¡ÀÇ Á¤¸®¿Í Æ©¸µÀÇ Á¤¸® (Turing Thesis) ´Â µ¿Ä¡·Î ÀÎÁ¤µÇ°í, ÀÏ¹ÝÈ¸±ÍÇÔ¼ö¿Í Æ©¸µ±â°è¿¡ ÀÇÇÑ °è»ê°¡´É¼º¿¡ ÀÇÇØ °è»êÀÌ·ÐÀÌ ±¸¼ºµÈ´Ù.

2) Æ©¸µ±â°è (Turing Machine) ¿Í ÀÎÁö°úÇÐ
2 Ãµ¿© ³â µ¿¾È ¾Æ¸®½ºÅäÅÚ·¹½ºÀÇ »ï´Ü³í¹ýÀû Ãß·Ð¿¡ µû¸¥ °íÀü³í¸®´Â Ãß»óÈµÈ ±âÈ£ÀÇ Á¶ÀÛ¿¡ ÀÇÇÑ Çü½Ä³í¸®°¡ ÇÁ·¹°Ô¿¡ ÀÇÇØ 19 ¼¼±â ¸»¿¡ ½ÃÀÛµÇ¾î 20 ¼¼±â ÃÊ¿¡ ·¯¼¿°ú ÈÀÌÆ®Çìµå¿¡ ÀÇÇØ »ê¼úÀÇ ±âº»¹ýÄ¢À» ¸íÁ¦³í¸®¿¡ È¯¿ø½ÃÅ°´Â ÀÛ¾÷À¸·Î ¿¬°áµÇ¾ú´Ù. ÀÌ·¯ÇÑ ÀÛ¾÷µéÀº ÈÄ¿¡ ¼öÇÐÀû ÈÆ·ÃÀ» ÅëÇØ ÀÎÁö°úÇÐÀÇ ±âÃÊ¸¦ ¼¼¿ì´Âµ¥ ¸Å¿ì Áß¿äÇÑ °øÇåÀ» ÇÑ À§³Ê (N, Wiener) ³ª ³ëÀÌ¸¸ (J. von Neumann, 1903~1957) µîÀÇ ¼öÇÐÀÚµé¿¡°Ô Áö´ëÇÑ ¿µÇâÀ» ÁÖ¾ú´Ù.

Æ©¸µ (A. Turing) Àº ÀÎÁö°úÇÐ¿¡ °¡Àå Å« Áß¿ä¼ºÀ» °¡Áö´Â ¼ö¸®³í¸®Àû Çü½ÄÃ¼°èÀÇ ¿¬±¸¸¦ ¹ßÇ¥Çß´Ù. ±×´Â 1936 ³â¿¡ Æ©¸µ±â°è (Turing Machine) ·Î ºÒ¸®´Â °£´ÜÇÑ ±â°èÀÇ °³³äÀ» Á¦½ÃÇÏ¿´´Ù ('On computable numbers with an application to the Entscheidungs-problems). ±×°ÍÀº ÀÌ·ÐÀûÀ¸·Î »ý°¢ÇÒ ¼ö ÀÖ´Â °è»êÀº ¾î¶² °Íµµ ¼öÇàÇÒ ¼ö ÀÖ´Â ±â°è¸¦ ÀÇ¹ÌÇß´Ù. ±× ±â°è¿¡ ÇÊ¿äÇÑ °ÍÀº ¹«ÇÑÇÑ ±æÀÌÀÇ Å×ÀÌÇÁ (tape) ¿Í ±× Å×ÀÌÇÁ¿¡ ±â·ÏµÈ ±âÈ£¸¦ ÆÇµ¶ÇÏ´Â ÆÇµ¶±â (scanner) »ÓÀÌ¾ú´Ù. Å×ÀÌÇÁ ÀÚÃ¼´Â ¿©·¯ ÄÀ¸·Î ³ª´©¾îÁö°í °¢°¢ÀÇ ÄÀº °ø¶õÀÌ³ª ÀÏÁ¤ÇÑ Á¾·ùÀÇ ±âÈ£·Î Ã¤¿öÁö°Ô µÈ´Ù. ±â°è´Â Å×ÀÌÇÁ¿Í ´õºÒ¾î ¿À¸¥ÂÊÀ¸·Î ÀÌµ¿, ¿ÞÂÊÀ¸·Î ÀÌµ¿, Áö¿ì±â, ÇÁ¸°Æ®ÀÇ ³× °¡Áö µ¿ÀÛ (move) ÀÌ °¡´ÉÇÏ´Ù. ÀÌ·¯ÇÑ °£´ÜÇÑ ¿¬»ê¸¸À¸·Î ±â°è´Â 2 Ç× (binary : 0, 1) ÄÚµå ³»¿¡¼ Ç¥ÇöµÉ ¼ö ÀÖ´Â ¾î¶°ÇÑ °èÈ¹ÀÌ³ª ÇÁ·Î±×·¥µµ ¼öÇàÇÒ ¼ö ÀÖ´Ù´Â °ÍÀÌ´Ù. ¸»ÇÏÀÚ¸é °úÁ¦¸¦ ¼öÇàÇÏ±â À§ÇØ ÇÊ¿äÇÑ ´Ü°èµéÀ» ¸í¹éÇÏ°Ô Ç¥ÇöÇÒ ¼ö ÀÖ´Ù¸é, ´Ü¼øÈ÷ Áö½Ã (instruction) ¸¦ ¼öÇàÇÏ°í Å×ÀÌÇÁ¸¦ ÆÇµ¶ÇÏ´Â Æ©¸µ±â°è¿¡ ÀÇÇØ ¸ðµÎ ÇÁ·Î±×·¥ÈµÇ¾î ¼öÇàµÉ ¼ö ÀÖ´Ù´Â °ÍÀÌ´Ù. ±âº»ÀûÀÎ Æ©¸µ±â°è (Turing Machine) M À» Á¤ÀÇÇÏ¸é ´ÙÀ½°ú °°´Ù.

M = (Q, ¥Ò, ¥Ã, ¥ä, q0, B, F)

Q : »óÅÂ (state) µéÀÇ À¯ÇÑÁýÇÕ

¥Ã : Çã¿ëµÇ´Â Å×ÀÌÇÁ ºÎÈ£µéÀÇ À¯ÇÑÁýÇÕ

B : blank ÀÌ¸ç ¥Ã ÀÇ ºÎºÐÁýÇÕ

¥Ò : B ¸¦ Æ÷ÇÔÇÏÁö ¾Ê´Â ¥Ã ÀÇ ºÎºÐÁýÇÕÀÌ¸ç, ÀÔ·ÂºÎÈ£µéÀÇ ÁýÇÕ

¥ä : ¥äQ ¡¿ ¥Ã ¡æ Q ¡¿ ¥Ã ¡¿ {L, R}

q0 : ½ÃÀÛ»óÅÂ (initial state) ·Î Q ÀÇ ¿ø¼Ò

F : ÃÖÁ¾»óÅÂ (final state) ·Î Q ÀÇ ºÎºÐÁýÇÕ

0 °ú 1 ·Î ±¸¼ºµÉ ¼ö ÀÖ´Â 2 Ç×ÀÇ ÄÚµå°¡ ¹«ÇÑÁ¤ÇÑ ÇÁ·Î±×·¥À» °í¾ÈÇÏ°í ¼öÇàÇÒ ¼ö ÀÖµµ·Ï ÇÑ´Ù´Â Æ©¸µÀÇ ¿¬±¸°á°ú´Â °è»êÀåÄ¡¿¡ °ü½ÉÀ» °¡Áø ¿¬±¸ÀÚµé¿¡°Ô ¸Å¿ì Áß¿äÇÑ ¾Ï½Ã¸¦ ÁÖ¾ú´Ù. Æ©¸µÀº ÀÚ½ÅÀÇ °è»êÀåÄ¡ ¼³°è¿¡ ÀÌ¾î¼ 1950 ³Í¿¡´Â Æ©¸µÅ×½ºÆ®¸¦ ½Ç½ÃÇß´Ù ('Computing Machinery and Intelligence', 1950). ÅÚ·¹Å¸ÀÌÇÁ¸¦ ÅëÇÑ ´ëÈ¿¡¼ ÀÎ°£ÀÇ ´ë´ä°ú ±â°èÀÇ ´ë´äÀ» ±¸º°ÇÒ ¼ö ¾ø´Â ÇÁ·Î±×·¥À» Á¦½ÃÇÑ °ÍÀÌ´Ù. ÀÌ Å×½ºÆ®¿¡ µû¸£¸é ÀÎ°£ÀÇ ´ë´ä°ú ±â°èÀÇ ´ë´äÀ» °üÂûÀÚ°¡ ±¸º°ÇÒ ¼ö ¾ø´Ù¸é ÄÄÇ»ÅÍ°¡ ½ÇÁ¦·Î »ý°¢ÇÒ ¼ö ÀÖÀ½ÀÌ Áõ¸íµÈ´Ù´Â °ÍÀÌ¾ú´Ù.

ÀÌ·¯ÇÑ ±¸»óÀÌ ÀÇ¹ÌÇÏ´Â °ÍÀº °ð »ç°íÀÇ °úÁ¤ÀÌ³ª ÇàÀ§°¡ Á¤È®È÷ Ç¥»óµÉ ¼ö ÀÖ´Ù¸é µ¿ÀÏÇÑ ¹æ½ÄÀ¸·Î ÀÛµ¿ÇÏ´Â °è»ê±â°è¸¦ ¼³°èÇÒ ¼ö ÀÖ´Â °¡´É¼ºÀÌ Á¸ÀçÇÑ´Ù´Â °ÍÀÌ´Ù. ±×·¡¼ Æ©¸µ±â°è¿¡ ÀÇÇØ ÀÎ°£ÀÌ ¾î¶»°Ô »ç°íÀÇ ±â´ÉÀ» ÇàÇÏ´Â°¡¿¡ °üÇÑ °³¿¬Àû ÀÌ·ÐµéÀ» °úÇÐÀûÀ¸·Î °ËÁõÇÒ ¼ö ÀÖ°Ô µÇ¾ú°í, ³ª¾Æ°¡ ÀÎ°£Ã³·³ »ý°¢ÇÒ ¼ö ÀÖ´Â ±â°è¸¦ ±¸¼ºÇÏ´Â ¹®Á¦¿¡ º¸´Ù ±¸Ã¼ÀûÀ¸·Î Á¢±ÙÇÏ°Ô µÇ¾ú´Ù.

Æ©¸µÀº ÀÎ°£ÀÌ ¼öÇàÇÒ ¼ö ÀÖ´Â °è»êÀ» ¾Ë°í¸®Áò (algorithm) À» °®Ãá Æ©¸µ±â°è¿¡ ÀÇÇØ µ¿ÀÏÇÏ°Ô ½ÇÇà½ÃÅ³ ¼ö ÀÖ´Ù°í º¸¾Ò´Ù. ÀÌ°ÍÀº »óÂ¡Á¶ÀÛ (symbolic manipulation) ¿¡ ÀÇÇÑ °è»ê°¡´É¼ºÀ» º¸¿©ÁØ ¸ðµ¨ÀÌ µÇ¾ú°í ¿À´Ã³¯ °è»êÁÖÀÇ (computationalism) ÀÇ ¿øÇüÀ¸·Î Æò°¡µÇ°í ÀÖ´Ù. 1948 ³â ÄÄÇ»ÅÍÀÇ Ã¢½ÃÀÚ·Î ¿©°ÜÁö´Â Æù ³ëÀÌ¸¸ (J. von Neumann) Àº Æ©¸µ±â°èÀÇ °è»ê°¡´É¼º°ú »ý¸íÃ¼ÀÇ ÀÚ±âÁõ½Ä ´É·ÂÀ» °¡Áø ±â°èÀÎ ÀÚ±âÁõ½ÄÀÚµ¿ÀÚ (self-reproduction automation) ÀÌ·ÐÀ» ¹ßÇ¥ÇÏ¿´´Ù. Æ©¸µÀÇ »ý°¢¿¡ ±Ù°ÅÇÏ¿© Æù ³ëÀÌ¸¸Àº ±â°è¸¦ Àç»ý»êÇØ ³¾ ¼ö ÀÖ´Â Æ©¸µ±â°è¸¦ Áö½ÃÇÏ´Â ÇÁ·Î±×·¥À» °í¾ÈÇÏ°íÀÚ ÇÏ¿© ³»Àå ÇÁ·Î±×·¥ (stored program) À» ±¸»óÇÏ¿´´Ù. ÀÌ´Â ÄÄÇ»ÅÍ°¡ ³»ºÎ ±â¾ï¿¡ ÀÚÃ¼ ³»ÀåµÈ ÇÁ·Î±×·¥À» ÅëÇØ¼ ÅëÁ¦µÉ ¼ö ÀÖÀ½À» ÀÇ¹ÌÇÏ´Â °ÍÀÌ¾ú´Ù. ±×·¯¹Ç·Î ±â°è°¡ ¸Å¹ø »õ·Î¿î °úÁ¦¸¦ À§ÇØ ´Ù½Ã ÇÁ·Î±×·¥È µÉ ÇÊ¿ä°¡ ¾ø°Ô µÇ¾ú´Ù. Æù ³ëÀÌ¸¸¿¡ ÀÇÇØ¼ ÃÖÃÊ·Î ÄÄÇ»ÅÍ°¡ ÀÚÃ¼ÀÇ ÇÁ·Î±×·¥À» ÁØºñÇÏ°í ¼öÇàÇÏ´Â °ÍÀÌ °¡´ÉÇÏ´Ù°í »ý°¢ÇÒ ¼ö ÀÖ°Ô µÈ °ÍÀÌ´Ù.

Á¤º¸Ã³¸®Àû °üÁ¡¿¡¼ 1948 ³â ¼öÇÐÀÚ À§³Ê (N. Weiner, 1894~1964) ´Â µ¿¹°°ú ±â°èÀÇ °øÅëµÈ Á¦¾î (control) ¿Í Åë½Å (communication) ÀÇ ¿µ¿ª¿¡ ±Ù°ÅÇÑ ÀÎ°øµÎ³úÇÐ (cybernetics) ÀÌ·ÐÀ» Á¦½ÃÇÏ¿´´Ù ('Cybernetics or control and communication in the animal and the machine'). ¼öÇÐÀÚ ¼¨³í (C. Shannon) Àº 'Åë½ÅÀÇ ¼öÇÐÀû ÀÌ·Ð (A Mathematical Theory of Communication, 1948)' ÀÌ¶õ ³í¹®À» ÅëÇØ Á¤º¸ÀÇ ´ÜÀ§¸¦ ºñÆ® (binary digit) ·Î º¸°í ¼ö·®Àû ÃøÁ¤ÀÌ °¡´ÉÇÏ´Ù°í ÁÖÀåÇÏ¿© Á¤º¸ÀÌ·Ð (information theory) À» ¼º¸³½ÃÄ×´Ù.

ÇÑÆí 1943 ³â¿¡´Â ½Å°æ°úÇÐÀÚ ¸ÆÄð·ÎÄ¡¿Í ¼öÇÐÀÚ ÇÇÃ÷°¡ ´º·± (neuron) À¸·Î ±¸¼ºµÈ ½Å°æ¸Á (neural network) ÀÌ Çü½Ä³í¸®ÇÐÀÇ ±âº»ÀûÀÎ °è»êÀ» ¼öÇàÇÒ ¼ö ÀÖ´Ù´Â °¡´É¼ºÀ» Á¦½ÃÇÏ¿© ¿À´Ã³¯ ½Å°æ¸ÁÀÌ·ÐÀÇ È¿½Ã°¡ µÇ¾ú´Ù ('A Logical Calculus of the Ideas Immanent in Nervous Activity').

´ºÀ£ (A. Newell) °ú »çÀÌ¸Õ (H.A. Simon) ÀÇ '³í¸®ÀÌ·Ð°¡ (Logic Theorist)' ´Â ¹ß°ß¹ýÃß·Ð (heuristic reasoning) À» »ç¿ëÇÑ ÃÖÃÊÀÇ AI ÇÁ·Î±×·¥ÀÌ¾úÀ¸¸ç, ÀÌ¸¦ º¸´Ù ¹ßÀü½ÃÅ² °ÍÀÌ 'ÀÏ¹Ý¹®Á¦ÇØ°áÀÚ (General Problem Solver, 1958)' ¿´´Ù. ÀÌ °úÁ¤À» ÅëÇØ¼ ÀÎ°£°ú ÄÄÇ»ÅÍ°¡ »óÂ¡À» Á¶ÀÛÇÏ´Â ¹°¸®Àû Çü½ÄÃ¼°è¶ó´Â ÀÌ·ÐÀÌ ¼º¸³µÇ°Ô µÇ¾ú´Ù. »ç¹«¿¤ (A. Samuel) ÀÇ Ã¼½º°æ±âÇÐ½À ÇÁ·Î±×·¥ (Learning Checkers Playing Program) Àº ÃÖÃÊÀÇ ±â°èÇÐ½À ÇÁ·Î±×·¥ÀÌ¾ú´Ù. ¸ÆÄ«½Ã (McCarthy) ´Â AI ¿¡¼ Áö½ÄÇ¥»óÀ» À§ÇØ¼´Â 1 °è ³í¸® (First Order Logic) ÀÇ »ç¿ëÀ» Á¦¾ÈÇÏ¿´À¸¸ç, Ä÷¸®¾È (Quillian) Àº ÀÇ¹Ì·ÐÀû ¸Á (semantic network) ÀÇ °³³äÀ» ¹ßÀü½ÃÄ×´Ù. °¥·»´õ (H. Gallenter) ´Â À¯Å¬¸®µå ±âÇÏ¿¡¼ÀÇ Áõ¸íÀ» ¸¸µé¾î ³»±â À§ÇÑ ÇÁ·Î±×·¥À» °³¹ßÇÏ°íÀÚ ÇÏ¿´´Ù. ±×·¯³ª ÇÁ·Î±×·¥ÀÇ ¹®Á¦ÇØ°á ´É·ÂÀÌ Æ¯Á¤ÇÑ ºÐ¾ß¸¦ ¹þ¾î³¯ ¼ö ¾ø¾ú°í Àü¹ÝÀûÀÎ ¹®Á¦¿¡ °üÇÑÇÑ ÀÎ°£ÀÇ ÀÚ¿¬Áö´É¿¡ ºñ°ßÇÒ ¸¸ÇÑ ÀÎ°øÁö´ÉÀÇ °³¹ßÀº ¿ä¿øÇÑ ¹®Á¦¿´´Ù.

ÀÌÈÄ Ãß·ÐÀÇ ÀÏ¹ÝÀû Àü·«º¸´Ù´Â Áö½ÄÀ» ±¸Ã¼ÀûÀ¸·Î Ã³¸®ÇÏ´Â Çü½ÄÃ¼°èÀÎ Ç¥»óÀÇ ¹®Á¦°¡ AI ÀÇ ÁÖ¿ä ¿¬±¸°úÁ¦°¡ µÇ¾úÀ¸¸ç, DENDRIL Àº Àü¹®°¡ ½Ã½ºÅÛ (Expert System) ÀÇ ½ÃÃÊ·Î¼ Áö½ÄÇ¥»óÀÇ ÀÏÁ¤ ¿øÄ¢À» ¼ö¸³ÇØ ÁÖ¾ú´Ù. º´¿ø-ÀÇÇÐÁö½Ä°ú °ü·ÃµÈ MYCIN Àº ÃÖÃÊÀÇ ÅëÇÕµÈ Àü¹®°¡ ½Ã½ºÅÛÀ¸·Î ÀÌ ½Ã½ºÅÛ¿¡¼ »ç¿ëÇÑ ±ÔÄ¢±Ù°Å (rule-based) ±¸Á¶´Â ÀÌÈÄ ½Ã½ºÅÛÀÇ ±âº»Àû ¸ðÇüÀÌ µÇ¾ú´Ù. Àü¹®°¡ ½Ã½ºÅÛÀº Áö½Ä Ç¥»ó¿¡ ÀÖ¾î¼ ¸Å¿ì Áß¿äÇÑ ¼º°ú·Î Æò°¡µÇ°í ÀÖ´Ù (H. Gardner, 1985 ÂüÁ¶).

3. ±«µ¨ (Gödel) ÀÌ·Ð°ú ÀÎÁö°úÇÐ
1) ±«µ¨°ú ÀÎ°øÁö´É (AI)
±«µ¨Àº ¸¶À½°ú ±â°è¸¦ ºñ±³ÇÏ¿© ±â°è´Â ÇÒ ¼ö ¾øÁö¸¸ ÀÎ°£ÀÌ ÇØ°áÇÒ ¼ö ÀÖ´Â ¾î¶² °úÁ¦°¡ ÀÖÀ½À» º¸¿©ÁÖ¾ú´Ù. AI ÀÇ ¼±±¸ÀÚÀÎ Æ©¸µ (A. Turing) Àº ±«µ¨ÀÇ ³í¹® '¼öÇÐ¿ø·Ð°ú °ü·ÃÃ¼°èµéÀÇ Çü½ÄÀû °áÁ¤ºÒ°¡´É ¸íÁ¦¿¡ °üÇÏ¿© (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System I, 1931)' ¸¦ °øºÎÇÏ´Ù°¡ ÀÚ±ØÀ» ¹Þ¾Æ ±â°è°¡ ÇØ°áÇÒ ¼ö ÀÖ´Â ¹®Á¦°¡ ¹«¾ùÀÎ°¡¸¦ ¿¬±¸ÇÏ¿´´Ù°í ÇÑ´Ù.

±«µ¨ÀÇ Áõ¸íÀº º»·¡ ¼ö¸®³í¸®¿¡¼ ÀÌ·ç¾îÁø °ÍÀÌÁö¸¸ ÄÄÇ»ÅÍ°úÇÐ°ú ÀÎ°øÁö´ÉÀÇ ÀÌ·Ð¿¡ Áß¿äÇÑ ÀÇ¹Ì¸¦ °¡Áö°í ÀÖ´Ù. ±«µ¨ÀÇ Áõ¸í°ú °°Àº ¹®Á¦·Î´Â Æ©¸µ±â°èÀÇ ¸ØÃã¹®Á¦ (Halting Problem) ÀÌ ÀÖ´Âµ¥, ÀÌ ¹®Á¦´Â ¹«ÇÑÀÇ ·çÇÁ¸¦ µ¹Áö ¾ÊÀ¸¸é¼ ÀÓÀÇÀÇ ÇÁ·Î±×·¥À» °áÁ¤ÇÒ ¼ö ÀÖ´Â ÇÁ·Î±×·¥À» ¸¸µå´Â °ÍÀÌ °¡´ÉÇÏÁö ¾Ê´Ù´Â °ÍÀ» º¸¿©ÁØ´Ù.

Áõ¸í°¡´É¼º (provability) ¹®Á¦´Â 'ÀÎ°£Àº ±â°è°¡ ±â´ÉÇÏ´Â °Í°ú °°ÀÌ »ý°¢ÇÏ´Â°¡?' ÀÇ ¹®Á¦¿Í Á÷Á¢ °ü·ÃÀÌ ÀÖ´Ù. ¸¹Àº »ç¶÷µéÀº '¿øÄ¢ÀûÀ¸·Î ÀÎ°£ÀÇ ³ú´Â µðÁöÅÐ ÄÄÇ»ÅÍÃ³·³ ÀÛµ¿ÇÑ´Ù' ´Â Æ©¸µÀÇ ÁÖÀå¿¡ µ¿ÀÇÇÏ°í ÀÖ±âµµ ÇÏ´Ù. ±×·¯³ª ±«µ¨Àº ÀÎ°£ÀÇ µÎ³ú¿¡¼ ³ª¿À´Â »ý°¢Àº ÀÚ¿¬°úÇÐÀ¸·Î´Â ¿ÏÀüÇÑ ¼³¸íÀÌ ºÒ°¡´ÉÇÏ´Ù´Â °ÍÀ» º¸¿©ÁÖ¾ú´Ù. Æ©¸µÀº ±«µ¨ÀÇ Áõ¸í°¡´É¼º ¹®Á¦¸¦ ÄÄÇ»ÅÍ¿¡ ´ëÇÑ °è»ê°¡´É¼º (Computability) ÀÇ ¹®Á¦·Î ¹Ù²Ù¾î ³õ¾Ò´Ù. ±×·¯³ª ·çÆ¾À» µû¶ó ÀÎ°£ÀÌ ÇÒ ¼ö ÀÖ´Â °ÍÀº ¸ðµÎ Æ©¸µ±â°è¿¡ ÀÇÇØ ¼öÇàµÉ ¼ö ÀÖ´Ù´Â Æ©¸µÀÇ »ý°¢Àº Áõ¸íºÒ°¡´ÉÇÑ ±«µ¨ÀÇ ÀÌ·ÐÀ» ÇØ°áÇÏÁö ¸øÇÏ¿´´Ù.

±«µ¨Àº ÀÌ¹Ì ±× ´ç½ÃºÎÅÍ ¿À´Ã³¯ ¸ðµç ÇÁ·Î±×·¡¸ÓµéÀÇ ÇÊ¼öÀÛ¾÷ÀÎ ±â°è¹ø¿ª ÀÛ¾÷À» ¼öÇàÇß´Ù. ÀÌ ÄÚµùÀÛ¾÷Àº ±«µ¨È (Gödelization) ¶ó ºÒ¸®°í ÀÖ´Ù. ±×¸®°í ±«µ¨ÀÇ È¸±ÍÇÔ¼ö¿¡ ´ëÇÑ ¸íÈ®ÇÑ Çü½ÄÈ ÀÛ¾÷Àº Ã³Ä¡ (A. Church) ÀÇ ¶÷´Ù°è»ê (lambda-calculus) °ú ´õºÒ¾î È¸±ÍÇÁ·Î±×·¡¹ÖÀÇ ±âÃÊ°¡ µÇ¾î ¿À´Ã³¯ AI ÀÇ ÁÖ¿ä ÇÁ·Î±×·¥¾ð¾îÀÇ ÇÏ³ªÀÎ LISP (J. McCarthy, 1958) ÀÇ °³¹ßÀ» °¡Á®¿Ô´Ù. »ç½Ç È¸±ÍÇÔ¼ö´Â ±«µ¨ÀÌ ¿¬±¸¸¦ ½ÃÀÛÇÑ ÀÌÈÄ 1940~1950 ³â´ë¿¡ ¼öÇÐ¿¡¼ ÁÖ¿äÇÑ ÁÖÁ¦·Î ¹Þ¾Æµé¿© ¿¬±¸ÇÏ°Ô µÇ¾úÀ¸¸ç Å¬·¹³× (S. C. Kleene), ·ÎÁ¦ (B. Rosser) ¿¡ ÀÇÇØ °è½ÂµÇ°í ¸ÆÄ«½Ã (McCarthy) ¿¡ ÀÇÇØ ¹ßÀüµÈ °ÍÀÌ´Ù. ¼öÇÐºÐ¾ß¿¡¼ ¿Â ÀÌ·¯ÇÑ ÀþÀº ÄÄÇ»ÅÍ °úÇÐÀÚµéÀÌ È¸±ÍÇÔ¼ö¸¦ º¸ÆíÀûÀ¸·Î Ãë±ÞÇÏ°Ô µÈ °ÍÀº ºÐ¸íÈ÷ ±«µ¨ÀÇ ¿µÇâ¿¡ ÀÇÇÑ °ÍÀÌ´Ù. AI ÀÇ È¸±ÍÇÁ·Î±×·¡¹ÖÀº ±«µ¨ÀÇ ¿¬±¸¿¡¼ ±× µ¿±â°¡ À¯¹ßµÇ¾ú°í, ´ç½ÃÀÇ ¼öÇÐ°ú ³í¸®¿¡ ÀÇÇØ Çü¼ºµÈ ¹®ÈÀû Á¤È²¿¡¼ ÀÌ·ç¾îÁø °ÍÀÌ´Ù.

±«µ¨Àº ¼ú¾î³í¸®¸¦ ÇÁ·Î±×·¡¹Ö ¾ð¾î·Î »ç¿ëÇÒ °Í°ú ÄÄÇ»ÅÍ°úÇÐ¿¡¼ ³í¸®Àû ¹æ¹ýÀ» Àû¿ëÇØ¾ß ÇÑ´Ù°í ÁÖÀåÇß¾ú´Ù. ±×ÀÇ ÀÌ·¯ÇÑ ±¸»óÀº ¿ª»çÀûÀ¸·Î º¼ ¶§, ³í¸®ÀÌ·Ð°¡ (PLANNER) °æ¿ì¿¡´Â °è»êº¹Àâ¼º¿¡ ´ëÇÑ ¿ÀÇØ·Î ÀÏ¹ÝÁ¤¸®Áõ¸íÀ¸·Î¼ÀÇ ½ÇÆÐ °úÁ¤À» °ÅÄ¡±âµµ ÇÏ¿´À¸³ª °á±¹ ÇÁ·Ñ·Î±× (PROLOG) ÀÇ °³¹ß (1973) ·Î ½ÇÇöµÈ ¼ÀÀÌ´Ù. 1960 ³â´ë ÄÄÇ»ÅÍ °úÇÐÀÚµéÀÇ ¿¬±¸¿¡ ÀÇÇØ ³í¸®°¡ ÇÁ·Î±×·¡¹Ö ¾ð¾î·Î »ç¿ëµÉ ¼ö ÀÖ´Ù´Â ±«µ¨ÀÇ ¿¹°ßÀº ¿ÇÀº °ÍÀ¸·Î ÆÇ¸íµÈ °ÍÀÌ´Ù.

±«µ¨ÀÌ ³²±ä ¿µÇâ Áß¿¡¼, °ü°è°è»ê (relational calculus) À¸·ÎºÎÅÍ Áö½ÄÇ¥»ó (knowledge representation) À¸·Î ³í¸®Àû ¹æ¹ýÀÇ ÀüÇâÀ» °¡Á®¿Â °Íµµ °£°úµÉ ¼ö ¾ø´Ù. ¹°·Ð ±«µ¨ÀÇ Á÷Á¢ÀûÀÎ ÀÇµµ´Â ¾Æ´Ï¾ú°ÚÀ¸³ª ±«µ¨ ÀÌÈÄ ¼ø¼ö³í¸® (pure logic) ÀÇ ÇÑ°èÀû ÀÇ¹Ì¸¦ ´À³¤ ¸¹Àº ÈÄÇÐµéÀº ½ÇÁ¦ Àû¿ë °¡´ÉÇÑ ÀÀ¿ë³í¸® (applied logic) ¿¡ °ü½ÉÀ» °¡Áö°Ô µÇ¾ú°í, ÀÌÈÄ ¿¬±¸µÈ ÀÀ¿ë³í¸®µéÀÌ AI ¿¡¼ ±¤¹üÀ§ÇÏ°Ô »ç¿ëµÇ°í ÀÖ´Ù (W. Schimanovich, 1990).

2) ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¿Í ±â°è¿Í ¸¶À½ÀÇ ÇÑ°è
17 ¼¼±â ´ºÅÏ (Newton) °ú ¶óÀÌÇÁ´ÏÃ÷ (Leibniz) ¿¡ ÀÇÇØ ¹ÌºÐ°ú ÀûºÐÀÌ ¹ß°ßµÈ ÈÄ ¼öÇÐ¿¡ ´ëÇÑ °ü½ÉÀÌ Áõ´ëµÇ¾ú°í, ¼öÇÐÀº 19 ¼¼±â ¸»¿¡ ÀÌ¸£·¯¼´Â ÇÐ¹®ÀÇ ¿©·¯ ºÐ¾ß¿¡ ÇÊ¼öÀûÀÎ ¿ä¼Ò·Î ¹Þ¾Æµé¿©Áö°Ô µÇ¾ú´Ù. µû¶ó¼ ¼öÇÐ ÀüÃ¼ÀÇ ±¸Á¶Àû ±âÃÊ¸¦ °ËÁõÇÏ±â À§ÇØ¼ °¡´ÉÇÏ¸é ¼öÇÐÀ» Çü½ÄÈÇÏ¿© ´Ù·ç°íÀÚ ÇÏ´Â ½Ãµµ´Â ºÒ°¡ÇÇÇÑ ÀÏÀÌ¾ú°í, ÀÌ¸¦ À§ÇÏ¿© ÁÖ¾îÁø ÀÚ¸íÇÑ °ÍÀ¸·Î ¹Þ¾ÆµéÀÌ´Â °ø¸® (axioms) ¿Í ³í¸®Àû Ãß·Ð (inference) °ú µµÃâ (deduction) ÀÇ ±ÔÄ¢À» Á¤ÀÇÇÏ¿© »ç¿ëÇÏ¿´´Ù. Æ¯È÷ À¯ÇÑÇÑ ³í¸®Àû ´Ü°è ³»¿¡¼ °ø¸®µé·ÎºÎÅÍ À¯µµ (derivation) µÉ ¼ö ÀÖ´Ù¸é ±× ¸íÁ¦´Â Áõ¸íµÈ ÂüÀ¸·Î °£ÁÖÇÒ ¼ö ÀÖ´Ù´Â °ÍÀÌ Èú¹öÆ®ÀÇ »ý°¢ÀÌ¾ú´Ù. ¸¸ÀÏ ±×ÀÇ »ý°¢ÀÌ ¿Ç¾Ò´Ù¸é ¸ðµç ¼öÇÐÀÇ ¸íÁ¦µéÀº ¿ÏÀüÈ÷ ±â°èÀûÀÎ ¹æ½Ä (mechanical way) À¸·Î ¿ÇÀ½°ú ±×¸§À» °áÁ¤ÇÒ ¼ö ÀÖ°Ô µÈ´Ù.

±×·¯ÇÑ Çü½ÄÃ¼°è¸¦ Ãß±¸ÇÏ¸é¼ Èú¹öÆ®´Â ±× Ã¼°è°¡ °®Ãß¾î¾ß ÇÒ ¼¼ °¡Áö ÇÊ¼öÀû Á¶°ÇÀ» Çü½ÄÃ¼°èÀÇ ¹«¸ð¼ø¼º (consistency) °ú ¿ÏÀü¼º (incompleteness) ¹× °áÁ¤°¡´É¼º (decidability) ÀÌ¶ó°í º¸¾Ò´Ù. ±×·¯³ª ÀÌ·¯ÇÑ ±â´ë´Â ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¿¡ ÀÇÇØ ¹«³ÊÁö°Ô µÇ¾ú´Ù. ÀÌ Á¤¸®¸¦ ÅëÇÏ¿© ±«µ¨Àº ±× ¾î¶°ÇÑ ¹«¸ð¼øÀÇ Çü½ÄÃ¼°è¶óµµ ºÒ¿ÏÀüÇÒ ¼ö¹Û¿¡ ¾ø´Ù´Â °ÍÀ» º¸¿´´Ù. ¹Ýµå½Ã ±× Ã¼°è ³»¿¡´Â Áõ¸íºÒ°¡´ÉÇÑ ¸íÁ¦°¡ Á¸ÀçÇÑ´Ù´Â °ÍÀ» Áõ¸íÇÏ¿´±â ¶§¹®ÀÌ´Ù.

±«µ¨ÀÇ Áõ¸íÀ» ½±°Ô Ç®¾î¼ ¼Ò°³ÇÏÀÚ¸é ´ÙÀ½°ú °°´Ù. ¿ì¼± ÀÓÀÇÀÇ ³í¸®½ÄÀ» ÀÌ·ç´Â ¿¬°á»ç, ¾çÈ»ç, º¯Ç×, ¼ú¾î¸¦ ¸ðµÎ ±«µ¨È (Gödelization) ÇÏÀÚ. ±×·¯¸é ±× °á°ú·Î Æ¯Á¤ÇÑ ±«µ¨¼ö°¡ »ý¼ºµÈ´Ù. ÀÌ·¸°Ô ÇØ¼ ³í¸®½ÄÀº ±«µ¨¼öÀÇ ¿¬¼ÓÀ¸·Î Ç¥Çö °¡´ÉÇÏ´Ù.

ÀÌ ¶§ ±«µ¨¼ö°¡ 9876543210 ÀÎ ¹®ÀåÀÌ ´ÙÀ½°ú °°´Ù°í °¡Á¤ÇÏÀÚ.

'±«µ¨¼ö°¡ 9876543210 ÀÎ ³í¸®½ÄÀº Áõ¸íÇÒ ¼ö ¾ø´Ù'

¸¸ÀÏ À§ÀÇ ¹®ÀåÀÌ °ÅÁþÀÌ¶ó ÇÑ´Ù¸é 9876543210 ÀÎ ¹®ÀåÀº Áõ¸íµÉ ¼ö ÀÖÀ» °ÍÀÌ¸ç °á±¹ ³í¸®½Ä 9876543210 Àº Áõ¸íµÉ ¼ö ¾ø´Ù´Â ¸ð¼ø¿¡ µµ´ÞÇÑ´Ù. ±×·¯¹Ç·Î À§ÀÇ ¹®ÀåÀº °ÅÁþÀÌ¶ó°í ÇÒ ¼ö ¾øÀ¸¸ç, ÀÌ´Â ¹®Àå 9876543210 ÀÌ Áõ¸íºÒ°¡´ÉÇÏ´Ù´Â °ÍÀ» º¸¿©ÁØ´Ù. ¸»ÇÏÀÚ¸é ÀÚ±âÁö½ÃÀû (self-referential) ¹®ÀåÀ» ÅëÇØ ±«µ¨Àº ÀÚ±âÀÚ½ÅÀÇ Âü, °ÅÁþÀÇ ¿©ºÎ¸¦ °áÁ¤ÇÒ ¼ö ÀÖ´Â Çü½ÄÃ¼°è´Â Á¸ÀçÇÒ ¼ö ¾øÀ½À» Áõ¸íÇÑ °ÍÀÌ´Ù.

±«µ¨ÀÇ Á¦ 1 ºÒ¿ÏÀü¼º Á¤¸®¸¦ Gödel Machine GM À» ÅëÇÏ¿© Áõ¸íÇØ º¼ ¼öµµ ÀÖ´Ù. GM Àº P, N, R, * ÀÇ ±âÈ£·Î ±¸¼ºµÇ¾î Ç¥ÇöÀ» ÇÁ¸°Æ®ÇÑ´Ù°í ÇÏÀÚ. ¿©±â¿¡¼ P : print, N : not, R : repeat ¸¦ °¢°¢ ÀÇ¹ÌÇÑ´Ù. GM ÀÌ ÇÁ¸°Æ®ÇÒ ¼ö ÀÖ´Ù¸é Ç¥ÇöÀº ÇÁ¸°Æ® °¡´ÉÇÏ´Ù.

¹®ÀåÀº ´ÙÀ½ ³× °¡Áö ÇüÅÂ Áß ÇÏ³ªÀÇ Ç¥ÇöÀÌ´Ù.

¨ç P*x (iff x : printable)

¨è NP*x (iff x : not printable)

¨é PR*x (iff xx : printable)

¨ê NPR*x (iff xx : not printable)

GM Àº Á¤È®ÇÔ, Áï GM ÀÌ ÇÁ¸°Æ®ÇÏ´Â ¸ðµç ¹®ÀåÀÌ ÂüÀÌ¶ó°í °¡Á¤ÇÏÀÚ. ±×·¯¸é ÂüÀÎ ¹®Àå NPR* NPR* Àº NPR* ÀÇ ¹Ýº¹ (R) ÀÌ ÇÁ¸°Æ® °¡´É (P) ÇÏÁö ¾Ê´Ù (N) ´Â °ÍÀ» ¸»ÇÑ´Ù. ±×·¡¼ ÀÌ ¹®ÀåÀÌ ÇÁ¸°Æ® °¡´ÉÇÏÁö ¾Ê´Ù´Â °Í°ú ÀÌ ¹®ÀåÀÌ ÂüÀÌ¶ó´Â °ÍÀº µ¿Ä¡ÀÌ´Ù. ¸¸ÀÏ ÀÌ ¹®ÀåÀÌ °ÅÁþÀÌ¸é ÀÌ ¹®ÀåÀº ÇÁ¸°Æ® °¡´ÉÇÏ´Ù. ±×·±µ¥ °ð ÀÌ°ÍÀº GM ÀÌ °ÅÁþÀÎ ¹®ÀåÀ» ÇÁ¸°Æ®ÇÒ ¼ö ÀÖÀ½À» ÀÇ¹ÌÇÏ¿© °¡Á¤¿¡ ¸ð¼øÀÌ´Ù. ÀÌ Áõ¸íÀÇ ¿äÁö´Â ¾î¶°ÇÑ Á¤È®ÇÑ ±â°èµµ ±× ±â°è°¡ ÇÁ¸°Æ®ÇÒ ¼ö ¾ø´Â ¹®ÀåÀ» Áö½ÃÇÏ´Â ¹®ÀåÀ» ÇÁ¸°Æ®ÇÒ ¼ö ¾ø´Ù´Â °ÍÀÌ´Ù.

ÀÌ Áõ¸íÀÌ ÀÇ¹ÌÇÏ´Â °ÍÀº Áø¸®ÀÇ ¼¼°è°¡ Áõ¸íÀÇ ¼¼°èº¸´Ù Å©´Ù´Â °ÍÀÌ¸ç, Çü½ÄÀû Áõ¸íÀ» ÅëÇØ Áø¸®ÀÇ ¼¼°è¿¡ µµ´ÞÇÒ ¼ö ¾ø´Ù´Â °ÍÀÌ´Ù. ´Ù½Ã ¸»ÇØ Áõ¸íÇÒ ¼ö ¾ø´Â Áø¸®°¡ Á¸ÀçÇÑ´Ù´Â °ÍÀ» ÀÔÁõÇÑ °ÍÀÌ´Ù. ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¸¦ ÀÏ¹ÝÈÇÏ¿© Ç¥ÇöÇÏ¸é ´ÙÀ½°ú °°´Ù.

Á¦ 1 ºÒ¿ÏÀü¼º Á¤¸® (Gödel's 1st Incompleteness Theorem)
Çü½ÄÃ¼°è S °¡ ¹«¸ð¼øÀÌ¸é S ³»¿¡¼ °áÁ¤ºÒ°¡´ÉÇÑ ¹®Àå G °¡ Á¸ÀçÇÑ´Ù.
S : consistent ¡æ ¢¤G (S G ¡ü S ~ G)

Á¦ 2 ºÒ¿ÏÀü¼º Á¤¸® (Gödel's 2nd Incompleteness Theorem)
Çü½ÄÃ¼°è S °¡ ¹«¸ð¼øÀÌ¸é S ´Â ÀÚ½ÅÀÇ ¹«¸ð¼ø¼ºÀ» Áõ¸íÇÒ ¼ö ¾ø´Ù.
Con (S) ¡æ S Con (S)

¼öÇÐ±âÃÊ·ÐÀÌ ÄÄÇ»ÅÍ ±â¼ú·Î ¹ßÀüÇÏ´Â °úÁ¤¿¡¼ ¾ð¾î¿Í ¸¶À½, ±â°è¿Í »ç°í, Áï ¸¶À½ÀÇ ±â°èÀû ¼Ó¼º¿¡ ´ëÇÑ ¹®Á¦µéÀÌ ½É°¢ÇÏ°Ô Á¦±âµÇ¾ú´Ù. ¿Ö³ÄÇÏ¸é ÄÄÇ»ÅÍ¶õ »ç½Ç»ó Çü½Ä³í¸®Ã¼°èÀÇ ¹°¸®Àû ±¸ÇöÀÌ±â ¶§¹®ÀÌ´Ù. ±×·¯¹Ç·Î ±«µ¨ÀÇ Áõ¸íÀº ÄÄÇ»ÅÍ¸¦ °¡Áö°í ÀÎ°£ÀÇ Á¤½ÅÀ» ¸ð¹æÇÏ°íÀÚ ÇÏ´Â ÀÎ°øÁö´É ¿¬±¸¿¡ ´ëÇØ ºÐ¸íÇÑ ÇÑ°è¸¦ Á¦½ÃÇÏ¿´´Ù. ±â°èµéÀÌ ÀÇ½ÄÀ» °¡Áú ¼ö ÀÖ´Â°¡? ±â°èµéÀÌ »ç°íÇÒ ¼ö ÀÖ´Â°¡? ±â°è°¡ ¾î´À ¹üÀ§±îÁö ±×¸²ÀÌ³ª ¿µ»óµé, À½¾ÇÀ» ºÐ¼®ÇÒ ¼ö ÀÖ´Â°¡? ¸ðµç ¼öÇÐÀû Á¤¸®µéÀ» Áõ¸íÇÒ ¼ö ÀÖ´Â°¡? ÀÌ·¯ÇÑ ¹®Á¦µé¿¡ ´ëÇØ¼ ±«µ¨ÀÇ Áõ¸í¿¡¼ ÇÏ³ªÀÇ ´ë´äÀ» ¹ß°ßÇÒ ¼ö ÀÖ°Ô µÇ¾ú´Ù. ¼öÇÐÀûÀ¸·Î Çü½ÄÈµÈ Ã¶ÇÐÀû ¹®Á¦µéÀ» ÇØ¼®ÇÏ´Â µ¥ ±«µ¨ÀÇ Áõ¸í¿¡ ÀÇÁ¸ÇÒ ¼ö ÀÖ°Ô µÇ¾ú±â ¶§¹®ÀÌ´Ù. °á±¹ ±«µ¨ÀÇ Áõ¸íÀº Ãß»óÀû ¹®Á¦µé¿¡ ´ëÇØ¼µµ º¸´Ù Á¤È®ÇÑ ÀÌÇØÀÇ µµ±¸·Î Æò°¡µÈ´Ù. µ¿½Ã¿¡ ÀÎ°£Àº ¿ìÁÖÀÇ ±Ã±ØÀûÀÎ °ÍÀ» ÇâÇÑ ±â·Î¿¡¼ ±«µ¨ÀÇ Áõ¸í°ú ´õºÒ¾î ÀÌÇØÀÇ Àåº®À» ±Øº¹ÇÒ ¹æ¹ýÀ» °®°ÔµÈ °ÍÀÌ´Ù. ÀÌ°ÍÀÌ ±«µ¨ÀÌ·ÐÀÌ °®´Â ½ÅºñÇÑ ¸Å·ÂÀÌ´Ù.

¹Ù·Î ÀÌ·¯ÇÑ Á¡¿¡ Âø¾ÈÇÏ¿© È£ÇÁ½ºÅÂÅÍ (D. R. Hofstadter) ´Â ±«µ¨ »çÈÄ 1 ³â µÚÀÎ 1979 ³â Ç»¸®Ã³»óÀ» ¼ö»óÇÏ°Ô µÇ¾ú´ø ÈÁ¦ÀÇ Ã¥ ¡º±«µ¨. ¿¡¼Å, ¹ÙÈå (Gödel, Escher, Bach : An Eternal Golden Braid)¡»¸¦ ¹ßÇ¥ÇÏ¿´´Ù. ÀÌ Ã¥Àº ±«µ¨ÀÇ ¼öÇÐÀû ÀÌ·ÐÀÌ À½¾ÇÀÌ³ª ±×¸²°ú °°Àº ¿¹¼ú°ú ÇÔ²² Áö½Ä°ú Ã¢Á¶Àû È°µ¿ÀÇ ÇÑ ÀÏ¹ÝÀû ÀÌ·ÐÀ¸·Î ¼º¸³µÉ ¼ö ÀÖ´ÂÁö¸¦ Àß º¸¿©ÁÖ°í ÀÖ´Ù. ºÎÁ¦°¡ ¸»ÇØ ÁÖµíÀÌ ÀÛ°¡´Â ÀÎ°£ÀÇ ÁöÀû »ý»ê¹°À» ÇÏ³ªÀÇ ¿µ¿øÇÑ ²öÀ¸·Î º¼ ¼ö ÀÖ´Ù°í ÇØ¼®ÇÑ´Ù. ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®´Â ÀÚ±âÁö½ÃÀû (self-referential) ¹®ÀåÀÌ ÀÌ¼ºÀû Ã³¸®ÀÇ °úÁ¤¿¡ ÆÐ·¯µ¶½º¸¦ ÀÏÀ¸Å²´Ù´Â °ÍÀ» Áõ¸íÇÏ¿© ÀÎ°£ ÀÌ¼ºÀÇ ÇÑ°è¸¦ º¸¿©ÁØ °ÍÀ¸·Î Æò°¡µÈ´Ù. È£ÇÁ½ºÅÂÅÍ´Â ÀÚ±âÁö½ÃÀû ±¸Á¶¿¡¼ ´Ù½Ã Ãâ¹ßÁ¡ÀÎ ¿øÀÎÀ¸·Î ¹«ÇÑÈ÷ ¼Ò±ÞµÇ´Â Çö»óÀÌ ºñ·ÔµÈ´Ù°í ÇØ¼®ÇÏ°í, ÀÌ·¯ÇÑ ¹«ÇÑ¼Ò±Þ (infinite regress) Çö»óÀ» ¿¡¼ÅÀÇ '±×¸² ±×¸®´Â ¼Õ' À» ºñ·ÔÇÑ ¿©·¯ ±×¸²µé°ú ¹ÙÈåÀÇ 'Ä³³í (Canon)' µî¿¡¼ µ¿ÀÏÇÏ°Ô ¹ß°ßÇÑ´Ù. ±×¸®°í ÀÌ·¯ÇÑ Çö»óÀ» 'ÀÌ»óÇÑ ·çÇÁ (Strange Loop)' ¶Ç´Â '¾ôÈù °èÃþ (Tangled Hierarchy)' ÀÌ¶ó°í ¼³¸íÇÏ¿´´Ù. ±×¿¡ µû¸£¸é ÀÌ»óÇÑ ·çÇÁ, Áï ÆÐ·¯µ¶½º´Â °øÅëÀûÀ¸·Î ¼·Î »óÀÌÇÑ °èÃþÀ» ±¸ºÐÇÏÁö ¾Ê¾Ò±â ¶§¹®¿¡ ¹ß»ýÇÏ¸ç, ¼ÒÇÁÆ®¿þ¾î¿Í ÇÏµå¿þ¾î·Î ±¸¼ºµÈ ÄÄÇ»ÅÍÀÇ °æ¿ì¿¡µµ ¹ß»ý°¡´ÉÇÏ±â ¶§¹®¿¡ °á±¹ ÄÄÇ»ÅÍµµ ÀÇ½ÄÀ» °¡Áø °ÍÀ¸·Î ÇØ¼®ÇØ¾ß ÇÑ´Ù´Â °ÍÀÌ´Ù.

ÇöÀç ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¿Í °ü·ÃµÈ ÀÎÁö°úÇÐÀû Á¢±ÙÀÇ ÀÔÀåÀº Ã¹Â°, ÀÎ°£°ú ±â°èÀÇ Áö´É¿¡ ´ëÇÑ °øµ¿ÀÇ ±Ùº»ÀûÀÎ ÇÑ°è¸¦ Áõ¸íÇÏ´Â ÀÌ·ÐÀ¸·Î º¸´Â °ßÇØ¿Í µÑÂ°, ±â°è¿¡ ´ëÇÑ ÀÎ°£ÀÇ ¿ìÀ§¸¦ Áõ¸íÇÏ´Â ÀÌ·ÐÀ¸·Î º¸´Â °ßÇØ (E. Nagel & J. R. Newman, 1958 : J. R. Lucas, 1961 : R. Penrose, 1989) ±×¸®°í ¼ÂÂ°, ÀÎ°£°ú ±â°èÀÇ Áö´É¿¡ ±ØÈ÷ ºÎºÐÀûÀ¸·Î Àû¿ëµÇ´Â ÀÌ·ÐÀ¸·Î º¸´Â °ßÇØ (M. A. Arbib, 1987) µîÀ¸·Î ±¸ºÐÇØ º¼ ¼ö ÀÖ´Ù (M. Fischler & O. Firschein, 1987).

±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®´Â µðÁöÅÐ ÄÄÇ»ÅÍ¶ó´Â Æ¯¼öÇÑ ÇüÅÂ¿Í ¹«¸ð¼øÀûÀÎ ±â°è¿¡¸¸ Àû¿ëµÉ ¼ö ÀÖ´Â °ÍÀÌ´Ù. ¹°·Ð ¿À´Ã³¯ ÄÄÇ»ÅÍ¸¦ ¾ð±ÞÇÒ ¶§´Â ¾Æ³¯·Î±× ÄÄÇ»ÅÍ»Ó ¾Æ´Ï¶ó È¦·Î±×·¡ÇÈ (holographic) ¸Þ¸ð¸®±îÁö Æ÷ÇÔÇØ¾ß ÇÑ´Ù. ±×·¡¼ ÄÄÇ»ÅÍ´Â °è»êÀ» ¼öÇàÇÏ´Â µ¿¾È Ã³¸® ´ÜÀ§¿Í ±â¾ïÀ» È®Àå½ÃÅ°´Â ´É·Â°ú °¨°¢±â¸¦ Áö´Ñ ÇÏ³ªÀÇ »çÀÌ¹ö³×Æ½ ½Ã½ºÅÛÀ¸·Î °£ÁÖµÇ±âµµ ÇÑ´Ù. ±×·¯¹Ç·Î ¹ßÀüÇÏ°í ÀÖ´Â ¸ðµç ´Ù¾çÇÑ ÇüÅÂÀÇ ÄÄÇ»ÅÍ¿¡ ´ëÇÏ¿© ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®°¡ ´Ü¼øÇÏ°Ô Á÷Á¢ Àû¿ëµÉ ¼ö ÀÖ´Â °ÍÀº ¾Æ´Ï´Ù.

4. ³í¸®ÇÐ°ú ÀÎ°øÁö´É (AI)
1) ³í¸®ÇÐ°ú Áö½ÄÇ¥»ó
AI ¿¡¼ Áö½ÄÇ¥»ó (knowledge representation) ÀÌ¶õ ÄÄÇ»ÅÍ ÇÁ·Î±×·¥¿¡ ÀÇÇØ Áö½ÄÀ» Ç¥ÇöÇÏ´Â Çü½ÄÃ¼°è¸¦ ºÎÈ£È (encoding) ÇÏ´Â ¹æ¹ýÀ» ¸»ÇÑ´Ù. ÀÌ Áö½ÄÇ¥»óÀº Çü½Ä±Ô¾à (formal convention) ÀÇ Ã¼°è¿Í ±× ±Ô¾àµéÀÇ ÀÇ¹Ì¸¦ ÇØ¼® (interpretation) ÇÏ´Â ¹æ¹ýÀ¸·Î ±¸¼ºµÇ¸ç, °ð Áö½Äº£ÀÌ½º (knowledge base) ¿Í ±×°ÍÀ» Á¶ÀÛÇÏ´Â ÇØ¼®ÀÚ (interpreter) ºÎºÐÀ¸·Î ³ª´©¾î º¼ ¼ö ÀÖ´Ù. Áö½ÄÇ¥»óÀÇ ¿©·¯°¡Áö ¹æ¹ý Áß ³í¸®±Ù°ÅÇ¥»ó (Logic-based representation) Àº ¹Ù·Î ³í¸®¶ó´Â Çü½ÄÃß·Ð (formal reasoning) ÀÇ µµ±¸¸¦ »ç¿ëÇÏ°í ÀÖÀ¸¸ç ¿©±â¿¡ »ç¿ëµÇ´Â ³í¸®´Â ÁÖ·Î 1 °è¼ú¾î³í¸® (First-order predicate logic) ÀÌ´Ù. 1 °è¼ú¾î³í¸®´Â 19 ¼¼±â ¸»°ú 20 ¼¼±â ÃÊ¿¡ °ÉÃÄ ÇÁ·¹°Ô (G. Frege), ·¯¼¿ (B. Russell) °ú ÈÀÌÆ®Çìµå (A. N. Whitehead) ¿¡ ÀÇÇØ ¹ßÀüµÇ¾ú¤§. ±×µéÀº ¼öÇÐÀÇ ³í¸®Àû ±âÃÊ¸¦ ¼¼¿ì°í ¹ßÀü½ÃÅ°´Â µ¥ °ü½ÉÀ» °¡Á³´Ù. ±×¸®°í ±×µé¿¡ ÀÇÇØ Çü½Ä³í¸®°¡ ºñ¼öÇÐÀû Á¤º¸¿Í Ãß·Ð°úÁ¤µµ Ç¥ÇöÇÒ ¼ö ÀÖ´Ù´Â »ý°¢¿¡¼ ÀÎ°£ÀÇ »ç°í¸¦ ¿Ïº®ÇÏ°Ô Ç¥ÇöÇÏ´Â °ÍÀ» ¸ñÇ¥·Î ¹ßÀüµÇ¾ú´Ù. ¸¸¾à Çü½Ä³í¸®Ã¼°èµéÀÌ È¿À²ÀûÀ¸·Î ÄÄÇ»ÅÍ¿¡ ±¸ÇöµÉ ¼ö ÀÖ´Ù¸é, ±× Ã¼°èµéÀº ¹«¿À·ù¿Í ÀÎ°£ÀÌ °¡Áú ¼ö ¾ø´Â Á¤È®ÇÑ °á°úµé¿¡ ±ÙÁ¢ÇÏ´Â °ÍÀ¸·Î ÀÎ°£ÀÇ Áö´ÉÀ» ´É°¡ÇÒÁöµµ ¸ð¸¥´Ù´Â °ÍÀÌ´Ù.

ÀÎ°£ÀÌ ³í¸®ÀûÀ¸·Î Á¤È®ÇÑ Çü½Ä±ÔÄ¢ (formal rule) ÀÇ »ç¿ëÀ» Ãß·ÐÇÏÁö ¸øÇÏ´Â ÁÖ¿ä ¿øÀÎ Áß ÇÏ³ª´Â °á·ÐÀ» ÀÌ²ø¾î ³»´Â ¿¬¿ª (deduction) °úÁ¤¿¡ ÀÛ¾÷±â¾ï (working memory) ¿¡¼ Ã³¸®ÇÏ±â¿¡´Â Áö³ªÄ¡°Ô ¸¹Àº ´Ü°èµéÀÌ Æ÷ÇÔµÇ¾î ÀÖ±â ¶§¹®ÀÌ´Ù. ±×¿¡ ºñÇÏ¸é ÀÏ»óÀûÀÎ »óÈ²¿¡¼ ¹ß°ß¹ýÀû Ãß·Ð (heuristic reasoning) ÀÌ º¸´Ù ÀûÀº ±â¾ïÁ¤µµ¿Í ºü¸¥ Ã³¸®·Î ºñ±³Àû Á¤È®ÇÑ °á°úµéÀ» »êÃâÇÑ´Ù°í ¿©°ÜÁö°í ÀÖ´Ù. ±×·¯ÇÑ Á¡¿¡¼ ºñ±³ÇÒ ¶§, ÄÄÇ»ÅÍ´Â Å« ¿ë·®ÀÇ ÀÛ¾÷±â¾ïÀ» °¡Áö°í °è¿Àû Ã³¸® (serial process) ¸¦ ½Å¼ÓÇÏ°Ô ¼öÇàÇÒ ¼ö ÀÖ´Ù´Â ÀÌÁ¡ÀÌ ÀÖ´Ù.

ÀÏ¹Ý¹®Àå 'Everybody loves somebody sometime' À» 1 °è ³í¸®·Î Ç¥ÇöÇÏ¸é ´ÙÀ½°ú °°´Ù.

(¢£x ¡ô Persons ) (¢¤y ¡ô Persons) (¢¤t ¡ô Time) LOVES (x, y, t)

¿©±â¿¡¼ x, y, t ´Â º¯¼ö (variables), Persons ´Â »ç¶÷µéÀÇ ÁýÇÕ, Time Àº ½ÃÁ¡µéÀÇ ÁýÇÕ, LOVES ´Â Âü-°ÅÁþÀÇ Áø¸®°ªÀ» ÃëÇÒ ¼ö ÀÖ´Â ÇÔ¼ö (function), Áï ¼ú¾î (predicate) ÀÌ¸ç, ¢£ Àº º¸Æí¾çÈ»ç (universal quantifier), ¢¤ ´Â Á¸Àç¾çÈ»ç (existential quantifier) ÀÌ´Ù. ´Ü, 1 °è ³í¸® (first-order logic) ¿¡¼´Â °³Ã¼Àû º¯¼ö¿¡ ´ëÇÑ ¾çÈ»ç¸¸ÀÌ Çã¿ëµÇ°í ¼ú¾î (predicates) ³ª °³Ã¼µéÀÇ ÁýÇÕ (Set of individuals) ¿¡ ´ëÇØ¼´Â ¾çÈ»çÀÇ Àû¿ëÀÌ Çã¿ëµÇÁö ¾ÊÀ¸¸ç, °í°è³í¸® (higher-order logic) ¿¡¼¸¸ Çã¿ëµÈ´Ù.

1 °è ³í¸®Ã¼°è´Â 1 °è Çü½Ä¾ð¾î (first order formal language) ¿Í º¯Çü±ÔÄ¢ (transformation rules) À¸·Î ±¸¼ºµÈ´Ù. Çü½Ä¾ð¾î´Â ÀÚÀ¯, ¼Ó¹Úº¯Ç× (variables), °³Ã¼, ÇÔ¼ö, ¼ú¾î»óÇ× (constants), ³í¸®±âÈ£ (logical symbols) ¿Í º¸Á¶±âÈ£ (auxiliary symbols) µé·Î ±¸¼ºµÈ´Ù. º¯Çü±ÔÄ¢Àº °ø¸®µé (axioms) °ú Ãß·Ð±ÔÄ¢ (rules of inference) À¸·Î ±¸¼ºµÇ¸ç, Ãß·Ð±ÔÄ¢À¸·Î´Â Àü°Ç±àÁ¤¹ý (ModusPonens) °ú º¸ÆíÀÏ¹ÝÈ (Universal Generalization) °¡ ÀÖ´Ù.

Çü½Ä³í¸®¿¡¼ °¡Àå Áß¿äÇÑ ¸éÀÇ ÇÏ³ª´Â ´Ù¸¥ Á¤Çü½Ä (wff : well-formed formula) À¸·ÎºÎÅÍ »õ·Î¿î Á¤Çü½Ä (wff) À» À¯µµ (derivation) ÇØ³»±â À§ÇÑ Ãß·Ð±ÔÄ¢ÀÌ ÀÖ´Ù´Â °ÍÀÌ´Ù. ±âÁ¸ÀÇ ¹®ÀåµéÀÇ Áö½Äº£ÀÌ½º·ÎºÎÅÍ »õ·Î¿î ¹®ÀåÀÇ ¿¬¿ªÀ» °¡´ÉÄÉ ÇÑ´Ù´Â °ÍÀÌ´Ù. ±×·¡¼ ¸¸¾à Áö½Äº£ÀÌ½ºÀÇ ¹®ÀåÀÌ ÂüÀÌ¸é, À¯µµµÈ ¹®Àåµµ ÂüÀÌ¶ó°í ÇØ¼®ÇÑ´Ù. ÀÌ°ÍÀÌ ÀÎ°£¿¡ ÀÇÇÑ È¤Àº ±â°è¿¡ ÀÇÇÑ Á¤¸®Áõ¸í (Theorem Proving) ÀÇ ±âº»ÀÌ´Ù. ±×·¯¹Ç·Î ÂüÀÌ µÉ ¼ö ÀÖ´Â »õ·Î¿î »ç½ÇÀ» µµÃâ (deduce) ÇÒ Á¤¸®Áõ¸í°ú ¿µ¿ª¿¡ °üÇÑ ¹®ÀåÀ» Ç¥»óÇÏ±â À§ÇØ¼ Á¤Çü½Ä (wff) À» »ç¿ëÇÏ´Â °ÍÀº AI ÀÇ ³í¸®¿¡¼ °¡Àå È¿°ú°¡ ÀÖ´Â ¹æ¹ý Áß ÇÏ³ªÀÌ´Ù.

AI ¿¡¼ Çü½ÄÃß·Ð (formal reasoning) Àº »ó´çÈ÷ À¯¿ëÇÑ µµ±¸ÀÌ´Ù. Çü½ÄÁõ¸íÀýÂ÷ (formal proof procedure), ÀÌ¸¥¹Ù 'ÇØ°á¹ý (Resolution Method)' (I. A. Robinson, 1965) Àº Á¶°Ç¹® (if-then statement) À» And, Or, Not ¿¡ ÀÇÇÑ ¹®ÀåÀ¸·Î º¯È¯½ÃÄÑ ´Ù·ç´Â ³í¸®Àû Ã³¸® ¹æ½ÄÀ¸·Î µðÁöÅÐ ÄÄÇ»ÅÍ¿¡ È¿°úÀûÀ¸·Î Àû¿ëµÇ¸ç ¹ßÀüµÇ¾ú´Ù. ±×¸®°í °èÈ¹ (planning) Àû¿ë¿¡ ÀÖ¾î¼ Àß ¾Ë·ÁÁø °ÍÀ¸·Î´Â ÃÊ±â´Ü°è¿¡¼ ¸ñÇ¥´Ü°è·Î ·Îº¿À» ÀÌµ¿½ÃÅ°´Â ¹®Á¦¸¦ ´Ù·é STRIPS ÀÌ ÀÖ´Ù (Fikes and Nilsson, 1971). ±× Ç¥ÇöÀÇ ÇÑ ¿¹¸¦ »ìÆìº¸¸é ´ÙÀ½°ú °°´Ù.

¢¤x [((A T(Box 1, x) ¡ü A T(Box 2, x) ¡ü A T(Box 3, x)]

Çü½Ä³í¸®ÀÇ ÇÑ°è´Â 1930 ³â´ë¿¡ Ã³À½ ¸ÞÅ¸¼öÇÐÀû Á¤¸®µé (metamathematical theorems) ÀÌ Áõ¸íµÇ¸é¼ µå·¯³ª±â ½ÃÀÛÇß´Ù. ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®¿¡¼ Áõ¸í ºÒ°¡´ÉÇÑ Áø¸®Ä¡ÀÇ ³í¸®½ÄÀÇ Á¸ÀçÇÔÀÌ Áõ¸íµÇ¾î Çü½Ä³í¸®Ã¼°èÀÇ ±Ùº»ÀûÀÎ ÇÑ°è°¡ µå·¯³µÀ¸¸ç, Ã³Ä¡ (Church) ÀÇ °áÁ¤ºÒ°¡´É¼º Á¤¸® (Undecidability theorem) ´Â À¯ÇÑÀÇ ´Ü°è¿¡¼ ³í¸®½ÄÀÇ Áõ¸íÀÇ Á¸Àç¸¦ °áÁ¤ÇÏ±â À§ÇÑ ÀýÂ÷ (procedure) °¡ Á¸ÀçÇÏÁö ¾Ê´Â´Ù´Â °ÍÀ» º¸¿©ÁÖ¾ú´Ù. ÀÌ·¯ÇÑ Á¦ÇÑÁ¤¸®µéÀÇ ½ÇÁ¦ÀûÀÎ ÀÇ¹Ì´Â ¾î¶°ÇÑ Áõ¸íÀýÂ÷µµ ½ÇÁ¦ ÂüÀÎ ¹®ÀåµéÀ» Áõ¸íÇÏ±â À§ÇÑ ½ÃµµµéÀ» °ð¹Ù·Î Æ÷±âÇÏ°Å³ª °ÅÁþÀÓÀ» Áõ¸íÇÏ±â À§ÇÑ ½Ãµµ·Î ½Ã°£ ³¶ºñÇÏ´Â °ÍÀ» ÇÇÇÒ ¼ö ¾ø´Ù´Â °ÍÀÌ´Ù. ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸®´Â 1 °è³í¸®°¡ ±âº»Àû »ê¼úÀ» Æ÷ÇÔÇÒ ¸¸Å ÃæºÐÇÏ°Ô È®ÀåµÇ¾úÀ» ¶§, ¿ÏÀü¼º Á¤¸®´Â À¯ÁöµÉ ¼ö ¾øÀ¸¸ç ¾î¶°ÇÑ °íÁ¤µÈ Çü½ÄÁõ¸íÀýÂ÷·Îµµ Áõ¸íµÉ ¼ö ¾ø´Â ÂüÀÎ ¹®ÀåÀÌ Á¸ÀçÇÑ´Ù´Â °ÍÀ» ¸»ÇØ ÁØ´Ù.

AI ¿¡ ´ëÇÑ °áÁ¤ºÒ°¡´É¼º°ú ºÒ¿ÏÀü¼º Á¤¸®ÀÇ °á°ú°¡ ÇÔÀÇÇÏ´Â ÀÇ¹Ì¿¡ ´ëÇØ¼ ¿©·¯ Çà °ÉÄ£ ³íÀÇµéÀÌ ÀÖ¾ú´Ù. ±×·±µ¥ ÇöÀç ´Ù¼öÀÇ ¿¬±¸ÀÚµéÀº À§ÀÇ °á°úµéÀÌ AI ±â°èÀÇ °¡´É¼ºÀ» ¹èÁ¦ÇÏÁö ¾Ê´Â´Ù´Â Á¡¿¡ µ¿ÀÇÇÏ°í ÀÖ´Ù. ±×·¯³ª Á¦ÇÑÀÌ·Ðµé¿¡ ÀÇÇØ ÀÎ°£°ú ÄÄÇ»ÅÍ°¡ µ¿ÀÏÇÑ ¹æ½ÄÀ¸·Î Á¦ÇÑµÈ´Ù´Â Á¡Àº ³íÀÇµÉ ¼ö ÀÖ´Ù. Áï, ºÒ¿ÏÀü¼º°ú °áÁ¤ºÒ°¡´É¼ºÀº °íÁ¤µÈ Çü½Ä¿¬¿ªÃ¼°è¿¡ ÇÑÁ¤µÈ ¾î¶°ÇÑ Á¤º¸Ã³¸®Ã¼°èµµ ÇÑ°è¸¦ Áö´Ï°í ÀÖÀ½À» Áõ¸íÇØ ÁØ´Ù. ±×·¯¹Ç·Î ÀÎ°£ÀÌ ÀÌ·¯ÇÑ ÇÑ°è¸¦ ±Øº¹ÇÏ±â À§ÇÑ ¼ö´ÜÀ» °¡Áú ¼ö ÀÖ´Ù¸é ±×°ÍÀº °ð ±â°èÀÇ ÇÑ°èµµ ±Øº¹ÇÒ ¼ö ÀÖÀ½À» ½Ã»çÇÑ´Ù.

±×·¯³ª º¸ÆíÀûÀÌ°í º¯ÇÏÁö ¾Ê´Â ¼º°ÝÀÇ ¼öÇÐÀû ¿µ¿ªÀ¸·ÎºÎÅÍ ½Ã°£°ú »óÈ²¿¡ µû¶ó º¯ÈÇÏ´Â ½ÇÁ¦¼¼°è ¿µ¿ª¿¡ 1 °è³í¸®¸¦ È®Àå½ÃÅ°´Â µ¥¿¡´Â ¸¹Àº ¾î·Á¿òÀÌ ÀÖ´Ù. ±×·¯ÇÑ ¾î·Á¿òÀº Áö½ÄÀ» ¸íÄèÇÏ´Ù°í º¸°í, ³í¸®ÀûÀ¸·Î ´Ù·ç¾îÁú ¼ö ÀÖ°í, ÇÑÁ¤µÉ ¼ö ÀÖ´Ù´Â °ßÇØ¿Í Áö½Ä°ú Ãß·ÐÀÌ º»ÁúÀûÀ¸·Î ¸íÄèÇÑ °ÍÀÌ ¾Æ´Ï¸ç ¹ß°ß¹ýÀû (heuristic) ¼Ó¼ºÀÌ¶ó°í º¸´Â °ßÇØ °£ÀÇ ÀÌ¸¥ ¹Ù '¸í·á-ºñ¸í·á (neat-scruffy)' ³íÀïÀ» ¾ß±â½ÃÄ×´Ù. º¸´Â °üÁ¡¿¡ µû¶ó ÀÏ·ÃÀÇ ¿¬±¸ÀÚµéÀº 1 °è³í¸®¸¦ ºñ¼öÇÐÀû Áö½Ä¿¡ ÀÌ¸£±â±îÁö È®ÀåÇÏ´Â ÀÛ¾÷À» °è¼ÓÇÏ°í ÀÖÀ¸¸ç (McCarthy, 1980), ±×¿Í »ó¹ÝµÇ´Â °ßÇØ¸¦ °¡Áø ¿¬±¸ÀÚµéÀº Àß ¾Ë·ÁÁöÁö´Â ¾Ê¾ÒÀ¸³ª ³í¸®Àû Ç¥»óµéÀÌ Áö´Ñ ¹®Á¦µéÀ» °¨¼Ò½ÃÄÑ ÁÖ´Â ´Ù¸¥ Ç¥»ó°ú Ã³¸®¸¦ Ã¤ÅÃÇÏ°í ÀÖ´Ù. AI ¿¬±¸ÀÚµéÀº µÎ °¡Áö ¸í·á-ºñ¸í·áÀû Á¢±Ù Áß ¾î´À ÇÏ³ª¸¸À» ¹Þ¾ÆµéÀÌ°í ÀÖ´Ù±âº¸´Ù´Â µÎ °¡Áö Á¢±ÙÀ» ¸ðµÎ ÃëÇÏ°í ÀÖ´Ù. Áï, ÀüÅëÀûÀÎ Ç¥»óÀÇ ±¸µµ¸¦ »ç¿ëÇÏ´Â °Í»Ó ¾Æ´Ï¶ó Çã¿ëµÈ ¹üÀ§ ³»¿¡¼ »õ·Î¿î Ãß·ÐÀÇ ¾ç½ÄÀ¸·Î º¸¿ÏÇÏ´Â ÀÛ¾÷µµ º´ÇàÇÏ°í ÀÖ´Ù. °¡·É °¡µå³Ê (Gardner, 1987) ´Â »ç·ÊµéÀÇ ¹ß°ß¹ýÀû »ç¿ë¿¡ ÀÇÇØ º¸¿ÏµÈ ÀüÅëÀû Çü½ÄÀÇ ³×Æ®¿öÅ©¸¦ »ç¿ëÇÏ°í ÀÖÀ¸¸ç, HYPO (Ashley, 1990) ¿¡¼´Â »ç·Ê±Ù°Å±â¹ý (case-based technique) À¸·Î º¸¿ÏµÈ ÀüÅëÀûÀÎ Æ²À» »ç¿ëÇÏ°í ÀÖ´Ù. ¶ÇÇÑ Rissland ¿Í Skalak (1991) Àº ÀüÅëÀûÀÎ ±ÔÄ¢±Ù°Å±â¹ý (rule-based technique) °ú »ç·Ê±Ù°Å±â¹ýÀ» ÅëÇÕÇÏ°í ÀÖ´Ù (E. L. Rissland, 1995).

2) ÀÎ°øÁö´ÉÀÇ ³í¸®ÇÐ
Ç¥ÁØ³í¸®ÇÐ (standard logic) Àº °íÀüÀû ¸íÁ¦³í¸®ÇÐ (propositional logic) °ú Çö´ëÀÇ ¼ú¾î³í¸®ÇÐ (predicate logic) À¸·Î ±¸¼ºµÇ°í, ÀÌ¿ÜÀÇ ³í¸®ÇÐÀº ºñÇ¥ÁØ³í¸®ÇÐ (nonstandard logic) À¸·Î ºÐ·ùµÉ ¼ö ÀÖ´Ù. ºñÇ¥ÁØ³í¸®ÇÐÀº Ç¥ÁØ³í¸®ÇÐÀÇ ¿¬ÀåÀ¸·Î º¼ ¼ö ÀÖ´Â ¼º°ÝÀÇ ³í¸®ÇÐ°ú Ç¥ÁØ³í¸®ÇÐÀÇ »õ·Î¿î ´ë¾ÈÀ¸·Î º¼ ¼ö ÀÖ´Â ¼º°ÝÀÇ ³í¸®ÇÐÀ¸·Î ´ëº°µÈ´Ù. ÀüÀÚ¿¡ ¼ÓÇÏ´Â °ÍÀÌ ¾ç»ó³í¸® (modal logic), ½Ã°£³í¸® (temporal logic) ÀÌ¸ç ÈÄÀÚ¿¡ ¼ÓÇÏ´Â °ÍÀÌ ´ÙÄ¡³í¸® (multi-valued logic), ÆÛÁö³í¸® (fuzzy logic) ±×¸®°í Á÷°üÁÖÀÇ³í¸® (intuitionistic locic) ÀÌ´Ù.

1980 ³â´ë¸¦ Áß½ÉÀ¸·Î Æ¯È÷ ÇÁ·Î±×·¥ÀÌ ÂüÀÓÀ» ÀÔÁõ (verification) ÇÏ°í ¸í¼¼È (specification) ÇÏ´Â ¸é¿¡¼ ºñÇ¥ÁØ³í¸®°¡ ÄÄÇ»ÅÍ°úÇÐ¿¡ º»°ÝÀûÀ¸·Î µµÀÔµÇ±â ½ÃÀÛÇÏ¿´´Ù. °¡·É ¾ç»ó³í¸®´Â ¿ªµ¿³í¸® (dynamic logic) ÀÇ ÇüÅÂ·Î ÇÁ·Î±×·¥ ¼Ó¼ºµéÀÇ Áõ¸í°ú Áø¼úÀ» ¼ö¿ùÇÏ°Ô ÇÏ´Â µ¥ ¾²¿´´Ù (Harel, First order dynamic logic, 1979). ÇÁ·Î±×·¥µéÀÌ »óÅÂµé (states) »çÀÌÀÇ °ü°è·Î °£ÁÖµÇ¾î °¢ ÇÁ·Î±×·¥Àº Àº¿¬Áß¿¡ ¾ç»ó³í¸®ÀÇ ¿¬»êÀ» À¯ÀÔµÇ¾î ÀÖ´Ù. ÇÊ¿¬¼º (necessity) °ú °¡´É¼º (possibility) ÀÌ¶ó´Â ÇüÀÌ»óÇÐÀû °³³äÀ» ´Ù·ç´Â ¾ç»ó³í¸®¿¡´Â µÎ °¡Áö »õ·Î¿î ¿¬»ê, ÇÊ¿¬ÀûÀÓÀ» ÀÇ¹ÌÇÏ´Â L °ú °¡´ÉÀûÀÓÀ» ÀÇ¹ÌÇÏ´Â M ÀÌ Ãß°¡µÇ¾î ÀÖ´Ù. °¡·É A °¡ ¾î¶°ÇÑ °¡´ÉÇÑ ¼¼°è¿¡¼ ÂüÀÌ¶ó¸é MA ´Â ÂüÀÌ´Ù. ±×¸®°í A °¡ ¸ðµç °¡´É¼¼°è¿¡¼ ÂüÀÌ¶ó¸é LA ´Â ÂüÀÌ µÈ´Ù. ÇöÀç ¾ç»ó³í¸®¿¡´Â ¿©·¯ °¡Áö Ã¼°è°¡ ÀÖ´Âµ¥, ¾ç»ó³í¸® T ´Â ±âÁ¸ ¼ú¾î³í¸®ÀÇ °ø¸®¿¡ LA ¡æ A ¿Í L(A ¡æ B) ¡æ (LA ¡æLB) °¡ Ãß°¡µÇ°í ÇÊ¿¬È ±ÔÄ¢ (necessitation : A ¡æ LA) ÀÌ Ãß·Ð±ÔÄ¢À¸·Î »õ·ÎÀÌ Ãß°¡µÈ´Ù. S4 ´Â T ¿¡ MA ¡æ LLA ¸¦ Ãß°¡ÇÑ Ã¼°èÀÌ°í, S5 ´Â S4 ¿¡ MA ¡æ LMA ¸¦ Ãß°¡ÇÑ Ã¼°èÀÌ´Ù. ÀÌ·¯ÇÑ ¾ç»ó³í¸®ÀÇ µµÀÔÀ¸·Î ÀÎÇÏ¿© ºñ±³Àû ÀÚ¿¬½º·¯¿î ¹æ½ÄÀ¸·Î Áö½ÄÀÇ ¿©·¯ °¡Áö ¼Ó¼ºµéÀÌ Ç¥Çö°¡´ÉÇÏ°Ô µÇ¾ú´Ù.

½Ã°£¼º ¿ä¼Ò¿¡ ÀÇÇÑ Ãß·ÐÀ» ½ÃµµÇÑ ½Ã°£³í¸®´Â ÀÇ¹Ì·ÐÀû Á¢±ÙÀÇ ÄâÀÎ (Word and Object, 1960) °ú ±¸¹®·ÐÀû Á¢±ÙÀÇ ÇÁ¶óÀÌ¾î (Time and Modality, 1957) ¿¡ ÀÇÇØ Çü¼ºµÇ¾úÀ¸¸ç ¸¸³ª (Z. Manna) ¿Í ÆÄ³Ú¸® (A. Pnueli) ¿¡ ÀÇÇØ ÄÄÇ»ÅÍ°úÇÐ¿¡ Àû¿ëµÇ¾ú´Ù ('The modal logic of programming', 1979). ÇöÀç »ç¿ëÁßÀÎ ÇÁ·Î±×·¥µé¿¡ ÀÇÇØ À¯ÀÔµÈ ´Ü°èµéÀÇ ³íÇ×·Ä (sequence) ¿¡ °üÇÑ Ãß·ÐÀÇ ¹æ¹ýÀ¸·Î ½Ã°£³í¸®ÀÇ Çü½ÄÀ» µµÀÔÇÏ°Ô µÈ °ÍÀÌ´Ù. J. Halpern, Z. Manna, B. Maszkowski ´Â ÇÏµå¿þ¾îÀÇ È¸·Î¸¦ »ó¼úÇÏ´Âµ¥ ½Ã°£³í¸®ÀÇ º¯ÇüÀ» Ã¤ÅÃÇÏ¿´´Ù ('A hardware semantics based upon temporal intervals', 1983).

Á÷°üÁÖÀÇ³í¸®´Â Martin-Löf ÀÇ À¯Çü·Ð (theory of types) ÀÇ ÇüÅÂ·Î ÇÁ·Î±×·¥ÀÇ »ó¼ú, ±¸¼º, ÀÔÁõÀÇ °úÁ¤¿¡ ´ëÇÑ ¿ÏÀüÇÑ ÀÌ·ÐÀ» Á¦°øÇÏ°íÀÚ ÇÏ¿´´Ù. ÀÌ ÁÖÁ¦¿Í À¯»çÇÑ ÁÖÁ¦°¡ R. L. Constable ('Constructive mathematics and automatic program writers', 1971) °ú Beeson ('Proving programs and programming proofs', 1983) ¿¡ ÀÇÇØ ´Ù·ç¾îÁ³´Ù.

¾ç»ó³í¸®¿Í ½Ã°£³í¸®ÀÇ ´É·ÂÀº Ç¥Çö´É·Â°ú °ü·ÃµÈ °ÍÀÌ´Ù. ÀÌ·¯ÇÑ ³í¸®Ã¼°è ³»¿¡¼´Â ¼¼·ÃµÇ°í ÀÚ¿¬½º·¯¿î ¹æ½ÄÀ¸·Î ÇÁ·Î±×·¥µéÀÇ ¼Ó¼ºÀÌ Ç¥ÇöµÉ ¼ö ÀÖ±â ¶§¹®ÀÌ´Ù. ÀÌ°ÍÀº ´ëºÎºÐ ¼ú¾î³í¸®ÀÇ ÇÑ°è¸¦ ³Ñ¾î¼´Â Ç³ºÎÇÑ ¾îÈÖ·ÎºÎÅÍ ±âÀÎÇÑ °ÍÀ¸·Î Æò°¡ÇÒ ¼ö ÀÖ´Ù. ±×·±µ¥ Á÷°üÁÖÀÇ³í¸®ÀÇ °æ¿ì¿¡´Â °íÀü³í¸®¿Í ´ë¸³µÇ´Â °ÍÀ¸·Î ºÐ·ùµÇ¸ç ÄÄÇ»ÅÍ°úÇÐ¿¡ °íÀü³í¸®¿Í ¼öÇÐº¸´Ù´Â ÀûÇÕÇÑ ÁØ°ÅÆ² (frame of reference) ÀÌ¶ó´Â °ÍÀÌ ±× ÀüÁ¦ÀÌ´Ù.

ÄÄÇ»ÅÍ°úÇÐ°ú AI ´Â ±¸º°µÈ´Ù. ÄÄÇ»ÅÍ°úÇÐÀº ÀÎ°£ÀÌ Àß ¼öÇàÇÒ ¼ö ¾ø´Â ÀÏÀÌ³ª Çö½ÇÀûÀ¸·Î ¼öÇàÇÏ±â ¾î·Á¿î ÀÏÀ» ±Øº¹ÇÏ±â À§ÇÑ ½ÃµµÀÌ°í, AI ´Â »ç¶÷ÀÌ ´ÉÈ÷ ÇØ³¾ ¼ö ÀÖ´Â ÀÏÀ» Æ¯¼öÇÑ »óÈ²ÇÏ¿¡¼ ±â°è¸¦ ÅëÇØ ¸¶Ä¡ ÀÎ°£Ã³·³ ¼öÇà½ÃÅ°·Á´Â ½Ãµµ·Î Á¤ÀÇµÈ´Ù. AI ¿¡¼ »ç¿ëµÇ´Â ºñÇ¥ÁØ³í¸®µéÀÇ ÀûÇÏ¼ºÀº ¸ÆÄ«½Ã¿Í ÇìÀÌÁî ('Some philosophical problems from the stand point of artificial intelligence,' 1969) ÀÌÈÄ ³íÀïÀÇ ÁÖÁ¦°¡ µÇ¾ú´Ù. »ç½Ç ÀÌ ¹®Á¦´Â ¾ÆÁ÷ ÇØ°áµÇÁö ¾ÊÀº ³íÀïÀÇ ´ë»óÀÌ´Ù.

´ÙÄ¡³í¸®´Â E. Post (1920) ÀÌÈÄ J. Luckasiewicz ('On 3-valued logic,' 1920) °ú D. Bochvar ('On three-valued logic and its application to the analysis of contradictions,' 1939), ±×¸®°í S. C. Kleene (Introductions of Metamathematics, 1952) ¿¡ ÀÇÇØ °¢°¢ ´Ù¸¥ ÇüÅÂ·Î ¹ßÀüµÇ¾ú´Ù. ±×¸®°í 2 Ä¡³í¸®ÀÇ ÇÑ°è¸¦ ±Øº¹ÇÏ°íÀÚ Áø¸®Ä¡ÀÇ ÆÛÁöÈ¿Í ¿¬»êÀÇ ÆÛÁöÈ¸¦ ½ÃµµÇÑ ÆÛÁö³í¸®´Â ÀÚµ¥ (L. A. Zadeh) ¿¡ ÀÇÇØ °³¹ßµÇ¾ú´Ù ('Fuzzy Sets', 1965). ÀÌ·¯ÇÑ ³í¸®µéÀº ºÒ¿ÏÀüÇÑ Á¤º¸¿Í ¸ðÈ£ÇÑ ¿µ¿ªÀ» ´Ù·ç±â À§ÇØ AI ¿¡ µµÀÔµÇ¾ú´Ù. ´ëºÎºÐÀÇ Àü¹®°¡ ½Ã½ºÅÛÀº ¸ðµç ¿äÀÎµéÀÌ ÀÇ»ç°áÁ¤À» ÇÏ´Â µ¥ À¯¿ëÇÏÁö ¾Ê´õ¶óµµ ¼±ÅÃÀ» ÇØ¾ß ÇÑ´Ù. ±×·± »óÈ² ¼Ó¿¡¼ °íÀü³í¸®¿Í ´Þ¸® ºÒ¿ÏÀüÇÑ Á¤º¸¸¦ °¡Áö°í Ãß·ÐÇÏ±â¿¡ ÀûÇÕÇÑ ³í¸®¸¦ »ç¿ëÇÏ´Â °ÍÀº ´ç¿¬ÇÑ ÀÏÀÌ´Ù. ÁÖ·Î AI ÇùÈ¸¿¡ ÀÇÇØ ¹ßÀüµÇ¾î ¿Â ºñ´ÜÁ¶³í¸® (non-monotonic logic) ´Â ºÒ¿ÏÀüÇÑ Á¤º¸¸¦ °¡Áø Ãß·ÐÀ» ´Ù·ç±â À§ÇÑ °ÍÀÌ´Ù. AI ¿Í ÀÚ¿¬¾ð¾î¿¡¼ÀÇ ¸¹Àº °³³äµéÀÌ ¸ðÈ£ÇÑ °ÍÀÌ¶ó ÁÖÀåµÇ°í ±×·¯ÇÑ '¸ðÈ£¼º (vagueness) ÀÇ ³í¸®' °¡ ÀûÀýÇÏ´Ù°í Á¦¾ÈµÈ °ÍÀÌ´Ù. ÀÌ·¯ÇÑ ¿©·¯ °¡Áö Àû¿ëµéÀº Ã¶ÇÐÀûÀ¸·Î ±×¸®°í ½Ç¿ëÀûÀ¸·Î ³íÀïÁß¿¡ ÀÖÀ¸¸ç, ±× ÀüÃ¼Àû ¿¬±¸¿µ¿ªÀº ¼ö¸¹Àº °úÁ¦µéÀ» Æ÷ÇÔÇÏ°í ÀÖ´Ù. ºñ´ÜÁ¶³í¸®¿Í °ü·ÃÇÏ¿© ¶óÀÌÅÍ (B. Reiter) ÀÇ Default nonmonotonic logic,' 1983) ÀÇ ÀÚ±âÀÎ½Ä³í¸® (autoepistemic logic), ¸ÆÄ«½Ã ('Circumscription - a form of non-monotonic reasoning,' 1980) ÀÇ ÇÑÁ¤³í¸® (circumscription logic) µîÀÌ ÀÖÀ¸¸ç »ó½Ä (common sense) ÀÇ Ç¥Çö Ã³¸®¿Í °ü·ÃÇÏ¿© Á¤È²³í¸® (context logic) µîÀÌ È°¹ßÈ÷ ¿¬±¸ Áß¿¡ ÀÖ´Ù (J. McCarthy, 'Notes on formalizing context,' 1993).

Áö½Ä (knowledge), ¹ÏÀ½ (belief), ÇàÀ§ (action) ¸¦ ´Ù·ç´Â ÇüÅÂ·ÎÀÇ ¾ç»ó³í¸®´Â ¹«¾î ('A formal theory of knowledge and action,' 1984) ¿Í ÄÚ³ë¸®°Ô ('A first order formalisation of knowledge and action for a multi-agent planning system,' 1982) ¿¡ ÀÇÇØ AI ¿¡ µµÀÔµÇ¾ú´Ù. ¹«¾î´Â Áö½ÄÀÇ ³í¸®°¡ ¾ç»ó³í¸® S4 ¿Í µî°¡ÀÓÀ» ¼Ò°³ÇÏ°í °¢ ¼öÇà°³Ã¼ (agent) µéÀÇ Áö½Ä¿¡ °üÇÑ Ãß·ÐÀÇ ¿ëÀÌ¼ºÀ» °¡Áø ÇÁ·Î±×·¥ÀÇ Àü°³¿¡ È°¿ëÇÏ¿´´Ù. ÄÚ³ë¸®°Ô (K. Konolige) ´Â ÄÄÇ»ÅÍ ¼öÇà°³Ã¼µéÀÌ Áö½Ä, ÇàÀ§ °èÈ¹¼ö¸³ÀÇ »óÈ£ ÀÛ¿ëÀ» Æ÷ÇÔÇÏ´Â Çùµ¿Àû °úÁ¦¸¦ ¼öÇàÇÒ ¼ö ÀÖµµ·Ï ¸ðµ¨ÈÇÏ±â À§ÇØ¼ ¾ç»ó³í¸®ÀÇ Çü½ÄÀ» Ã¤ÅÃÇÏ¿´´Ù.

½Ã°£³í¸®°¡ AI ¿¡ µµÀÔµÈ °ÍÀº ´õ¿í ÃÖ±ÙÀÇ Çö»óÀÌ´Ù. ÀÀ¿ëµÇ´Â ÁÖµÈ ºÐ¾ß´Â »ç°Ç, ÇàÀ§, °èÈ¹ÀÇ Çü½ÄÈÀÌ´Ù. Æ¯º°È÷ ¸Æ´õ¸ðÆ® ('A temporal logic for reasoning about actions and plans,' 1982) °ú ¾Ë·» ('An interval based representation of temporal knowledge,' 1981) ÀÇ ¿¬±¸¿¡ ÁÖ¸ñÇÒ ÇÊ¿ä°¡ ÀÖ´Ù. AI ¿¡¼ ºñÇ¥ÁØ³í¸®¸¦ »ç¿ëÇÏ´Â °ÍÀÌ ³î¶ó¿î ÀÏÀº ¾Æ´Ï´Ù. Ã¶ÇÐÀû ³í¸®ÇÐÀÚ¿Í AI ¿¬±¸ÀÚµéÀÇ °úÁ¦´Â »ó´çÈ÷ À¯»çÇÑ °ÍÀ¸·Î, ¸ÅÀÏ ÇàÇØÁö°í ÀÖ´Â Ãß·ÐÀÇ Æ¯Á¤ Ãø¸éÀ» Çü½ÄÈÇÏ´Â °Í¿¡ ¸ðµÎ°¡ °ü½ÉÀ» °¡Áö°í ÀÖ´Ù. ±×·¯¹Ç·Î ¾î¶² ÀÇ¹Ì¿¡¼ AI ¿¡¼ ÇÊ¿¬¼º (necessity), °¡´É¼º (possibility), ½Ã°£ Áö½Ä ¹ÏÀ½¿¡ ´ëÇÑ ³í¸®ÀÇ Àü°³´Â ´ç¿¬ÇÑ °ÍÀÌ´Ù. Áö½ÄÇ¥»ó¿¡ °ü½ÉÀ» °¡Áø AI ¿¬±¸ÀÚµé¿¡°Ô´Â Áß½ÉÀûÀÎ °ü½É»ç°¡ ¾Æ´Ò ¼ö ¾ø±â ¶§¹®ÀÌ´Ù. ºñÇ¥ÁØ³í¸®ÇÐÀº AI ¿¬±¸ÀÚµé¿¡°Ô Á¤È®ÇÑ µµ±¸¸¦ Á¦°øÇÏ¿© ÁØ´Ù. ¹°·Ð ±× µµ±¸´Â ´Ù¼Ò ´õ¿í ´Ùµë¾îÁú ÇÊ¿ä°¡ ÀÖ´Â °ÍÀÏ ¼öµµ ÀÖ´Ù. ±×·¯³ª ±× µµ±¸ÀÇ ´É·ÂÀº ¼öÇÐÀû ±â¹ÝÀ¸·ÎºÎÅÍ À¯·¡µÈ °ÍÀÌ´Ù. ÀÏ¹ÝÀûÀ¸·Î ºñÇ¥ÁØ³í¸®¿¡ ¼ÓÇÏ´Â ³í¸®µé ¿ª½Ã ÀûÁ¤ÀÇ (well-defined) µÈ ±¸¹®·ÐÀÌ°í ¸íÈ®ÇÑ ÀÇ¹Ì·ÐÀÌ¸ç ÀáÀçÀûÀ¸·Î AI ¿¬±¸ÀÚµé¿¡°Ô ¸Å¿ì Á¤È®ÇÏ°í ¼¼·ÃµÈ µµ±¸¸¦ Á¦°øÇÑ´Ù (R. Turner, 1984 ÂüÁ¶).

5. ÀÎÁö°úÇÐÀÇ ³í¸®
Áö³ 40 ¿© ³â µ¿¾È Çü½Ä³í¸®´Â AI ¿¡¼ Áß¿äÇÑ ¿ªÇÒÀ» ´ã´çÇØ ¿À°í ÀÖ´Ù. ¹°·Ð ±× ¿ªÇÒ¿¡ ´ëÇÑ ³íÀï ¿ª½Ã °è¼Ó ÁøÇàÁß¿¡ ÀÖ´Ù. ÇöÀç±îÁö AI ¿¡ ÀÖ¾î¼ ³í¸®ÀÇ ¿ªÇÒÀº Ã¹Â°, ºÐ¼®Àû µµ±¸·Î µÑÂ°, Áö½ÄÇ¥Çö Çü½ÄÃ¼°è¿Í Ãß·ÐÀÇ ¹æ¹ýÀ¸·Î ¼ÂÂ°, ÇÁ·Î±×·¡¹Ö ¾ð¾î·Î ±¸ºÐÇÏ¿© Æò°¡ÇÒ ¼ö ÀÖ´Ù. ±×·¯³ª ¾ÆÁ÷ ¼¼»ó¿¡ °üÇÑ ÀÏ¹ÝÀû ¿ä¼ÒµéÀ» ³í¸®Àû ¹®ÀåÀ¸·Î Ç¥»óÇÏ´Â ´Ü°è´Â ¸ñÇ¥¿¡ ºÒ°úÇÏ´Ù.

ÀÎÁö°úÇÐÀÇ Àå±âÀû ¸ñÇ¥ÀÇ ÇÏ³ª´Â º¹ÀâÇÑ ½ÇÁ¦ »óÈ² ¼Ó¿¡¼ ÀÎ°£Ã³·³ È¤Àº ÀÎ°£ ÀÌ»óÀ¸·Î °¨°¢ÇÏ°í, Ãß·ÐÇÏ°í, ´ëÈÇÏ°í, È°µ¿ÇÒ ¼ö ÀÖ´Â ±â°èÀÇ ÀÌ·ÐÀû¤ý½ÇÁ¦Àû ±¸Çö¿¡ ÀÖ´Ù°í ÇÒ ¼ö ÀÖ´Ù. ºñ·Ï AI ºÐ¾ß¿¡¼ ´Ù¼Ò ½Ç¿ëÀûÀ¸·Î À¯¿ëÇÑ ±â°è¸¦ »ý»êÇØ ¿Ô´Ù°í ÇØµµ ÀÏ¹ÝÀûÀ¸·Î ±× ±Ã±ØÀû ¸ñÇ¥¿Í´Â ¾ÆÁ÷ °Å¸®°¡ ¸Ö´Ù. ±×·¸±â ¶§¹®¿¡ ÀÎ°£ÀÇ ÀÎÁö¿¡ ´ëÇÑ ÃÖ»óÀÇ Á¢±Ù¹æ¹ý¿¡ °üÇÏ¿© ¸¹Àº ³íÀÇ¿Í ±¸»óµé°ú ÀÌ¿¡ µû¸¥ ¿©·¯ °¡Áö »õ·Î¿î ³í¸®Àû ÆÐ·¯´ÙÀÓµéÀÌ ÇÊ¿äÇÏ´Ù.

AI ÀÇ ±â¼úÀÌ³ª °³³ä, ÀÌ·ÐµéÀÌ ÇöÀç ÁøÁ¤ÇÑ ÀÇ¹Ì¿¡¼ 'Áö´ÉÀû' ÀÌ¶ó ÇÒ ¼ö ÀÖ´Â ±â°è¸¦ ¸¸µé¾î ³»±â¿¡ À¯¿ëÇÏ°í ÀûÀýÇÑ µµ¿òÀÌ µÉ ¼ö ÀÖ´Â°¡? »õ·Î¿î ÀÌ·Ð°ú ±¸»óµéÀÇ º»ÁúÀûÀÎ Áõ´ë°¡ ÇÊ¿äÇÑ°¡? ±×·¸´Ù¸é ¾î¶°ÇÑ ¿µ¿ª¿¡¼ ÇÊ¿äÇÑ °ÍÀÎ°¡? È¤Àº ´ÜÁö °í¼Ó ´ëÇüÀÇ ÄÄÇ»ÅÍ¸¦ ÇÊ¿ä·Î ÇÏ°í ÀÖ´Â °ÍÀÎ°¡? È¤Àº AI ¿¬±¸ÀÇ ÁÖ·ù°¡ ºÎÀûÀýÇÑ ±æÀ» Ãß±¸ÇÏ°í ÀÖ¾î¼ ÀüÀûÀ¸·Î »õ·Î¿î Á¢±ÙÀÌ ÇÊ¿äÇÑ °ÍÀÎ°¡? È¤Àº AI ÀÇ ¸ñÇ¥°¡ ¿øÄ¢ÀûÀ¸·Î ºÒ°¡´ÉÇÑ °ÍÀÎ°¡? ÀÌ·¯ÇÑ Áú¹®µéÀÌ ¹Ù·Î ÀÎÁö°úÇÐÀÇ ³í¸®°¡ ÇØ°áÇØ¾ß ÇÒ ±¸Ã¼ÀûÀÎ °úÁ¦µéÀ» ÇÔÃàÇÏ°í ÀÖ´Ù.

6. °á·Ð
³¡À¸·Î ´ÙÀ½°ú °°Àº Á¡µéÀ» ÁöÀûÇÏ°íÀÚ ÇÑ´Ù. Ã¹Â°, ±«µ¨ (Gödel) Àº ÀÎ°øÁö´É¿¡ ±âÈ¸¸¦ ÁÖ¾ú°í, ÀÌ·Î½á ±×´Â ¸¶À½ÀÇ Ã¢¹®À» ´õ È°Â¦ ¿¾ú´Ù. µÑÂ°, ³í¸®ÇÐÀÌ ÀÎÁö°úÇÐ ¿¬±¸¿¡ ÅëÇÕµÈ µµ±¸·Î Áß¿äÇÏ°Ô ¾²ÀÌ°í ÀÖ´Ù. ¼ÂÂ°, ÀÎÁö°úÇÐÀº ÀÎ°øÁö´ÉÀÇ ³í¸®¿Í ÀÎÁö½É¸®ÇÐ °£ÀÇ »óÈ£±³·ù ¿¬±¸¸¦ ¸ð»öÇÏ°Ô ÇÑ´Ù. ±×·¯³ª ¾ÆÁ÷ ÀÌ·¯ÇÑ ¿¬±¸ Á¢±Ù ¹æ½Ä¿¡ ´ëÇÑ ÀÚ·á³ª ¿¬±¸°¡ ºÎÁ·ÇÑ ½ÇÁ¤ÀÌ¾î¼ ±× ¸ñÀû°ú ¹æ¹ýÀ» ±¸Ã¼ÀûÀ¸·Î Ç¥ÇöÇÏ´Â µ¥ ¾î·Á¿òÀÌ ¸¹´Ù. ±Ùº»ÀûÀ¸·Î ¼·Î ´Ù¸¥ ÀÌ ºÐ¾ßµéÀ» ÅëÇÕ½ÃÅ³ ¼ö ÀÖ´Â ÀÌ·ÐÀÌ ÇÊ¿äÇÏ´Ù ÇÏ°Ú´Ù. ³ÝÂ°, ±ÍÁßÇÑ ±¹°¡Àû ÀÚ»êÀÌ µÉ ÀÌ ¿¬±¸°¡ °®´Â ÇÐÁ¦ÀûÀÎ ¼Ó¼º, ¹®Á¦ÀÇ º¹Àâ¼º, ±¹Á¦ÇÐ°èÀÇ »óÈ²À» °í·ÁÇÒ ¶§ Ã¼°èÀûÀÎ °øµ¿¿¬±¸¿Í ÀÎÁö°úÇÐ À°¼ºÃ¥ÀÌ ¾øÀÌ´Â ÇÑ±¹ÀÇ ÀÎÁö°úÇÐÀÇ ²ÞÀº ´ÜÁö ¿À·£ ²ÞÀ¸·Î ³²°Ô µÉ °ÍÀÌ´Ù.