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