逻辑知识

摘要： 前段时间,我在朋友圈晒出1981年版的人教版高中语文老教材的照片,引发了热议。这套教材共收录了7篇逻辑知识短文,依次介绍概念的内涵和外延、概念间的关系、简单判断、复合判断、演绎推理、归纳推理以及形式逻辑的思维规律(同一律、矛盾律、排中律)。有教师认为,这之后,语文教材逐渐取消了逻辑知识的内容,是导致现在学生逻辑思维能力普遍下降的主要原因。对此,我有不同的看法。这套教材我教过,对于其中的逻辑知识,当时也认认真真地讲了,但实际效果并不理想。我以为,这也是后来逻辑知识被取消的重要原因之一。

摘要： 统编高中语文教材选择性必修上册第四单元的主题是“逻辑的力量”,对应“语言积累、梳理与探究”任务群。作为单元第一课时的教学活动设计,要联系学生生活和作文经验,指导学生了解“概念”的有关知识,学习逻辑的基本规律,运用逻辑知识辨识信息,把握事实真相,为提升学生逻辑思维品质、涵养理性精神奠定基础。

摘要： 统编高中语文选择性必修上册第四单元《逻辑的力量》采用了一种新体例、新方式,只提供了三个学习活动方案。面对这种全新的呈现形式,教师需要准确理解课程意图,立足教材的活动方案,从不同维度设计更多的教学活动,如分类梳理教材资源、拓展探究相关案例、构建真实表达情境。

摘要： 在初中数学证明题中,常要用到一些形式逻辑知识,如演绎法和归纳法,分析法与综合法,直接法与间接法。运用这些形式逻辑方法,要明了运用这些形式逻辑证明方法的意义,同时还要正确认识运用数学形式逻辑证明方法的局限性。

摘要： "逻辑的力量"是统编版选择性必修(上册)第四单元的学习任务主题。用一个单元的容量安排逻辑教学任务,充分体现了新教材对逻辑思维的重视。一、单元学习任务群目标定位"学习任务群4语言积累、梳理与探究"提出要"反思和总结自己写作时遣词造句的经验,建构初步的逻辑和修辞知识,提高语用能力,增强表达的个性化",明确将"逻辑知识"列为学习内容。

摘要： 2021年上海春考作文题:有人说,你怎么做,就会成为怎样的人,也有人觉得不是如此。你怎么看?请写篇文章,谈谈自己的认识与思考。要求:(1)自拟题目;(2)不少于800字。此题貌似简单,其实并不好写。运用有关逻辑知识来分析,"有人说"所提供的两句话,其实是一个逻辑陷阱,"你怎么做"作为一个前提判断,是不可能简单推出"就会成为怎样的人"这一结论判断的,在逻辑上违反了充足理由律。也就是说"你怎么做"只是"成为怎样的人"的某一条件而已,而且在概念的表述上很不周延,需要对其内涵进行多方界定与把握。

摘要： 高中语文教师都知道逻辑思维对于高中生的重要性,问题是:如何有效地实施逻辑思维训练,找不到好的办法;即使偶尔训练几次,缺乏系统性,效果并不一定明显。因此作文训练比较随意,方法雷同。其根源在于教师逻辑知识的匮乏,学生更是如此。据笔者观察,高中师生逻辑知识的欠缺,原因在两个方面:一方面,高中语文教材缺乏逻辑基本知识普及内容及评价标准。

摘要： 议论文是讲“理”的文章。在教学实践中,我们发现学生的很多文章在论证中并不讲理,而引导学生学会讲理的有效的教学形式又相当匮乏。比如,针对学生论证中最常见的“以例代议”问题,老师的指导大多是事后强调某些理念(诸如“叙例后要议论”“要叙议结合”等),或展示优秀作文片段以供模仿,很难对学生的思维过程进行有效干预。

摘要： 逻辑和语文学习关系确实密切,我们有必要在语文学习中学一点逻辑。执教者能选择这个专题,让学生学一点有关二难推理(即悖论)的逻辑知识,感受逻辑的力量和思维的乐趣,这是值得肯定的。我们在语文学习和生活实际中经常接触逻辑知识,但如果教学最后不能落实到运用上,学生不能用来解决语文学习和生活中的实际问题,那就相当于学习“屠龙术”,没有实际的用途。

摘要： 鉴于目前多数从“教”的角度探讨如何进行逻辑教学的状况，笔者从“学”的角度出发，探索一种有效的逻辑教学法一案例法，寓逻辑理论知识于典型的事例中，通过分析讨论，自发地总结出逻辑理论知识，达到理解知识、懂得理论、学会独自解决问题的目的。这不仅能调动学生的积极性、主动性和创造性，而且能培养学生的逻辑思维能力和逻辑应用能力。

摘要： 鉴于目前多数从“教”的角度探讨如何进行逻辑教学的状况，笔者从“学”的角度出发，探索一种有效的逻辑教学法一案例法，寓逻辑理论知识于典型的事例中，通过分析讨论，自发地总结出逻辑理论知识，达到理解知识、懂得理论、学会独自解决问题的目的。这不仅能调动学生的积极性、主动性和创造性，而且能培养学生的逻辑思维能力和逻辑应用能力。

摘要： 鉴于目前多数从“教”的角度探讨如何进行逻辑教学的状况，笔者从“学”的角度出发，探索一种有效的逻辑教学法一案例法，寓逻辑理论知识于典型的事例中，通过分析讨论，自发地总结出逻辑理论知识，达到理解知识、懂得理论、学会独自解决问题的目的。这不仅能调动学生的积极性、主动性和创造性，而且能培养学生的逻辑思维能力和逻辑应用能力。

摘要： 鉴于目前多数从“教”的角度探讨如何进行逻辑教学的状况，笔者从“学”的角度出发，探索一种有效的逻辑教学法一案例法，寓逻辑理论知识于典型的事例中，通过分析讨论，自发地总结出逻辑理论知识，达到理解知识、懂得理论、学会独自解决问题的目的。这不仅能调动学生的积极性、主动性和创造性，而且能培养学生的逻辑思维能力和逻辑应用能力。

摘要： 本发明涉及一种结合逻辑规则和碎片化知识的关系预测方法。首先对事实三元组和逻辑规则进行统一的建模，将隐藏的语义信息嵌入到基于知识表示的关系推理模型中；其次，结合碎片化知识，不断迭代更新，使得知识库变得越加完备。本发明对事实三元组和逻辑规则进行统一的建模，将隐藏的语义信息嵌入到基于知识表示的关系推理模型中，实现更精准地预测。

摘要： 一种知识图谱复杂逻辑推理方法、组件和知识图谱的查询检索方法，属于计算机数据分析领域，根据给定查询的同构查询，获取所述同构查询在当前步中的答案嵌入与所述给定查询在当前步中的查询嵌入的距离；根据所述同构查询在当前步中的答案嵌入与所述给定查询在当前步中的查询嵌入的距离，获取给定查询在当前步中向正确的答案的偏移，所述偏移表示给定查询在当前步中需向正确的答案偏移的方向以及大小；根据给定查询在当前步中的查询嵌入和给定查询在当前步中向正确的答案的偏移，得到给定查询在当前步中的修正查询嵌入，效果是有效的、可扩展的复杂逻辑推理组件，可以为基线模型带来一定的提升。

摘要： 本申请涉及一种采用灵活的现场知识管理和分析的基于知识的可编程逻辑控制器。此外，公开了一种在多个扫描周期内操作智能可编程逻辑控制器的方法，其包括智能可编程逻辑控制器执行控制程序和用于分析由该智能可编程逻辑控制器接收和传输的数据的一个或多个推理算法。智能可编程逻辑控制器经由包括在该智能可编程逻辑控制器中的部署接口从外源接收一个或多个用户指定的陈述性知识模型。智能可编程逻辑控制器在控制程序的运行时期间基于用户指定的陈述性知识模型动态地修改推理算法。

摘要： 本发明公开了一种基于分布式微服务和逻辑推理的知识录入和计算系统，包括创建决策流。通过逻辑运算符and，or连接不同的术语标签，组合成树状的逻辑决策流；决策流中有较复杂的运算时，通过函数运算创建为一个模式，再把模式连接到决策树上；创建决策流过程中，上传测试数据对当前决策流的规则进行检查；当决策流规则的编辑基本完成后，对当前决策流创建一个版本；然后对决策流版本进行批量的数据测试，当决策流经过多次测试都满足较高的成功率时，发布该版本；在版本发布后可在版本管理页面查看版本发布详情，对于发布成功的版本进行接口测试，测试成功即可使用；若决策流需要更新，则直接在原决策流基础上编辑提交后，再创建一个新版本进行发布。

摘要： 本发明涉及一种运用于支持医保审核规则的知识库建设与运算逻辑方法，建立层次结构模型；导入待审核医保单据，执行审核逻辑；将审核结果回传进行人工审核。系统：分布式缓存服务器用以提供访问服务，并构建有层次结构模型；访问端用以访问分布式缓存服务器，以及向分布式缓存服务器导入待审核医保单据；人工审核端用以获取分布式缓存服务器所计算出的审核结果。效果为：建立准确的规则定义，通过对医保单据的全面实时审核，准确地发现违规行为、扣除违规款项并实时反馈各医疗机构的审核结果，为强化医保经办机构对医疗服务的监控作用，实现总额预付、按项目、按病种、按DRG付费等付费制度的改革提供有效的工具。

摘要： 本发明公开了一种人机友好的数据逻辑融合电力知识图谱及其构建方法，包括将电力领域的相关数据和知识划分为物理信息数据、外界因素数据和电力知识数据；对物理信息数据、外界因素数据通过数据清洗与整合，构建得到物理信息库、外界因素库；对电力知识数据进行核心型、逻辑型知识抽取，得到核心型知识和逻辑型知识；对两种知识进行知识融合，得到电力知识库；基于物理信息库、外界因素库以及电力知识库，建立面向机器存取的数据知识接口；针对物理信息库、外界因素库和电力知识库进行逻辑‑数据关联，得到数据逻辑融合的电力知识图谱；基于电力知识图谱，建立面向人类存取和理解的数据知识接口，得到人机友好的数据逻辑融合电力知识图谱。

摘要： 本发明提供一种基于事理逻辑和实体知识的多维度图谱融合方法，包括：获取事理图谱中第一事件节点中的第一事件名词，确定相对应的第二事件节点，获取第二事件节点中的第二事件名词；确定与第一事件名词所对应的第一实体节点，以及第二事件名词所对应的第二实体节点；在第一事件节点与所述第一实体节点之间建立第一融合连接路径，在第二事件节点与所述第二实体节点之间建立第二融合连接路径；根据第一事理逻辑在第一实体节点与第二实体节点之间建立三元组关系；根据所述第一事理逻辑对所述三元组关系更新；基于所述第一融合连接路径、第二融合连接路径、建立的三元组关系、更新的三元组关系形成融合后的多维度图谱。

摘要： 本发明公开了一种基于学科逻辑知识关系生成学科知识地图的方法及系统，该方法包括知识点及连线自动生成的步骤和知识关系线自动生成的步骤。该知识点及连线自动生成的步骤进一步包括：一知识点配置子步骤，用于生成章节空间数据及配置文件；一知识点连线生成子步骤，用于生成知识点连线；一知识点空间数据生成子步骤，用于生成知识点空间数据。该知识关系线自动生成的步骤进一步包括：一知识关系配置子步骤，用于生成逻辑知识关系配置文件；一知识关系线生成子步骤，用于生成知识关系空间数据。本发明根据知识结构的逻辑描述，基于地理要素空间模拟技术，生成符合地图特征的学科知识地图，便于用户对学科知识结构的理解以及可视化查询。

摘要： 本发明公开了一种基于学科逻辑知识关系生成学科知识地图的方法及系统，该方法包括知识点及连线自动生成的步骤和知识关系线自动生成的步骤。该知识点及连线自动生成的步骤进一步包括：一知识点配置子步骤，用于生成章节空间数据及配置文件；一知识点连线生成子步骤，用于生成知识点连线；一知识点空间数据生成子步骤，用于生成知识点空间数据。该知识关系线自动生成的步骤进一步包括：一知识关系配置子步骤，用于生成逻辑知识关系配置文件；一知识关系线生成子步骤，用于生成知识关系空间数据。本发明根据知识结构的逻辑描述，基于地理要素空间模拟技术，生成符合地图特征的学科知识地图，便于用户对学科知识结构的理解以及可视化查询。

摘要： 本发明属于人工智能研究领域，提出一种基于结构特征高阶逻辑知识图谱表示学习方法。首先，对数据进行高阶逻辑关系特征表示，提取图中的节点邻域结构模体度矩阵，将每个关系中实体模体度矩阵作为高阶逻辑关系特征；其次，图卷积网络进行实体属性特征和高阶逻辑关系特征表示；最后，使用哈达玛积、求和与串联三种不同的聚合方法进行特征聚合。本发明融合了两种知识图谱表示学习特征，从不同角度学习样本数据后用于实体分类、链路预测等知识图谱下游任务，获得一种精度较高的高阶逻辑知识表示学习方法，同时可以克服目前的知识表示学习方法，对逆关系和复合关系等高阶逻辑关系表达能力不足，表示损耗大，计算成本高，可解释性差等问题。