Ãß ·Ð
Àü¹®°¡ ½Ã½ºÅÛ ¿ø¸®¿Í °³¹ß : ÀÌÀç±Ô, ÃÖÇü¸², ±èÇö¼ö, ¼¹Î¼ö, ÁÖ¼®Áø, Áö¿øÃ¶ °øÀú, ¹ý¿µ»ç, 1996, Page 62~80
3.1 ¿ª¹æÇâ Ãß·Ð (Backward Chaining) 3.2 Á¤¹æÇâ Ãß·Ð (Forward Chaining) 3.3 È¥ÇÕÇü Ãß·Ð (Hybrid Chaining) |
Ãß·ÐÀ̶õ ÀÌ¹Ì ¾Ë°í ÀÖ´Â »ç½Ç°ú Áö½ÄÀ¸·ÎºÎÅÍ »õ·Î¿î »ç½ÇÀ» À¯ÃßÇÏ¿© ³»´Â °ÍÀ» ¸»ÇÑ´Ù. Áö½Äº£À̽º ½Ã½ºÅÛÀÌ ´Ù¸¥ ½Ã½ºÅÛ°ú ´Ù¸¥ Á¡ ÁßÀÇ Çϳª°¡ ¹Ù·Î ÀÌ·¯ÇÑ Ãß·ÐÀ» ÇÒ ¼ö ÀÖ´Â ´É·ÂÀÌ ÀÖ´Ù´Â °ÍÀÌ´Ù. Ãß·ÐÀÇ ÇÑ ¿¹¸¦ µé¾îº¸ÀÚ. ¹ÙµÏÀÌ´Â ´Ã ÀÚ±â Áý¿¡ Àְųª, ±×·¸Áö ¾ÊÀ¸¸é µÞ¸¶´ç¿¡ ÀÖ´Ù°í ÇÏ´Â Áö½ÄÀÌ ÀÖ´Ù. ±×¸®°í ¹ÙµÏÀ̰¡ Áö±Ý ÀÚ±â Áý¿¡ ¾ø´Ù´Â »ç½ÇÀ» ¾Ë¾Ò´Ù. ÀÌ·¯ÇÑ Áö½Ä°ú »ç½ÇÀ» Åä´ë·Î ¹ÙµÏÀÌ´Â µÞ¸¶´ç¿¡ ÀÖÀ½À» Ãß·ÐÇØ ³¾ ¼ö ÀÖ´Ù(À̰ÍÀº ³ªÁß¿¡ ¼³¸íÇÒ ¸íÁ¦³í¸®¿¡¼ÀÇ Ãß·Ð ±ÔÄ¢¿¡ ¹ÙÅÁÀ» µÎ°í ÀÖ´Ù). ÀϹÝÀûÀ¸·Î Ãß·ÐÀ̶ó Çϸé À§ÀÇ ¿¹Ã³·³ ³í¸®Àû ¹ÙÅÁÀ§¿¡ À¯ÃßÇØ ³»´Â °ÍÀ» ¸ÕÀú »ý°¢ÇÒ ¼ö ÀÖÀ¸³ª, ÇØ´äÀ» µµÃâÇϱâ À§ÇÑ ¸ðµç ÀÛ¾÷À¸·Î º¼ ¼ö ÀÖ´Ù. ½ÉÁö¾î Áö½Ä Ç¥ÇöÀÌ Å×À̺íÀÌ°Ç ±×·¡ÇÁ³ª ÇÁ·¹ÀÓÀ̰Ç, ±× ¾È¿¡¼ ¿ì¸®°¡ ¿øÇÏ´Â »õ·Î¿î »ç½ÇÀ̳ª °á·ÐµîÀ» µµÃâÇØ ³»´Â ¸ðµç °úÁ¤À» ¹Ù·Î Ãß·ÐÀÌ¶ó º¼ ¼ö ÀÖ´Ù. µû¶ó¼ Ãß·ÐÀ» ¾î¶² ƯÁ¤ÇÑ Çü½Ä¿¡ ±¹ÇÑÇÏÁö ¾Ê°í ¶§·Î´Â Ž»öÀÇ ÇüÅ·Π¶§·Î´Â °è»êÀÇ ÇüÅ·Π³ªÅ¸³ª°Ô ÇÒ ¼öµµ ÀÖ´Ù. Ãß·ÐÀº Áö½ÄÀÇ Ç¥Çö°ú ¹ÐÁ¢ÇÑ °ü·ÃÀÌ ÀÖ´Ù. Áö½Ä Ç¥ÇöÀÇ ¹æ½ÄÀÌ Ã߷йæ½ÄÀ» °áÁ¤Çϱ⠶§¹®ÀÌ´Ù. º» Àå¿¡¼´Â ¿©·¯ °¡Áö ÇüÅÂÀÇ Áö½Ä Ç¥Çö°ú ¿¬°áÇÏ¿© ±×¿¡ µû¸¥ Ãß·Ð ¹æ¹ýÀ» °íÂûÇØ º¸±â·Î ÇÑ´Ù.
ÀϹÝÀûÀ¸·Î ³í¸®¸¦ ÀÌ¿ëÇÑ Áö½Ä Ç¥Çö¿¡¼ ¸¹ÀÌ »ç¿ëµÇ´Â °ÍÀÌ ¸íÁ¦³í¸®ÀÌ´Ù. ¸íÁ¦³í¸®´Â ÁøÀ§¸¦ ÆÇ´ÜÇÒ ¼ö ÀÖ´Â ¸íÁ¦µé·Î ±¸¼ºµÈ´Ù. Áö½Ä Ç¥ÇöÀ¸·Î ¸¹ÀÌ »ç¿ëµÇ´Â ±ÔÄ¢µµ ±× Àǹ̰¡ ³í¸®Àû ¾Ï½Ã (Logical Implication) ¶ó¸é ¸íÁ¦°è»ê¿¡ ¹ÙÅÁÀ¸ µÎ°í ÀÖ´Ù. º» Àý¿¡¼´Â ÀÌ·¯ÇÑ ±ÔÄ¢ÇüÅÂÀÇ Áö½Ä Ç¥Çö¿¡ ´ëÇÑ ±âº» Ã߷йæ½ÄµéÀ» ¼Ò°³ÇÑ´Ù.
Modus Ponens´Â ¶óƾ¾î°¡ ¾î¿øÀε¥ "way" ¶õ ¶æÀÎ modus¿Í "assert"¶õ ¶æÀÇ ponere°¡ ÇÕ¼ºµÈ ¸»ÀÌ´Ù. modus ponens ´Â ±ÔÄ¢Çü Áö½Äº£À̽º¿¡¼ÀÇ °¡Àå ±âº»ÀûÀÎ Ã߷йæ½ÄÀε¥ "A¡æB"¿Í °°Àº ±ÔÄ¢ÀÌ ÀÖ°í, ¶Ç ±× ÀüÁ¦°¡ µÇ´Â A°¡ »ç½ÇÀÏ ¶§ °á·Ð B¸¦ ³»¸®´Â °ÍÀ» ¸»ÇÑ´Ù.
´ÙÀ½°ú °°Àº Áø¼ú½ÄÀÌ ÀÖ´Ù°í ÇÏÀÚ.
"¾î¶² µ¿¹°ÀÌ »õÀÌ´Ù ¡æ ±× µ¿¹°Àº ¾ËÀ» ³º´Â´Ù."
À̶§ ¾î¶² µ¿¹°ÀÌ »õ¶ó¸é ¿ì¸®´Â ±× µ¿¹°Àº ¾ËÀ» ³ºÀ½À» ¾Ë ¼ö ÀÖ´Ù. À̸¦ ¸íÁ¦³í¸®¿¡¼ÀÇ Ç×Áø¹® (Tautology) -±× ±¸¼º ¸íÁ¦ÀÇ ÁøÀ§¿¡ °ü°è¾øÀÌ Ç×»ó ÂüÀ̵Ǵ ³í¸®Àû °áÇÕ¹®-ÇüÅ·Π¾²¸é,
((A ¡æ B) AND A) ¡æ B
À̰í À̰ÍÀº Ç×»ó ÂüÀÌ µÈ´Ù.
ÀÌÀÇ Áõ¸íÀ» Áø¸®Ç¥ÇüÅ·Π³ªÅ¸³»¸é <Ç¥ 3-1>°ú °°´Ù.
A |
B |
A¡æB |
(A ¡æ B) AND A |
((A ¡æ B) AND A) ¡æ B |
T T F F |
T F T F |
T F T T |
T F F F |
T T T T |
<Ç¥ 3-1> Modus ponensÀÇ Áø¸®Ç¥
À§ÀÇ Ç¥¿¡¼ A¿Í B°¡ ÂüÀÌµç °ÅÁþÀ̵ç ((A ¡æ B) ¡ü A) ¡æ BÀº Ç×»ó ÂüÀÓÀ» ¾Ë ¼ö ÀÖ´Ù. ¶ÇÇÑ º¸´Ù ´õ Ãà¾àµÈ ¹æ¹ýÀ¸·Î modus ponensÀÇ Áø¸®Ç¥¸¦ ÀÛ¼ºÇϸé <Ç¥ 3-2>¿Í °°´Ù.
A |
B |
Àü Á¦ |
°á·Ð B |
|
A ¡æ B |
A |
|||
T T F F |
T F T F |
T F T T |
T T F F |
T F T F |
<Ç¥ 3-2>Ãà¾àµÈ A ¡æ B, A, B¿¡ °üÇÑ Áø¸®Ç¥
¿©±â¼ A ¡æ B¿Í A°¡ ÂüÀ̸é Bµµ ÂüÀÓÀ» ¾Ë ¼ö ÀÖ°í, A°¡ ÂüÀ̳ª ±ÔÄ¢ A ¡æ B°¡ °ÅÁþÀÌ¸é °á·Ð Bµµ °ÅÁþÀÓÀ» ¾Ë ¼ö ÀÖ´Ù. ¿¹¸¦ µé¾î ´ÙÀ½°ú °°Àº À߸øµÈ ±ÔÄ¢ÀÌ ÀÖ´Ù°í ÇÏÀÚ.
"¾î¶² µ¿¹°ÀÌ »õÀÌ´Ù ¡æ ±× µ¿¹°Àº »õ³¢¸¦ ³º´Â´Ù"
À̶§ ¾î¶² µ¿¹°ÀÌ »õÀ̸é ÀÌ ±ÔÄ¢ÀÌ °ÅÁþÀ̹ǷΠ±× µ¿¹°Àº »õ³¢¸¦ ³ºÁö ¾ÊÀ½À» ¾Ë ¼ö ÀÖ´Ù. ¶ÇÇÑ A ¡æ B°¡ ÂüÀÏ ¶§ Á¶°Ç¹®ÀÌ °ÅÁþÀÌ¸é °á·Ð¿¡ ´ëÇÑ ÁøÀ§´Â ºÒ¸íÈ®ÇÔÀ» ¾Ë ¼ö ÀÖ´Ù. Áï ´ÙÀ½°ú °°Àº ÂüÀÎ ±ÔÄ¢ÀÌ ÀÖÀ» ¶§,
"¾î¶² µ¿¹°ÀÌ »õÀÌ´Ù.¡æ ±× µ¿¹°Àº ¾ËÀ» ³º´Â´Ù."
¾î¶² µ¿¹°ÀÌ »õ°¡ ¾Æ´Ï¸é ±× µ¿¹°ÀÌ ¾ËÀ» ³º´ÂÁö ¾ËÀ» ¾È ³º´ÂÁö´Â ºÒ¸íÈ®ÇÏ´Ù. Áï, ¾ËÀ» ³º´Â´Ù¶ó´Â ¸íÁ¦°¡ ÂüÀÏ ¼öµµ °ÅÁþÀÏ ¼öµµ ÀÖ´Ù. Áï, ¹ìÀº »õ´Â ¾Æ´ÏÁö¸¸ ¾ËÀ» ³º°í, »çÀÚ´Â »õµµ ¾Æ´Ï°í ¶ÇÇÑ ¾Ëµµ ³ºÁö ¾Ê´Â °ÍÀÌ´Ù.
¸íÁ¦³í¸®¿¡¼´Â ±× Áø¼úµéÀÌ Ç×»ó ÂüÀ̳ª °ÅÁþ Áß ÇϳªÀÇ °ªÀ» °¡Áö°í ÀÖ¾î¾ß ÇÑ´Ù. ±×·¯³ª ½ÇÁ¦·Î ÇØ´ç Á¶°ÇÀÌ ÂüÀÎÁö °ÅÁþÀÎÁö ¸ð¸£´Â »óÅÂ, Áï ¹ÌÈ®ÀÎ ¶Ç´Â Ú±ò± (Unknown) »óÅÂÀÎ °æ¿ì°¡ ¸¹´Ù. À̶§´Â ±× °á·Ð ¶ÇÇÑ ¹ÌÈ®ÀÎÀÇ »óŰ¡ µÈ´Ù. ÀÌ·¯ÇÑ °æ¿ì Ãß·ÐÀº ´õ ÀÌ»ó ÁøÇàµÉ ¼ö°¡ ¾ø´Ù. Áï, °á·Ð¿¡ ´ëÇÑ ÂüÀÎÁö °ÅÁþÀÎÁö¿¡ ´ëÇÑ ¾Æ¹«·± È®´äÀ» ÇÒ ¼ö ¾ø±â ¶§¹®ÀÌ´Ù. ¶ÇÇÑ ÀÌ¹Ì ÁøÇàµÈ Ãß·Ð °úÁ¤¿¡¼ ¾Õ¼ Ã߷п¡ »ç¿ëµÇ¾ú´ø »ç½ÇÀ̳ª Á¶°ÇÀÌ ´õ ÀÌ»ó ÂüÀÌ ¾Æ´ÔÀ» ¾Ë¾ÒÀ» ¶§, ¿¹¸¦ µé¾î ¾î¶² µ¿¹°ÀÌ Ã³À½¿£ »õ·Î ¾Ë¾ÒÀ¸³ª ÀÚ¼¼È÷ »ìÆìº¸´Ï »õ°¡ ¾Æ´ÔÀÌ ¹àÇôÁö¸é, ¾Õ¿¡¼ ¼Ò°³µÈ ÁøÀ§Ç¥¿¡ µû¶ó ÇØ´ç ±ÔÄ¢¿¡ ÀÇÇØ modus ponens¿¡ ÀÇÇØ Ãß·ÐµÈ °á°úÀÇ ÁøÀ§°ªµµ ´Þ¶óÁ®¾ß ÇÑ´Ù.
Modus Tollens(´ë¿ì)ÀÇ Tolens´Â "deny" ¶õ µíÀÇ ¶óƾ¾î tollere¿¡¼ ¿Â °ÍÀ̸ç, modus tollens ´Â ±ÔÄ¢ÀÇ °á·ÐÀÌ °ÅÁþÀÏ ¶§ ±× Á¶°Ç ¶ÇÇÑ °ÅÁþÀ̶ó°í Ãß·ÐÇÏ´Â °ÍÀÌ´Ù. ÀÌ´Â ´ÙÀ½°ú °°ÀÌ ³ªÅ¸³¾ ¼ö ÀÖ´Ù.
A ¡æ B
NOT B
°á·Ð : NOT A
´ÙÀ½ÀÇ ¿¹¸¦ º¸ÀÚ.
´ëÃâ ½ÅûÀÚÀÇ ÀÚ°Ý¿ä°ÇÀÌ ¸Â´Ù ¡æ ´ëÃâÀ» ½ÂÀι޴´Ù.
NOT (´ëÃâÀ» ½ÂÀι޴´Ù).
°á·Ð : NOT (´ëÃâ ½ÅûÀÚÀÇ ÀÚ°Ý¿ä°ÇÀÌ ¸Â´Ù).
Áï, ´ëÃâ½ÅûÀÚÀÇ ÀÚ°Ý¿ä°ÇÀÌ ¸ÂÀ¸¸é ´ëÃâÀ» ½ÂÀιÞÀ» ¶§, ¸¸¾à ´ëÃâÀ» ½ÂÀιÞÁö ¸øÇß´Ù¸é ±× ½ÅûÀÚ´Â ÀÚ°Ý¿ä°ÇÀÌ ¸ÂÁö ¾Ê´Â´Ù¶ó°í °á·Ð³»¸®´Â °ÍÀÌ´Ù. modus tollens¿¡ °üÇÑ Áø¸®Ç¥´Â ´ÙÀ½°ú °°´Ù.
A |
B |
Àü Á¦ |
°á·Ð NOT A |
|
A ¡æ B |
NOT B |
|||
T T F F |
T F T F |
T F T T |
F T F T |
F F T T |
<Ç¥ 3-3> Ãà¾àµÈ A ¡æ B, NOT A, NOT B¿¡ °üÇÑ Áø¸®Ç¥
À§ÀÇ Ç¥¿¡¼ A ¡æ B¿Í NOT B°¡ ÂüÀ̸é NOT AÀÓÀ» ¾Ë ¼ö ÀÖ´Ù. ±×·¯³ª A ¡æ B°¡ ¸ÂÀ¸³ª NOT B°¡ °ÅÁþÀ̸é NOT A´Â ÂüÀÌ µÉ ¼öµµ ÀÖ°í, °ÅÁþÀÏ ¼öµµ ÀÖÀ½À» ¾Ë ¼ö ÀÖ´Ù.
»ï´Ü³í¹ýÀº ¿¬¼â±ÔÄ¢ (Chain Rule) À̶ó°íµµ ÇÏ¸ç °á·ÐºÎºÐ°ú Á¶°ÇºÎºÐÀÌ ¼·Î °°Àº µÎ °³ÀÇ ±ÔÄ¢À» ¿¬¼â½ÃÄÑ »õ·Î¿î ±ÔÄ¢À» µµÃâÇØ ³½´Ù. Áï, A ¡æ B¿Í B¡æ C°¡ ÀÖÀ¸¸é A ¡æ C¶ó´Â ±ÔÄ¢À» ¸¸µé ¼ö ÀÖ´Ù. ÀÌ´Â ´ÙÀ½°ú °°ÀÌ ³ªÅ¸³¾ ¼ö ÀÖ´Ù.
A ¡æ B
B ¡æ C
°á·Ð : A ¡æ C
´ÙÀ½ÀÇ ¿¹¸¦ º¸ÀÚ.
±êÅÐÀÌ ÀÖ´Ù ¡æ »õÀÌ´Ù
»õÀÌ´Ù ¡æ ¾ËÀ» ³º´Â´Ù
ÀÌ·¯ÇÑ Áø¼ú½ÄÀ¸·ÎºÎÅÍ "±êÅÐÀÌ ÀÖ´Ù ¡æ ¾ËÀ» ³º´Â´Ù"¶ó´Â ±ÔÄ¢À» µµÃâÇØ ³¾ ¼ö ÀÖ´Ù.
¶Ç ´Ù¸¥ ¿¹¸¦ º¸ÀÚ.
±×´Â ¼ÒÅ©¶óÅ×½ºÀÌ´Ù ¡æ ±×´Â »ç¶÷ÀÌ´Ù
±×´Â »ç¶÷ÀÌ´Ù ¡æ ±×´Â Á״´Ù
ÀÌ µÎ°¡Áö Áø¼ú½ÄÀ¸·ÎºÎÅÍ "±×´Â ¼ÒÅ©¶óÅ×½ºÀÌ´Ù ¡æ ±×´Â Á״´Ù" ¶ó´Â °ÍÀ» µµÃâÇØ ³¾ ¼ö ÀÖ´Ù. ±×¸®°í ¿©±â¼ ±×´Â ¼ÒÅ©¶óÅ×½ºÀÌ´Ù¶ó´Â Áø¼úÀÌ ÂüÀ̸é modus ponens¿¡ ÀÇÇØ ±×´Â Á״´ٶó´Â °á·ÐÀ» ¾òÀ» ¼ö ÀÖ´Ù.
ÀÌ´Â ´ÙÀ½°ú °°Àº º¥ ´ÙÀ̾î±×·¥ (Venn Diagram) À¸·Î ³ªÅ¸³¾ ¼ö ÀÖ´Ù.
<±×¸² 3-1> ¼ÒÅ©¶óÅ×½º¿¡ ´ëÇÑ »ï´Ü³í¹ýÀÇ º¥ ´ÙÀ̾î±×·¥
¼ÒÅ©¶óÅ×½º´Â »ç¶÷¿¡ Æ÷ÇÔµÇ¸ç ¶ÇÇÑ »ç¶÷Àº Á×À» ¼ö¹Û¿¡ ¾ø´Â »ý¹°¿¡ ¼ÓÇÑ´Ù. µû¶ó¼ ¼ÒÅ©¶óÅ×½º´Â Á×´Â °ÍÀÌ´Ù. »ï´Ü³í¹ýÀº º¸Åë ´ëÀüÁ¦, ¼ÒÀüÁ¦, ±×¸®°í °á·ÐÀ¸·Î ³ªÅ¸³½´Ù. À§ÀÇ ¼ÒÅ©¶óÅ×½º¿¡ °üÇÑ »ï´Ü³í¹ýÀ» ´Ù½Ã Ç¥±âÇÏ¸é ´ÙÀ½°ú °°´Ù.
´ëÀüÁ¦: ¸ðµç »ç¶÷Àº Á״´Ù
¼ÒÀüÁ¦: ¼ÒÅ©¶óÅ×½º´Â »ç¶÷ÀÌ´Ù
°á ·Ð: ¼ÒÅ©¶óÅ×½º´Â Á״´Ù
ÀÌ¿Í °°Àº Ç¥ÇöÀº ¸íÁ¦³í¸®·Î½á ³ªÅ¸³¾ ¼ö´Â ¾ø´Ù. ¿Ö³ÄÇÏ¸é ¸íÁ¦°è»ê¿¡´Â ¹®ÀåÀÇ ³»ºÎ±¸Á¶°¡ ¾ø¾î¼ Á¤·®ÀÚ³ª µ¶¸³º¯¼ö (Argument) ¸¦ »ç¿ëÇÒ ¼ö ¾ø±â ¶§¹®ÀÌ´Ù. µû¶ó¼ À̸¦ ¼ú¾î°è»êÀÇ ÇüÅ·ΠǥÇöÇÏ¸é ´ÙÀ½°ú °°´Ù. ¿©±â¼ ¢£´Â "All"À̶õ ¶æÀÇ ÀüüÁ¤·®ÀÚÀÌ´Ù.
(¢£x)(»ç¶÷ÀÌ´Ù(x) ¡æ Á״´Ù(x))
»ç¶÷ÀÌ´Ù(¼ÒÅ©¶óÅ×½º)
À§ÀÇ µÎ °³ÀÇ ÀüÁ¦·ÎºÎÅÍ Ã¹ ¹øÂ° ÆÇ¸í¹®ÀÇ x´ë½Å¿¡ ¼ÒÅ©¶óÅ×½º¸¦ ´ëÀÔÇϸé "»ç¶÷ÀÌ´Ù(¼ÒÅ©¶óÅ×½º) ¡æ Á״´Ù(¼ÒÅ©¶óÅ×½º)"¿Í °°Àº Áø¼ú¹®ÀÌ µµÃâµÇ°í ¿©±â¼ modus ponens¿¡ ÀÇÇØ "»ç¶÷ÀÌ´Ù(¼ÒÅ©¶óÅ×½º)" ¶ó´Â »ç½Ç·ÎºÎÅÍ "Á״´Ù(¼ÒÅ©¶óÅ×½º)" ¶ó´Â °á·ÐÀ» ¾òÀ» ¼ö ÀÖ´Ù. À̿ܿ¡µµ ´ÙÀ½°ú °°Àº ¸íÁ¦³í¸®ÇüÅ¿¡¼ÀÇ Ãß·Ð ±ÔÄ¢ÀÌ ÀÖ´Ù.
¨ç
À̰ÍÀº modus tollens¸¦ ±ÔÄ¢ÇüÅ·ΠǥÇöÇÑ °ÍÀÌ´Ù.
¨è A OR B
NOT A
°á·Ð : B
¿¹) ¹ÙµÏÀÌ´Â Áý¿¡ Àְųª µÞ¸¶´ç¿¡ ÀÖ´Ù
¹ÙµÏÀÌ´Â Áý¿¡ ¾ø´Ù
°á·Ð : ¹ÙµÏÀÌ´Â µÞ¸¶´ç¿¡ ÀÖ´Ù
¨é
ºÎÁ¤ÀÇ ºÎÁ¤Àº ±àÁ¤ÀÌ´Ù.
¨ê
¨ë
¸íÁ¦³í¸®³ª ±ÔÄ¢¿¡¼ ÁÖ·Î »ç¿ëµÇ´Â ÀÌ»óÀÇ Ãß·Ð ±ÔÄ¢Àº ÆÐÅÏ ¸ÅĪ¿¡ ±â¹ÝÀ» µÎ°í ÀÖ´Ù. ¿¹¸¦ µé¾î, modus ponens¿¡¼ A´Â A ¡æ B¿¡¼ÀÇ A¿Í ±¸¹®ÀûÀ¸·Î ¿ÏÀüÈ÷ ÀÏÄ¡°¡ µÇ¾î¾ß ÇÑ´Ù. A°¡ ¿©·¯ ´Ü¾î·Î ±¸¼ºµÈ ¹®ÀåÀÏ ¼öµµ ÀÖÁö¸¸ À̰ÍÀÌ ºÐÇØµÉ ¼ö´Â ¾ø´Ù. ¿¹¸¦ µé¾î, 'ÇǺ¸ÇèÀÚÀÇ µÎ ´«ÀÇ ½Ã·ÂÀ» ¿ÏÀü, ¿µ±¸È÷ ÀÒ¾î ¹ö·È´Ù'¿Í 'ÇǺ¸ÇèÀÚ´Â Àå´ÔÀÌ µÇ¾ú´Ù'¸¦ °°Àº ¸íÁ¦·Î¼ ÀνÄÇÏÁö ¸øÇÑ´Ù. µû¶ó¼,
ÇǺ¸ÇèÀÚ´Â µÎ ´«ÀÇ ½Ã·ÂÀ» ¿ÏÀü, ¿µ±¸È÷ ÀÒ¾î ¹ö·È´Ù ¡æ
ÇǺ¸ÇèÀÚ´Â Á¦1±Þ ÀåÇØ »óÅÂÀÌ´Ù.
¶ó´Â ±ÔÄ¢ÀÌ ÀÖÀ» ¶§ "ÇǺ¸ÇèÀÚ´Â Àå´ÔÀÌ µÇ¾ú´Ù"¶ó´Â ¹®ÀåÀÌ ÁÖ¾îÁ³´Ù°í °á·ÐÀÎ "ÇǺ¸ÇèÀÚ´Â Á¦ 1±Þ ÀåÇØ»óÅÂÀÌ´Ù"¸¦ Ãß·ÐÇÏÁö ¸øÇÑ´Ù. ¿Ö³ÄÇϸé À§ÀÇ ±ÔÄ¢ÀÇÁ¶°ÇÀÌ "ÇǺ¸ÇèÀÚ´Â Àå´ÔÀÌ µÇ¾ú´Ù"¶ó´Â »ç½Ç°ú ÆÐÅÏ ¸ÅĪÀÌ µÇÁö ¾Ê±â ¶§¹®ÀÌ´Ù. ÀÌ·¯ÇÑ »ç½ÇÀ» ±ÔÄ¢ÇüÅÂÀÇ Áö½Ä Ç¥Çö¿¡¼ ¹Ýµå½Ã ÁÖÀÇÇØ¾ß ÇÒ Á¡ÀÌ´Ù.
¾Õ¼ ¼Ò°³ÇÑ µ¿¹°¿ø ¿¹Á¦¸¦ °¡Áö°í ±ÔĢǥÇö Áö½Äº£À̽º¿¡¼ÀÇ Ãß·ÐÀÇ ¿¹¸¦ »ìÆìº¸µµ·Ï ÇÏÀÚ.
´ÙÀ½°ú °°Àº ±ÔÄ¢ÀÌ ÀÖ´Ù°í ÇÏÀÚ.
¨Í IF Æ÷À¯·ùÀÌ´Ù
AND ¸Í¼öÀÌ´Ù
AND Ȳ°¥»öÀÌ´Ù
AND °ËÀº ¹ÝÁ¡ÀÌ ÀÖ´Ù
THEN ±× µ¿¹°Àº ġŸÀÌ´Ù
¨Î IF Æ÷À¯·ùÀÌ´Ù
AND ¸Í¼öÀÌ´Ù
AND Ȳ°¥»öÀÌ´Ù
AND ÁÙ¹«´Ì°¡ ÀÖ´Ù
THEN ±× µ¿¹°Àº È£¶ûÀÌ´Ù
¨Ï IF °í±â¸¦ ¸Ô´Â´Ù
THEN ¸Í¼öÀÌ´Ù
¨Ð IF ÅÐÀÌ ÀÖ´Ù
THEN Æ÷À¯·ùÀÌ´Ù
±×¸®°í ¾î¶² µ¿¹°ÀÌ ´ÙÀ½°ú °°Àº »ç½ÇÀ» °¡Áö°í ÀÖÀ½À» ¾Ë°í ÀÖ´Ù.
¨Ñ °í±â¸¦ ¸Ô´Â´Ù
¨Ò ÅÐÀÌ ÀÖ´Ù
¨Ó °ËÀº ¹ÝÁ¡ÀÌ ÀÖ´Ù
¨Ô Ȳ°¥»öÀÌ´Ù
»ç½Ç ¨Ñ ¿Í ¨Ï ¹ø ±ÔÄ¢ÀÇ Á¶°ÇÀ» ³»Ä¡½ÃŰ¸é ´ÙÀ½ÀÇ °á·ÐÀÌ µµÃâµÈ´Ù.
¨Õ¸Í¼öÀÌ´Ù
»ç½Ç ¨Ò ¿Í¨Ð ¹ø ±ÔÄ¢ÀÇ Á¶°ÇÀ» ¸ÅÄ¡½ÃŰ¸é ´ÙÀ½ÀÇ °á·ÐÀÌ µµÃâµÈ´Ù.
¨Ö Æ÷À¯·ùÀÌ´Ù
µµÃâµÈ »ç½Ç ¨Õ,¨Ö ¿Í ³ª¸ÓÁö ÁÖ¾îÁø »ç½Ç ¨Ó ,¨Ô±×¸®°í ±ÔÄ¢ ¨ÍÀ¸·ÎºÎÅÍ ±× µ¿¹°Àº ġŸÀÌ´Ù¶ó´Â °á·ÐÀ» ¾òÀ» ¼ö ÀÖ´Ù. ±×·±µ¥ ÀÌ·¸°Ô Ãß·ÐÇÏ´Â °úÁ¤¿¡¼ ±ÔÄ¢ÀÇ ¼ö°¡ ¸¹À» °æ¿ì, Á¦½ÃµÈ »ç½Ç°ú ¸ÅÄ¡µÇ´Â Á¶°Ç¹®À» °¡Áø ±ÔÄ¢À» ã´Â °úÁ¤ÀÌ ¿À·¡ °É¸± ¼ö ÀÖ´Ù. ÀÌ·¯ÇÑ °úÁ¤Àº ÀÏÁ¾ÀÇ Å½»ö°úÁ¤À¸·Î ÀνÄÇÒ ¼ö ÀÖ´Ù. µû¶ó¼ ±ÔÄ¢µéÀÌ ¾Æ¹«·± ¼ø¼¾øÀÌ ³ª¿µÈ »óÅ¿¡¼ µå·¯³ »ç½Ç°ú Á¶°Ç¹®ÀÌ ¸ÅÄ¡µÇ´Â ±ÔÄ¢À» ÀüüŽ»ö¹ýÀ¸·Î ãÀ¸¸é ¸Å¿ì ºñ´É·üÀÏ ¼ö ÀÖÀ¸¹Ç·Î Æ®¸® ¶Ç´Â ±×·¡ÇÁ ÇüÅ·Π±ÔÄ¢µéÀ» ±¸Á¶ÈÇÑ ÈÄ ¿©±â¼ ±íÀ̿켱Ž»öÀ̳ª ³Êºñ¿ì¼±Å½»ö µîÀÇ ¹æ¹ýÀ» »ç¿ëÇÏ´Â °ÍÀÌ ÁÁ´Ù. ÀÌ·¯ÇÑ ¹æ¹ý¿¡ ´ëÇØ¼´Â ´ÙÀ½ÀÇ ¿ª¹æÇâ Ã߷аú Á¤¹æÇâ Ã߷п¡¼ ¼³¸íÇϰڴÙ.
¼³Ê °³ÀÇ ±ÔÄ¢°ú »ç½Ç·ÎºÎÅÍÀÇ Ãß·ÐÀº ¸Å¿ì °£´ÜÇÏÁö¸¸, ½ÇÁ¦·Î ¼ö¸¹Àº ±ÔÄ¢°ú »ç½Ç·ÎºÎÅÍ Ãß·ÐÀ» ÇÑ´Ù´Â °ÍÀº ÇØ´ç »ç½Ç¿¡ ¸ÅÄ¡µÇ´Â ±ÔÄ¢°ú ±× ±ÔÄ¢ÀÇ °á·ÐºÎ¸¦ Á¶°Ç¹®À¸·Î °®´Â ±ÔÄ¢À» ã´Â °ÍÀ¸·Î »ó´çÇÑ ½Ã°£ÀÌ °É¸®´Â ÀÏÀÌ µÈ´Ù. µû¶ó¼ ±ÔÄ¢ÇüÅÂÀÇ Áö½Äº£À̽º¸¦ ±×Àú ±ÔÄ¢ÀÇ ÁýÇÕÀ¸·Î º¼ °ÍÀÌ ¾Æ´Ï¶ó Á¶°ÇºÎ¿Í °á·ÐºÎ°¡ ¼·Î ¸ÅÄ¡µÇ´Â ¿¬¼â±¸Á¶¿Í Á¶°ÇºÎÀÇ AND¿Í ORÀÇ ³í¸®Àû °áÇÕÀ» °í·ÁÇÏ¿© Àüü ±ÔÄ¢º£À̽º¸¦ ±¸Á¶ÈÇÏ¿© »óȲ¿¡ µû¸¥ Ãß·ÐÀÇ °æ·Î¸¦ ¹Ì¸® ¼³Á¤ÇØ ³õ¾Æ Ãß·ÐÀÇ È¿À²¼ºÀ» ³ôÀ̰íÀÚ ÇÏ´Â °ÍÀÌ AND/OR ±×·¡ÇÁÀÌ´Ù. ÀÌ·¯ÇÑ AND/OR±×·¡ÇÁ¿¡¼µµ ±× Ãß·Ð ¹æ¹ýÀº ±âº»ÀûÀ¸·Î ¸íÁ¦³í¸®¿¡ ±Ù°Å¸¦ µÎ°í ÀÖÁö¸¸, Ưº°È÷ ¿ª¹æÇâ Ã߷аú Á¤¹æÇâ Ãß·Ð ¹æ¹ýÀÌ ÀÖ´Ù.
¿¬¼â (Chain) ¶õ °¢°¢ÀÇ ¹®Á¦¿Í ±×°ÍÀÇ ÇØ´äÀ» ¿¬°áÇÏ´Â ¸ðµç Ãß·Ð °úÁ¤µéÀÇ ÁýÇÕÀ» ¸»ÇÑ´Ù. ±×¸®°í ¾î¶² °¡¼³¿¡¼ Ãß·ÐÀ» ½ÃÀÛÇÏ¿© ÀÌ °¡¼³À» ÁöÁöÇÏ´Â »ç½ÇÀ» ¿ªÀ¸·Î ÃßÀûÇØ °¡´Â Ãß·ÐÀ» ¿ª¹æÇâ Ãß·ÐÀ̶ó ÇÑ´Ù. ÀÌ Ãß·ÐÀÇ ½ÃÀÛÁ¡À» ¸ñÇ¥ (Goal) ¶ó°í Çϸç, Ãß·ÐÀÇ ¹æÇâÀº ÀÌ ¸ñÇ¥¸¦ ÁöÁöÇÏ´Â ÇÏÀ§¸ñÇ¥ ¶Ç´Â »ç½ÇµéÀÌ ÂüÀÎÁö¸¦ ¾Ë¾Æº¸´Â ¹æÇâÀ¸·Î ÁøÇàµÈ´Ù. ¿¹¸¦ µé¾î, ¾ÕÀÇ µ¿¹°¿ø ¿¹Á¦¿¡¼ ¾î¶² µ¿¹°ÀÌ Ä¡Å¸ÀÎÁö¸¦ ¾Ë°í ½Í´Ù°í Çϸé Áú¹® ¶Ç´Â Ãß·ÐÀÇ ¸ñÇ¥´Â ġŸÀ̰í À̰ÍÀº Áö½Ä¿¡¼ "THEN ġŸÀÌ´Ù" ¶ó´Â °á·ÐÀÌ ÂüÀÎÁö ¾Æ´ÑÁö¸¦ ¹àÈ÷°íÀÚ ÇÏ´Â °ÍÀÌ´Ù. µû¶ó¼ Ãß·ÐÀÇ ½ÃÀÛÀº "THEN ġŸÀÌ´Ù" ¸¦ °á·ÐÀ¸·Î ÇÏ´Â ±ÔÄ¢ÀÇ THENºÎºÐºÎÅÍ ½ÃÀÛÇÏ¿© °Å²Ù·Î(¿ª¹æÇâ) Ãß·ÐÀÌ ÁøÇàµÇ¾î ±× ±ÔÄ¢ÀÇ Á¶°ÇºÎºÐÀÌ ÂüÀÎÁö¸¦ ¾Ë¾Æº¸°Ô µÈ´Ù.
¿¹¸¦ µé¾î ´ÙÀ½°ú °°Àº ±ÔÄ¢ÀÌ ÀÖ´Ù°í ÇÏÀÚ.
¨Í A ¡æ C
¨Î D ¡æ E
¨Ï B AND C ¡æ F
¨Ð E OR F ¡æ G
<±×¸² 3-2>´Â ÀÌ·¯ÇÑ ±ÔÄ¢À» AND/OR ±×·¡ÇÁ·Î Ç¥ÇöÇÑ °ÍÀÌ´Ù.
<±×¸² 3-2> ¿ª¹æÇâ Ãß·ÐÀÇ ¿¹½Ã¸¦ À§ÇÑ AND/OR ±×·¡ÇÁ
¸ñÇ¥´Â G°¡ ÂüÀÎÁö¸¦ ¾Ë¾Æº¸´Â °ÍÀ̶ó ÇÏÀÚ. ¿ª¹æÇâ Ã߷п¡¼´Â G¸¦ °á·ÐºÎ·Î »ï´Â ±ÔÄ¢ÀÌ ÀÖ´ÂÁö¸¦ »ìÆìº»´Ù. ¨Ð¹ø ±ÔÄ¢ÀÌ ±×°ÍÀ̹ǷΠ´Ù½Ã ¨Ð¹ø ±ÔÄ¢ÀÇ Á¶°ÇºÎ¸¦ º»´Ù. G°¡ ÂüÀÌ µÇ±â À§Çؼ´Â ¨Ð¹ø ±ÔÄ¢ÀÇ Á¶°ÇºÎÀÎ E ³ª F °¡ ÂüÀÌ µÇ¾î¾ß ÇÑ´Ù. À̶§ E ¿Í F Áß ¾î´À ÂÊÀ» ¸ÕÀú ´ÙÀ½ÀÇ ¸ñÇ¥·Î »ï´Â°¡¸¦ °áÁ¤ÇØ¾ß Çϴµ¥ º¸ÅëÀº ±íÀ̿켱Ž»ö¹æ¹ý¿¡ µû¶ó ÁøÇàµÇ°Ô µÈ´Ù. ±×·¯¹Ç·Î E°¡ ´ÙÀ½ÀÇ ¸ñÇ¥°¡ µÈ´Ù. Ã߷бâ°üÀº ´Ù½Ã E°¡ °á·ÐºÎÀÎ ±ÔÄ¢ÀÌ ÀÖ³ª¸¦ »ìÆìº»´Ù. ¨Î¹ø ±ÔÄ¢ÀÌ ±×°ÍÀ̹ǷΠÀÌÁ¦ ÇöÀçÀÇ ¸ñÇ¥´Â ¨Î¹ø ±ÔÄ¢ÀÇ Á¶°ÇºÎÀÎ D°¡ µÈ´Ù. Ã߷бâ°üÀº ´Ù½Ã D¸¦ °á·ÐºÎ·ÎÇÏ´Â ±ÔÄ¢ÀÌ ÀÖ³ª¸¦ »ìÆìº»´Ù. ±×·¯ÇÑ ±ÔÄ¢ÀÌ ¾øÀ¸¹Ç·Î »ç¿ëÀÚ¿¡°Ô D°¡ ÂüÀÎÁö¸¦ Áú¹®ÇÑ´Ù. ¸¸¾à »ç¿ëÀÚ°¡ D°¡ ÂüÀ̶ó°í ´ë´äÇÏ¿´´Ù¸é ±ÔÄ¢ ¨Î¿¡ ÀÇÇØ Eµµ ÂüÀ̶ó°í °á·ÐÁþ°í °è¼ÓÇÏ¿© ¨Ð¹ø ±ÔÄ¢¿¡ ÀÇÇÏ¿© G´Â ÂüÀ̶ó°í °á·ÐÁþ´Â´Ù.
±×·¯³ª ¸¸¾à »ç¿ëÀÚ°¡ D¸¦ °ÅÁþÀ̶ó°í ÇÑ´Ù¸é E´Â ÂüÀ̶ó°íµµ °ÅÁþÀ̶ó°íµµ ÇÒ ¼ö ¾ø°Ô µÈ´Ù(¾ÕÀýÀÇ Modus ponens ´Ü¿øÀ» ÂüÁ¶). ´õ ÀÌ»ó E¸¦ ÅëÇØ¼´Â °á·Ð¿¡ µµ´ÞÇÒ ¼ö ¾øÀ¸¹Ç·Î Ã߷бâ°üÀº F·Î µÇµ¹¸² ÃßÀû (Backtracking) ÇÏ¿© F¸¦ ´Ù½Ã ¸ñÇ¥·Î »ï´Â´Ù. F´Â ¨Ï¹ø ±ÔÄ¢ÀÇ °á·ÐÀ̰í B¿Í C°¡ AND·Î ¿¬°áµÇ¾î ÀÖ¾î µÑ´Ù ÇÊ¿äÇϹǷΠÀÌµé µÑÀÌ ÇöÀçÀÇ ¸ñÇ¥°¡ µÈ´Ù. B´Â ´õ ÀÌ»ó ÀÚ½ÅÀ» °á·ÐºÎ·Î °®´Â ±ÔÄ¢ÀÌ ¾øÀ¸¹Ç·Î Ã߷бâ°üÀº »ç¿ëÀÚ¿¡°Ô BÀÇ ÁøÀ§¸¦ ¹°¾îº»´Ù. ¸¸¾à »ç¿ëÀÚ°¡ °ÅÁþÀ̶ó°í ´ë´äÇϸé CÀÇ ÁøÀ§¿¡ »ó°ü¾øÀÌ ¨Ï¹ø ±ÔÄ¢ÀÇ Á¶°ÇÀº °ÅÁþÀÌ µÇ°í ÀÌ·¯ÇÑ °æ¿ì Ã߷бâ°üÀº G°¡ ÂüÀ̶ó°í °á·ÐÁþ´Âµ¥ ½ÇÆÐÇÏ°Ô µÈ´Ù.
±×·¯³ª B¸¦ ÂüÀ̶ó°í »ç¿ëÀÚ°¡ ´ë´äÇÑ´Ù¸é, ÀÌÁ¦´Â C°¡ ÂüÀÎÁö¸¦ »ìÇÇ°Ô µÈ´Ù. C´Â ¨Í¹ø ±ÔÄ¢ÀÇ °á·ÐºÎÀ̹ǷΠÃ߷бâ°üÀº A¸¦ »õ·Î¿î ¸ñÇ¥·Î »ï´Â´Ù. ´õ ÀÌ»ó A¸¦ °á·ÐºÎ·Î ÇÏ´Â ±ÔÄ¢ÀÌ ¾øÀ¸¹Ç·Î AÀÇ ÁøÀ§¿©ºÎ¸¦ »ç¿ëÀÚ¿¡°Ô ¹°¾îº¸°Ô µÈ´Ù. »ç¿ëÀÚ°¡ A¸¦ ÂüÀ̶ó°í ´ë´äÇÑ´Ù¸é ¨Í¹ø ±ÔÄ¢¿¡ ÀÇÇØ C°¡ ÂüÀ̵ǰí, ´Ù½Ã ¨Ï¹ø¿¡ ÀÇÇØ F°¡ Âü, ±×¸®°í ¨Ð¹ø ±ÔÄ¢¿¡ ÀÇÇØ G°¡ ÂüÀÌ µÈ´Ù.
¾Õ Àý¿¡¼ »ç¿ëµÈ µ¿¹°¿ø ¿¹Á¦ µÕÀÇ ÀϺθ¦ AND/OR±×·¡ÇÁ·Î Ç¥ÇöÇÏ¸é ´ÙÀ½°ú °°´Ù.
<±×¸² 3-3> ¿ª¹æÇâ Ãß·Ð ¿¹½Ã¸¦ À§ÇÑ µ¿¹°¿ø ¿¹Á¦ÁßÀÇ AND/OR ±×·¡ÇÁ
¿©±â¼ »ç¿ëÀÚ°¡ ¾î¶² µ¿¹°ÀÌ Ä¡Å¸ÀÎÁö È£¶ûÀÌÀÎÁö¸¦ ¾Ë°í ½ÍÀ» ¶§ ¿ª¹æÇâ Ã߷п¡¼´Â ¸ÕÀú ÇØ´ç µ¿¹°ÀÌ Ä¡Å¸¶ó°í °¡¼³À» ¼¼¿ì°í ġŸ¿Í °ü·ÃµÈ Áõ°Å¸¦ ã°Ô µÈ´Ù. À§ÀÇ AND/OR ±×·¡ÇÁ»ó¿¡¼´Â "±× µ¿¹°Àº ġŸÀÌ´Ù" ¶ó´Â ³ëµå°¡ ¸ÕÀú ¸ñÇ¥°¡ µÇ´Â °ÍÀÌ´Ù. ÀÌ ¸ñÇ¥ ³ëµå¿Í ¿¬°áµÈ ÀÚ½Ä (Children) ³ëµåµéÀ¸ ¸ðµÎ AND·Î ¿¬°áµÇ¾î Àִµ¥ ÀÌµé ³ëµåÀÇ ³»¿ë¿¡ µû¶ó ÇØ´ç µ¿¹°¿¡ ¹ÝÁ¡ÀÌ ÀÖ´ÂÁö, Ȳ°¥»öÀÎÁö, ¸Í¼öÀÎÁö, Æ÷À¯·ùÀÎÁö¸¦ »ìÆìº¸°Ô µÈ´Ù. ÀÌ Áß Çϳª¶óµµ ÂüÀÌ ¾Æ´Ï¸é ÇØ´ç µ¿¹°ÀÌ Ä¡Å¸¶ó´Â °á·ÐÀº ³»¸± ¼ö ¾ø°Ô µÈ´Ù. "¹ÝÁ¡ÀÌ ÀÖ´Ù" ¿Í "Ȳ°¥»öÀÌ´Ù" ¶ó´Â µ¥ »ç¿ëÀÚ°¡ ÂüÀ̶ó°í ´ë´äÇÏ¿´´Ù¸é "¸Í¼öÀÌ´Ù"¸¦ ´Ù½Ã ¸ñÇ¥·Î »ï¾Æ ÂüÀÎÁö¸¦ »ìÆìº¸°Ô µÇ´Âµ¥ À̸¦ ¾Ë±â À§ÇØ ´Ù½Ã ÇÏÀ§³ëµåÀÎ "°í±â¸¦ ¸Ô´Â´Ù" ¿¡ °üÇØ ÂüÀÎÁö¸¦ »ç¿ëÀÚ¿¡°Ô Áú¹®ÇÏ°Ô µÈ´Ù. »ç¿ëÀÚ°¡ ÂüÀ̶ó°í ´ë´äÇϸé "¸Í¼öÀÌ´Ù" ¶ó´Â °ÍÀÌ ÂüÀÌ µÇ°í ´Ù½Ã Æ÷À¯·ùÀÎÁö¸¦ »ìÆìº¸°Ô µÈ´Ù. ±×¸®°í Æ÷À¯·ùÀÎÁö¸¦ ¾Ë±â À§ÇØ ´Ù½Ã "ÅÐÀÌ ÀÖ´Ù" °¡ ÂüÀÎÁö¸¦ Áú¹®ÇÏ°Ô µÈ´Ù. ¿©±â¼µµ ÂüÀ̶ó°í ´ë´äÇϸé "Æ÷À¯·ùÀÌ´Ù"°¡ ÂüÀÌ µÇ°í ±× µ¿¹°Àº "ġŸÀÌ´Ù" ¶ó´Â °á·Ð¿¡ µµ´ÞÇÏ°Ô µÈ´Ù. ÀÌ·¸°Ô ¿ª¹æÇâ Ãß·ÐÀº ¸ñÇ¥¸¦ ¼±Á¤ÇÑ ÈÄ Ãß·ÐÀÇ ¼ø¼¸¦ °áÁ¤ÇϹǷΠÀ̸¦ ¸ñÇ¥ÁöÇâÀû (Goal Driven) Ã߷йæ½ÄÀ̶ó°íµµ ÇÑ´Ù.
Á¤¹æÇâ Ã߷п¡¼´Â »ç¿ëÀÚ°¡ Ãß·ÐÇϰíÀÚ ÇÏ´Â ¹®Á¦¿Í °ü·ÃÇÏ¿© ¾Ë°í ÀÖ´Â ¸ðµç »ç½ÇµéÀ» ¸ÕÀú Á¦°øÇÏ¿©¾ß ÇÑ´Ù. ±×·¯¸é Ã߷бâ°üÀº °¢°¢ÀÇ »ç½Ç°ú Áö½Äº£À̽º¿¡ ÀÖ´Â ±ÔÄ¢µéÀÇ Á¶°ÇºÎºÐ°ú ¸ÅÄ¡ÇÏ¿© ÀÏÄ¡ÇÏ´Â ±ÔÄ¢À» ã¾Æ ÇØ´ç ±ÔÄ¢À» ¼öÇàÇÏ°í ±× ±ÔÄ¢ÀÇ °á·ÐºÎºÐÀ» ÂüÀ¸·Î ¹àÇôÁø »õ·Î¿î »ç½Ç·Î¼ Ãß°¡ÇÑ´Ù. ÀÌ·¯ÇÑ °úÁ¤Àº Ã߷бâ°üÀÌ ´õ ÀÌ»ó Áö½Äº£À̽º¿¡ ÀÖ´Â ±ÔÄ¢µéÀÇ Á¶°ÇºÎºÐ°ú »ç½Çµé°úÀÇ ¸ÅÄ¡·Î¼ »õ·Î¿î °á·ÐÀ» ³»¸± °ÍÀÌ ¾øÀ» ¶§°¡Áö ÁøÇàµÈ´Ù. ¾Õ¿¡¼ ¾ð±ÞÇÑ <±×¸² 3-2>ÀÇ AND/OR ±×·¡ÇÁ¸¦ º¸ÀÚ. ¸¸¾à A ¿Í B°¡ ÂüÀ̶ó´Â »ç½Ç·Î ÁÖ¾îÁø´Ù¸é Ã߷бâ°üÀº A¸¦ ÀÌ¿ëÇÏ¿© ¨Í¹ø ±ÔÄ¢À¸·ÎºÎÅÍ C¸¦ ÂüÀ̶ó Çϰí, B¿Í C¸¦ ÀÌ¿ëÇÏ¿© ¨Ï¹ø ±ÔÄ¢À¸·ÎºÎÅÍ F¸¦ ÂüÀ̶ó ÇÏ°í °è¼Ó G¸¦ ÂüÀ̶ó ÇÑ´Ù. ÀÌ¿Í °°Àº °úÁ¤ÀÌ <±×¸² 3-4> ¿¡ ³ªÅ¸³ª ÀÖ´Ù.
<±×¸² 3-4> Á¤¹æÇâ Ãß·ÐÀÇ ÁøÇàÀÇ ¿¹½Ã
Á¤¹æÇâ Ãß·ÐÀº »ç½ÇÀÌ ÁÖ¾îÁü¿¡ µû¶ó Ãß·ÐÀÌ Çü¼ºµÇ¹Ç·Î µ¥ÀÌÅÍ ±¸Á¾Àû (Data Driven) À̶ó ÇÑ´Ù.
È¥ÇÕÇü Ãß·Ð ¹æ¹ýÀº Á¤¹æÇâ Ã߷аú ¿ª¹æÇâ Ãß·ÐÀ» È¥ÇÕÇÏ¿© »ç¿ëÇÏ´Â °ÍÀÌ´Ù. À̸¦ ¾ç¹æÇâ Ãß·ÐÀ̶ó ºÎ¸£±âµµ ÇÑ´Ù. ½ÇÁ¦·Î ÀÌµé µÎ °¡Áö Ãß·Ð ¹æ¹ýÀ» °°ÀÌ »ç¿ëÇØ¾ß µÇ´Â °æ¿ì°¡ ¸¹´Ù. ¿¹¸¦ µé¾î, öȣ¶ó´Â »ç¶÷ÀÌ Â÷¸¦ ¸ô´Ù°¡ °æÂûÂ÷°¡ »çÀÌ·»¼Ò¸®¸¦ ³»¸ç µÚ¦i¾Æ ¿À´Â °ÍÀ» ¾Ë¾Ò´Ù°í ÇÏÀÚ. öȣ´Â ÀÌ »ç½Ç·ÎºÎÅÍ °æÂûÂ÷´Â ÀÚ±âÂ÷³ª ¶Ç´Â ´Ù¸¥ Â÷¸¦ ¼¼¿ì·¯ ¿Â´Ù´Â °ÍÀ» Á¤¹æÇâ Ã߷п¡ ÀÇÇØ Ã߸®ÇÒ °ÍÀÌ´Ù. Áï, °æÂûÂ÷¿¡ ´ëÇÑ ÃÖÃÊÀÇ »ç½ÇÀÌ µÎ °¡Áö °¡´ÉÇÑ °á·ÐÀ» µµÃâÇØ ³½ °ÍÀÌ´Ù. ¸¸¾à °æÂûÂ÷°¡ öȣÀÇ Â÷ ¿·À¸·Î ´Ù°¡¿Í¼ ¼¶ó´Â ½ÅÈ£¸¦ º¸³»¸é ´Ù¸¥ Â÷°¡ ¾Æ´Ñ ÀÚ½ÅÀÇ Â÷¸¦ ¼¼¿ì·Á ÇÑ´Ù´Â °ÍÀ¸·Î °á·ÐÁöÀ» °ÍÀÌ´Ù. ±×·± ´ÙÀ½ ÀÚ½ÅÀÇ Â÷¸¦ °æÂûÀÌ ¼¼¿ì·Á ÇÑ´Ù´Â °á·ÐÀ» µÎ°í ¿Ö °æÂûÀÌ ÀÚ½ÅÀÇ Â÷¸¦ ¼¼¿ì´ÂÁö¿¡ ´ëÇÑ ÀÌÀ¯¸¦ ¿ª¹æÇâ Ãß·ÐÀ¸·Î Ãß·ÐÀ» ÇÒ °ÍÀÌ´Ù. Áï, °æÂûÀÌ ÀÚ½ÅÀÇ Â÷¸¦ ¼¼¿ì´Â µ¥ ´ëÇØ ÀÌÀ¯°¡ µÉ ÇÏÀ§°¡¼³µéÀ» ¼³Á¤ÇÒ °ÍÀÌ´Ù. ¿¹¸¦ µé¾î °ú¼Ó, ½ÅÈ£À§¹Ý, µµ³Â÷·®, ±ô¹ÚÀ̰íÀå µîÀÇ ÇÏÀ§°¡¼³À» µÎ°í À̵é Áß ¾î´À °ÍÀÌ ¸Â´ÂÁö¸¦ ¾Ë±â À§ÇØ °¢°¢ÀÇ °¡¼³¿¡ ´ëÇØ À̸¦ ÁöÁöÇÒ Áõ°Å¸¦ ãÀ» °ÍÀÌ´Ù. ¶Ç ´Ù¸¥ ¿¹¸¦ µé¾î º¸ÀÚ. ÀÇ·áÁø´ÜÀ» À§ÇÑ Áö½ÄÀÌ ÀÖÀ» ¶§, Áõ»óÀ» ¾Ë°í ÀÖ°í À̷κÎÅÍ º´¸íÀ» ¾Ë°í ½ÍÀ» ¶§´Â Á¤¹æÇâ Ãß·ÐÀ» »ç¿ëÇϰí, º´¸íÀº ¾Ë°í ÀÖÀ¸³ª À̷κÎÅÍ »ý±â´Â Áõ»óÀ» ¾Ë°í ½ÍÀ¸¸é ¿ª¹æÇâ Ãß·ÐÀÌ »ç¿ëµÉ ¼ö ÀÖ´Ù.
ÀÌ Àý¿¡¼´Â ¾Õ Àý¿¡¼ ¼³¸íÇÑ Ã߷йæ½Ä ¿Ü¿¡ ´Ù¸¥ ¿©·¯ °¡Áö Ã߷йæ½Äµé¿¡ ´ëÇØ ¾ð±ÞÇϰڴÙ.
ÀÌ¹Ì Á¦ 2Àå¿¡¼ ¾ð±ÞÇßµíÀÌ ¸ÞŸ Áö½ÄÀº Áö½Ä¿¡ °üÇÑ Áö½ÄÀ¸·Î, Ãß·ÐÀ» ÇÒ ¶§ ¾î´À ±ÔÄ¢À» ¸ÕÀú Ãß·ÐÇÒ °ÍÀÎÁö Ž»öÀÇ ¼ø¼¸¦ °áÁ¤Çϴµ¥ »ç¿ëµÉ ¼ö ÀÖ´Ù. ±×¸®°í ¸ÞŸÁö½ÄÀº »óȲ¿¡ µû¶ó Áö½Äº£À̽ºÀÇ Æ¯Á¤ÇÑ ºÎºÐÀ» Ãß·ÐÀÇ ´ë»ó¿¡¼ Á¦¿ÜÇÒ ¼öµµ ÀÖ´Ù. ¶ÇÇÑ ¾î¶°ÇÑ Ãß·Ð ¹æ¹ýÀ» ÅÃÇÒ °ÍÀÎÁöµµ °áÁ¤ÇÒ ¼ö ÀÖ´Ù. ±×¸®°í ¸ÞŸ Áö½ÄÀº Áö½Ä³¢¸® »óÃæµÇ¾î ¼·Î ´Ù¸¥ °á·ÐÀ» ³»·Á¾ß ÇÒ °æ¿ì ±×°ÍÀ» ¾î¶»°Ô Á¶Á¤ÇÒÁö¸¦ °áÁ¤Çϴµ¥ »ç¿ëµÉ ¼ö ÀÖ´Ù.
¹ý°üÀÌ Áö³ »ç°Ç¿¡ ´ëÇÑ ÆÇ·Ê¸¦ ÅëÇØ ´ç¸éÇÑ »ç°Ç¿¡ ´ëÇØ ÆÇ´ÜÀ» ³»¸®µíÀÌ, Àΰ£Àº °ú°ÅÀÇ »ç·Ê³ª °æÇè¿¡ ºñÃß¾î ÇöÀçÀÇ ¹®Á¦¸¦ ÀνÄÇϰí À¯ÇüÈÇÏ¿© ÇØ°áÃ¥À» ³»³õÀ» ¼ö ÀÖ´Ù. À̸¦ À§Çؼ´Â ÇöÀçÀÇ ´ç¸é¹®Á¦°¡ °ú°Å¿¡ ³ªÅ¸³µ´ø »ç·Ê³ª °æÇè°ú ÀÏÄ¡ÇÏ´ÂÁö ¿©ºÎ¸¦ »ìÇǰí ÀÏÄ¡ÇÏ¸é °ú°ÅÀÇ ÇØ°áÃ¥¿¡ ºñÃß¾î ´äÀ» ³½´Ù. ¸¸¾à Á¤È®È÷ ÀÏÄ¡ÇÏÁö ¾Ê´õ¶óµµ °ú°ÅÀÇ »ç·Ê³ª °æÇèÀº ÇöÀçÀÇ ¹®Á¦¿¡ ºÎºÐÀûÀÎ ÇØ°áÃ¥À» Á¦½ÃÇÒ ¼ö ÀÖ´Ù. »ç·Ê±â¹Ý Ãß·ÐÀº ÀÌ·¯ÇÑ Àΰ£ÀÇ ÁöÀû Ȱµ¿À» ¸ðµ¨ÈÇÑ °ÍÀ¸·Î, °ú°Å¹®Á¦·ÎºÎÅÍ ¾òÀº »óȲ °æÇèÀ̳ª Áö½ÄÀ» »ç·Ê µ¥ÀÌÅͺ£À̽º·Î ±¸ÃàÇÏ¿© ¾î¶°ÇÑ »óȲÀ̳ª ¹®Á¦°¡ ¹ß»ýÇÏ¸é ±âÁ¸ÀÇ »ç·Ê µ¥ÀÌÅͺ£À̽º¿¡¼ °¡Àå ¶È°°°Å³ª ¶Ç´Â °¡Àå À¯»çÇÑ »ç·Ê¸¦ ¼±ÅÃÇÏ¿© ±× »ç·Ê°¡ Á¦½ÃÇÏ´Â ÇØ°áÃ¥À¸·Î Çö ¹®Á¦¿¡ ´ëÇÑ ´äÀ» Á¦½ÃÇÑ´Ù.
ÀÌ´Â ±ÔÄ¢º£À̽º Àü¹®°¡½Ã½ºÅÛ¿¡¼ÀÇ Á¤¹æÇâ Ã߷аú °°ÀÌ, ÁÖ¾îÁø Áö½Äº£À̽º °ø°£¿¡¼ Ãß·ÐÇÏ´Â °Í°ú´Â ´Ù¸£´Ù. ±ÔÄ¢º£À̽º Àü¹®°¡½Ã½ºÅÛÀÇ Ã߷йæ½ÄÀº »ç¿ëÀڷκÎÅÍ ¹®Á¦¿¡ ´ëÇÑ ¼¼ºÎ»çÇ×À̳ª ȤÀº Áú¹®°ú ´ë´äÀ» ÅëÇØ ÀÔ·ÂÀ» ¹Þ¾Æ À̸¦ Åä´ë·Î ±ÔÄ¢º£À̽º¿¡¼ÀÇ °ü·ÃµÈ ±ÔÄ¢°£ÀÇ ¿¬¼â (Chaining) ¸¦ ÅëÇØ ÇØ´ä¿¡ µµ´ÞÇÑ´Ù (±×¸² 1 ÂüÁ¶).
±×¸² 1 ±ÔÄ¢º£À̽º Àü¹®°¡½Ã½ºÅÛ¿¡¼ÀÇ ±ÔÄ¢ÀÇ ¿¬¼â¿¡ ÀÇÇÑ ¹®Á¦Ç®ÀÌ
ÀÌ·¯ÇÑ Ãß·ÐÀÇ ¹®Á¦Á¡Àº ¸¸¾à ¶È°°Àº ¹®Á¦°¡ ´Ù½Ã ÁÖ¾îÁ®µµ ±ÔÄ¢º£À̽º Àü¹®°¡½Ã½ºÅÛÀº ¶È°°Àº ¾çÀÇ ÀÛ¾÷ (Ãß·Ð) À» ÇÏ¿© °°Àº °á·Ð¿¡ µµ´ÞÇÒ °ÍÀÌ´Ù. Áï, Çѹø Á¦½ÃµÈ ÇØ´äÀ» µµÃâÇÑ ¿¬¼â¸¦ ÀúÀåÇÏ¿© ÀçȰ¿ëÇÏÁö´Â ¾Ê´Â °ÍÀÌ´Ù. ±×¸®°í ±ÔÄ¢º£À̽º¿¡¼ Á¦°øÇÏ´Â Áö½ÄÀÇ Àû¿ë ¿µ¿ªÀ» ¹þ¾î³ª´Â ¹®Á¦¿¡ ´ëÇØ¼´Â ÀüÇô µµ¿òÀ» ÁÙ ¼ö°¡ ¾ø´Ù. ÀÌ·¯ÇÑ ¹®Á¦¿¡ ´ëÇØ¼´Â ´Ù½Ã Áö½ÄÀ» º¸ÃæÇÏ¿©¾ß¸¸ ÇØ°á °¡´ÉÇÏ°Ô µÈ´Ù. ¸¶Áö¸·À¸·Î, ±ÔÄ¢º£À̽ºÀÇ ¹®Á¦Á¡Àº ±ÔÄ¢º£À̽º ½Ã½ºÅÛ¿¡¼´Â ±× Áö½ÄÀ» ¸¶·ÃÇÏ°í ¶Ç À¯ÁöÇÏ´Â µ¥ ¸¹Àº ½Ã°£°ú ³ë·ÂÀÌ µç´Ù´Â °ÍÀÌ´Ù. ÀÌ´Â Àü¹®°¡·ÎºÎÅÍ Áö½ÄÀ» ÃßÃâÇÏ´Â ÀÛ¾÷Àº ¸Å¿ì ³ëµ¿Áý¾àÀûÀÎ ÀÏÀ̸ç, ±ÔÄ¢°ú ±ÔÄ¢Àº ¼·Î ±ä¹ÐÈ÷ ¿¬°áµÇ¾î ÀÖ¾î¼ »õ·Î¿î ±ÔÄ¢À» ÀÔ·ÂÇÑ´Ù´Â °ÍÀº ¸Å¿ì Èûµç µð¹ö±ë ÀÛ¾÷°ú °°±â ¶§¹®ÀÌ´Ù.
»ç·Ê±â¹Ý Ãß·ÐÀº À̿ʹ ´Ù¸¥ Á¢±Ù¹ýÀ» °¡Áø´Ù. °ú°ÅÀÇ »ç·Ê¸¦ ¹ÙÅÁÀ¸·Î ¹®Á¦¸¦ ÇØ°áÇϱ⠶§¹®¿¡ ºñ·Ï ¹®Á¦°¡ º¹ÀâÇÏ´õ¶óµµ ÀÌ¹Ì ÇØ°áµÈ »ç·Ê¸¦ ÅëÇØ ÇØ¸¦ »¡¸® µµÃâÇÒ ¼ö ÀÖ´Ù. ±×·¯¹Ç·Î Áö½ÄÀÌ Àß ÆÄ¾ÇµÇÁö ¾ÊÀº ´ë»ó¿µ¿ª¿¡ À־µ »ç·Ê·Î¼ Ãß·ÐÀ» °¡´ÉÇÏ°Ô ÇÑ´Ù. ±×¸®°í Á¤È®È÷ ÀÏÄ¡µÇ´Â »ç·Ê¸¦ ¹ß°ßÇÒ ¼ö ¾ø´Ù¸é °¡Àå À¯»çÇÑ »ç·Ê¸¦ º¯ÇüÇÏ¿© »õ·Î¿î ¹®Á¦¸¦ ÇØ°áÇϵµ·Ï ÇÒ ¼ö ÀÖÀ¸¸ç ÀÌ·¸°Ô ÇØ°áµÈ »ç·Ê´Â ´Ù½Ã »õ·Î¿î »ç·Ê·Î¼ ÀúÀåµÇ°Ô µÈ´Ù. »ç·Ê±â¹Ý Ã߷п¡¼ÀÇ Ã߷аúÁ¤Àº ´ÙÀ½°ú °°ÀÌ Ç¥ÇöµÉ ¼ö ÀÖ´Ù.
±×¸² 2 »ç·Ê±â¹Ý Ãß·Ð °úÁ¤
»ç·Ê±â¹Ý Ã߷п¡ ÀÖ¾î °í·ÁµÇ¾î¾ß ÇÒ »çÇ×Àº ´ÙÀ½°ú °°´Ù.
(1) »ç·ÊÀÇ Ç¥Çö
»ç·Ê¸¦ ¾î¶»°Ô Ç¥ÇöÇÒ °ÍÀÎÁö¸¦ °áÁ¤ÇÏ´Â °ÍÀÌ Áß¿äÇÏ´Ù. »ç·Ê´Â °£´ÜÈ÷ Ç¥ÇöÇÏ¸é Æ¯Á¤ °á°ú (Outcome) ¿¡ ÇØ´çÇϴ Ư¼º (Feature) µéÀÇ ¸®½ºÆ®°¡ µÉ ¼ö ÀÖ´Ù. ¿¹¸¦ µé¾î, ¾î¶² ȯÀÚ¿¡ ´ëÇÑ Áø´Ü°ú ±× ȯÀÚÀÇ °ú°Å º´»ó±â·Ï µî°ú °°Àº °ÍÀÌ´Ù. º¹ÀâÇÑ »ç·ÊÇ¥ÇöÀÇ °æ¿ì·Î ³»¿¬±â°üÀÇ ¼³°è »ç·Ê¿Í °°Àº °ÍÀ» µé ¼ö ÀÖ´Ù.
(2) »ç·ÊÀÇ Àε¦½Ì (Indexing)
°¡Àå À¯»çÇÑ »ç·Ê¸¦ ½Å¼ÓÈ÷ µµÃâÇÏ´Â °ÍÀÌ »ç·Ê±â¹Ý Ãß·Ð ½Ã½ºÅÛÀÇ ÁÖ¿ä ¼º´ÉÁöÇ¥°¡ µÈ´Ù. ÀÌ·¯ÇÑ »ç·ÊÀÇ À¯»ç¼ºÀ» °áÁ¤ÇÏ´Â °¡Àå °£´ÜÇÑ ¹æ¹ýÀ¸·Î´Â ¸ÕÀú °¢ Ư¼º°£ÀÇ ºñ±³¸¦ ÅëÇØ °¡Àå ÀÏÄ¡µÇ´Â Ư¼ºÀÌ ¸¹Àº »ç·Ê¸¦ °í¸£´Â °ÍÀÌ´Ù. ¿¹¸¦ µé¾î, ÇöÀçÀÇ »óȲ Ư¼º Áß ¿©¼¸ °³°¡ ÀÏÄ¡µÇ´Â »ç·Ê°¡ ³× °³ ÀÏÄ¡µÇ´Â »ç·Êº¸´Ù ¼±È£µÇ´Â °ÍÀÌ´Ù. ±×·¯³ª »óȲ¿¡ µû¶ó ¾î¶² Ư¼ºÀÇ ºñÁßÀÌ ´Ù¸¥ ¿©·¯ Ư¼ºº¸´Ù ¿ÀÈ÷·Á Ä¿Áö´Â °æ¿ì ´Ü¼øÈ÷ ÀÏÄ¡µÇ´Â °³¼ö¸¸À¸·Î´Â ÆÇ´ÜÇÏ±â ¾î·Æ°Ô µÈ´Ù.
´Ù¸¥ Àε¦½Ì ¹æ¹ýÀ¸·Î ID3 (ÀÚµ¿ÇнÀ¿¡¼ ¼³¸íµÊ) ¿Í °°Àº ±Í³³Àû (Inductive) ¾Ë°í¸®ÁòÀ» ÀÌ¿ëÇÏ¿© »ç·Ê¸¦ Æ®¸®ÇüÅ·ΠºÐ·ùÇÒ ¼öµµ ÀÖ´Ù. °¢ »ç·ÊÀÇ °á°ú¸¦ °¡Àå Àß º¯º°ÇÒ ¼ö Àִ Ư¼ºÀ» ±âÁØÀ¸·Î °èÃþÀûÀ¸·Î »ç·Ê¸¦ ºÐ·ùÇØ ³õÀ¸¸é »ç·ÊÀÇ Å½»ö¼Óµµ°¡ ¿ì¼öÇϰí ÀÚµ¿ÀûÀÌ¸ç °´°üÀûÀ¸·Î »ç·ÊÀÇ À妽ÌÀÌ °¡´ÉÇÏ´Ù. ±×·¯³ª ÀÌ·¯ÇÑ ¹æ¹ýÀ» »ç¿ëÇϱâ À§Çؼ´Â ÃæºÐÇÑ ¾çÀÇ »ç·Ê°¡ È®º¸µÇ¾î¾ß¸¸ Á¤È®ÇÏ°Ô º¯º°·ÂÀִ Ư¼ºÀ» ã¾Æ³¾ ¼ö ÀÖ´Ù.
¶ÇÇÑ »ç·Ê¸¦ À妽ÌÇÏ´Â ¶ÇÇϳªÀÇ ¹æ¹ýÀº Áö½ÄÀ» ÀÌ¿ëÇÏ´Â °ÍÀε¥ ÀÌ·¯ÇÑ Áö½Ä¿¡ ÀÇÇØ ¾î¶°ÇÑ Æ¯¼ºÀÌ °¡Àå À¯»çÇÑ »ç·Ê¸¦ µµÃâÇϴµ¥ Áß¿äÇÑÁö¸¦ °áÁ¤ÇÏ´Â °ÍÀÌ´Ù. ¸¸¾à ¿Ö ÀÌ »ç·Ê°¡ À¯»çÇÏ´Ù°í µµÃâµÇ¾ú´ÂÁö¿¡ ´ëÇØ ¼³¸íÇÒ ¼ö ÀÖ´Â Áö½ÄÀÌ Á¸ÀçÇϰí Ç¥ÇöµÉ ¼ö ÀÖ´Ù¸é ÀÌ´Â ¸Å¿ì À¯¿ëÇÑ ¹æ¹ýÀÌ µÉ ¼ö ÀÖ´Ù.
(3) »ç·ÊÀÇ º¯Çü (Adaptation)
¸¸¾à ÁÖ¾îÁø ¹®Á¦¿¡ ´ëÇÑ ÀûÀýÇÑ »ç·Ê°¡ ¾ø´Ù¸é »ç·Ê¸¦ º¯ÇüÇÏ¿© ÁÖ¾îÁø ¹®Á¦»óȲÀÇ ¿ä±¸¿¡ ÀÏÄ¡µÇ°Ô ÇÏ¿©¾ß ÇÑ´Ù. ÀÌ·¯ÇÑ º¯ÇüÀÇ ¹æ¹ýÀº ¸ðµç ¹®Á¦¸¶´Ù ´Þ¶óÁú ¼ö ÀÖÀ¸¹Ç·Î ÀÏ·üÀûÀΠƲÀ» Àû¿ëÇÒ ¼ö´Â ¾ø´Ù. º¸Åë º¯ÇüÀ» À§ÇÑ ¸ðµ¨À̳ª Áö½ÄÇüÅÂ·Î½á »ç·ÊÀÇ º¯Çü¹æÇâÀ» °áÁ¤Çϰí ÀÖ´Ù. ÀÌ·¯ÇÑ º¯Çü¸ðµ¨ ¶Ç´Â ±ÔÄ¢ (Áö½Ä) À» ÀÌ¿ëÇØ µµÃâµÈ »ç·Ê¸¦ ÇöÀç ÁÖ¾îÁø ¹®Á¦ÀÇ Á¶°ÇµéÀ» ÃæÁ·½ÃŰ´Â »ç·Ê·Î º¯ÇüÇÏ°Ô µÈ´Ù. »ç·ÊÀÇ ÀÚµ¿º¯ÇüÀº »ç·Ê±â¹Ý Ãß·ÐÀÇ Çٽɿ¬±¸ÁÖÁ¦·Î¼ ºÎ°¢µÇ°í ÀÖ´Ù.
(4) ÇнÀ°ú ÀϹÝÈ
»ç·Ê°¡ ÃàÀûµÇ¸é¼ »ç·ÊÀÇ ÀϹÝÀû ¿ä¼Ò¸¦ ÃßÃâÇØ ´ë»ó¹®Á¦ÀÇ Áß¿äÆ¯¼ºÀ» Æ÷ÇÔÇÏ´Â ÀüÇüÀûÀÎ »ç·Ê·Î ÁöÁ¤ÇÔÀ¸·Î½á »ç·Ê±â¹Ý Ãß·Ð ½Ã½ºÅÛÀÌ ÇØ°áÇÒ ¼ö ÀÖ´Â ¹®Á¦ÀÇ ´ë»ó¿µ¿ªÀ» º¸´Ù ³ÐÈú ¼ö ÀÖ´Ù.
ÀϹÝÀûÀ¸·Î ³í¸®¿¡¼ »ç½ÇÀÌ ÁÖ¾îÁö¸é ±×¿¡ µû¶ó »õ·Î¿î Á¤¸®°¡ µµÃâµÇ°í ¶Ç ÀÌ µµÃâµÈ Á¤¸®·Î ÀÎÇØ ¶Ç ´Ù¸¥ Á¤¸® ¶Ç´Â »ç½ÇÀÌ ³ªÅ¸³´Ù. modus ponens ³ª »ï´Ü³í¹ý µîÀº °è¼ÓÀûÀ¸·Î »ç½ÇÀ̳ª °ø¸®¸¦ Áõ°¡½ÃŲ´Ù. µû¶ó¼ ÀÌ·¸°Ô ÁøÀ§°¡ ¹àÇôÁø »ç½ÇÀ̳ª »õ·Î¿î Á¤¸®ÀÇ ¼ö°¡ °è¼ÓÀûÀ¸·Î ´Ã¾î³ª´Â ¿¬¿ªÃß·Ð °úÁ¤À» ´ÜÁ¶ (Monotonic) ÇÏ´Ù¶ó°í ÇÑ´Ù. ¹Ý¸é¿¡ Çѹø ¹àÇôÁø »ç½ÇÀÌ Ãë¼ÒµÈ´ÙµçÁö ¶Ç´Â ´Ù¸¥ »ç½Ç°ú »óÃæµÇ¾î ¾î´À Çϳª°¡ °ÅÁþÀ¸·Î ÆÇ¸íµÈ´ÙµçÁö ¶Ç´Â ½Ã°£ÀÌ Áö³²¿¡ µû¶ó ¾î¶² »ç½ÇÀÌ ´õ ÀÌ»ó È¿·ÂÀÌ ¾ø´ÙµçÁö ÇÏ¿© ÆÇ¸íµÈ °ø¸®ÀÇ ¼ö°¡ Ç×»ó ´Ã¾î³ªÁö¸¸Àº ¾Ê°í ¿ÀÈ÷·Á ÁÙ¾îµé ¼öµµ Àִµ¥, ÀÌ·¯ÇÑ ¿¬¿ªÃ߷нýºÅÛÀ» ºñ´ÜÁ¶ (Nonmonotonic) ÇÏ´Ù¶ó°í Çϰí ÀÌ·¯ÇÑ Ãß·ÐÀ» ºñ´ÜÁ¶Ãß·Ð À̶ó ÇÑ´Ù.
¿¹¸¦ µé¾î Ç×°ø±â ½Äº°½Ã½ºÅÛ¿¡ ³ªÅ¸³ ¿©·¯ °¡Áö Áõ°Å·Î ºÁ¼ ÇöÀç ¿ì¸® ³ª¶ó »ó°øÀ¸·Î ´Ù°¡¿À´Â Ç×°ø±â´Â º¸Åë ¹Î°£¿©°´±â·Î ÆÇ¸íµÇ¾úÀ¸³ª ±× ÈÄ ¿©·¯ °¡Áö Ãß°¡ÀûÀÎ Áõ°Åµé·Î ÀÎÇØ ±×°ÍÀº ¹Î°£¿©°´±â°¡ ¾Æ´Ï¶ó ÀûÀÇ ÀüÆø±â·Î ÆÇ¸íµÇ´Â °æ¿ì ´ÜÁ¶Ã߷и¸ °¡´ÉÇÑ °æ¿ì¿¡´Â À̸¦ ´Ù·ê ¼ö ¾øÀ¸³ª ºñ´ÜÁ¶Ãß·ÐÀÇ °æ¿ì¿¡´Â ÀÌ¿Í °°ÀÌ ÀÌ¹Ì Ãß·ÐµÈ »ç½ÇÀ» ´Ù½Ã ¹øº¹ÇÏ´Â °ÍÀ» °¡´ÉÄÉ ÇÑ´Ù. À̰ÍÀº Çѹø °á·Ð³ °ÍÀ» ºÎÁ¤ÇØ º»´Ù°Å³ª "What If" ºÐ¼®À» ÅëÇØ ƯÁ¤ »ç½ÇÀÌ ÂüÀÌ ¾Æ´Ï¶ó¸é ¾î¶°ÇÑ °á·ÐÀ» ´Ù½Ã ³»¸± ¼ö Àִ°¡ µîÀ» ¾Ë¾Æº¼ ¶§ À¯¿ëÇÏ´Ù.
±×·¯³ª ÀÌ·¯ÇÑ ºñ´ÜÁ¶¼º (Nonmonotonicity) À» ºÎ¿©Çϱâ À§Çؼ± Ãß·ÐµÈ °á·ÐÀ̳ª ±ÔÄ¢¸¶´Ù ±×°ÍÀ» Á¤´çÈÇÏ´Â ±Ù°Å°¡ µÆ´ø ´Ù¸¥ »ç½ÇÀ̳ª ±ÔÄ¢°úÀÇ ÀÇÁ¸°ü°è¸¦ ÆÄ¾ÇÇϰí ÀÖ¾î¾ß ÇÑ´Ù. µû¶ó¼ ¾î¶°ÇÑ »ç½ÇÀÌ ¹«À§·Î µÇ¾úÀ» ¶§ ±×°ÍÀ¸·Î ÀÎÇØ Á¤´çȵǾú´ø °ü·Ã»ç½ÇµéÀÌ ÇÔ²² ¹«À§·Î µÇ¾î¾ß ÇÑ´Ù. ÀÌ·¸°Ô »ç½Ç°ú »ç½ÇµéÀ» Á¤´çÈÇÏ´Â ±Ù°Å¸¦ Åä´ë·Î »ç½ÇµéÀÇ ÁøÀ§¸¦ °ü¸®ÇÏ´Â °ÍÀ» ÁøÀ§À¯Áö (Truth Maintenance) ¶ó°í ÇÑ´Ù. ¶ÇÇÑ ¾î¶² »ç½Ç¿¡ ´ëÇÑ Á¤´ç¼ºÀÌ È®½ÇÈ÷ ¹àÇôÁø °Í¿¡ ±Ù°Å¸¦ µÐ °ÍÀÌ ¾Æ´Ï¶ó ¾î¶² °¡Á¤ (Assumption) ¿¡ ±Ù°ÅÇØ ÀÌ·ç¾îÁú ¼öµµ ÀÖ´Ù. ÀÌ·± °æ¿ì ÇØ´ç °¡Á¤ÀÌ ´õ ÀÌ»ó ½Åºù¼ºÀÌ ¾ø´Â °ÍÀ¸·Î ¹àÇôÁö¸é ±×°Í¿¡ ±âÃʸ¦ µÎ°í Ã߷еǾú´ø °á·Ðµéµµ ÇÔ²² ¼öÁ¤µÇ¾î¾ß ÇÑ´Ù.
¶ÇÇÑ ÀÌ·¯ÇÑ ºñ´ÜÁ¶ Ãß·ÐÀº ¾î¶² »ç½Ç¿¡ ´ëÇØ È®½ÇÇÑ ±Ù°Å°¡ ¾ÆÁ÷ ¾ø´Â °æ¿ì ´Þ¸® ´ë¾ÈÀÌ ¾øÀ¸¸é ƯÁ¤ »ç½ÇÀ» ÀÓ½ÃÀûÀ¸·Î ÀÎÁ¤ÇÏ´Â °æ¿ì¿¡µµ ÇÊ¿äÇÏ´Ù. ÀÌ·¯ÇÑ °ÍÀ» Ưº°È÷ ±âº»°ªÃß·Ð (Default Reasoning) À̶ó ÇÑ´Ù.
¿¹¸¦ µé¾î, Tweety ¶ó´Â »õ°¡ ÀÖÀ» ¶§ ´Þ¸® Tweety ¿¡ ´ëÇÑ Á¤º¸°¡ ¾øÀ¸¸é ÀÌ »õ´Â ³¯ ¼ö ÀÖ´Ù°í º¸´Â °ÍÀÌ´Ù. ±×·¯³ª ³ªÁß¿¡ ¾Ë°í º¸´Ï Tweety °¡ Æë±ÏÀ¸·Î ¹àÇôÁ³´Ù¸é Tweety ´Â ³¯ ¼ö ÀÖ´Ù´Â °ÍÀº Ʋ¸° »ç½ÇÀÌ µÇ´Â °ÍÀÌ´Ù. ÀÌ·¸°Ô ¶Ñ·ÇÀÌ ¹Ý¹ÚÇÒ ´Ù¸¥ Áõ°Å°¡ ¾ø´Â °æ¿ì Àӽ÷Π¾î¶² °á·ÐÀ» ³»¸®´Â °ÍÀÌ´Ù. ÀÌ´Â Áö½ÄÀÌ ¸ðµç »óȲ¿¡ ´Ù Á¤È®ÇÑ ÇØ´äÀ» ÁÙ ¼ö ¾ø´Â °æ¿ì°¡ Àֱ⠶§¹®ÀÌ´Ù. ÀÌ´Â Á¤º¸ÀÇ ºÎÀç µîÀ¸·Î ÀϾÙ. ÀÌ·¯ÇÑ °æ¿ì Àΰ£ÀÌ »ó½Ä¿¡ ÀÇÇØ Ãß·ÐÇÏµí ±âº»°ªÃß·ÐÀ» Àû¿ëÇÒ ¼ö ÀÖ´Ù.
IF X °¡ »õ THEN X ´Â ³¯ ¼ö ÀÖ´Ù.
¶ó´Â ±âº»Àû Áö½ÄÀ¸·Î¼ ±âº»°ªÃß·ÐÀ» ÇÒ ¼ö ÀÖ´Ù.
¶Ç ´Ù¸¥ ¿¹¸¦ º¸ÀÚ. ¾î¶² Áý¿¡ ÈÀç°æº¸°¡ ¿ï·È´Ù. ÀÌ·¯ÇÑ °æ¿ì ±× Áý¿¡ ºÒÀÌ ³µ±â ¶§¹®À̶ó°íµµ ÇÒ ¼ö ÀÖÁö¸¸ ÁöÁøÀÌ ÀϾ¼ÀÏ ¼öµµ ÀÖ°í ¾ÆÀ̵éÀÌ Àå³À» Ä£ °ÍÀÏ ¼öµµ ÀÖ´Â °ÍÀÌ´Ù. ±×·¯³ª ´Þ¸® Ưº°ÇÑ Áõ°Å³ª Á¤º¸°¡ ¾ø´Â ÇÑ "IF ÈÀç°æº¸°¡ ¿ï¸®¸é THEN ÈÀç°¡ ³µ´Ù" ¶ó´Â ±ÔÄ¢À» ÀÛµ¿ÇÏ¿© ÀÓ½ÃÀûÀ¸·Î ±× Áý¿¡ ÈÀç°¡ ³ °ÍÀ¸·Î °á·Ð ÁöÀ» ¼ö ÀÖ´Ù.
±×·¯³ª ÀÌ·¯ÇÑ ±âº»°ªÃß·ÐÀº ³ªÁß¿¡ º¸´Ù Á¤È®ÇÑ Áõ°Å°¡ ¼öÁýµÇ´Â ´ë·Î ºÎÁ¤µÉ ¿©Áö°¡ ¾ó¸¶µçÁö ÀÖ´Â °ÍÀÌ´Ù. ÀÌ·¸°Ô ±âº»°ªÃ߷еµ Çѹø Ãß·ÐµÈ °á°ú°¡ ³ªÁß¿¡ ¹øº¹µÉ ¼ö ÀÖ´Ù´Â Á¡¿¡¼ ºñ´ÜÁ¶Ã߷п¡ Æ÷ÇԵȴÙ.