%0 Journal Article %T 一个带量词的context逻辑及其限制推理 %A 刘海燕 %A 王兵山 %A 陈火旺 %J - %D 1997 %X 本文定义了一个新的context逻辑——QLC(quantificationallogicofcontext),它能反映context的更多的逻辑性质.文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理,并引入了McCarthy的限制理论 %K context 人工智能 多类逻辑 非单调推理 限制理论 %U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19971009&flag=1