程度化的格值一阶逻辑及不确定性推理研究

1项目的研究意义人工智能的主要目标在于研究用机器来模仿和执行人脑的某些智力功能,并发展相关的理论和技术。人类主要的思维活动包括推理、判断和决策,这些思维活动反映了人脑所具有的某些智力功能,而这些智力功能大都包含着推理,因此人工智能研究的核心问题之一应该是使     

道德语言、规定语言和祈使句——黑尔对道德语言的分析

黑尔认为,伦理学的研究就是对道德语言的逻辑研究。道德语言是一种规定语言,其功能是指导我们的行为,所以道德语言的模糊歧义不仅会造成理论上的困惑,更会引起实践上的混乱。因此,道德语言的明晰十分重要。黑尔对道德语言的分析主要立足于对描述语言和规定语言的比较以及对道德判断和祈使句的比较。按照人们一般的思维模式,文章将从道德概念的分析开始,进而到道德判断,再到道德推理,介评黑尔对道德语言的分析。     

OWL DL的知识表示与推理研究

语义Web的逻辑基础是描述逻辑,其出现的目的就是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。探讨了OWL DL作为知识表示形式的优点;通过实例验证了OWL DL关于描述逻辑的推理。     

基于实例推理的复杂产品设计实例的可适应性重用

针对目前复杂产品不能很好地以低成本快速地响应客户的个性化需求问题,提出将可适应设计方法学应用于复杂产品的快速设计过程。围绕可适应性重用实例推理技术进行了研究:基于最近邻检索法,采用粗集理论和层次分析法相结合的组合权重确定法,对相似实例进行了检索,并有效考虑到了属性值为点值和区间值等情况。最后以液压机产品为例,具体阐述了可适应重用实现过程。结果表明,该方法实现了企业设计知识的有效重用,显著提高了企业快速响应市场的能力。     

HPS在美国的创立及其对科学发现方法论的贡献

近年来,HPS,即科学史和科学哲学研究领域在国内学界受到更多的重视。回顾HPS的发展,哲学家汉森为HPS事业在美国的创立做出了奠基性的贡献,在这之后他的科学哲学理念又对当代科学哲学以及科学发现方法论产生了深远的影响。全文在考察汉森创立HPS事业的特殊历史背景的基础上,深入探讨了汉森分外强调的注重科学史考察的科学哲学研究理念对当代科学发现逻辑的复兴以及对西蒙的机器发现研究所产生的影响。     

实在论、反实在论与准实在论——当代西方解释休谟因果观的三种立场

围绕着休谟是否承认外部世界中存在着因果关系这个问题,当代西方休谟研究者形成了三种立场:实在论、反实在论与准实在论。实在论者认为休谟是一位因果实在论者,休谟主张外部世界中存在着因果力量和必然联系,对休谟的因果观作出了新的解释;反实在论者坚持传统的观点,从休谟的观念理论及其复现原则出发论证了休谟否认客观因果关系的存在;而准实在论者则试图调和实在论与反实在论之争,以投射论来说明休谟的因果观介于实在论与反实在论之间。实在论、反实在论与准实在论都缺乏根本的说服力,但其探索和争论深化了人们对休谟因果观的研究和理解,推动了休谟哲学的研究。     

基于核主元分析和贝叶斯推理的建设工程项目质量状态在线诊断模型及其仿真北大核心CSSCI

针对建设工程项目质量控制过程的随机变化性,运用核主元分析和贝叶斯推理的方法,建立了工程质量状态在线诊断的数学模型;借鉴现代工业控制技术与手段,通过实时连续采集质量信息、提取信息特征、识别特征异常以及估计异常模式,实现了对质量异常状态的在线监测与模式识别。利用Matlab对某工程实例进行了常态下的仿真试验。分析结果表明,该模型不仅可以快速响应突发性质量异常,而且能够提前预警累积性质量异常,还能以概率形式诊断出异常状态所属的模式类型。     

AdaBoost分类问题的理论推导

为解决AdaBoost算法在二分类问题及多分类问题上缺乏共同的理论基础,算法系列的系统性难以得到理论诠释这一问题,首先,从算法思想的层面对AdaBoost算法与最优贝叶斯推理的关系进行了探讨;然后对AdaBoost算法的训练流程及相关参量进行了定量分析;最后从基本不等式定理入手,重点推导了AdaBoost算法由二分类问...     

基于案例推理和数据融合的煤与瓦斯突出预测

为了实现对煤与瓦斯突出快速、准确和动态预测,确保煤矿安全生产,考虑影响煤与瓦斯突出多种因素,提出了一种基于案例推理和数据融合技术的煤与瓦斯突出预测方法.利用基于均值的分批估计融合方法对判别煤与瓦斯突出指标的多传感器数据进行处理以获取更为准确、可靠的数据以提高预测准确性,以获得的多种判别煤与瓦斯突出指标数据为输入利用案例...