Default  Reasoning

 

ºñ´ÜÁ¶ Ãß·Ð (Nonmonotonic Reasoning) Àº ¾î¶² »ç½Ç¿¡ ´ëÇØ È®½ÇÇÑ ±Ù°Å°¡ ¾ÆÁ÷ ¾ø´Â °æ¿ì ´Þ¸® ´ë¾ÈÀÌ ¾øÀ¸¸é ƯÁ¤ »ç½ÇÀ» ÀÓ½ÃÀûÀ¸·Î ÀÎÁ¤ÇÏ´Â °æ¿ì¿¡µµ ÇÊ¿äÇÏ´Ù. ÀÌ·¯ÇÑ °ÍÀ» Ưº°È÷ ±âº»°ªÃß·Ð (Default Reasoning) À̶ó ÇÑ´Ù.

¿¹¸¦ µé¾î, Tweety ¶ó´Â »õ°¡ ÀÖÀ» ¶§ ´Þ¸® Tweety ¿¡ ´ëÇÑ Á¤º¸°¡ ¾øÀ¸¸é ÀÌ »õ´Â ³¯ ¼ö ÀÖ´Ù°í º¸´Â °ÍÀÌ´Ù. ±×·¯³ª ³ªÁß¿¡ ¾Ë°í º¸´Ï Tweety °¡ Æë±ÏÀ¸·Î ¹àÇôÁ³´Ù¸é Tweety ´Â ³¯ ¼ö ÀÖ´Ù´Â °ÍÀº Ʋ¸° »ç½ÇÀÌ µÇ´Â °ÍÀÌ´Ù. ÀÌ·¸°Ô ¶Ñ·ÇÀÌ ¹Ý¹ÚÇÒ ´Ù¸¥ Áõ°Å°¡ ¾ø´Â °æ¿ì Àӽ÷Π¾î¶² °á·ÐÀ» ³»¸®´Â °ÍÀÌ´Ù. ÀÌ´Â Áö½ÄÀÌ ¸ðµç »óȲ¿¡ ´Ù Á¤È®ÇÑ ÇØ´äÀ» ÁÙ ¼ö ¾ø´Â °æ¿ì°¡ Àֱ⠶§¹®ÀÌ´Ù. ÀÌ´Â Á¤º¸ÀÇ ºÎÀç µîÀ¸·Î ÀϾ´Ù. ÀÌ·¯ÇÑ °æ¿ì Àΰ£ÀÌ »ó½Ä¿¡ ÀÇÇØ Ãß·ÐÇÏµí ±âº»°ªÃß·ÐÀ» Àû¿ëÇÒ ¼ö ÀÖ´Ù.

IF X °¡ »õ THEN X ´Â ³¯ ¼ö ÀÖ´Ù.

¶ó´Â ±âº»Àû Áö½ÄÀ¸·Î¼­ ±âº»°ªÃß·ÐÀ» ÇÒ ¼ö ÀÖ´Ù.

¶Ç ´Ù¸¥ ¿¹¸¦ º¸ÀÚ. ¾î¶² Áý¿¡ È­Àç°æº¸°¡ ¿ï·È´Ù. ÀÌ·¯ÇÑ °æ¿ì ±× Áý¿¡ ºÒÀÌ ³µ±â ¶§¹®À̶ó°íµµ ÇÒ ¼ö ÀÖÁö¸¸ ÁöÁøÀÌ ÀϾ¼­ÀÏ ¼öµµ ÀÖ°í ¾ÆÀ̵éÀÌ Àå³­À» Ä£ °ÍÀÏ ¼öµµ ÀÖ´Â °ÍÀÌ´Ù. ±×·¯³ª ´Þ¸® Ưº°ÇÑ Áõ°Å³ª Á¤º¸°¡ ¾ø´Â ÇÑ "IF È­Àç°æº¸°¡ ¿ï¸®¸é THEN È­Àç°¡ ³µ´Ù" ¶ó´Â ±ÔÄ¢À» ÀÛµ¿ÇÏ¿© ÀÓ½ÃÀûÀ¸·Î ±× Áý¿¡ È­Àç°¡ ³­ °ÍÀ¸·Î °á·Ð ÁöÀ» ¼ö ÀÖ´Ù.

±×·¯³ª ÀÌ·¯ÇÑ ±âº»°ªÃß·ÐÀº ³ªÁß¿¡ º¸´Ù Á¤È®ÇÑ Áõ°Å°¡ ¼öÁýµÇ´Â ´ë·Î ºÎÁ¤µÉ ¿©Áö°¡ ¾ó¸¶µçÁö ÀÖ´Â °ÍÀÌ´Ù. ÀÌ·¸°Ô ±âº»°ª Ã߷еµ Çѹø Ãß·ÐµÈ °á°ú°¡ ³ªÁß¿¡ ¹øº¹µÉ ¼ö ÀÖ´Ù´Â Á¡¿¡¼­ ºñ´ÜÁ¶Ã߷п¡ Æ÷ÇԵȴÙ.

¶óÀÌÅÍÀÇ ÃʱâÈ­ ³í¸® (default logic) : Á¤¿µ±â : ¶óÀÌÅÍ (R.Reiter) ´Â ÀÏ°ü¼º¿¡ ±âÃÊÇÏ¿© ºñ´ÜÁ¶ Ã߸®¿¡ Á¢±ÙÇϸç ÃʱâÈ­ ³í¸®¸¦ °³¹ßÇÏ¿´´Ù ....... ÃʱâÈ­ Ã߸®ÀÇ ÃʱâÈ­´Â ´Ù¸£°Ô Áõ¸íµÇÁö ¾Ê´Â ÇÑ (¶Ç´Â ´Ù¸£°Ô Áõ¸íµÉ ¶§±îÁö) ¾î¶² ¾ð¸íÀÌ ¹Ï¾îÁú ¼ö ÀÖ´Ù´Â ¾ð¸íÀ̰ųª ±ÔÄ¢ÀÌ´Ù. ÃʱâÈ­ S ´Â S °¡ ¾Æ´Ï¶ó°í Áõ¸íµÇÁö ¾Ê´Â ÇÑ S ´Â Ã߸®µÉ ¼ö ÀÖ´Ù°í Çؼ®µÈ´Ù. ÃʱâÈ­´Â Å« º¯È­¾øÀÌ ¿¹¿Ü°¡ ÀÎÁ¤µÉ ¼ö ÀÖ´Â ÀϹݼºÀ» Áø¼úÇÒ ¶§ »ç¿ëµÈ´Ù. ¿¹¸¦ µé¾î ÃʱâÈ­ ±ÔÄ¢ÀÌ '¸ðµç »õ´Â ³¯ ¼ö ÀÖ´Ù' ¶ó¸é, ÀÌ °æ¿ì ¿¹¿Ü´Â Æë±ÏÀ̳ª ŸÁ¶ÀÌ´Ù....... ¿¹¸¦ µé¾î º¸ÀÚ. â¼ö´Â Àü»êÇаú ±³¼öÀÌ´Ù. ±×·¯¹Ç·Î â¼ö´Â ¹Ú»ç ÇÐÀ§¸¦ °®°í ÀÖ´Ù. ¹°·Ð ±×°¡ ¹Ú»ç ÇÐÀ§¸¦ °®°í ÀÖÁö ¾ÊÀ» ¼ö ÀÖ´Ù. ¸¸ÀÏ ±×°¡ ¹Ú»ç ÇÐÀ§¸¦ °®°í ÀÖÁö ¾Ê´Ù´Â ¹ÏÀ»¸¸ÇÑ Á¤º¸¸¦ µè´Â´Ù¸é ¿ì¸®´Â ±× °á·ÐÀ» öȸÇÑ´Ù. â¼öÀÇ ¿¹´Â ÃʱâÈ­ Ã߸®ÀÇ ÀϹÝÀûÀÎ ÆÐÅÏÀ» ¿¹½ÃÇØ ÁØ´Ù. ±× ¿¹´Â ´ÙÀ½°ú °°ÀÌ ºÐ¼®µÈ´Ù.

x °¡ Àü»êÇаú ±³¼öÀÌ°í x °¡ ¹Ú»ç ÇÐÀ§¸¦ °®°í ÀÖÁö ¾Ê´Ù°í Áõ¸íµÇÁö ¾Ê´Â ÇÑ, ¿ì¸®´Â x °¡ ¹Ú»ç ÇÐÀ§¸¦ °®°í ÀÖ´Ù°í Ã߸®ÇÒ ¼ö ÀÖ´Ù.

±×·± Ã߸®ÀÇ °á·Ð ºÎºÐÀ» ÃʱâÈ­¶ó°í ºÎ¸¥´Ù. »õ·Î¿î ºÎºÐÀº "¶ó°í Áõ¸íµÇÁö ¾Ê´Â ÇÑ" ºÎºÐÀÌ´Ù. ÀÌ ºÎºÐÀÌ ÀǹÌÇÏ´Â °ÍÀ» Çü½ÄÈ­ÇÏ´Â µ¥¿¡´Â »ý°¢º¸´Ù ¼¼¹ÐÇÑ °ÍÀÌ ¿ä±¸µÈ´Ù. ±×·¯³ª ½ÇÁ¦ ÇÁ·Î±×·¥¿¡ ±×°ÍÀ» ÀÛ¿ë½ÃÅ°´Â °ÍÀº ¾î·ÆÁö ¾Ê´Ù. "¶ó°í Áõ¸íµÇÁö ¾Ê´Â ÇÑ" ºÎºÐÀº "consistent" ¶ó´Â ±âÈ£¸¦ µµÀÔÇÏ¿© Ç¥ÇöÇÒ ¼ö ÀÖ´Ù. Áï (~P) ¶ó°í Ã߸®µÉ ¼ö ¾øÀ¸¸é (consistent P) ´Â ÂüÀÌ´Ù. ¹Ý´ëµÇ´Â Á¤º¸°¡ ¾ø´Â ÇÑ, ±âÁ¸ Á¤º¸¿¡ ±âÃÊÇÏ¿© ÀÏÁ¤ÇÑ °á·ÐÀ» ÁÖÀåÇÒ ¼ö ÀÖ´Ù´Â °ÍÀÌ´Ù.....