¿Ã·¹Æ÷Æ® : ´ëÇз¹Æ÷Æ®, Á·º¸, ½ÇÇè°úÁ¦, ½Ç½ÀÀÏÁö, ±â¾÷ºÐ¼®, »ç¾÷°èȹ¼­, Çо÷°èȹ¼­, ÀÚ±â¼Ò°³¼­, ¸éÁ¢, ¹æ¼ÛÅë½Å´ëÇÐ, ½ÃÇè ÀÚ·á½Ç
¿Ã·¹Æ÷Æ® : ´ëÇз¹Æ÷Æ®, Á·º¸, ½ÇÇè°úÁ¦, ½Ç½ÀÀÏÁö, ±â¾÷ºÐ¼®, »ç¾÷°èȹ¼­, Çо÷°èȹ¼­, ÀÚ±â¼Ò°³¼­, ¸éÁ¢, ¹æ¼ÛÅë½Å´ëÇÐ, ½ÃÇè ÀÚ·á½Ç
·Î±×ÀΠ ȸ¿ø°¡ÀÔ

ÆÄÆ®³Ê½º

ÀÚ·áµî·Ï
 

Àå¹Ù±¸´Ï

´Ù½Ã¹Þ±â

ÄÚÀÎÃæÀü

¢¸
  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (1 ÆäÀÌÁö)
    1

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (2 ÆäÀÌÁö)
    2

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (3 ÆäÀÌÁö)
    3

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (4 ÆäÀÌÁö)
    4

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (5 ÆäÀÌÁö)
    5

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (6 ÆäÀÌÁö)
    6

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (7 ÆäÀÌÁö)
    7

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (8 ÆäÀÌÁö)
    8

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (9 ÆäÀÌÁö)
    9

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (10 ÆäÀÌÁö)
    10

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (11 ÆäÀÌÁö)
    11

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (12 ÆäÀÌÁö)
    12


  • º» ¹®¼­ÀÇ
    ¹Ì¸®º¸±â´Â
    12 Pg ±îÁö¸¸
    °¡´ÉÇÕ´Ï´Ù.
¢º
Ŭ¸¯ : Å©°Ôº¸±â
  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (1 ÆäÀÌÁö)
    1

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (2 ÆäÀÌÁö)
    2

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (3 ÆäÀÌÁö)
    3

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (4 ÆäÀÌÁö)
    4

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (5 ÆäÀÌÁö)
    5

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (6 ÆäÀÌÁö)
    6

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (7 ÆäÀÌÁö)
    7

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (8 ÆäÀÌÁö)
    8

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (9 ÆäÀÌÁö)
    9

  • [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]   (10 ÆäÀÌÁö)
    10



  • º» ¹®¼­ÀÇ
    (Å« À̹ÌÁö)
    ¹Ì¸®º¸±â´Â
    10 Page ±îÁö¸¸
    °¡´ÉÇÕ´Ï´Ù.
  ´õºíŬ¸¯ : ´Ý±â
X ´Ý±â
Á¿ìÀ̵¿ : µå·¡±×

[»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸®; Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 126~153[Ã¥ ³»¿ë]

ÀÎ ¼â
¹Ù·Î°¡±â
Áñ°Üã±â Űº¸µå¸¦ ´­·¯ÁÖ¼¼¿ä
( Ctrl + D )
¸µÅ©º¹»ç ¸µÅ©ÁÖ¼Ò°¡ º¹»ç µÇ¾ú½À´Ï´Ù.
¿øÇÏ´Â °÷¿¡ ºÙÇô³Ö±â Çϼ¼¿ä
( Ctrl + V )
¿ÜºÎ°øÀ¯
ÆÄÀÏ  [»çȸ°úÇÐ] ºñ´ÜÁ¶ ³í¸® ¿¬±¸ - °úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶~.hwp   [Size : 34 Kbyte ]
ºÐ·®   12 Page
°¡°Ý  2,000 ¿ø


īƮ
´Ù¿î¹Þ±â
īī¿À ID·Î
´Ù¿î ¹Þ±â
±¸±Û ID·Î
´Ù¿î ¹Þ±â
ÆäÀ̽ººÏ ID·Î
´Ù¿î ¹Þ±â
µÚ·Î

¸ñÂ÷/Â÷·Ê
ºñ´ÜÁ¶ ³í¸® ¿¬±¸
°úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸® : Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 1996, Page 99~125

1. ºñ´ÜÁ¶³í¸®ÀÇ Æ¯¼º

2. ºñ´ÜÁ¶ ³í¸®ÀÇ À¯Çü

(1) ¶óÀÌÅÍÀÇ ÃʱâÈ­ ³í¸® (default logic)

(2) ¹«¾îÀÇ ÀÚµ¿ÀνÄÀû Ã߸® (autoepistemic reasoning)

(3) ¸ÆÄ«½ÃÀÇ Á¦ÇÑÈ­ Ã߸® (circumscriptive reasoning)

3. ºñ´ÜÁ¶ ³í¸®ÀÇ »ç¿ë »ç·Ê

4. ºñÆÇÀû ³íÀÇ

1. ºñ´ÜÁ¶³í¸®ÀÇ Æ¯¼º
¿¬¿ª ³í¸®´Â Ã߸®°¡ ÁøÇàµÇ°í Áö½ÄÀÌ ºÎ°¡µÊ¿¡ µû¶ó Á¤º¸¸¦ ¹ö¸®°Å³ª ½Å³äÀ» º¯°æÇÏ´Â ¸ÞÄ«´ÏÁòÀ» °®°í ÀÖÁö ¾Ê´Ù. ¿¬¿ª³í¸®ÀÇ ÀÌ·¯ÇÑ Ãø¸éÀ» ´ÜÁ¶Àû (monotonic) À̶ó ºÎ¸¥´Ù. ºñ´ÜÁ¶ ³í¸® (nonmonotonic logic) ´Â »ç¿ë°¡´ÉÇÑ Á¤º¸¿¡ ±âÃÊÇÏ¿© Ã߸®¸¦ ÁøÇàÇÏÁö¸¸ »õ·Î¿î Á¤º¸°¡ ÷°¡µÉ ¶§ ±× Ã߸®´Â Á¦°ÅµÇ°í »õ·Î¿î Ã߸®¸¦ ÁøÇàÇÒ ¼ö ÀÖ´Ù. ºñ´ÜÁ¶ ³í¸®´Â ±Ù°Å°¡ ºÒ¿ÏÀüÇϰųª ¿ÏÀüÇÑ Á¤º¸È¹µæÀÌ ºÒ°¡´ÉÇÑ »ó...
º»¹®/³»¿ë
ºñ´ÜÁ¶ ³í¸® ¿¬±¸

°úÇÐÀû ¼³¸í°ú ºñ´ÜÁ¶ ³í¸® : Á¤¿µ±â ÁöÀ½, ¿¤¸Ç, 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 ³â µÎ °¡Áö ´Ù¸¥ Çü½Ä ü¡¦(»ý·«)



📝 Regist Info
I D : leew*****
Date : 2013-12-19
FileNo : 13122079

Cart