·Î±×ÀÎ | ȸ¿ø°¡ÀÔ | °øµ¿Å½±¸±³½Ç | ENG
KATPIS MENU Home > NEWS
¿øÀå½Ç
Ãѹ«ÀÌ»ç½Ç
±âȹ½ÇÀå½Ç
°¢À§¿øÀå½Ç
ÀÓ¿øȸÀǽÇ
ÀÚ·áÁ¤º¸½Ç
»õ¼Ò½Ä
 
¸ÞÀÏ:leecs@korea.ac.kr ȨÆäÀÌÁö:
Á¦  ¸ñ  
³»°¡ ¹ÌÃƳª ¼¼»óÀÌ ¹ÌÃƳª
ÀÛ¼ºÀÚ  
°ü¸®ÀÚ
µî·ÏÀÏ  
09/10/30 17:05:20
Á¶ È¸  
3879


³»°¡ ¹ÌÃƳª ¼¼»óÀÌ ¹ÌÃƳª

 

  ¡®³» ¾ÆµéÀÌ ³» ¾Æ¹öÁö¡¯¶ó´Â ½ÄÀÇ À̾߱âÀÎ °ÍÀÌ ³ª¿¡°Ô´Â ºÐ¸íÇѵ¥ ±×°ÍÀ» ¼¼»ó »ç¶÷µéÀº Ʋ¸®Áö ¾Ê´Ù°í ÇÑ´Ù. ±×·¯´Ï ³»°¡ ¹ÌÃƳª ¼¼»óÀÌ ¹ÌÃƳª? Ȥ ³» ¸»À» ÀÌÇØÇÏ´Â °Í °°Àº »ç¶÷µµ ¡®³» ¾ÆµéÀÌ (³» ¼ÕÀÚÀÇ) ¾Æ¹öÁö¡¯ÀÌ´Ï ¾Æ¹öÁö´Â ¾Æ¹öÁö°¡ ¾Æ´Ï³Ä°í ÇÑ´Ù. À̸¦ ¾î¼³ª?

  ÀÌ·± ´çȤ°¨Àº <ÒÕåÞ>, <ùÊì»ø¹>ÀÇ ¡®üøð©å¥íº, ÐìêÓìÒñýÜâ模¯´Â¡®üøð©å¥íº, ÐìêÓìÒñýԳ模¯ÀÇ ¿ÍÀü(èÅîî)À̳ª ¿À±â(è¦ÑÀ)°¡ ¾Æ´Ñ°¡¶ó´Â ÁÖÁ¦ÀÇ ³ªÀÇ ±ÛÀ» ÀÐÀº Ä£±¸µé°úÀÇ ´ëÈ­¿¡¼­ ³»°¡ ´À³¤ °ÍÀÌ´Ù. ±×µéÀº ³ª¿Í ÀýÄ£ÇÑ »çÀÌÀ̱⿡ °Å¸®³¦ÀÌ ¾ø´Ù. ¡®Çѹ® °øºÎ¸¦ Á¦´ë·Î ¸øÇÑ ÁÖÁ¦¿¡ <ÒÕåÞ>¿¡ ´ëÇØ ¹«¾ùÀ» ¾È´Ù°í ÀÌ·¯´ÏÀú·¯´Ï ÇÏ´À³Ä¡¯´Â ´«Ä¡´Ù. ¡®¾î¸°À̵éÀÌ ¾î¸¥µéÀÇ °ü½ÉÀ» ²ø·Á°í ¾û¶×ÇÑ ¸»À» ÇÏ´Â °Íó·³ ÇÏ´Â °ÍÀº ¾Æ´Ï³Ä?¡¯´Â ÅõÀÇ ´À³¦µµ µç´Ù. 2000¿©³â ±×·± ¸»¾øÀÌ Àß ¹è¿ö¿Ô´Âµ¥ ¹«½¼ ¶×µýÁö°°Àº ¸»À̳Ä? Çϱâ¾ß ³ªµµ ±×·± ´À³¦ÀÌ ¾ø´Â °ÍÀº ¾Æ´Ï´Ù.

  ÇÏÁö¸¸ ³ª´Â ±×µéÀÇ ¹ÝÀÀ¿¡ Âùµ¿ÇÒ ¼ö ¾ø´Ù. ³»°¡ Çѹ®°øºÎ¸¦ Á¦´ë·Î ¸øÇÑ °ÍÀº »ç½ÇÀÌÁö¸¸ ³íÁ¦¿¡ ÇÑÁ¤ÇÑ´Ù¸é ³ªµµ ¾Ë¸¸Å­Àº ¾Æ´Â °Í °°´Ù. °ü½ÉÀ» ²ø·Á°í ÇÏ´Â °Íµµ Ʋ¸²¾øÀ¸³ª ³»±ñ¿¡´Â ¡®¹Ù¸¥ ¹æÇ⡯À¸·Î °ü½ÉÀ» µ¹¸®·Á´Â °ÍÀÌ´Ù. ³ªÀÇ ±Û¿¡¼­´Â ¸î °¡Áö ¿øÄ¢À» ¼¼¿ì°í ±×°Í¿¡ ÀÇÇØ Â÷ºÐÈ÷ ³»°¡ Àǹ®À» °®°Ô µÈ ¹è°æ°ú ÀýÂ÷¸¦ A4¿ëÁö 4ÂÊ Á¤µµ ½è´Âµ¥ Àü°øÀÌ ´Ù¸¥ ±³¼öµéÀ̶ó ³Ê¹« º¹ÀâÇÏ´Ï °£·«ÇÏ°Ô ¸»Ç϶ó°í ´Ù±×Ä¡±â¿¡ ¿äÁ¡ Çϳª¸¸À» ¸»ÇÑ´Ù.

  ¿©±â¼­ ±âº»À̳ª ±Ùº»À¸·Î ¹ø¿ªµÇ´Â ÜâÀº ¹«¾ùÀÌ ¹«¾ùÀÇ ÜâÀÌÁö ±×³É ¹«¾ùÀÌ ÜâÀ̶ó°í ÇÏ¸é ¸»ÀÌ ¼º¸³µÇÁö ¾Ê´Â´Ù. ¼ú¾î³í¸®·Î ¸»Çϸé ÜâÀº ÀÏÇ× ¼ú¾î°¡ ¾Æ´Ï¶ó ÀÌÇ× ¼ú¾î·Î¼­ °ü°è¸¦ ³ªÅ¸³½´Ù. (¡®Bone(x)¡¯°¡ ¾Æ´Ï¶ó ¡®Bone(x, y)¡¯ ) ÀÌ°ÍÀº ¸¶Ä¡ ¡®x´Â ¾Æ¹öÁö´Ù¡¯·Î ¸»ÇÏ´Â °ÍÀº »ý·«µÈ ¸»À̰ųª À߸øµÈ °ÍÀÌ°í ¡®x´Â yÀÇ ¾Æ¹öÁö´Ù¡¯¶ó°í ÇØ¾ß ÇÏ´Â °Í°ú °°´Ù. ±×·±µ¥ ¾Æ¹öÁö¶ó´Â °ü°è´Â ¡®x´Â yÀÇ ¾Æ¹öÁö´Ù(Father(x,y))'°¡ ÂüÀÌ¸é ¡®y°¡ xÀÇ ¾Æ¹öÁö´Ù(Father(y,x)'´Â ¹Ýµå½Ã °ÅÁþÀÌ µÇ´Â ¹Ý ´ëĪ(asymmetric relation)ÀÇ ¼ú¾îÀÌ´Ù. Üâµµ ¸¶Âù°¡Áö´Ù. x°¡ yÀÇ ÜâÀ̸é y°¡ xÀÇ ÜâÀÏ ¼ö ¾ø±â ¶§¹®ÀÌ´Ù.

  ÀÌ·± ³í¸®¸¦ ¹ÙÅÁÀ¸·Î ÇÒ ¶§ ¡®üøð©å¥íº, ÐìêÓìÒñýÜâæ¨'´Â ¡®³» ¾ÆµéÀÌ ³ªÀÇ ¾Æ¹öÁö´Ù¡¯´Â ½ÄÀÌ´Ù. ¿Ö³ÄÇÏ¸é ¡®ìÒÀº üø𩸦 ÇàÇÏ´Â ÜâÀÌ´Ù¡¯¶ó´Â °ÍÀº êãÊ«ÀÇ ±âº»½ÅÁ¶Àε¥ ±×¿Í ¹Ý´ë·Î ¡®üøð©°¡ ìÒÀ» ÇàÇÏ´Â Ü⡯À̶ó´Â À§ÀÇ ¸»Àº, ¡®ÀÌÃʽÄÀ» ÀÌÁöÈ£ÀÇ ¾Æ¹öÁö(Üâ)´Ù¡¯°í Çϸ鼭ÀÇ ¡®ÀÌÁöÈ£´Â ÀÌÃʽÄÀÇ ¾Æ¹öÁö(Üâ)´Ù¡¯´Â ¸»°ú ±¸Á¶°¡ µ¿ÀÏÇϱ⠶§¹®ÀÌ´Ù. ±×¸®ÇÏ¿© ÀÌÄ¡¿¡ ¸ÂÁö ¾Ê´Â ÀÌ·± ¸»À» <ÒÕåÞ>¿¡¼­ ÇßÀ» ¸® ¸¸¹«ÇÏ´Ù°í º¸¾Æ ¡®üøð©å¥íº, ÐìêÓìÒñýԳ模¯ÀÇ ¿ÍÀü(èÅîî)À̳ª ¿À±â(è¦ÑÀ)°¡ ¾Æ´Ï³Ä´Â ¹®Á¦¸¦ Á¦±âÇÑ °ÍÀÌ´Ù. ±×·±µ¥ ÀÌ·± ÀÌÀÇ(ì¶ì¡)¸¦ ¾î´À Á¤µµ ¼ö±àÇϸ鼭µµ ¡°±ºÀڷμ­ÀÇ °¡Àå ±Ùº»Àû Àǹ«ÀÎ ìÒÀ» ÀÌ·ç´Â ±æ(Ô³)Àº (¿©·¯ °¡Áö°¡ ÀÖ°ÚÀ¸³ª-Á¦ÀÏ Áß¿äÇÑ (Üâ = Ô³ÀÇ Üâ)) üøð©À̴϶ó.¡±·Î Çؼ®ÇÏ·Á´Â »ç¶÷µéÀÌ ÀÖ´Ù. ÀÌ·± Çؼ®ÀÌ ³ª¿¡°Ô´Â °á±¹ ¡®ÀÌÁöÈ£´Â ÀÌÃʽÄÀÇ (¼ÕÀÚÀÇ) ¾Æ¹öÁö¡¯·Î Çؼ®ÇÏ¸é ¡®¾Æ¹öÁö(Üâ)¶ó´Â ¸»À» ÇÒ ¼ö ÀÖ´Ù¡¯´Â Ç®ÀÌ¿Í ±¸Á¶°¡ Èí»çÇÏ°Ô ¿©°ÜÁø´Ù. ³»°¡ ¹ÌÃƳª ¼¼»óÀÌ ¹ÌÃƳª.

 

±Û¾´ÀÌ / ÀÌÃʽÄ

¡¤°í·Á´ë ¸í¿¹±³¼ö

¡¤Àü Çѱ¹Ã¶ÇÐȸ ȸÀå

¡¤¼ö¾ÈÀ̾¾ ´ëÁ¾È¸ ȸÀå

¡Ø ±Û ³»¿ëÀº ¼º¼÷ÇÑ»çȸ°¡²Ù±â¸ðÀÓÀÇ °ø½Ä°ßÇØ°¡ ¾Æ´Õ´Ï´Ù.
<¼º¼÷ÀÇ ºÒ¾¾ 2009³â 9¿ù 10ÀÏÀÚ ±â°í¹® ¹ßÃéÀÔ´Ï´Ù.>


ÆÄ ÀÏ  


ÀÌÀü±Û  Ã¶ÇÐÇϱâ¿Í ¹«º»(ÙâÜâ) 2009/10/30 17:05 3880 0
´ÙÀ½±Û  'âÀÇÀû »ç°í¿Í ³í¼ú±³À°¡¯ Á÷¹«¿¬¼ö ¾È³» 2009/11/19 16:04 5000 0


 
 
°ü·Ã¸ðÀÓÈ°µ¿

COPYRIGHT(C) 2004 KAOTPIS. ALL RIGHT RESERVED.