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

Institutions

Systems

People

The World-Wide Web Virtual Library

Journals