¶áǯ¡¢·ÀÌó½ñ¥ì¥Ó¥å¡¼¤ä¥ê¥¹¥¯Ê¬ÀϤˡÈAI¡É¤òƳÆþ¤¹¤ë´ë¶È¤¬Áý¤¨¤Æ¤¤¤Þ¤¹¡£
¤·¤«¤·¡¢¤½¤Î¿¤¯¤ÏÅý·×Ū¼êË¡¡Êµ¡³£³Ø½¬¡¦¿¼Áسؽ¬¡Ë¤òÍѤ¤¤Æ¡Ö²áµî¤ÎËÄÂç¤Ê·ÀÌóʸ½ñ¤«¤é¥Ñ¥¿¡¼¥ó¤ò³Ø½¬¤·¡¢´í¸±¥ï¡¼¥É¤ò¥Ï¥¤¥é¥¤¥È¤¹¤ë¡×¡Ö³ÎΨŪ¤Ë¥ê¥¹¥¯¤ò¿äÄꤹ¤ë¡×¤È¤¤¤¦»ÅÁȤߤ¬Ãæ¿´¤Ç¤¹¡£¤â¤Á¤í¤ó¤³¤ì¤ÏÍÍѤǤϤ¢¤ë¤â¤Î¤Î¡¢Ë¡Ì³¼Â̳¤Ë¤Ï¡Ö³ÎΨ50¡ó¤À¤«¤é¥»¡¼¥Õ¡×¤Ê¤É¤È¤¤¤¦Û£Ë椵¤¬µöÍƤµ¤ì¤Ê¤¤Îΰè¤â¿¡¹Â¸ºß¤·¤Þ¤¹¡£
¤½¤³¤ÇÃíÌܤµ¤ì¤ë¤Î¤¬¡¢Symbolic AI¡Êµ¹æŪAI¡Ë ¤È Deontic Logic¡Ê¥Ç¥ª¥ó¥Æ¥£¥Ã¥¯¡¦¥í¥¸¥Ã¥¯¡Ë ¤ÎÁȤ߹ç¤ï¤»¤Ç¤¹¡£¤³¤ì¤é¤Ï¡Ö³ÎΨ¡×¤Ç¤Ï¤Ê¤¯¡Ö¥ë¡¼¥ë¡×¤È¡ÖµÁ̳¡¦¶Ø»ß¡¦µö²Ä¡×¤Î³µÇ°¤ò¥Ù¡¼¥¹¤Ë¡¢¡ÈˡŪ¤ËÀµ¤·¤¤È½ÃÇ¡É ¤òµ¡³£¤Ë¼ÂÁõ¤¹¤ë¥¢¥×¥í¡¼¥Á¤È¤¤¤¨¤Þ¤¹¡£
Åý·×ŪAI¤Ï¡¢ÂçÎ̤Υǡ¼¥¿¤ò³Ø½¬¤·¤Æ¡ÖÎà»÷»öÎ㤬²¿¡ó¤Î³ÎΨ¤Ç¥ê¥¹¥¯¤òȼ¤¦¡×¤Ê¤É¡¢³ÎΨÏÀŪ¤Ëͽ¬¤¹¤ë¼êË¡¤Ç¤¹¡£¤¿¤È¤¨¤Ð¥á¡¼¥ë¤Î¥¹¥Ñ¥àȽÄê¤Ê¤É¤Ï¤³¤ì¤Ç½½Ê¬µ¡Ç½¤·¡¢¡Ö95¡ó¤Î³ÎΨ¤Ç¥¹¥Ñ¥à¡×¤È¿äÄꤵ¤ì¤ì¤Ð¼ÂÍѾå¤Ï¤Û¤ÜÌäÂꤢ¤ê¤Þ¤»¤ó¡£
¤·¤«¤·Ë¡Ì³¤Î¸½¾ì¤Ç¤Ï¡¢¡Ö60¡ó¤Î³ÎΨ¤Ç°ÂÁ´¤½¤¦¤À¤«¤é·ÀÌó¾ò·ï¤òËþ¤¿¤·¤Æ¤¤¤ë¤³¤È¤Ë¤·¤è¤¦¡×¤È¤Ï¤Ê¤é¤Ê¤¤¤Î¤¬¼Â¾ð¤Ç¤¹¡£µÁ̳¤ä¶Ø»ß»ö¹à¤¬ÌÀ¼¨¤µ¤ì¤Æ¤¤¤ë¾ì¹ç¡¢³ÎΨ¤Ç¤Ï¤Ê¤¯¡È¥ë¡¼¥ë¤ò¼é¤ë¡¦¼é¤é¤Ê¤¤¡É¤¬Ìä¤ï¤ì¤ë ¤«¤é¤Ç¤¹¡£
·ÀÌó½ñ¤Ë¡ÖÈëÌ©ÊÝ»ýµÁ̳¤òÉ餦¡×¤È½ñ¤«¤ì¤Æ¤¤¤ì¤Ð¡¢¤¿¤È¤¨³ÎΨ¤¬Ä㤯¤Æ¤â°ãÈ¿¤Ï°ãÈ¿¡£¤½¤³¤ËÅý·×¾å¤Î¡È¥°¥ì¡¼¡É¤ò¶´¤à;ÃϤϾ¯¤Ê¤¤¤È¤¤¤¨¤Þ¤¹¡£
¤³¤ÎÌäÂê¤ò²ò·è¤¹¤ë¤Î¤¬¡¢Symbolic AI¤ÈDeontic Logic¤Ç¤¹¡£
Symbolic AI ¤Ï¡¢¥ë¡¼¥ë¡Êµ¬Â§¡Ë¤òÌÀ¼¨Åª¤Ë¥×¥í¥°¥é¥à¤È¤·¤Æ½ñ¤¹þ¤à¼êË¡¤Ç¤¹¡£¤¿¤È¤¨¤Ð¸òḀ̈롼¥ë¤òAI¤Ë¼ÂÁõ¤¹¤ë¤È¤¡¢¡ÖÀÖ¿®¹æ¤Ç¤Ï¿Ê¤ó¤Ç¤Ï¤Ê¤é¤Ê¤¤¡Ê¶Ø»ß¡Ë¡×¡ÖÀÄ¿®¹æ¤Ç¤Ï¿Ê¤ó¤Ç¤â¤è¤¤¡Êµö²Ä¡Ë¡×¡Ö¶ÛµÞ¼ÖÍ褿¤éÆ»¤ò¾ù¤é¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡ÊµÁ̳¡Ë¡×¤Î¤è¤¦¤Ë¡¢¿Í´Ö¤¬ÄêµÁ¤·¤¿¡ÈÀµ¤·¤¤¥ë¡¼¥ë¡É ¤ò¤½¤Î¤Þ¤ÞÁȤ߹þ¤ß¤Þ¤¹¡£
Deontic Logic¡Ê¥Ç¥ª¥ó¥Æ¥£¥Ã¥¯¡¦¥í¥¸¥Ã¥¯¡Ë¤Ï¡¢¤³¤¦¤·¤¿¡ÖµÁ̳¡×¡Ö¶Ø»ß¡×¡Öµö²Ä¡×¤È¤¤¤Ã¤¿µ¬ÈÏŪ³µÇ°¤òÏÀÍý¼°¤Ç°·¤¦ÂηϤǤ¹¡£·ÀÌó¤äË¡Îá¤Ë½ñ¤«¤ì¤Æ¤¤¤ë¡Ö¡Á¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡×¡Ö¡Á¤·¤Æ¤Ï¤Ê¤é¤Ê¤¤¡×¤ò¡¢¥³¥ó¥Ô¥å¡¼¥¿¤Ç¤âÍý²ò²Äǽ¤Ê·Á¤ËÍî¤È¤·¹þ¤á¤ë¤¿¤á¡¢Ã±¤Ê¤ëYes/No¤Î¾ò·ïʬ´ô¤òĶ¤¨¤¿¡Èµ¬ÈÏŪ¥ë¡¼¥ë¡É ¤òµ¡³£¤Ë°·¤ï¤»¤ë¤³¤È¤¬¤Ç¤¤Þ¤¹¡£
¥Ö¥í¥Ã¥¯¥Á¥§¡¼¥ó¤ÎÉáµÚ¤Ëȼ¤¤¼ÂÍѲ½¤¬´üÂÔ¤µ¤ì¤Æ¤¤¿¥¹¥Þ¡¼¥È¥³¥ó¥È¥é¥¯¥È¤Ï¡¢¡Ö¤¢¤ë¾ò·ï¤¬Ëþ¤¿¤µ¤ì¤¿¤é¼«Æ°Åª¤Ë·ÀÌó¤ò¼Â¹Ô¤¹¤ë¡×¤È¤¤¤¦»ÅÁȤߤǤ¹¡£¤³¤ì¤Ï¶âÍ»·èºÑ¤Ê¤É¥·¥ó¥×¥ë¤Êʬ´ô¾ò·ï¤Î¼«Æ°²½¤Ë¤Ï¸þ¤¤¤Æ¤¤¤Þ¤¹¡£¤·¤«¤·¡¢Â¿Ãʳ¬¤ÎÎã³°½èÍý¤ä¡ÖºÛȽ½ê¤«¤é¤ÎÌ¿Î᤬¤¢¤ì¤ÐµÁ̳¤òÍ¥À褹¤ë¡×¡Ö²ñ¼Ò¤Î¼èÄùÌò²ñ¤¬¹ç°Õ¤¹¤ì¤ÐÅÓÃæ²òÌó¤òǧ¤á¤ë¡×¤Ê¤É¡¢¸½¼Â¤Î·ÀÌó¤¬ÆâÊñ¤¹¤ë¥°¥ì¡¼¥¾¡¼¥ó¤Ï°·¤¤¤Å¤é¤¤¤È¤¤¤¦·çÅÀ¤¬¤¢¤ê¤Þ¤·¤¿¡£
Symbolic AI¤ÈDeontic Logic¤ÎÁȤ߹ç¤ï¤»¤Ê¤é¡¢¡ÖÆÃÄê¤Î¾ò·ï²¼¤Ç¤Ï¤³¤Î¶Ø»ß¤ò°ì»þŪ¤Ë²ò½ü¤¹¤ë¡×¡ÖξÅö»ö¼Ô¤¬Ê̤εÁ̳¤òÍ¥À褹¤ë¡×¤Ê¤É¡¢Â¿¿ô¤ÎÎã³°¤¬ÏÀÍýŪ¤Ë¾×Æͤ¹¤ë¾ìÌ̤Ǥ⡢ͥÀè½ç°Ì¤äÎã³°µ¬Äê ¤ò¤¢¤é¤«¤¸¤á¥ë¡¼¥ë¤È¤·¤ÆÀßÄꤷ¡¢µ¡³£¤Ë²ò¼á¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ë¤Ê¤ê¤Þ¤¹¡£
¤¤¤ï¤Ð¡Ö0/1¤Îñ½ã¤Ê¾ò·ïʬ´ô¤òĶ¤¨¤ë¡×¡Ö³ÎΨ¤Ç¤Ï¤Ê¤¯¥ë¡¼¥ë¥Ù¡¼¥¹¤Ç¡¢Ê£¿ô¤ÎÁªÂò»è¤«¤éˡŪ¤ËÀµ¤·¤¤¤â¤Î¤òƳ¤½Ð¤¹¡×Êý¸þ¤Ø³ÈÄ¥¤Ç¤¤ë¤Î¤Ç¤¹¡£
´ë¶Èˡ̳¤Ç¤Ï¡¢NDA¤Î¤è¤¦¤Ë¡Ö´ðËܤ϶ػߤÀ¤¬¸¢¸Â¼Ô¤¬Ç§¤á¤ë¾ì¹ç¤ÏÎã³°½èÍý¤òµö²Ä¡×¡ÖË¡Îá½å¼é¤Î¤¿¤á¤Ë¤ÏÊ̤εÁ̳¤¬Í¥Àè¡×¤Ê¤É¡¢Æó½Å»°½Å¤Î¥ë¡¼¥ë¤¬¹þ¤ßÆþ¤Ã¤¿·ÀÌó¤ä¼ÒÆ⵬Äø¤¬Åö¤¿¤êÁ°¤Ç¤¹¡£³Ø¹»¤Î½ÉÂê¤ÎÎã¤ËÎ㤨¤ë¤Ê¤é¡¢¡ÖËèÆü¤ä¤ë¤Î¤¬µÁ̳¡¢¤¿¤À¤·Éµ¤¤Î¾ì¹ç¤Ï´ü¸Â¤ò±äŤ·¤Æ¤è¤¤¡×¤Î¤è¤¦¤Ë¡¢¤½¤Î»þ¡¹¤ÎÍ¥Àè½ç°Ì¤Ë±þ¤¸¤¿¡¢½ÀÆð¤Ê±¿ÍѤ¬µá¤á¤é¤ì¤Þ¤¹¡£
Symbolic AI¤ÈDeontic Logic¤ò»È¤¨¤Ð¡¢¡Ö¶Ø»ß¤òÇˤë¤Û¤É¤ÎÎã³°Í׷郎À¸¤¸¤¿¾ì¹ç¤Ëµö²Ä¤¬È¯Æ°¤·¡¢¤µ¤é¤Ë¤½¤Îµö²Ä¤ÏÊ̤εÁ̳¤è¤êÍ¥À褵¤ì¤ë¡×¤È¤¤¤¦¥Þ¥ë¥Á¥¹¥Æ¥Ã¥×¤Î¿äÏÀ¤òµ¡³£¤Ë¹Ô¤ï¤»¤é¤ì¤ë²ÄǽÀ¤¬½Ð¤Æ¤¤Þ¤¹¡£¤³¤ì¤Ë¤è¤Ã¤Æ¡ÖˡŪ¤ËÀµ¤·¤¤¡×¤«¤Ä¡Ö´ë¶ÈÆ⵬Äø¤È¤âÀ°¹çÀ¤¬¤¢¤ë¡×ȽÃǤò¼«Æ°¥µ¥Ý¡¼¥È¤Ç¤¤ë¤è¤¦¤Ë¤Ê¤ê¤Þ¤¹¡£
Åý·×¡¦³ÎΨ¥Ù¡¼¥¹¤ÎAI¤Ï¡¢ÂçÎ̤Υǡ¼¥¿¤ò¿×®¤ËʬÀϤ¹¤ë¶¯ÎϤÊÉð´ï¤Ç¤¹¤¬¡¢Ë¡Ì³¤Î¸½¾ì¤Ç¤Ï¡Ö³ÎΨŪ¤ËȾʬOK¡×¤Ç¤ÏºÑ¤Þ¤µ¤ì¤Ê¤¤¾õ¶·¤¬Â¿¡¹¤¢¤ê¤Þ¤¹¡£
Symbolic AI ¤È Deontic Logic ¤ò¶î»È¤·¡¢0/1¤Î¾ò·ïʬ´ô¤ä³ÎΨÏÀ¤òĶ¤¨¤¿¡ÖµÁ̳¡¦¶Ø»ß¡¦µö²Ä¡×¡ÖÎã³°¤äÍ¥Àè½ç°Ì¤Î¿ÁØŪ´Ø·¸¡×¤òµ¡³£¤ËÍý²ò¤µ¤»¤ë¼è¤êÁȤߥ¢¥×¥í¡¼¥Á¤Ï¡¢¥¹¥Þ¡¼¥È¥³¥ó¥È¥é¥¯¥È¤Î¸Â³¦¤òÊä´°¤·¡¢´ë¶Èˡ̳¤Ë¤ª¤±¤ëÊ£»¨¤Ê·ÀÌó½ñ¤ä¼ÒÆâ¥ë¡¼¥ë¤ÎÌ·½â¤ò²ò¾Ã¤·¤¦¤ë¤È¹Í¤¨¤Þ¤¹¡£
¡¡
¤·¤«¤·¡¢¤½¤Î¿¤¯¤ÏÅý·×Ū¼êË¡¡Êµ¡³£³Ø½¬¡¦¿¼Áسؽ¬¡Ë¤òÍѤ¤¤Æ¡Ö²áµî¤ÎËÄÂç¤Ê·ÀÌóʸ½ñ¤«¤é¥Ñ¥¿¡¼¥ó¤ò³Ø½¬¤·¡¢´í¸±¥ï¡¼¥É¤ò¥Ï¥¤¥é¥¤¥È¤¹¤ë¡×¡Ö³ÎΨŪ¤Ë¥ê¥¹¥¯¤ò¿äÄꤹ¤ë¡×¤È¤¤¤¦»ÅÁȤߤ¬Ãæ¿´¤Ç¤¹¡£¤â¤Á¤í¤ó¤³¤ì¤ÏÍÍѤǤϤ¢¤ë¤â¤Î¤Î¡¢Ë¡Ì³¼Â̳¤Ë¤Ï¡Ö³ÎΨ50¡ó¤À¤«¤é¥»¡¼¥Õ¡×¤Ê¤É¤È¤¤¤¦Û£Ë椵¤¬µöÍƤµ¤ì¤Ê¤¤Îΰè¤â¿¡¹Â¸ºß¤·¤Þ¤¹¡£
¤½¤³¤ÇÃíÌܤµ¤ì¤ë¤Î¤¬¡¢Symbolic AI¡Êµ¹æŪAI¡Ë ¤È Deontic Logic¡Ê¥Ç¥ª¥ó¥Æ¥£¥Ã¥¯¡¦¥í¥¸¥Ã¥¯¡Ë ¤ÎÁȤ߹ç¤ï¤»¤Ç¤¹¡£¤³¤ì¤é¤Ï¡Ö³ÎΨ¡×¤Ç¤Ï¤Ê¤¯¡Ö¥ë¡¼¥ë¡×¤È¡ÖµÁ̳¡¦¶Ø»ß¡¦µö²Ä¡×¤Î³µÇ°¤ò¥Ù¡¼¥¹¤Ë¡¢¡ÈˡŪ¤ËÀµ¤·¤¤È½ÃÇ¡É ¤òµ¡³£¤Ë¼ÂÁõ¤¹¤ë¥¢¥×¥í¡¼¥Á¤È¤¤¤¨¤Þ¤¹¡£
Åý·×ŪAI¤Î¸Â³¦¡½¡Ö³ÎΨ¡×¤ËÍê¤ì¤Ê¤¤Ë¡Ì³¤ÎÀ¤³¦
Åý·×ŪAI¤Ï¡¢ÂçÎ̤Υǡ¼¥¿¤ò³Ø½¬¤·¤Æ¡ÖÎà»÷»öÎ㤬²¿¡ó¤Î³ÎΨ¤Ç¥ê¥¹¥¯¤òȼ¤¦¡×¤Ê¤É¡¢³ÎΨÏÀŪ¤Ëͽ¬¤¹¤ë¼êË¡¤Ç¤¹¡£¤¿¤È¤¨¤Ð¥á¡¼¥ë¤Î¥¹¥Ñ¥àȽÄê¤Ê¤É¤Ï¤³¤ì¤Ç½½Ê¬µ¡Ç½¤·¡¢¡Ö95¡ó¤Î³ÎΨ¤Ç¥¹¥Ñ¥à¡×¤È¿äÄꤵ¤ì¤ì¤Ð¼ÂÍѾå¤Ï¤Û¤ÜÌäÂꤢ¤ê¤Þ¤»¤ó¡£
¤·¤«¤·Ë¡Ì³¤Î¸½¾ì¤Ç¤Ï¡¢¡Ö60¡ó¤Î³ÎΨ¤Ç°ÂÁ´¤½¤¦¤À¤«¤é·ÀÌó¾ò·ï¤òËþ¤¿¤·¤Æ¤¤¤ë¤³¤È¤Ë¤·¤è¤¦¡×¤È¤Ï¤Ê¤é¤Ê¤¤¤Î¤¬¼Â¾ð¤Ç¤¹¡£µÁ̳¤ä¶Ø»ß»ö¹à¤¬ÌÀ¼¨¤µ¤ì¤Æ¤¤¤ë¾ì¹ç¡¢³ÎΨ¤Ç¤Ï¤Ê¤¯¡È¥ë¡¼¥ë¤ò¼é¤ë¡¦¼é¤é¤Ê¤¤¡É¤¬Ìä¤ï¤ì¤ë ¤«¤é¤Ç¤¹¡£
·ÀÌó½ñ¤Ë¡ÖÈëÌ©ÊÝ»ýµÁ̳¤òÉ餦¡×¤È½ñ¤«¤ì¤Æ¤¤¤ì¤Ð¡¢¤¿¤È¤¨³ÎΨ¤¬Ä㤯¤Æ¤â°ãÈ¿¤Ï°ãÈ¿¡£¤½¤³¤ËÅý·×¾å¤Î¡È¥°¥ì¡¼¡É¤ò¶´¤à;ÃϤϾ¯¤Ê¤¤¤È¤¤¤¨¤Þ¤¹¡£
¤³¤ÎÌäÂê¤ò²ò·è¤¹¤ë¤Î¤¬¡¢Symbolic AI¤ÈDeontic Logic¤Ç¤¹¡£
Symbolic AI¤ÈDeontic Logic¤òÁȤ߹ç¤ï¤»¥¹¥Þ¡¼¥È¥³¥ó¥È¥é¥¯¥È¤ÎÊÉ¡½0/1¤Î¾ò·ïʬ´ô¤òĶ¤¨¤ë
Symbolic AI ¤Ï¡¢¥ë¡¼¥ë¡Êµ¬Â§¡Ë¤òÌÀ¼¨Åª¤Ë¥×¥í¥°¥é¥à¤È¤·¤Æ½ñ¤¹þ¤à¼êË¡¤Ç¤¹¡£¤¿¤È¤¨¤Ð¸òḀ̈롼¥ë¤òAI¤Ë¼ÂÁõ¤¹¤ë¤È¤¡¢¡ÖÀÖ¿®¹æ¤Ç¤Ï¿Ê¤ó¤Ç¤Ï¤Ê¤é¤Ê¤¤¡Ê¶Ø»ß¡Ë¡×¡ÖÀÄ¿®¹æ¤Ç¤Ï¿Ê¤ó¤Ç¤â¤è¤¤¡Êµö²Ä¡Ë¡×¡Ö¶ÛµÞ¼ÖÍ褿¤éÆ»¤ò¾ù¤é¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡ÊµÁ̳¡Ë¡×¤Î¤è¤¦¤Ë¡¢¿Í´Ö¤¬ÄêµÁ¤·¤¿¡ÈÀµ¤·¤¤¥ë¡¼¥ë¡É ¤ò¤½¤Î¤Þ¤ÞÁȤ߹þ¤ß¤Þ¤¹¡£
Deontic Logic¡Ê¥Ç¥ª¥ó¥Æ¥£¥Ã¥¯¡¦¥í¥¸¥Ã¥¯¡Ë¤Ï¡¢¤³¤¦¤·¤¿¡ÖµÁ̳¡×¡Ö¶Ø»ß¡×¡Öµö²Ä¡×¤È¤¤¤Ã¤¿µ¬ÈÏŪ³µÇ°¤òÏÀÍý¼°¤Ç°·¤¦ÂηϤǤ¹¡£·ÀÌó¤äË¡Îá¤Ë½ñ¤«¤ì¤Æ¤¤¤ë¡Ö¡Á¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡×¡Ö¡Á¤·¤Æ¤Ï¤Ê¤é¤Ê¤¤¡×¤ò¡¢¥³¥ó¥Ô¥å¡¼¥¿¤Ç¤âÍý²ò²Äǽ¤Ê·Á¤ËÍî¤È¤·¹þ¤á¤ë¤¿¤á¡¢Ã±¤Ê¤ëYes/No¤Î¾ò·ïʬ´ô¤òĶ¤¨¤¿¡Èµ¬ÈÏŪ¥ë¡¼¥ë¡É ¤òµ¡³£¤Ë°·¤ï¤»¤ë¤³¤È¤¬¤Ç¤¤Þ¤¹¡£
¥Ö¥í¥Ã¥¯¥Á¥§¡¼¥ó¤ÎÉáµÚ¤Ëȼ¤¤¼ÂÍѲ½¤¬´üÂÔ¤µ¤ì¤Æ¤¤¿¥¹¥Þ¡¼¥È¥³¥ó¥È¥é¥¯¥È¤Ï¡¢¡Ö¤¢¤ë¾ò·ï¤¬Ëþ¤¿¤µ¤ì¤¿¤é¼«Æ°Åª¤Ë·ÀÌó¤ò¼Â¹Ô¤¹¤ë¡×¤È¤¤¤¦»ÅÁȤߤǤ¹¡£¤³¤ì¤Ï¶âÍ»·èºÑ¤Ê¤É¥·¥ó¥×¥ë¤Êʬ´ô¾ò·ï¤Î¼«Æ°²½¤Ë¤Ï¸þ¤¤¤Æ¤¤¤Þ¤¹¡£¤·¤«¤·¡¢Â¿Ãʳ¬¤ÎÎã³°½èÍý¤ä¡ÖºÛȽ½ê¤«¤é¤ÎÌ¿Î᤬¤¢¤ì¤ÐµÁ̳¤òÍ¥À褹¤ë¡×¡Ö²ñ¼Ò¤Î¼èÄùÌò²ñ¤¬¹ç°Õ¤¹¤ì¤ÐÅÓÃæ²òÌó¤òǧ¤á¤ë¡×¤Ê¤É¡¢¸½¼Â¤Î·ÀÌó¤¬ÆâÊñ¤¹¤ë¥°¥ì¡¼¥¾¡¼¥ó¤Ï°·¤¤¤Å¤é¤¤¤È¤¤¤¦·çÅÀ¤¬¤¢¤ê¤Þ¤·¤¿¡£
Symbolic AI¤ÈDeontic Logic¤ÎÁȤ߹ç¤ï¤»¤Ê¤é¡¢¡ÖÆÃÄê¤Î¾ò·ï²¼¤Ç¤Ï¤³¤Î¶Ø»ß¤ò°ì»þŪ¤Ë²ò½ü¤¹¤ë¡×¡ÖξÅö»ö¼Ô¤¬Ê̤εÁ̳¤òÍ¥À褹¤ë¡×¤Ê¤É¡¢Â¿¿ô¤ÎÎã³°¤¬ÏÀÍýŪ¤Ë¾×Æͤ¹¤ë¾ìÌ̤Ǥ⡢ͥÀè½ç°Ì¤äÎã³°µ¬Äê ¤ò¤¢¤é¤«¤¸¤á¥ë¡¼¥ë¤È¤·¤ÆÀßÄꤷ¡¢µ¡³£¤Ë²ò¼á¤µ¤»¤ë¤³¤È¤¬²Äǽ¤Ë¤Ê¤ê¤Þ¤¹¡£
¤¤¤ï¤Ð¡Ö0/1¤Îñ½ã¤Ê¾ò·ïʬ´ô¤òĶ¤¨¤ë¡×¡Ö³ÎΨ¤Ç¤Ï¤Ê¤¯¥ë¡¼¥ë¥Ù¡¼¥¹¤Ç¡¢Ê£¿ô¤ÎÁªÂò»è¤«¤éˡŪ¤ËÀµ¤·¤¤¤â¤Î¤òƳ¤½Ð¤¹¡×Êý¸þ¤Ø³ÈÄ¥¤Ç¤¤ë¤Î¤Ç¤¹¡£
´ë¶Èˡ̳¤Ø¤Î¥á¥ê¥Ã¥È¡½Îã³°¤ÈÍ¥Àè½ç°Ì¤ò¤µ¤Ð¤¯AI
´ë¶Èˡ̳¤Ç¤Ï¡¢NDA¤Î¤è¤¦¤Ë¡Ö´ðËܤ϶ػߤÀ¤¬¸¢¸Â¼Ô¤¬Ç§¤á¤ë¾ì¹ç¤ÏÎã³°½èÍý¤òµö²Ä¡×¡ÖË¡Îá½å¼é¤Î¤¿¤á¤Ë¤ÏÊ̤εÁ̳¤¬Í¥Àè¡×¤Ê¤É¡¢Æó½Å»°½Å¤Î¥ë¡¼¥ë¤¬¹þ¤ßÆþ¤Ã¤¿·ÀÌó¤ä¼ÒÆ⵬Äø¤¬Åö¤¿¤êÁ°¤Ç¤¹¡£³Ø¹»¤Î½ÉÂê¤ÎÎã¤ËÎ㤨¤ë¤Ê¤é¡¢¡ÖËèÆü¤ä¤ë¤Î¤¬µÁ̳¡¢¤¿¤À¤·Éµ¤¤Î¾ì¹ç¤Ï´ü¸Â¤ò±äŤ·¤Æ¤è¤¤¡×¤Î¤è¤¦¤Ë¡¢¤½¤Î»þ¡¹¤ÎÍ¥Àè½ç°Ì¤Ë±þ¤¸¤¿¡¢½ÀÆð¤Ê±¿ÍѤ¬µá¤á¤é¤ì¤Þ¤¹¡£
Symbolic AI¤ÈDeontic Logic¤ò»È¤¨¤Ð¡¢¡Ö¶Ø»ß¤òÇˤë¤Û¤É¤ÎÎã³°Í׷郎À¸¤¸¤¿¾ì¹ç¤Ëµö²Ä¤¬È¯Æ°¤·¡¢¤µ¤é¤Ë¤½¤Îµö²Ä¤ÏÊ̤εÁ̳¤è¤êÍ¥À褵¤ì¤ë¡×¤È¤¤¤¦¥Þ¥ë¥Á¥¹¥Æ¥Ã¥×¤Î¿äÏÀ¤òµ¡³£¤Ë¹Ô¤ï¤»¤é¤ì¤ë²ÄǽÀ¤¬½Ð¤Æ¤¤Þ¤¹¡£¤³¤ì¤Ë¤è¤Ã¤Æ¡ÖˡŪ¤ËÀµ¤·¤¤¡×¤«¤Ä¡Ö´ë¶ÈÆ⵬Äø¤È¤âÀ°¹çÀ¤¬¤¢¤ë¡×ȽÃǤò¼«Æ°¥µ¥Ý¡¼¥È¤Ç¤¤ë¤è¤¦¤Ë¤Ê¤ê¤Þ¤¹¡£
Åý·×¡¦³ÎΨ¥Ù¡¼¥¹¤ÎAI¤Ï¡¢ÂçÎ̤Υǡ¼¥¿¤ò¿×®¤ËʬÀϤ¹¤ë¶¯ÎϤÊÉð´ï¤Ç¤¹¤¬¡¢Ë¡Ì³¤Î¸½¾ì¤Ç¤Ï¡Ö³ÎΨŪ¤ËȾʬOK¡×¤Ç¤ÏºÑ¤Þ¤µ¤ì¤Ê¤¤¾õ¶·¤¬Â¿¡¹¤¢¤ê¤Þ¤¹¡£
Symbolic AI ¤È Deontic Logic ¤ò¶î»È¤·¡¢0/1¤Î¾ò·ïʬ´ô¤ä³ÎΨÏÀ¤òĶ¤¨¤¿¡ÖµÁ̳¡¦¶Ø»ß¡¦µö²Ä¡×¡ÖÎã³°¤äÍ¥Àè½ç°Ì¤Î¿ÁØŪ´Ø·¸¡×¤òµ¡³£¤ËÍý²ò¤µ¤»¤ë¼è¤êÁȤߥ¢¥×¥í¡¼¥Á¤Ï¡¢¥¹¥Þ¡¼¥È¥³¥ó¥È¥é¥¯¥È¤Î¸Â³¦¤òÊä´°¤·¡¢´ë¶Èˡ̳¤Ë¤ª¤±¤ëÊ£»¨¤Ê·ÀÌó½ñ¤ä¼ÒÆâ¥ë¡¼¥ë¤ÎÌ·½â¤ò²ò¾Ã¤·¤¦¤ë¤È¹Í¤¨¤Þ¤¹¡£
¡¡