Formal Reasoning
AITopics : Logic & Formal Reasoning : AAAI : ³í¸®´Â Ç¥ÁØÀûÀ̸ç Á¤È®ÇÑ Ãß·ÐÀ» ¹¦»çÇÏ·Á´Â °ÍÀÌ´Ù. AI ¿Í ÀÎÁö½É¸®ÇÐ, ÀÎÁö°úÇп¡¼ÀÇ º¸ÆíÀûÀÎ ¹ÏÀ½Àº, Àΰ£ÀÌ »ý°¢ÇÏ´Â ¹æ¹ýÀ» Ç¥ÇöÇÏ´Â ÀýÂ÷µéÀÌ ÀÖ´Ù´Â °ÍÀ̸ç, ±×°ÍÀº ³í¸®ÇüÀÇ ±ÔÄ¢(¾Ë°í¸®Áò) À» Á÷Á¢»ç¿ëÇϰųª ³í¸®Àû ¿ø¸®¸¦ ±¸ÇöÇÏ´Â ´Ù¸¥ ¹æ¹ýÀ» ãÀ½À¸·Î½á ÄÄÇ»Åͻ󿡼 ±¸ÇöµÉ ¼ö ÀÖ´Ù. ÀÌ·¯ÇÑ °æ¿ì Ã߷п¡ ´ëÇÑ ¿¬±¸´Â ¹Ù·Î ÀÚ¿¬ÀûÀÎ (natural) ³í¸®¿¡ ´ëÇÑ ¿¬±¸¸¦ ÀǹÌÇÑ´Ù.
³í¸® (Logic) Ãß·Ð (Reasoning) ÀΰøÁö´É (Artificial Intelligence) ÀÎÁö°úÇÐ (Cognitive Science) ÀÎÁö ½É¸®ÇÐ (Cognitive Psychology)
Formal Reasoning Group : Stanford : About
Computer Aided Formal Reasoning Group