发表服务
B摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。
命题逻辑经典逻辑逻辑谓词逻辑缺省逻辑非经典逻辑非单调逻辑模糊逻辑等等归结原理是一种主要基于谓词逻辑知识表示的推理方法。.命题逻辑有一定的局限性.例如:不能表达这样的事实”当移动木块B时,说它就是on_B_C所断言的木块C上的木块.命题演算中...
从非形式逻辑角度看法律推理55推理一些积极的特征，并没有说明推理的其他性质以及适用范围，它不一定在各方面都一样好。.况且，并不是所有好的推理都是有效的，比如，归纳推理是好的，但它们不是有效的，它们不能保证结论的真实性，只能产生一种...
目前,关于非单调逻辑、类比逻辑、多值逻辑和模糊逻辑等非经典逻辑的研究才刚刚起步,许多制约人工智能发展的因素仍有待于解决，因而在人工智能某些方面的研究进展还比较缓慢,这些技术上的突破，还有赖于逻辑学研究上的突破。
子课题四基于非单调逻辑，特别是形式论辩理论和可废止逻辑，研究了主体信念修正和行动决策理论，构建相应的理论模型，具体包括：①信息正当性评估机制；②主体信念修正理论；③主体行动决策模型。目前，在这一方向上已在国内外重要...
子课题四基于非单调逻辑，特别是形式论辩理论和可废止逻辑，研究了主体信念修正和行动决策理论，构建相应的理论模型，具体包括：①信息正当性评估机制；②主体信念修正理论；③主体行动决策模型。目前，在这一方向上已在国内外重要...
“基于逻辑视域的认知研究”中期检查报告“基于逻辑视域的认知研究”中期检查报告--全国哲学社会科学规划办公室--人民网-全国哲学社会科学规划办公室网站2014年02月21日08:43来源：全国哲学社会科学规划办公室…
对高斯消元法的改进以及在工程上的应用.doc,对高斯消元法的改进以及在工程上的应用论文关键词：高斯消元法非单调逻辑超协调逻辑约束论文摘要：传统的高斯消元法只能处理多元一次方程组满秩的情况,本文应用人工智能中非单调逻辑和超协调逻辑的思想,通过对高斯消元法的改进,使其对所有...
关于逻辑、语言和认知的对话——访约翰·范本特姆教授.约翰•范本特姆(JohanvanBenthem)教授是当今最著名的逻辑学家之一，他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。.从1970年代到现在，他撰写了6部专著和约300篇学术论文，主编了4部具有...
B摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。
命题逻辑经典逻辑逻辑谓词逻辑缺省逻辑非经典逻辑非单调逻辑模糊逻辑等等归结原理是一种主要基于谓词逻辑知识表示的推理方法。.命题逻辑有一定的局限性.例如:不能表达这样的事实”当移动木块B时,说它就是on_B_C所断言的木块C上的木块.命题演算中...
从非形式逻辑角度看法律推理55推理一些积极的特征，并没有说明推理的其他性质以及适用范围，它不一定在各方面都一样好。.况且，并不是所有好的推理都是有效的，比如，归纳推理是好的，但它们不是有效的，它们不能保证结论的真实性，只能产生一种...
目前,关于非单调逻辑、类比逻辑、多值逻辑和模糊逻辑等非经典逻辑的研究才刚刚起步,许多制约人工智能发展的因素仍有待于解决，因而在人工智能某些方面的研究进展还比较缓慢,这些技术上的突破，还有赖于逻辑学研究上的突破。
子课题四基于非单调逻辑，特别是形式论辩理论和可废止逻辑，研究了主体信念修正和行动决策理论，构建相应的理论模型，具体包括：①信息正当性评估机制；②主体信念修正理论；③主体行动决策模型。目前，在这一方向上已在国内外重要...
子课题四基于非单调逻辑，特别是形式论辩理论和可废止逻辑，研究了主体信念修正和行动决策理论，构建相应的理论模型，具体包括：①信息正当性评估机制；②主体信念修正理论；③主体行动决策模型。目前，在这一方向上已在国内外重要...
“基于逻辑视域的认知研究”中期检查报告“基于逻辑视域的认知研究”中期检查报告--全国哲学社会科学规划办公室--人民网-全国哲学社会科学规划办公室网站2014年02月21日08:43来源：全国哲学社会科学规划办公室…
对高斯消元法的改进以及在工程上的应用.doc,对高斯消元法的改进以及在工程上的应用论文关键词：高斯消元法非单调逻辑超协调逻辑约束论文摘要：传统的高斯消元法只能处理多元一次方程组满秩的情况,本文应用人工智能中非单调逻辑和超协调逻辑的思想,通过对高斯消元法的改进,使其对所有...
关于逻辑、语言和认知的对话——访约翰·范本特姆教授.约翰•范本特姆(JohanvanBenthem)教授是当今最著名的逻辑学家之一，他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。.从1970年代到现在，他撰写了6部专著和约300篇学术论文，主编了4部具有...
发表服务