• Àüü
  • ÀüÀÚ/Àü±â
  • Åë½Å
  • ÄÄÇ»ÅÍ
´Ý±â

»çÀÌÆ®¸Ê

Loading..

Please wait....

Çмú´ëȸ ÇÁ·Î½Ãµù

Ȩ Ȩ > ¿¬±¸¹®Çå > Çмú´ëȸ ÇÁ·Î½Ãµù > Çѱ¹Á¤º¸°úÇÐȸ Çмú´ëȸ > 2008³â Ãß°è Çмú´ëȸ

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 ´Ù¿î·Îµå