非单调逻辑是近年来人工智能领域的一个活跃研究分支,是人工智能进一步发展的核心问题之一。人工智能研究的发展,迫使人们去面对人的常识和常识推理的形式化问题。
辩证逻辑 形而上学 印度逻辑史 归结原理 法律论证 中国逻辑史 命题逻辑 缺省逻辑 谓词逻辑 SHOW LESS SHOW MORE (9)