推理

摘要： 生物学概念的学习是培养生物学学科核心素养的基础和载体,基于证据推理建构概念模型是概念教学的有效策略。以重要概念“光合作用”为例,以科学史中经典实验为证据,探索基于证据建构概念模型的有效策略。

摘要： 在以古、近体创作的哲理诗中,近体尤其是五、七绝哲理诗是最为世人所熟知的,这契合了短小篇幅与哲理言语更容易融合无间的艺术规律。但第一个哲理诗时代却盛行着以五古为主要体裁的玄言诗。宋诗“开山祖师”梅尧臣的五古哲理诗汲取了玄言诗由事推理的思维方式、“三玄”的表现主旨;承袭了中唐白居易等人将日常化与哲理性绾合的言说趋势,表现出接近人情、贴合世事的艺术倾向;小诗则袭取了晚唐杜荀鹤等人哲理诗对社会阴暗面的讥刺传统。苏轼、黄庭坚的哲理诗延续了日常化与哲理诗融合的倾向而表现得更为浅露直白,共同构成了宋诗“尚理”“主理”的艺术风貌。

摘要： 文章结合对批判性思维技能的理解,分析沪科版新教材的文本、图片、实验以及不同栏目中蕴含的批判性思维要素,讨论挖掘教材中批判性思维要素、培养学生批判性思维能力的途径和方法。

摘要： 研究几何体与其展开图、三视图之间的相互转化,有利于学生更全面地认识图形的特征,更好地发展空间观念。《正方体展开图》一课依托“四种方式、六个环节”设计框架,遵循“直观想象、逻辑推理有机结合”设计理念,重视“大胆猜想、操作验证”教学环节,建立“几何探究课”的基本模式,发展学生的空间观念。

摘要： 推理能力是借助推理的数学思维方式以解决问题的能力。数学说理是推理思维物化外显的主要形式,也是促进学生推理 能力进步的必然途径。在教学中,教师应充分利用学习任务、说理活动、说理习题等途径,为学生创设推理空间,帮助学生 习得推理方法,经历推理过程,以发展学生的推理能力。

摘要： 几何中各个维度的相关内容具有相似性,各个维度所依托的基本框架,即数轴、平面直角坐标系以及空间直角坐标系中涉及的距离公式可以进行类推。文章通过分析数轴、平面直角坐标系的两点的距离公式,推导空间直角坐标系的两点的距离公式,并举例说明空间直角坐标系的两点的距离公式的相关应用。

摘要： 周六下午2点,蓝图推理店店长龙泽迎来了当天的第一波预约客人。“你们想玩推理本还是阵营本?我们店有20个7人本可以选择。”根据不同的玩家,龙泽会推荐不同的剧本类型。来的7位玩家大部分是新手,龙泽为他们推荐了欢乐机制本《珠光宝气》。一番简单的准备后,7位玩家走进一个房间,围坐在一张长方桌前,开始阅读第一幕的故事……

摘要： 现有时序知识图谱推理主要是基于静态知识图谱的推理方法,通过知识图谱的结构特征挖掘潜在的语义信息和关系特征,忽略了实体时序信息的重要性,因此提出一种基于实体活跃度及复制生成机制的时序知识图谱推理方法(EACG)。首先,通过改进的图卷积神经网络对多关系实体建模,有效挖掘知识图谱的潜在语义信息和结构特征。其次,时序编码器基于实体活跃度学习实体的时序特征。最后,使用复制生成机制进一步学习知识图谱的历史信息,提升对时序数据建模的能力。在时序知识图谱数据集ICEWS14、ICEWS05-15、GDELT上推理的实验结果表明,EACG在MRR评估指标中分别优于次优方法2%、10%和5%。

摘要： 当数学思维与数学眼光、数学语言一起以核心素养的面貌整体出现时,对数学思维的理解和把握,需要一个新的视角。相对于广义的数学思维活动,“三会”中的数学思维主要表现为推理。其最重要的一个意义是,让数学思维看得见也抓得住。推理的一般形式可以用符号语言表示为“P→Q”。推理过程中具体方法的运用决定了推理的具体形式。要从“思考现实世界”的需要出发,达成演绎推理与合情推理的相互协调。把统计推理纳入数学推理,是因为从育人出发,不同学科之间的界限没有那么重要。

摘要： 话语标记语是语用学研究的一个重要方面,主要以特定词汇和固定表达为研究对象,考察它们在言语交际中说话人交际意图、动机、态度等。文章以《鲁豫有约》《铿锵三人行》《对话》《朗读者》等访谈节目为研究语料,着重通过分析话语标记语在言语交际中的分类、功能及其模式、运用动机,旨在揭示其对说话人话语意图的传递与突显作用,并以关联理论为框架,探讨话语标记语的推理模式,最终确定语言交际者的语用意图,对其进行正确解读,保证了进行言语交际的有效性。

摘要： 本文在分析空间目标局域空间拓扑关系与全域空间拓扑关系的基础上，通过基本拓扑关系的计算，建立矢量空间目标全域拓扑关系的决策树以及推理表，并且详细绘制了空间目标之间的拓扑关系图。

摘要： 任何科学理论，都是由一定的逻辑思维规律、思维方法指导建构的具有一定思维形式(概念、判断、推理)的逻辑体系．中医理论是如何以概念、判断及推理形式总结人体的生命规律、疾病变化及诊断疾病、治疗疾病原理的?决定了《中医基础理论》中概念、判断及推理形式的性质和存在方式．因此，熟谙中医理论的概念、判断及推理形式，就可以使《中医基础理论》的概念明确，帮助学生了解中医学是一门什么性质的学科，其科学命题是用一种什么样的逻辑形式或结构体系把其中的陈述组织起来的，激发学生热爱中华民族原创文化，立志学好《中医基础理论》的热情．

摘要： 针对当前目的地选择服务系统机械片面地理解用户的查询请求,提出了采用回答集(ASP)逻辑推理的方式,综合运用旅游常知、情景信息和用户信息处理用户的查询请求,使查询结果在精度上有了很大的提高.同时对现有的一个ASP推理引擎进行了改进,使其能实现非确定性推理,并应用于目的地选择服务系统中.

摘要： 全球化的环境下,决策具有广泛的分布性和重要的协同性,DIDSS(分布式智能决策支持系统)是决策支持系统发展的新阶段。本文通过回顾Agent技术与DIDSS的国内外已有的研究成果,以及当前的研究趋势,从Agent理论模型、结构模型以及组织模型总结了Agent技术的研究贡献;从基于Agent的DIDSS体系结构、面向复杂决策任务的多Agent协作与推理总结了Agent技术及其在DIDSS中研究贡献。指出利用Agent组织研究DIDSS是未来决策支持系统领域中重要的研究方向。

摘要： 针对航天发射应急保障中的信息量大，决策实时性高等特点，本文围绕GIS支持下的航天发射应急保障系统的结构和应急决策等相关问题开展了研究。提出了基于GIS平台和测控数据的航天发射应急保障系统的相关功能模块，并应用产生式规则建立了应急决策知识表示方法，通过相关推理功能模块实现了GIS支持下的航天发射应急决策。

摘要： 分析当前Web服务在服务发现方面存在的缺陷,结合专家系统提供的对复杂问题的推理能力,提出一种基于问题分解的服务发现的模型,讨论了在基于本体模型下问题分解和系统推理的一般过程.在该模型下,服务请求的复杂问题被分解成简单问题处理,能够提高服务发现的准确度和效率。

摘要： 关于言语交际行为，人们先后提出了不同的交际模式论。本文从关联理论的认知视角出发，对传统言语交际模式论进行证伪，指出阐释言语交际行为的"明示一推理交际模式论"的立论基础更加科学，更加符合言语交际的实际，并进一步论证了关联理论的交际观对翻译具有理论意义，尤其适用于阐释译者的源语理解。

摘要： 仿真模型的验证研究的是模型的可信度问题.由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证.这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB).通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程.在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告.此外,我们也讨论了验证相关知识的获取过程和细节.

摘要： Web网上大量的异构、非结构化的教据使人们难以有效地发现自己所需信息.通过利用元数据和本体语义特点,借助Web服务技术,提出构建元数据登记库MDR和本体管理系统OMS,在分布式闭包生成基础上进行推理,实现基于本体表示语言RDF特性的Web数据搜索引擎SBWSE,达到分布异构环境下高效发现信息的目的,解决了基于关键词的搜索引擎所表现的查全率和查准率不佳问题.

摘要： 新技术的发展使通信装备的复杂性和密集度越来越高,其维修保障也越来越难,全波接收机以其独特的优点现在已经大量装备使用,其维修保障也存在很大的难度,分析基于案例的故障诊断系统,为全波接收机提供一种诊断思路。

摘要： 范围判定部(412)将对输入数据加密而成的输入密文C

摘要： 本发明公开了一种基于规则推理与GRU神经网络推理的混合推理方法，包括步骤：生成知识图谱并给定的问题查询q，利用GRU网络生成逻辑规则；基于生成的逻辑规则，构建马尔可夫逻辑网络进行知识图谱推理，对逻辑规则进行价值打分；将生成的高质量逻辑规则给到GRU网络用于优化网络参数；利用价值函数计算推理结果的得分并输出可能的结果，量化表示推理结果的可信度。本发明通过对价值函数的设计，结合规则推理和GRU神经网络推理，能够快速有效地找到知识推理的结果，并计算推理结果的可信度。

摘要： 推理装置(10)具有图结合部(14)，该图结合部(14)使用从知识库(11a)提供的知识信息以及从规则数据库(12a)提供的推理规则，以前向链方式结合动态变化的外部信息中的属于彼此不同的域的信息即图，由此生成统合图，其中，所述知识信息包含与人的状态有关的信息和与人的行动有关的信息。

摘要： 本发明提供一种基于情景驱动推理引擎，其包括：方法库模块、推理模块、执行器模块、情景驱动器模块、本地情景库模块以及情景管理器模块。根据本发明的另一个方面，还提供一种基于情景驱动的推理控制方法，其特征在于，包括如下步骤：a. 通过传感器获取情景信息；b. 使用情景驱动推理引擎对情景信息进行推理；以及h.输出情景推理结果。还提供一种基于情景驱动的推理器。传统的推理引擎中是以目标为驱动进行推理，在情景驱动的推理引擎，是以情景驱动的推理模型，情景驱动推理引擎相比传统的推理引擎具有更好的实时性，能满足对时空频变支持的需求。

摘要： 学习装置(100、100a、100b)具有：学习用数据取得部(109)，其取得多个学习用数据，1个学习用数据是基于包含时间序列的观察值的1个或多个时间序列数据中的1个时间序列数据的第1信息、基于包含彼此不同的至少2个预测期间的多个预测期间中的1个预测期间的第2信息、以及基于经过预测期间后的观察值的第3信息的组合；以及学习部(110)，其将组合学习用数据中的第1信息和第2信息而成的信息作为说明变量，并且将第3信息作为响应变量，使用学习用数据取得部(109)取得的多个学习用数据进行学习，生成能够推理经过指定的预测期间后的推理观察值的已学习模型。

摘要： 本申请实施例公开了一种神经网络推理芯片、神经网络推理方法及终端，神经网络推理芯片包括SSP和计算模块，其中，计算模块由VSP、MMP以及PSUM构成；SSP，用于根据特征图和神经网络结构参数生成控制指令；VSP，用于基于控制指令生成卷积计算指令和卷积计算数据；MMP，存储有权重数据，用于根据卷积计算指令、卷积计算数据以及权重数据执行卷积计算，获得第一计算结果；PSUM，用于根据第一计算结果确定卷积结果。

摘要： 本发明披露了一种数据处理技术领域的推理服务组件的运算方法和TensorRT推理服务组件，具体包括：接口层，用于待处理数据和推理结果数据与外部的交互；推理层，包含第一运算队列，所述第一运算队列包括一组以上第一运算对象，每一所述第一运算对象有对应连接的TensorRT对象；每一所述第一运算对象包括预设的推理服务模型；调度层，从所述接口层获取待处理数据，从所述推理层获取推理输出结果；调取所述第一运算队列的所述第一运算对象，根据所述第一运算对象执行推理服务；释放所述第一运算对象至第一运算队列。插件层，所述插件层连接所述推理层，所述插件层用于提供推理服务模型。本技术方案使TensorRT调用更加灵活方便。

摘要： 公开了存储推理程序的计算机可读记录介质以及推理方法。非暂态计算机可读记录介质存储用于使计算机执行以下处理的推理程序，所述处理包括：通过将数据片输入至神经网络来提取该数据片的特征；基于所提取的特征生成超维向量；以及将所生成的超维向量存储在存储单元中，其中超维向量与数据片的标签相关联。

摘要： 本申请涉及人工智能领域中自动驾驶领域的环境认知技术，提供了一种推理车道的方法、训练车道推理模型的方法及装置。该方法包括：获取车辆的多种不同类型的传感器的检测结果；对所述检测结果进行坐标系转换，得到位于同一个坐标系下的交通元素数据；使用预设的神经网络模型，基于所述交通元素数据进行车道推理，得到所述车辆的车道。本申请实施例中的方法，有助于降低用于车道推理的神经网络模型的复杂度。

摘要： 本发明公开了一种联合图文匹配和视觉推理的多任务学习模型、视觉常识推理方法及计算机设备。视觉常识推理部分使用预训练模型提取图像和文本的特征，得到视觉模态和文本模态的联合表示，再使用多类交叉熵损失函数进行优化训练；然后对视觉常识推理原始数据集进行处理，以用于图文匹配模块；图文匹配部分，先提取图像的像素级特征作为全局特征，提取图像的区域级特征作为局部特征，再通过对比学习损失函数对图文匹配进行优化训练；最后通过参数共享实现图文匹配和视觉常识推理双向促进。本发明提高了模型对多样化的视觉内容和高级文本语义联合推理能力，使模型更好地对齐两种模态。通过图文匹配和视觉推理双向促进，提高视觉常识推理任务的性能。