ºñ´ÜÁ¶ ³í¸® ¿¬±¸
°úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸® : Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 99~125
¸ñ Â÷
1. ºñ´ÜÁ¶³í¸®ÀÇ Æ¯¼º
2. ºñ´ÜÁ¶ ³í¸®ÀÇ À¯Çü
(1) ¶óÀÌÅÍÀÇ ÃʱâÈ ³í¸® (default logic)
(2) ¹«¾îÀÇ ÀÚµ¿ÀνÄÀû Ã߸® (autoepistemic reasoning)
(3) ¸ÆÄ«½ÃÀÇ Á¦ÇÑÈ Ã߸® (circumscriptive reasoning)
3. ºñ´ÜÁ¶ ³í¸®ÀÇ »ç¿ë »ç·Ê
4. ºñÆÇÀû ³íÀÇ
1. ºñ´ÜÁ¶³í¸®ÀÇ Æ¯¼º
¿¬¿ª ³í¸®´Â Ã߸®°¡ ÁøÇàµÇ°í Áö½ÄÀÌ ºÎ°¡µÊ¿¡ µû¶ó Á¤º¸¸¦ ¹ö¸®°Å³ª ½Å³äÀ» º¯°æÇÏ´Â ¸ÞÄ«´ÏÁòÀ» °®°í ÀÖÁö ¾Ê´Ù. ¿¬¿ª³í¸®ÀÇ ÀÌ·¯ÇÑ Ãø¸éÀ» ´ÜÁ¶Àû (monotonic) À̶ó ºÎ¸¥´Ù. ºñ´ÜÁ¶ ³í¸® (nonmonotonic logic) ´Â »ç¿ë°¡´ÉÇÑ Á¤º¸¿¡ ±âÃÊÇÏ¿© Ã߸®¸¦ ÁøÇàÇÏÁö¸¸ »õ·Î¿î Á¤º¸°¡ ÷°¡µÉ ¶§ ±× Ã߸®´Â Á¦°ÅµÇ°í »õ·Î¿î Ã߸®¸¦ ÁøÇàÇÒ ¼ö ÀÖ´Ù. ºñ´ÜÁ¶ ³í¸®´Â ±Ù°Å°¡ ºÒ¿ÏÀüÇϰųª ¿ÏÀüÇÑ Á¤º¸È¹µæÀÌ ºÒ°¡´ÉÇÑ »óȲ¿¡¼ ÀÌ¿ëµÉ ¼ö ÀÖ´Â Ã߸®¾ç½ÄÀÌ´Ù.
¹Î½ºÅ° (M.Minsky) ´Â ¿¬¿ª³í¸®°¡ »ó½ÄÀû Ã߸®¸¦ Ç¥ÇöÇϱ⿡´Â ºÎÀûÀýÇÏ´Ù°í ÁÖÀåÇÏ¸é¼ `Nonmonotonic` À̶ó´Â ¿ë¾î¸¦ 1975 ³â óÀ½ »ç¿ëÇÏ¿´´Ù. ¸Æ´õ¸ðÆ® (McDermott), µµÀÏ (Doyle), ¶óÀÌÅÍ (Reiter) ´Â 1980 ³â µÎ °¡Áö ´Ù¸¥ Çü½Ä ü¡¦(»ý·«)
|
µû¶ó ÀûÀýÇÏ°Ô ¼öÁ¤ÇÏ´Â °ÍÀÌ Çö¸íÇÏ´Ù. Á¤º¸°¡ ¿ÏÀüÇÏ°Ô ¾ò¾îÁú ¶§±îÁö ÇàÀ§¸¦ ÇÏÁö ¾Ê°í ±â´Ù¸± ¼öµµ ¾ø´Ù. »óȲÀÌ º¹ÀâÇÏ°Ô º¯ÈÇÏ¸ç ¾ðÁ¦ ¾î´À ¶§ ¹«½¼ Á¤º¸°¡ À¯À﵃ °ÍÀÌÁö¿¡ ´ëÇØ ¿ì¸®´Â ¾Ë ¼ö ¾ø±â ¶§¹®ÀÌ´Ù. ¾î¶² ÇϳªÀÇ Á¤º¸´Â ÀÏÀÇ ¼ºÆи¦ Á¿ìÇÒ Á¤µµ·Î Áß¿äÇϱ⵵ ÇÏ´Ù. µû¶ó¼ ¿ì¸®´Â ÀÏÁ¤ÇÑ Á¤º¸¿¡ ±âÃÊÇÏ¿© °á·ÐÀ» ³»¸®Áö¸¸ ±× °á·ÐÀÌ °áÁ¤ÀûÀÎ °á·ÐÀÌ ¾Æ´Ï¸ç »õ·Î¿î Á¤º¸°¡ À¯ÀԵʿ¡ µû¶ó °á·ÐÀÌ ¼öÁ¤µÉ ¼ö ÀÖÀ½À» ÀÎÁ¤Çϴ ŵµ°¡ Á¤º¸»çȸ¿¡ ÀûÀÀÇϴ ŵµÀÏ °ÍÀÌ´Ù.
µÑ°, ºñ´ÜÁ¶ ³í¸®´Â ÀüÇü¼º (typicality) ¿¡ ±âÃÊÇÑ Ã߸®ÀÌ´Ù. »õ¸¦ ÆÇ´ÜÇÏ´Â °æ¿ì `ÀüÇüÀûÀ¸·Î »õ´Â ³´Ù` ´Â »ç½Ç¿¡ ±âÃÊÇÏ¿© ¾î¶² °ÍÀÌ »õ¶ó¸é ±×°ÍÀº ³´Ù°í °á·Ð³»¸°´Ù. ±×·± °á·ÐÀº ±× »õ°¡ ÀüÇüÀûÀÎ »õ¶ó´Â »ç½Ç, Áï ±× »õ°¡ ºñÀüÇüÀûÀÌÁö ¾Ê´Ù´Â »ç½Ç¿¡ ±âÃÊÇÏ¿© ³»·ÁÁø ÆÇ´ÜÀÌ´Ù. ±× °á·ÐÀº ÀáÁ¤ÀûÀÎ °á·ÐÀÌ´Ù. µû¶ó¼ ±× »õ°¡ ÀüÇüÀûÀÎ »õ°¡ ¾Æ´Ï¶ó°í ÆÇ¸í³ª¸é ±× °á·ÐÀº ¼öÁ¤µÈ´Ù. ±× °á·ÐÀº ¹Ý´ëµÇ´Â Á¤º¸°¡ ¾ø´Â ÇÑ¿¡¼ Ÿ´çÇÏ°í ¹Ý´ëµÇ´Â Á¤º¸°¡ ³ª¿À¸é °á·ÐÀº ¼öÁ¤µÈ´Ù. ±× Ã߸®´Â ºñ´ÜÁ¶ÀûÀÌ´Ù.
ÀÇ»çµéÀÌ Áø´ÜÀ» ³»¸®´Â °æ¿ì ÀüÇü¼º¿¡ ±âÃÊÇÏ¿© Áø´ÜÀ» ³»¸°´Ù. ÀÇ»çµéÀº °Ç°ÇÑ »ç¶÷À̶ó¸é ÀüÇüÀûÀ¸·Î ½Åü°¡ ¾î¶² »óŸ¦ À¯ÁöÇÑ´Ù´Â °ÍÀ» ¾Ë°í ÀÖ´Ù. ȯÀÚ°¡ ÀüÇüÀûÀÎ ½Åü»óŸ¦ °®Áö ¾Ê´Â °æ¿ì ¡ÈÄ¿¡ µû¶ó º´ÀÇ Áø´ÜÀ» ³»¸°´Ù. °¡·É ÀÇ»çµéÀº ȯÀÚ¿¡°Ô Àß ¸Ô´À³Ä ¶Ç´Â ´ë¼Òº¯À» Àß º¸´À³Ä°í ¹¯´Â´Ù. °Ç°ÇÑ »ç¶÷À̶ó¸é ÀüÇüÀûÀ¸·Î Àß ¸Ô°í ´ë¼Òº¯À» Àß º¼ °ÍÀ̱⠶§¹®ÀÌ´Ù. ÇÑÀÇ»çµéµµ ÀüÇü¼º¿¡ ±âÃÊÇÏ¿© Áø´ÜÀ» ³»¸°´Ù. °¡·É ȯÀÚÀÇ ¾ó±¼ÀÌ º¸Åë ÀÌ»óÀ¸·Î °ËÀ» °æ¿ì °£ÀÇ ÀÌ»óÀ» Áø´ÜÇϸç, ȯÀÚÀÇ ¾ó±¼ÀÌ º¸Åë ÀÌ»óÀ¸·Î ºÓÀ» °æ¿ì ½ÉÀåÀÇ ÀÌ»óÀ» Áø´ÜÇÑ´Ù. ±×·¯³ª ±×·± Áø´ÜÀÌ ¹Ýµå½Ã ÀûÁßÇÏÁö´Â ¾Ê´Â´Ù. ´Ù¸¥ ÀÌÀ¯ ¶§¹®¿¡ ȯÀÚÀÇ ¾ó±¼ÀÌ °Ë°Å³ª ºÓ°Å³ª Èñ°Ô µÉ ¼ö Àֱ⠶§¹®ÀÌ´Ù.
½ÇÁ¦·Î ¿ì¸®ÀÇ »ó½ÄÀº ÀüÇü¼º¿¡ ±âÃÊÇÑ Ã߸®¸¦ ÇÏ°í ÀÖÀ¸¸ç ºñ´ÜÁ¶³í¸®´Â ±×°ÍÀ» Àß ¹Ý¿µÇÏ°í ÀÖ´Ù. ÀÌ °æ¿ì ÀüÇü¼ºÀº ÀÌÁ¦±îÁö Ÿ´çÇÏ´Ù°í ÀÎÁ¤µÇ¾î