导读:本文包含了形式化知识论文开题报告文献综述及选题提纲参考文献，主要关键词:课堂教学,有效性,体验式,形式化
形式化知识论文文献综述
顾婷[1]（2017）在《例谈处理课堂教学中形式化知识的方式》一文中研究指出高中数学课堂教学的有效性一直是高中数学教师们讨论的热门话题,在传统课堂教学模式中以知识、课堂讲授和教师作用为中心,而恰恰忽视了学生本身的社会活动的重要性.因此,为了使学生获得终生难忘的知识,牢固地掌握技能,教学时不能仅以听、读等少数手段去完成,更应以多元化的教学方式加以渗透,这尤其对于形式化味道较重的高中数学而言.(本文来源于《数学教学通讯》期刊2017年18期）
何亚南[2]（2017）在《基于时序动态描述逻辑的民族文化资源知识表示形式化模型研究》一文中研究指出描述逻辑(Description Logics,DLs)是以对象为中心的形式化语言工具,用来对知识进行表示,它延续了 KL-ONE的重要理念,是一阶谓词逻辑的一个可判定子集。近年来,描述逻辑以其强大的知识表达能力和完备的推理机制得到了广泛的应用。描述逻辑最开始是用在静态领域知识的处理,不能对动态知识进行表示使得它的运用范围相对局限,并且也存在少许弊端,对时间和动作的描述能力较差,为了达到对动态领域知识应用的目的,通常利用相应的模态算子来对其进行扩展,包括动态性、时序性和模糊性等叁方面的扩展,基于描述逻辑的各种扩展形式陆续成为知识表示与推理的研究热门。民族文化资源知识中,大部分的知识都具有动态性和时间属性,通过对基本描述逻辑的分析可知,传统的描述逻辑对动态的民族文化资源知识缺乏表达能力,针对这一问题,本文以基本描述逻辑ALC为基础,增添动作算子和时序算子进行扩展,以此来描述随着时间进行变化的民族文化资源知识,提出基于时序动态描述逻辑CTL-DDLALC的民族文化资源的知识形式化表示方法,对民族文化资源推理过程中需要的知识、规则等进行统一的、标准化表示,以保证民族文化资源知识的表示与推理研究。本文主要的研究内容如下:(1)结合民族文化资源领域知识,对基本描述逻辑ALC进行扩展,增添8个模态算子,其中包括4个动作算子:;(Sequence,顺序)、∪(Choice,选择)、*(Iteration,迭代)、?(Test,测试),4个时序算子:O(Next,下一时刻)、◇(Frequently,某一时刻)、□(Always,所有时刻)、U(Until,直到)以及2个路径量词:A(All the Path,全路径)、E(Exist a Path,存在路径),提出时序动态描述逻辑CTL-DDLALC形式化系统,对CTL-DDLALC的语法和语义进行定义,并构建相应的知识库,使民族文化资源知识的描述具有动态性和时态性。(2)对CTL-DDLALC的推理问题进行研究,构建相应的Tableau算法规则,并证明所提出的Tableau算法的正确性,包括可终止性、可满足性,以实现民族文化资源的知识推理。(3)对民族文化资源领域知识进行分析,利用所提出的CTL-DDLALC形式化系统对民族文化资源知识进行描述和推理验证,包括动态性验证和时态性验证。(本文来源于《云南师范大学》期刊2017-05-25）
陈红国,刘盈[3]（2017）在《知识产权案件模拟法庭“形式化”的探讨及其改进》一文中研究指出知识产权案件的模拟法庭实训一直以来是高校培养应用型知识产权专业人才的重要途径,其优势在于能推动专业学生将所学的理论基础知识转化为实际操作,从而达到真正的学习效果。但近年来模拟法庭实践教学在我国高校的推行越来越形式化,知识产权的教育停步不前,培养出来的真正具备专业素养的人才屈指可数。因此,从知识产权教育出发,分析知识产权案件的模拟法庭实训存在的一些问题,以及就如何改进模拟实训提出建议。(本文来源于《传播与版权》期刊2017年04期）
芮夕捷[4]（2017）在《默会知识的形式化转换与企业技术标准的竞争》一文中研究指出企业技术标准的竞争中,尽管在经济上具有早期的"关键数量"用户所致的技术上的路径依赖和锁定效应,但今天的全球化已使同一行业内多种技术标准的长期共存、相互竞争成为现实。这使技术本身的先进性成为企业技术标准竞争优势的主要来源。技术先进性的前提是技术可选集的规模和创新速度,而这又取决于企业知识创造的速度和种类。从默会知识转换为形式知识的组织知识创造机理看,企业应在其内部针对问题设置多个任务团队并安排抑制它们之间信息流动的组织治理,以促进竞争、加速知识创造并确保内部化问题的多样性,实现问题解决方案、技术路线的供给规模和速度。(本文来源于《西北大学学报(哲学社会科学版)》期刊2017年02期）
于少波,李新明,刘东,程建博,李迎春[5]（2016）在《基于可拓理论的装备知识形式化描述模型研究》一文中研究指出通过分析现有装备知识描述方法的特点,提出了构建装备知识形式化描述模型的需求;概括和归纳了可拓理论的内容及国内外研究现状,结合基元原理和拓展分析原理构建了5种装备知识形式化描述模型;为了说明装备知识形式化描述模型的可行性和有效性,以部分装备知识为例进行实例验证;装备知识形式化描述是进行装备参数聚合及装备体系评估的前提和基础。(本文来源于《兵器装备工程学报》期刊2016年08期）
黄华军,曾新红,林伟明,陈若韵[6]（2015）在《中文知识组织系统形式化语义描述标准体系研究(二)——分类法共享服务系统CLSS研究与实现》一文中研究指出本文旨在为国内外分类法拥有者快速实现现有分类法的Web版、Web Service术语服务、Linked Data化和自动分类等网络共享服务提供参考和支持。以《中国图书馆分类法》第四版为例,采用CNKOS对分类法进行语义化描述,使用Lucene全文检索引擎、Ext Js插件、Axis SOAP引擎和URL Rewrite等关键技术实现了分类法共享服务(CLSS)原型系统。经验证明所有功能模块运行和调用都符合预期效果。实践证明该套解决方案可投入使用,而且其他分类法类型的中文知识组织系统均可依此方法快速完成相应的部署。但是,对于部分复杂的自动分类需求,如要获得更为准确的分类号还需更深入的研究或人工辅助。图5。表4。参考文献21。(本文来源于《中国图书馆学报》期刊2015年02期）
吴锋文[7]（2014）在《汉语复句本体知识的形式化初探》一文中研究指出探索汉语复句本体知识建模,实现复句句法语义知识的形式化,是汉语复句信息工程的重要内容。文章设计了一套复句本体体系的语义关系标记,描绘了复句实例的关系路径表示方法;借助语义关系标记和数理逻辑思想来刻画复句句法语义特征,在此基础上定义了汉语复句的形式化函数;探讨了复句关系词库和关系层次自动划分等句法知识的表示问题,以复句关系层次处理器和层次划分函数来表示复句的句法语义关系。相关语例分析验证了本文研究的有效性。(本文来源于《信阳师范学院学报(哲学社会科学版)》期刊2014年06期）
林晓玲[8]（2014）在《小学数学知识的过度形式化不可取》一文中研究指出一、问题的背景在一次区域性数学期末测试中(人教课标版教材叁年级下学期),有这样一道填空题:四个边长都是26厘米的小正方形,如果把它们拼成一个大正方形,周长是()厘米,面积是()平方厘米;如果把它们拼成一个长方形,周长是()厘米,面积是()平方厘米。测试后相关数据显示,前面叁空各校学生的得分率基本为80%以上,而最后一空各校的情况差异甚大,有的学校学生得分率达到90%以上,有的则不足50%,有的甚至只有叁分之一左右。部分得分率不高的学(本文来源于《中小学数学(小学版)》期刊2014年09期）
邹春梅,江智霞,谢齐群,李海燕,胡汝均[9]（2014）在《多形式化培训在提升青少年创伤自救与互救知识及操作技能中的效果研究》一文中研究指出目的通过对青少年进行多形式化培训,提高其创伤自救与互救知识及操作技能水平。方法研究前对所有青少年进行问卷调查,摸底其对创伤自救与互救的知识技能掌握程度以及对本次培训提出的意见和建议,然后根据不同年龄青少年的特点制定培训方案,采取多形式化培训,定时定期进行创伤自救与互救的知识理论学习以及实际操作锻炼,培训后进行相关理论和技能的考核,并计入学期综合素质能力评价。结果培训前14~16岁青少年和培训前17~19岁的青少年各项急救知识项目合格率比较差异无统计学意义(P>0.05),培训后14~16岁青少年与培训前比较,各项急救知识合格率均明显提高,两者比较差异有统计学意义(P<0.05);培训后17~19岁青少年与培训前比较,各项急救知识合格率亦有明显提高,两者比较差异有统计学意义(P<0.05);培训后17~19岁青少年除呼救的正确方法外各项急救知识合格率明显高于14~16岁青少年,两者比较差异有统计学意义(P<0.05)。培训结束后对2组青少年进行成绩考核,与14~16岁组比较,17~19岁青少年理论成绩和操作成绩有一定程度的提高,两者比较差异有统计学意义(P<0.05);14~16岁青少年和17~19岁青少年均对本次培训效果满意,其满意率分别占94.65%和95.12%,2组比较差异无统计学意义(P>0.05)。结论青少年应能够提高创伤发生时的自救与互救能力,提高自我保护和保护他人的能力,减少危害造成的恶劣影响。(本文来源于《河北医药》期刊2014年05期）
徐寅[10]（2013）在《GIS空间知识的形式化表达与集成方法研究》一文中研究指出在GIS学科中,空间知识是指在不同认知层次上一个或多个地理信息关联在一起形成的有应用价值的信息结构。针对空间知识的研究是GIS智能化方向的核心内容,也是空间数据挖掘、地理空间推理等课题的基础,多侧重于通过空间数据挖掘等方法实现隐式空间知识的获取,以及在实际生产中应用空间知识进行辅助决策分析,提高问题求解能力。当前,多源异构空间数据的集成技术已经相对成熟,而空间知识仍缺乏通用的形式化表达方法,不同来源、不同领域、不同方法获取的空间知识普遍存在语义、空间尺度、表达方法和存储结构等方面的异构性问题,导致空间知识的共享和集成困难,制约了通过跨领域空间数据和空间知识进行综合性应用的智能化水平。另一方面,由于传统知识工程领域侧重企业业务性知识集成的研究成果尚无法直接适用于空间知识集成这一命题,空间知识的集成还缺乏理论模型及方法的支撑。因此,研究空间知识的统一形式化表达与集成方法,消除空间知识的异构性,顾及空间知识的时空特征,从而可以有效利用当前多源异构的空间数据与空间知识资源,为今后在大数据量环境下的空间数据挖掘提供新的思路,丰富空间知识研究的理论方法体系,并对当前的智慧城市建设起到一定的方法性指导作用。本文以地理信息的多源异构空间知识集成方法为主线,以构建空间知识的统一表达模型为切入点,在梳理、明确空间知识的内涵、分类体系与特征因子的基础上,针对当前空间知识存在异构性和知识集成方法对空间知识中时空特征处理能力不足的问题,通过改进的地理本体提出一种空间知识的统一形式化表达模型,实现对空间知识特征因子的完备表达,并通过转换、合并及推理实现空间知识的集成。本文取得了以下的研究成果:(1)提出一种空间知识的统一形式化表达模型(Geospatial Knowledge UnifiedRepresentation Model,简称GeoKURM)。对比典型的空间知识表达方法,分析其差异性,证实地理本体最适合空间知识的统一表达与异构表达方法的集成。归纳构成空间知识形式化表达的特征因子,通过空间元知识、空间知识本体以及空间规则库实现对特征因子的完备描述。提出一种改进的语义叁元组来描述语义因子;针对地理本体中拓扑关系表达能力的不足,基于4交集模型提出的GeoKURM的拓扑关系描述,支持一致性推理和冲突消解。(2)提出一种空间知识的集成方法,通过表达方法转换、语义映射与合并、以及推理检验叁个步骤实现。在空间知识的转换方法中,提出空间知识转换的一般流程,对空间描述逻辑建立拓扑关系描述的映射关系以实现转换;对结构化表达的产生式规则提出通过时空关系词汇集实现转换时的隐式时空关系自动识别与抽取方法,解决空间知识的表达方法异构及存储结构异构。在空间知识的合并方法中,基于本体映射方法进行GeoKURM的合并,解决空间知识的语义异构。在空间知识推理中,基于GeoKURM的时空特征表达提出一种改进的一致性检测推理机GeoPellet,与Jess规则推理机构成GeoKURM的混合推理机制。(3)设计空间知识处理平台GeoKMP及原型系统实现,支持领域空间知识库的构建,异构空间知识源的集成以及结合实际数据的综合推理。以城市综合管线的数据校验和城市燃气管线的危险源辨识为应用案例,集成多领域空间知识库并整合相关空间数据库资源,优化改善已有的空间知识库,验证本文提出方法的准确性。(本文来源于《南京师范大学》期刊2013-11-01）
形式化知识论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
描述逻辑(Description Logics,DLs)是以对象为中心的形式化语言工具,用来对知识进行表示,它延续了 KL-ONE的重要理念,是一阶谓词逻辑的一个可判定子集。近年来,描述逻辑以其强大的知识表达能力和完备的推理机制得到了广泛的应用。描述逻辑最开始是用在静态领域知识的处理,不能对动态知识进行表示使得它的运用范围相对局限,并且也存在少许弊端,对时间和动作的描述能力较差,为了达到对动态领域知识应用的目的,通常利用相应的模态算子来对其进行扩展,包括动态性、时序性和模糊性等叁方面的扩展,基于描述逻辑的各种扩展形式陆续成为知识表示与推理的研究热门。民族文化资源知识中,大部分的知识都具有动态性和时间属性,通过对基本描述逻辑的分析可知,传统的描述逻辑对动态的民族文化资源知识缺乏表达能力,针对这一问题,本文以基本描述逻辑ALC为基础,增添动作算子和时序算子进行扩展,以此来描述随着时间进行变化的民族文化资源知识,提出基于时序动态描述逻辑CTL-DDLALC的民族文化资源的知识形式化表示方法,对民族文化资源推理过程中需要的知识、规则等进行统一的、标准化表示,以保证民族文化资源知识的表示与推理研究。本文主要的研究内容如下:(1)结合民族文化资源领域知识,对基本描述逻辑ALC进行扩展,增添8个模态算子,其中包括4个动作算子:;(Sequence,顺序)、∪(Choice,选择)、*(Iteration,迭代)、?(Test,测试),4个时序算子:O(Next,下一时刻)、◇(Frequently,某一时刻)、□(Always,所有时刻)、U(Until,直到)以及2个路径量词:A(All the Path,全路径)、E(Exist a Path,存在路径),提出时序动态描述逻辑CTL-DDLALC形式化系统,对CTL-DDLALC的语法和语义进行定义,并构建相应的知识库,使民族文化资源知识的描述具有动态性和时态性。(2)对CTL-DDLALC的推理问题进行研究,构建相应的Tableau算法规则,并证明所提出的Tableau算法的正确性,包括可终止性、可满足性,以实现民族文化资源的知识推理。(3)对民族文化资源领域知识进行分析,利用所提出的CTL-DDLALC形式化系统对民族文化资源知识进行描述和推理验证,包括动态性验证和时态性验证。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
形式化知识论文参考文献
[1].顾婷.例谈处理课堂教学中形式化知识的方式[J].数学教学通讯.2017
[2].何亚南.基于时序动态描述逻辑的民族文化资源知识表示形式化模型研究[D].云南师范大学.2017
[3].陈红国,刘盈.知识产权案件模拟法庭“形式化”的探讨及其改进[J].传播与版权.2017
[4].芮夕捷.默会知识的形式化转换与企业技术标准的竞争[J].西北大学学报(哲学社会科学版).2017
[5].于少波,李新明,刘东,程建博,李迎春.基于可拓理论的装备知识形式化描述模型研究[J].兵器装备工程学报.2016
[6].黄华军,曾新红,林伟明,陈若韵.中文知识组织系统形式化语义描述标准体系研究(二)——分类法共享服务系统CLSS研究与实现[J].中国图书馆学报.2015
[7].吴锋文.汉语复句本体知识的形式化初探[J].信阳师范学院学报(哲学社会科学版).2014
[8].林晓玲.小学数学知识的过度形式化不可取[J].中小学数学(小学版).2014
[9].邹春梅,江智霞,谢齐群,李海燕,胡汝均.多形式化培训在提升青少年创伤自救与互救知识及操作技能中的效果研究[J].河北医药.2014
[10].徐寅.GIS空间知识的形式化表达与集成方法研究[D].南京师范大学.2013