应用于人工智能的逻辑学  

作　　者：Ｒ．特纳 蔡曙山 

出　　处：《世界哲学》1997年第2期41-50,20,共11页World Philosophy

关 键 词：人工智能 经典逻辑 时间逻辑 三值逻辑 非标准逻辑 直觉主义逻辑 机器人 模态逻辑 公理模式 程序语言 

分 类 号：B81[哲学宗教—逻辑学]