![对角元素与不同复杂度系统的关系_对角线论文]()
对角线元素与不同复杂度的系统的关系，本文主要内容关键词为：对角线论文,复杂度论文,元素论文,关系论文,系统论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。对角...
![广义分类器理论综述_自然语言论文]()
广义量词理论述评，本文主要内容关键词为：量词论文,述评论文,广义论文,理论论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。通常，现代逻辑只研究和运用两类量词：...
![现代逻辑思维方法与科学视野--来自爱因斯坦的一封信_科学论文]()
现代逻辑的思想方法与科学的眼界——从爱因斯坦的一封信谈起，本文主要内容关键词为：爱因斯坦论文,眼界论文,封信论文,逻辑论文,思想论文，此文献不代表本站观点，内容供学术参考，文章...
![奎因与逻辑的观念-访清华大学王路教授论文]()
奎因与逻辑的观念——访清华大学王路教授王路阴昭晖摘要：奎因是20世纪西方最伟大的哲学家之一。逻辑的理论和方法是奎因哲学的基础。他强调一阶逻辑的重要性，甚至认为模态逻辑不属于逻辑...
![逻辑：表现力与复杂性的平衡_集合论论文]()
逻辑：表达力与复杂性之间的平衡，本文主要内容关键词为：复杂性论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。中图分类号：B81文献标志码：A文章编号...
![认识行动的一阶认知逻辑分析_一阶逻辑论文]()
知道行动的一种一阶认知逻辑分析，本文主要内容关键词为：认知论文,逻辑论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。[中图分类号]B81“知识”一直是哲学和认...
![基于格蕴涵代数的格值逻辑系统及其自动推理的研究]()
陈树伟[1]2005年在《基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究》文中研究说明不确定性推理是人工智能研究领域中一个重要的研究方向,在逻辑的框架下研究不确定性推理是一种科学的研究方法。格值逻辑是一种重要的非经典逻辑,它不仅能刻画全序性信息,而且还能刻画非全序(即不可比较)的不确...
![一类n值命题逻辑中命题的真度理论及近似推理理论]()
秦晓燕[1]2015年在《一阶逻辑系统的计量化研究》文中进行了进一步梳理计量逻辑是研究逻辑理论程度化的一个重要研究方向。按照研究对象的不同,可以分为计量命题逻辑与计量一阶逻辑。其中关于计量命题逻辑的理论研究已有大量研究成果,而关于计量一阶逻辑的理论研究却只有凤毛麟角。本文在一阶逻辑系统中从整体与局部...
