2008³â Ãß°è Çмú´ëȸ
Current Result Document : 3 / 3
ÇѱÛÁ¦¸ñ(Korean Title) |
¿ÂÅç·ÎÁö ±â¹Ý ½Ã°£ Ãß·ÐÀ» ÀÌ¿ëÇÑ Çൿ°ú »ç°ÇÀÇ Çü½ÄÈ |
¿µ¹®Á¦¸ñ(English Title) |
Formalism of Actions and Events using Temporal Reasoning based on Ontology |
ÀúÀÚ(Author) |
ÃÖÁ¤È
±è¼ºÂù
¹Ú¿µÅÃ
Jung-Hwa Choi
Sung-Chan Kim
Young-Tack Park
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 35 NO. 02(C) PP. 0252 ~ 0257 (2008. 10) |
Çѱ۳»¿ë (Korean Abstract) |
½Ã°£ Ãß·ÐÀº Áö´ÉÇü ¿¡ÀÌÀüÆ®°¡ ¹°¸®Àû °ø°£¿¡¼ Áö´ÉÇü ¼ºñ½º¸¦ Çϱâ À§ÇØ ÇÊ¿äÇÑ »ó½ÄµéÀÇ Çü½ÄÈ ¸¦ ½±°Ô ÇÑ´Ù. ¹°¸®Àû °ø°£ÀÇ Áö½Ä(knowledge)Àº ½Ã°£ÀÌ Áö³²¿¡ µû¶ó º¯ÈÇÏ°í, ÀÌ¿¡ µû¶ó ¿¡ÀÌÀüÆ®´Â ÃÖ½ÅÀÇ Á¤È®ÇÑ(correct) µ¥ÀÌÅ͸¦ ÂüÁ¶ÇÏ´Â °ÍÀÌ ¿ä±¸µÈ´Ù. º» ³í¹®¿¡¼´Â ¹°¸®Àû °ø°£¿¡¼ ¹ß»ýÇÒ ¼ö ÀÖ ´Â ¼¼ºÐÈ ¹®Á¦(ramification problem)¸¦ °í·ÁÇÏ¿© Çൿ(action)°ú »ç°Ç(event)À» Çü½ÄÈÇϱâ À§ÇÑ ½Ã°£ Ãß·Ð ¿£ÁøÀ» Á¦¾ÈÇÑ´Ù. Á¦¾ÈÇÑ ½Ã½ºÅÛÀº ¹°¸®Àû °ø°£¿¡¼ ÇൿÀÌ °¨Áö µÇ¾úÀ» ¶§, ¿ÂÅç·ÎÁö Ãß·ÐÀ» ÅëÇØ ±×¿¡ µû¸¥ »ç°ÇµéÀ» Ãß·ÐÇÏ°í °ú°Å¿¡ »ý¼ºµÈ »ç°ÇµéÀÇ ½Ã°£ °ü°è¸¦ ¿ÂÅç·ÎÁö ±â¹ÝÀ¸·Î Çü½ÄÈÇÑ´Ù. º» ½Ã½ºÅÛÀº ¼¼ú ³í¸®(description logic)¸¦ ±â¹ÝÀ¸·Î ±¸ÇöµÇ¾úÀ¸¸ç, CLP(Q)¸¦ ÀÌ¿ëÇÏ¿© ½Ã°£ °ü°è¸¦ Ãß·ÐÇÑ ´Ù. µµ¸ÞÀÎ ¿ÂÅç·ÎÁö´Â ¹°¸®Àû °ø°£ÀÇ Á¤ÀûÀÎ Áö½Ä, Á¤ÀûÀÎ ¹°Ã¼¸¦ À̵¿ÇÏ´Â »ç¶÷ÀÇ µ¿ÀûÀÎ Çൿ, ±×¸®°í ±×¿¡ µû¸¥ »ç°ÇµéÀÇ °³³äÀ» Á¤ÀÇÇÏ°í, W3CÀÇ OWL time ¿ÂÅç·ÎÁö¸¦ ³»ÀçÇÏ¿© Çൿ°ú »ç°ÇµéÀÌ ¹ß»ýÇÑ ½Ã°£¿¡ °ü·ÃµÈ ¸í¼¼¸¦ Ãß°¡ÇÑ´Ù. ½Ã°£ Ãß·Ð ¿£ÁøÀº ¿ÂÅç·ÎÁö Ã߷аú AllenÀÇ ½Ã°£ °ü°è ´ë¼ö(algebra)¸¦ ±¸ÇöÇÑ ½Ã°£ °ü°è Ãß·Ð ¸ðµâÀ» ÅëÇÏ¿© Çൿ¿¡ µû¸¥ »ç°ÇµéÀÇ °ü°è¸¦ Çü½ÄÈ ÇÑ´Ù. º» ¿¬±¸´Â ½Ç ¼¼°è Áö ½ÄÀ» Çü½ÄÈÇÏ¸é¼ ¹ß»ýÇÏ´Â Áö½Ä Ç¥ÇöÀÇ ºÒÀÏÄ¡(inconsistency)¸¦ ŽÁöÇÏ°í ÇØ°áÃ¥À» Á¦½ÃÇÑ´Ù. º» ¿¬±¸ ´Â Ȩ(home) ȯ°æ¿¡¼ ¹ß»ýÇÒ ¼ö ÀÖ´Â À§Çè »óȲÀÇ ¿¹¹æÀ» ¸ñÇ¥·Î ±¸Çö µÇ¾ú´Ù. |
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|