%0 Journal Article %T 超协调逻辑(Ⅳ)—非单调超协调逻辑研究 %A 林作铨 %A 李未 %J 计算机科学 %D 1995 %I %X 这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义,最后,讨论了超协调逻辑的应用,特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。 %K 超协调逻辑 %K 非单调逻辑 %K 人工智能 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8037B7534449A20E7D40FCDB8575DC40&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=CA4FD0336C81A37A&sid=E158A972A605785F&eid=9CF7A0430CBB2DFD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=0