Reasoning

 

¿ì¸®´Â ÁÖ¾îÁø »óȲ¿¡ ´ëÇÑ Áö½ÄÀ» °¡Áö°í »õ·Î¿î »ç½ÇÀ» À¯µµÇÏ´Â µ¥ Àͼ÷ÇØ ÀÖ´Ù.  ½ÇÁ¦ ¿ì¸®°¡ ¾Ë°í ÀÖ´Â ¸ðµç °úÇÐÀû »ç½ÇµéÀÌ ÀÏÁ¤ÇÑ Ãß·ÐÀÇ Æ²¿¡¼­ ºñ·ÔµÇ¾ú´Ù°í ÇÏ¿©µµ °ú¾ðÀÌ ¾Æ´Ï´Ù. Ãß·Ð (reasoning, inference, argument) À̶õ, ÀÌ¹Ì ¾Ë°í ÀÖ´Â ¸íÁ¦¸¦ ±âÃÊ·Î ÇÏ¿© »õ·Î¿î ¸íÁ¦¸¦ À¯µµÇÏ´Â °úÁ¤À¸·Î ÀüÁ¦ (premise) ¿Í °á·Ð (conclusion) °£ÀÇ ³í¸®Àû °ü°è¸¦ ´Ù·é´Ù. ÀüÇüÀûÀ¸·Î Á¶°Ç¸íÁ¦ (implication) À» µé ¼ö ÀÖ´Ù. ¿©±â¼­ °á·ÐÀ̶õ »õ·Î À¯µµµÈ ¸íÁ¦¸¦ ¸»Çϸç, ÀüÁ¦¶õ °á·ÐÀÇ ±Ù°Å¸¦ Á¦°øÇÏ´Â ÀÌ¹Ì ¾Ë·ÁÁø ¸íÁ¦¸¦ ÀÏÄ´´٠... ºÒÈ®½Ç¼º (Uncertainty)

paper   term

Ã߷п¡¼­´Â ÀüÁ¦¿Í °á·Ð°£ÀÇ ³í¸®Àû °ü°è°¡ ¹®Á¦ÀÌÁö °á·Ð ¶Ç´Â ÀüÁ¦ ÀÚüÀÇ ÁøÀ§°¡ ¹®Á¦µÇ´Â °ÍÀÌ ¾Æ´Ï´Ù. °á·ÐÀÌ ¾Æ¹«¸® È®½ÇÇÑ Áø¸®¶ó ÇÏ´õ¶óµµ ±×°ÍÀÌ Ã߷бÔÄ¢ (Inference Rule) ¿¡ ÀÇ°ÅÇÏ¿© ÀüÁ¦¿ÍÀÇ ³í¸®Àû °ü°è¿¡¼­ µµÃâµÈ °ÍÀÌ ¾Æ´Ï¶ó¸é ±× Ãß·ÐÀ» Á¤´çÇÏ´Ù°í º¼ ¼ö ¾ø±â ¶§¹®ÀÌ´Ù. °á·ÐÀÌ µµÃâµÉ ¶§ ±×°ÍÀÌ ÀüÁ¦¿¡ ´ëÇÏ¿© °®´Â ³í¸®Àû °ü°è´Â °ð ±× Ãß·ÐÀÇ ¼º°ÝÀ» Á¿ìÇÑ´Ù. ±×¸®ÇÏ¿© Ãß·ÐÀº Å©°Ô 2°¡Áö À¯ÇüÀ¸·Î ³ª´­ ¼ö ÀÖÀ¸´Ï, ¿¬¿ª¹ý (Deduction) °ú ±Í³³¹ý (Induction) ÀÌ ±×°ÍÀÌ´Ù.

³í¸® (Logic) ´Â Ç¥ÁØÀûÀ̸ç Á¤È®ÇÑ Ãß·ÐÀ» ¹¦»çÇÏ·Á´Â °ÍÀÌ´Ù. ÀΰøÁö´É (Artificial Intelligence) ¿Í ÀÎÁö°úÇÐ (Cognitive Science), ÀÎÁö ½É¸®ÇÐ (Cognitive Psychology) ¿¡¼­ÀÇ º¸ÆíÀûÀÎ ¹ÏÀ½Àº Àΰ£ÀÌ »ý°¢ÇÏ´Â ¹æ¹ýÀ» Ç¥ÇöÇÏ´Â ÀýÂ÷µéÀÌ ÀÖ´Ù´Â °ÍÀ̸ç, ±×°ÍÀº ³í¸®ÇüÀÇ ±ÔÄ¢(¾Ë°í¸®Áò) À» Á÷Á¢»ç¿ëÇϰųª ³í¸®Àû ¿ø¸®¸¦ ±¸ÇöÇÏ´Â ´Ù¸¥ ¹æ¹ýÀ» ãÀ½À¸·Î½á ÄÄÇ»Åͻ󿡼­ ±¸ÇöµÉ ¼ö ÀÖ´Ù. ÀÌ·¯ÇÑ °æ¿ì Ã߷п¡ ´ëÇÑ ¿¬±¸´Â ¹Ù·Î ÀÚ¿¬ÀûÀÎ (natural) ³í¸®¿¡ ´ëÇÑ ¿¬±¸¸¦ ÀǹÌÇÑ´Ù.

±àÁ¤½Ä (Modus Ponens) ³ª »ï´Ü³í¹ý µîÀº °è¼ÓÀûÀ¸·Î »ç½ÇÀ̳ª Á¤¸®¸¦ Áõ°¡½ÃŲ´Ù. ÀÌó·³ »ç½ÇÀ̳ª Á¤¸®ÀÇ ¼ö°¡ °è¼ÓÀûÀ¸·Î ´Ã¾î³ª´Â ¿¬¿ª Ã߷аúÁ¤À» Monotonic ÇÏ´Ù ¶ó°í ÇÑ´Ù. ¹Ý¸é¿¡ Çѹø ¹àÇôÁø »ç½ÇÀÌ Ãë¼ÒµÇ°Å³ª ´Ù¸¥ »ç½Ç°ú »óÃæµÇ¾î °ÅÁþÀ¸·Î ÆǸíµÇ¾î ½Ã°£ÀÌ Áö³²¿¡ µû¶ó ¿ÀÈ÷·Á »ç½ÇÀ̳ª Á¤¸®ÀÇ ¼ö°¡ ÁÙ¾îµé ¼ö ÀÖ´Â µ¥ ÀÌ·¯ÇÑ ¿¬¿ª Ã߷аúÁ¤À» Non-MonotonicÇÏ´Ù ¶ó°í ÇÑ´Ù (ºñ´ÜÁ¶ Ãß·Ð (Nonmonotonic Reasoning))

Àü¹®°¡½Ã½ºÅÛ (Expert System) ¿¡¼­ÀÇ Ãß·ÐÀü·« (inference strategy) ´Â Å©°Ô forward chaining °ú backward chaining ·Î ³ª´­ ¼ö ÀÖ´Ù ........  Forward Chaining Àº A ¡æ B Áï Á¶°Ç A °¡ Working Memory ¿¡ ÀÖÀ¸¸é B ¸¦ ¼öÇàÇÑ´Ù. µû¶ó¼­ ´ç¿¬È÷ ¿¬¿ª¹ý (Deduction) ¿¡ ¼ÓÇÑ´Ù.   Backward Chaining Àº A ¡æ B Áï IF A THEN B ¿¡¼­ A °¡ ÁÖ¾îÁ® ÀÖÀ» ¶§ B ¸¦ Ãß·ÐÇÒ ÇÊ¿ä°¡ Àִ°¡¸¦ »ìÇÇ°í, ÇÊ¿ä½Ã¿¡ A ·ÎºÎÅÍ B ¸¦ ¾ò¾î³»´Â Deduction ÀÇ ÀÏÁ¾ÀÌ´Ù ....... Backward ¹æÇâÀÇ ÁøÇàÀº ¼ö¸¹Àº RuleÀ» ¸ðµÎ ¼öÇàÇÏÁö ¾Ê°í Á¶°ÇÀ» ¸¸Á·ÇÏ´Â RuleÀ» ã¾Æ¼­ ¼öÇàÇϱâ À§ÇÑ Ãß·ÐÀÇ È¿À²¼º ¶§¹®ÀÌ´Ù. Backward ¹æÇâ¿¡ ÀÇÇØ ³í¸®»óÀ¸·Î´Â »óÁ¤³í¹ý (Abduction) ¿¡ °¡±õ´Ù.±×·¯³ª AbductionÀº IF A THEN B ¿¡¼­ B ·ÎºÎÅÍ A ¸¦ À¯µµÇÏ´Â °ÍÀ¸·Î ±Ùº»ÀûÀ¸·Î ´Ù¸£´Ù.  

°¡Á¤ºÎ ·Îº¿ÀÇ °¡Ä¡¿¡ ´ëÇؼ­´Â ÀÌÀǸ¦ Á¦±âÇÏ´Â »ç¶÷ÀÌ °ÅÀÇ ¾ø´Ù. ÀÌ·¯ÇÑ ·Îº¿ (Robot) Àº ÁýÀ» ±ú²ýÀÌ ÇÏ°í ¼¼Å¹À» ÇÏ°í ½Ä»ç Áغñ¸¦ ÇÏ°í °íÀå³­ Àü±¸¸¦ °¡´Â °Í°ú °°Àº Åë»óÀûÀÎ °ü¸® ¾÷¹«¸¦ ÇÏ°í ¼³°ÅÁö¸¦ ÇÏ´Â µîÀÇ ÀÏÀ» ÇÒ ¼ö ÀÖ´Ù. ±×·¯³ª ÀÌ·± ·Îº¿ÀÌ Áö³à¾ß ÇÏ´Â Áö½Ä¿¡ ´ëÇؼ­ Çѹø »ý°¢ÇØ º¸ÀÚ. ÀÌ·¯ÇÑ ·Îº¿Àº °íÀå³­ Àü±¸¸¦ ¾îµð¿¡ ¹ö·Á¾ß Çϴ°¡, Á¢½Ã³ª ÄÅÀ» ¾î¶»°Ô µé¾î¾ß Çϴ°¡, ½Ä±â¼¼Ã´±â¿¡¼­ ²¨³½ ½Ä±âµéÀ» ¾îµð¿¡ µÎ¾î¾ß Çϴ°¡, Áø°øû¼Ò±âÀÇ ¸ÕÁö¸¦ ¾ðÁ¦ ºñ¿ö¾ß Çϴ°¡, »óÃ߸¦ ³ÃÀå°í¿¡ ¾ó¸¶³ª º¸°üÇÒ ¼ö Àִ°¡ µî°ú °°Àº Áú¹®¿¡ ´ë´äÇÒ ¼ö ÀÖÀ» Á¤µµÀÇ Áö½ÄÀ» °¡Á®¾ß ÇÑ´Ù ... »ó½Ä Ãß·Ð (Common Sense Reasoning)

site :

Wikipedia : Inference    À§Å°¹é°ú : Ãß·Ð

AI Topics : Representation & Reasoning    AI Topics : Metareasoning

video :

Ã߸® (Ã߸®¿Í ³ú, Á¶°Ç¹® Ã߸®, ¿¬¿ª Ã߸®, ±Í³³Ã߸®¿Í °¡¼³ °ËÁ¤), Ư°­ (¾ð¾î´Â ¾î¶»°Ô ÀÌÇصǴ°¡?) : ÀÎÁö½É¸®ÇÐ :  KUOCW   ³²±âÃá  2014/05/27