%0 Journal Article
%T A QUANTIFICATIONAL LOGIC OF CONTEXT AND ITS CIRCUMSCRIPTION THEORY<br>一个带量词的context逻辑及其限制推理
%A LIU Haiyan
%A CHEN Huowang
%A WANG Bingshan
%A <br>刘海燕
%A 陈火旺
%A 王兵山
%J 软件学报
%D 1997
%I 
%X A new QLC(quantificational logic of context), is defined in this paper, which embodies more logical properties of context. Then cases when QLC has equality and when domain-specific axioms are stated in different context sequences are discussed, McCarthy s circumseription theory is also introduced into QLC.
%K context
%K 人工智能
%K 多类逻辑
%K 非单调推理
%K 限制理论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=92F5B83E4038B7AD9B4581DFA6A3880E&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=F3090AE9B60B7ED1&sid=DBEE434FCBFED297&eid=872F6C582A30BA57&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=14