可能性种种

可能性有多种涵义。一指客观事物的某种不确定性 ,这种不确定性只与不可能相反对 ,没有程度、大小之分 ,没有好坏之别 ,尽管具有可能性的事物是无限多样的 ,对事物的认识也有程度的不同 ;二指逻辑命题的可能的真值 ,一命题或者真或者假 ,也没有程度的不同 ,它与命题的证明、证实是不同的 ;三是一个逻辑模态词 ,与必然相对 ;在数学、自然科学中出现的概率则是可能性的第四个涵义。正确区别不同的可能性 ,有助于澄清一些理论上的混乱。     

利普斯的心智逻辑理论

关于人类推理机制的说明主要有两种理论,分剐是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则（PSYCOP）系统,来描述依据命题联结词和量词变量进行的推导过程,并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化,但同时也面临着一些可能的缺陷。     

妇产科疾病诊断专家系统的设计与实现

专家系统的设计以面向对象的理论寿基础,详细地分析并设计其静态架构的对象层、结构层和属性层之后给出主题层。最后,给出由静态架构反射出来的用例视图,用于表示系统功能的高层逻辑模型。专家系统在知识库的构造方面以产生或规则描述事件的前项和后项;在推理机的构造上采用混合式推理并应用加权不确定性推理算法对疾病的症状进行推理分析得出结论。     

元极学与逻辑学关联研究初探

对元极学逻辑推理与形式逻辑进行初步的研究,指出演绎逻辑对于元极学学科构建与发展的重要性,元极学必须培养发展创新自身的形式语言与逻辑体系,使之呈现出更强大的语言表现和演绎功能。分析讨论了元极学的概念命题演绎结构与逻辑特征,元极学推理逻辑模式以生化返演化起论,以“极化致和”典型范式的无穷存在与演化构建逻辑理论与推理过程,与数理逻辑中以真假为主体的理论体系有明显不同的特征。讨论了元极学推理逻辑与数理逻辑     

“非p”探析

新课程人教版选修2-1第一章为＂常用逻辑用语＂,意在是让学生弄清命题之间的逻辑关系,从而增强判断是非能力和推理能力,提高数学思维能力,对培养学生的逻辑思维能力起到了一定的作用。但由于这部分内容比较抽象,对学生来说在理解上存在一定难度,并且资料书上对这方面介绍得也不是很详细,笔者根据教学实践,谈谈如何来构造比较合理的命题的否定,即＂非P＂。     

博弈视野中的逻辑推理问题

博弈逻辑 (gamelogic)是随着博弈论的迅速发展而形成的一门新的学科 ,是一种行动逻辑。博弈逻辑研究的是理性人在互动中的推理问题。在博弈行为中存在演绎推理和归纳推理 ,这两种推理既有联系又有区别。     

论证实原则与证伪原则的对立——在逻辑实证主义和波普尔之间

在现代西方科学哲学发展过程中，波普尔对逻辑实证主义的批判使两者形成对立。本文概括出两者对立的四个方面第一，在科学的判据上，逻辑实证主义主张实证论，认为可证实的命题才是科学命题；波普尔则主张否证论，认为可否证的命题是科学命题。第二，在逻辑方法上，逻辑实证主义属于归纳主义，认为科学理论产生于归纳；波普尔则主张演绎主义，认为科学理论产生于演绎。第三，在科学观上，逻辑实证主义属于科学静力学的科学观；波普尔则主张科学动力学的科学观。第四，在认识论上，逻辑实证主义主张经验论；波普尔的主导倾向是唯理论。两者各执一端，都有真理性，也都有片面性。我们应当批判地吸收合理成分。     

论分析性与综合性

从起源上说，所有的认识都来源于人类的社会实践活动，都有感性的源头，都是综合的；作为社会现实中的具体的认识活动也没有分析与综合的区别。能够大致区分分析与综合的只能是用符号表达的一个一个的命题，经验内容相对少的逻辑学、数学命题是分析命题，而经验内容相对多的经验科学命题是综合命题。且分析命题与综合命题之间的界线也不是固定不变的。分析与综合的区别只是命题的不同而不是真的不同，分析真理和综合真理只是证明、证实为真的不同命题或命题系统而不是两种不同的真，这种理解有利于坚持马克思主义真理一元论。     

逻辑学在教学中的应用

以下主要讨论作为计算机理论基础的数字逻辑学中几个基本逻辑命题的推理学习方法以及教学中"与"、"或"、"非"逻辑和它们的复合逻辑函数和条件逻辑函数的实际应用。     

效果推理理论视角下企业创新与绩效提升机制研究

在不确定环境下,当难以甚至无法预测未来科技和市场将如何变化的时候,如何开展产品和服务创新?通过将效果推理理论拓展至在位企业,分析效果推理和因果逻辑对于探索式创新以及开发式创新的影响,同时考察探索式创新和开发式创新对于企业绩效提升的作用。利用183份调查问卷的结构方程模型实证研究发现:效果推理的先前承诺和实验原则以及因果推理对探索式创新有显著的正向影响,而效果推理的可承受损失原则对探索式创新有显著的负向影响;对于开发式创新,因果推理有显著的正向影响,而效果推理没有显著的影响;探索式创新和开发式创新对于企业绩效都有显著的正向影响。实证研究结果说明在探索式创新中,决策者混合运用效果推理和因果推理逻辑,而在开发式创新中则主要运用因果推理逻辑。     

玻尔原子结构理论的历史重构

文章仔细回顾并剖析玻尔在1913年至1923年期间建构的原子结构理论和两个原子模型的过程和方法,从而主张玻尔提出的原子理论玻尔原子结构模型不是依靠严格的数学推理得出,而是依靠多种现象进行非线性的经验建构过程,是在元素周期性、元素原子价以及化学成键过程中的化合价等信息和普朗克量子作用理论、光谱线、电离能、x射线之间寻求一致性说明和普遍联系的一个复杂过程。将这些经验信息巧妙地整合到一起的方法,玻尔更像一位交响乐指挥。     

基于信息生态理论的企业危机信息预警策略研究

以信息生态理论指导企业危机信息预警目的在于创新工作思维,促进信息预警工作更有成效。企业危机信息预警体系可以类比成一个信息生态系统,需要综合考虑信息活动本身、与危机预警有关的人员、技术、组织结构、管理制度等因素。经过类比分析与逻辑推理发现,倡导以信息生态理论开展企业危机信息预警工作,就是以系统的思维方式,坚持以人为本,强调人的主体性,协调利用技术资源、组织资源、信息资源。在信息生态理论指导下,企业应以信息生态观优化管理思维,以人为本,培育关键"物种",构建危机预警的信息生态链,以项目化管理方式促进危机预警的信息生态链完善。     

Extended evidential cognitive maps and its applications

Evidential cognitive maps (ECMs) are uncertain graph structure for describing causal reasoning through the cognitive maps (CMs) and Dempster–Shafer (D-S) theory, and utilize the basic probability assignments (BPAs) and intervals to denote connections among concepts and the state of concepts, respectively. ECMs have been proved effective and convenient in modeling those systems with both subjective and objective uncertainty. However, ECMs may get unreasonable results in system modeling when facing the problem of combining knowledge. To overcome the drawbacks of ECMs, we present extended evidential cognitive maps (EECMs) based on evidential reasoning (ER) theory, distance measure and convex optimization for the development of ECMs. In contrast with ECMs, in the EECMs, the default connections are redefined, a scheme of combining knowledge is established through the ER theory, and a convex-optimization-based approach is proposed for determining the weights of different EECMs. Both theoretical analysis and numerical examples indicate that EECMs not only develop ECMs, but also can overcome the limitations suffered by ECMs and other high-order cognitive maps including fuzzy grey cognitive maps (FGCMs), interval-valued fuzzy cognitive maps (IVFCMs) and intuitionistic fuzzy cognitive maps (IFCMs).     

基于贝叶斯网络的暴雨-地质、暴雨-洪涝灾害链推理模型

为解决现有的山区暴雨-地质、市区暴雨-洪涝灾害模型在链式反应推理和精度上的不足,基于贝叶斯网络理论分析暴雨灾害演化规律,构建灾害链推理模型;根据国内暴雨灾害历史数据和相关文献总结选取暴雨灾害节点变量,构建暴雨灾害链拓扑结构,并应用期望最大化算法求得暴雨灾害条件概率,基于因果推理实现对暴雨引发的次生灾害和基础设施损毁等级的预测。最后以湖南省宁远县2017年6月22日至7月1日间因暴雨导致的滑坡洪灾为例,运用上述暴雨-地质、暴雨-洪涝灾害链推理模型进行实例验证,预测结果与实际情况吻合较好,Brier检验的B值小于0.6,结果表明该灾害链推理模型具有可行性。     

最佳说明的推理及其科学实在论辩护

“最佳说明的推理”是一种依据假说给证据的说明程度来确定假说合理性的推理。它认为,理论在说明上的那种“最佳”状态描述了理论的经验适当性,即“最佳”的理论是趋真的,理论实体的预言空白得到了填充。这样,IBE既可被看做是对科学理论发明和科学推理过程的正确刻画,又被赋予了给由它所带来的结论以认识论上的保证,在科学实在论上具有重要的辩护作用。     

基于知识图谱的专家系统发展综述

专家系统是人工智能中最重要的也是最活跃的一个应用领域,它实现了人工智能从理论研究走向实际应用,从一般推理策略探讨转向运用专门知识的重大突破。本文按照时间顺序,将专家系统划分为20世纪80年代以前、20世纪80年代、20世纪90年代、2000年后4个阶段。文章利用文献计量学的方法,分析了专家系统发展的历程、发展方向和趋势,指出当前正是专家系统的发展期,多种专家系统投入商业化运行,需要解决知识获取瓶颈、匹配冲突等问题,为了解和掌握专家系统的学科结构、演化过程、发展方向等提供了独特的视角和知识。     

基于证据推理的流域水质综合评价法——以湘江水质评价为例

水质综合评价是水环境综合整治的重要基础性工作,通过科学准确的评价,才能对水质治理做出科学的治理规划和有效的治理措施。本文基于证据推理理论,提出了一种水质综合评价方法。通过建立水质综合评估模型和信度分布函数,将水质指标的监测值转化为各评估等级的置信度;结合证据推理的合成规则和算法,将隶属于同一评估等级的指标进行证据递归合成,计算出各评估等级的概率分布;并引入效用理论,实现水质的相互比较。本文以湘江为例,对其2011—2017年水质进行综合评估。同时,将本方法与水质评价中应用较为广泛的模糊综合评价法、灰色聚类法进行比较,结果显示,基于证据推理的水质综合评价法更加科学准确,能有效地反映水质的实际情况。本文对流域内不同空间、时间点水质的多指标数据融合和不确定性数据处理具有参考价值,也为湘江流域的水质精准治理和环境管理决策提供支持。     

财经类专业概率论与数理统计的教学方法探讨

概率论与数理统计是研究随机现象的一门数学学科,在社会经济中应用性较强,与其他学科相比,往往让学生感到难学。因此,教师在教学过程中应运用最佳的教学方法,减轻学生对该门学科的畏惧心理,教会学生科学的思维方法,提高学生理解和分析问题的能力。本文以概率论与数理统计的教学实践为基础,从三个方面结合实例对该课程在财经类专业中的教学方法进行了探讨,以期取得较好的教学效果。     

基于多主体的工程项目组合决策模型研究

为了保证工程项目组合决策流程的顺利实施,将多主体系统应用于决策流程中,构建了基于多主体的工程项目组合决策流程模型。将具有自适应能力的决策主体作为模型的核心单元,设计了决策主体的逻辑结构和行为推理算法,并将工程项目组合决策流程划分为企业战略评定、单个项目评价、项目组合选择优化、项目组合执行控制以及项目组合调整5个阶段,分析了每个阶段的具体功能。最后通过模型在某建筑企业的具体应用证明了其有效性。     

OIL:构建语义网络的一种基础本体语言

本文介绍了一种在资源描述框架模式(RDFS)的基础上扩展的本体交互语言OIL，具有良好的层次结构和逻辑推理模式，是构建语义网格的基础性语言。