导读:本文包含了公理系统论文开题报告文献综述、选题提纲参考文献,主要关键词:公理,公理化,系统,亚里士多德,欧几里得,语义学,逻辑。
公理系统论文文献综述写法
李延军[1](2019)在《带有完美记忆公理和无奇迹公理的EPDL系统的完全性(英文)》一文中研究指出EPDL系统是PDL和EL的混合系统。EPDL的框架同时包含用于表示知识和用于表示动作的两种二元关系。完美记忆公理和无奇迹公理刻画了这两种关系的交互。本论文证明了含有完美记忆公理和无奇迹公理的EPDL系统相对于具有这两种交互性质的EPDL框架类的弱完全性。(本文来源于《逻辑学研究》期刊2019年03期)
程和祥,刘强[2](2019)在《论经典命题逻辑公理系统L中的证明技巧》一文中研究指出在经典命题逻辑的学习中,公理系统L中的定理证明只能使用公理模式和推理规则,对于初学者而言,常常显得强人所难,主要表现为找不到证明的突破口。事实上,可以从两个方向出发:一方面,从公理模式出发,分析每条公理模式的特性,由此可得消件法和换位法两个小技巧;另一方面,通过使用演绎定理,一般我们可得到待证定理的演绎证明序列,而通过对演绎证明序列的"仔细观察",可以获得相应公理证明的"突破口"。这些技巧,可以提高初学者的学习效率,优化数理逻辑的教学,也可以为定理机械化证明的理论和方法提供必要的实践准备,以促进新时代逻辑学教学现代化的实现。(本文来源于《重庆理工大学学报(社会科学)》期刊2019年03期)
张晓君,袁娇娇[3](2019)在《亚里士多德模态叁段论逻辑的形式化公理系统探讨》一文中研究指出利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态叁段论进行形式化和有效性的证明。根据有效的亚里士多德模态叁段论应该遵守的基本规则,可以从6 656个亚里士多德模态叁段论中,筛选出有效的384个模态叁段论。把通过向有效的直言叁段论AAA-1和EAE-1中添加模态词而得到的20个有效模态叁段论作为基础公理,就可以为亚里士多德模态叁段论逻辑建立起形式化公理系统。(本文来源于《湖南科技大学学报(社会科学版)》期刊2019年01期)
陈瑞祥[4](2018)在《五行公理系统中“T(土)行”的四种有序偶表达式与四种五角形生克模型——五行理论体系的系统化(叁)》一文中研究指出五行公理系统是指可以公理化的五行抽象系统,在此系统中,"T(土)行"与其他四"行"不同,有四种有序偶表达式。对于"T(土)行"每一种表达式,根据五行生克定义和系统完整性规定,可以严格推导出唯一的五行系统生克关系(五角形生克模型),不仅在抽象系统层面解决了长期争议的五行系统生克关系及其唯一性问题,而且有助于形成一种新的数学关系(含主体元素的生克关系),体现出中医与数理学科的相互促进关系以及以中医为主体和出发点的研究方法。(本文来源于《中医杂志》期刊2018年18期)
张迪[5](2018)在《高等教育的寻根之旅——基于张楚廷的“五大公理系统”的逻辑起点》一文中研究指出根是一种本原,是一切生命必须拥有的东西,也是高等教育的逻辑起点,然而现在许多大学在不断地失根,而张楚廷的"五大教育公理系统"则阐释了大学的根之所在,揭示了大学失根的原因。基于张楚廷的"五大公理系统"的逻辑起点,从注重学生的起点、促进学生的自增性、创设良好的环境、树立卓越的理念四大方面进行高等教育本体论的重建,以期能找寻高等教育的根之所在,创办有根的高等教育。(本文来源于《华中师范大学研究生学报》期刊2018年03期)
陈茂禄,王增强,蒲云[6](2019)在《大规模定制环境下基于公理设计的物流系统评价》一文中研究指出针对大规模定制环境下物流系统评价的复杂性和不确定性、决策团队在选择物流系统时不能精确地量化评价指标而是直接给出语言短语,提出了基于语言信息和公理设计的物流系统评价方法.首先,利用基于模糊评估标度的集成方法对语言短语处理获得规范化的权重向量,其次,决策团队明确各备选方案的期望符合程度,依据公理设计得到各方案的最终评价指数,最后对上述指数排序,以确定最合理方案.本文所提方法集成了语言决策理论和公理设计的信息公理原理,应用于某电脑公司物流系统的选择,6位决策成员选择了物流系统评价的6项关键指标及其期望值,通过语言信息的处理得到指标权重向量,在此基础上确定了第叁方物流企业设计的7个物流系统备选方案,针对服从3种分布的指标期望类型,使用相应的方法进行处理,得到的合理方案验证了方法的可行性和有效性.(本文来源于《西南交通大学学报》期刊2019年03期)
李亚雄[7](2018)在《基于Drools的欧几里得公理系统的研究与实现》一文中研究指出随着近几年技术的发展,人工智能和智能教育成为一个广泛研究的热点。人工智能在改变人们的衣食住行的同时,也日益渗透到人们的教育中。如果把人工智能技术与机器证明技术相结合应用到教育领域,就可以打破知识壁垒,提升教育公平和效率,真正的实现寓教于乐。因此,如何结合人工智能技术和自动推理实现机器几何问题自动求解和证明的研究非常有必要。本论文旨在通过结合欧几里得公理、Drools推理引擎、人工智能等技术,建立一个可以自动几何求解和证明的系统。论文主要研究内容如下:1、数学知识表示。本文就几何中的知识出发,用一阶谓词的方法将知识进行表示,同时结合推理规则,将公理进行形式化的表示,使人类几何学这个特定领域里的知识转化为机器可以表示的知识,并使得计算机在正确的逻辑上解决这些问题。这样完成了人类求解几何问题中知识的抽取和自动求解。2、推理引擎的研究与构建。本文研究和设计了推理引擎的组织架构和相关的算法,搭建出一个逻辑严密、性能高的推理系统。推理引擎能够根据推理事实库中出现的事实,激发相应的规则来实现自动的知识更新。通过正向推理链,运用推理规则和知识事实,得到正确的推理结果。同时研究了推理过程中数学计算符号引擎的使用,提高了推理系统的效率和性能。3、规则优先级动态预测算法研究。推理过程中会出现规则冲突,如何将这些冲突进行消解,从而使得推理按照较优的路径执行是一个很重要的问题。本论文设计了带权值优先级的规则来处理规则冲突问题,并就推理系统的状态进行了一个描述,在实现中依据推理机运行中的状态,动态修改推理过程中的规则优先级,从而使得推理机性能得到了较大的提高。最后,结合相关理论和论文研究的主要内容,设计和实现了一个可以自动求解的欧几里得公理系统,并在不同类型的几何题目上进行测试,分析发现本系统能解决基本的几何题目,为问题自动求解提供了一种新思路。(本文来源于《电子科技大学》期刊2018-03-28)
戴爱美[8](2017)在《基于公理模糊决策树的儿童敏感期诊断系统》一文中研究指出教育并不局限于学校教育,更重要的是儿童成长发育过程中身心健康成长的教育。通过大量相关文献的阅读和研究发现,儿童敏感期研究领域中存在着大量潜在的知识数据,有很高的研究价值。分析可知,儿童从出生至6岁期间会经历各种掌握新技能的阶段,每个阶段会有特定的行为表现。我们可以从孩子的这些行为表现判断出他所处的成长阶段,也就是敏感期。本文的主要内容就是从专家系统的角度梳理儿童敏感期领域的专业知识结构,构建儿童敏感期智能诊断模型并实现系统开发。该诊断模型中,用户只需要输入孩子的基本特征,选择相关的行为表现,便可以诊断出孩子所处的敏感期,并预测日后可能出现的行为表现,及时给予相关教育方法和技巧。本文对儿童敏感期领域知识进行了充分研究,综合多位儿童教育专家的专业指导总结出儿童敏感期与行为表现之间的知识结构。通过对几种常见的智能诊断技术的研究和分析发现,公理模糊集理论AFS和模糊决策树的结合有效的适用于儿童敏感期知识的获取和表达。运用模糊逻辑推理规则将儿童敏感期知识的内在规则进行模式转化,形成一组结构化附带模糊属性的知识集合,即:儿童敏感期的决策特征集、行为特征集以及限制特征集。进一步利用这些特征词内在的模糊逻辑关联规则推导出它们之间的隶属关系,也就是构建公理模糊决策树。分析可知,儿童在敏感期阶段会表现出多个行为活动,一个行为活动也可能隶属于多个敏感期特征,决策特征词和行为特征词之间存在着模糊隶属关联关系。通过AFS理论对儿童行为的隶属特征词进行分类,可以推导出行为隶属于一个敏感期决策特征的模糊隶属度。最后,在模型投入使用后,该诊断模型的案例库会不断得到补充。采用模型自学习的方式从案例库中学习案例知识,反馈调整AFS推理库和模糊决策树,促使模型更加成熟和完善。工欲善其事,必先利其器。综合考虑了多个系统开发框架,结合自己的开发经验,决定先设计一套WEB系统开发框架AIMEI-Think。AIMEI-Think开发框架实现前端UI组件由后台封装,并整合了常见的系统功能模块。利用AIMEI-Think开发框架进行系统开发时,开发者可用Builder对象创建一个新的页面,并构建一系列基本元素和UI组件,Builder对象会自动将这些页面元素映射到相应的页面中。同时,开发者随时可对基本元素及UI组件的配置项进行设置。这样,独立开发系统的用户无需花费大多精力在前端开发设计上,大大的节省了系统开发的时间和成本,方便系统的升级和维护。利用AIMEI-Think开发框架进行开发,可以规避掉重复开发模块,前后端单元模块进行一次开发多次使用,从而快速、高效的实现儿童敏感期诊断系统的开发。以儿童敏感期诊断模型为原型,进一步实现儿童敏感期诊断系统。系统的实现除了自身的几大功能模块外,还有知识管理模块,过程交互模块,诊断推理模块,过程交互模块,诊断结果显示模块等几大功能模块。如果儿童敏感期诊断系统的功能只局限在诊断出儿童所处敏感期及其相关特征,大部分家长还是无法明确了解儿童教育过程中应该注意的事项和教育方式。在此基础上,本文提出对该系统的诊断结果进一步扩展应用,进行博文、儿童玩具等相关信息的推荐。(本文来源于《江西财经大学》期刊2017-06-01)
宝斯琴塔娜,齐二石[9](2016)在《基于独立公理的离散制造系统精益设计公理化映射研究》一文中研究指出根据沃麦克提出的5个精益原则确定了精益设计原则,以此为切入点,对离散制造系统精益设计策略进行了公理化分解和映射,并测定其独立性。所提出的精益设计理论框架满足独立性公理,是较理想的设计方案。(本文来源于《管理现代化》期刊2016年05期)
王琛[10](2016)在《基于公理设计的LNG加气机控制系统研发》一文中研究指出液化天然气(LNG)作为一种新型清洁能源在新能源汽车领域的应用越来越广泛。随着国内LNG加气站的普及,LNG加气机的需求正在不断上升。设计一款性能高效、运行可靠的加气机控制系统,通过这款控制系统实现加气机的各项功能,对新能源汽车领域以及保证加气站的稳定运营具有积极意义。本文以公理设计理论作为LNG加气机控制系统研发的指导理论,利用其在软件设计以及系统设计上的应用,将这两部分所涉及到的设计框架应用到控制系统研发当中。通过分析加气机控制系统的用户需求,将其转化为实际所需的系统功能,利用公理设计分析过程中功能域与结构域之间的映射关系,将各系统功能和系统结构分解成与之对应的子功能和子结构模块。在分解流程中对各子功能与子结构建立设计矩阵,通过矩阵分析各子模块之间的相互关系,排除因结构复杂而出现的耦合现象,选择合适的设计方案,以此完成对整个LNG加气机控制系统的功能性分析。本文在明确设计方案后,通过模块化的设计理念为硬件设计选择合适的功能区域与布线规划,按高效性与实时性的软件运行需求为软件设计选择合适的操作系统与设计流程。整体设计始终满足公理设计独立性的要求,设计方案给整体设计提供了明确的指导方向,减少了设计中可能出现的错误,并结合上几代产品的设计经验与改善需求,大大提高了控制系统的整体性能。本文在对控制系统的调试中,按实际工业使用需求对整个控制系统进行了软硬件的可靠性、稳定性测试,设计了系统控制箱并进行了环境适应性检测。经过测试以及检测实验,LNG加气机控制系统计量精准,串口数据响应及时,加气动作迅速稳定,环境适应性完全满足测试标准,整体性能稳定可靠。(本文来源于《深圳大学》期刊2016-06-30)
公理系统论文开题报告范文
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
在经典命题逻辑的学习中,公理系统L中的定理证明只能使用公理模式和推理规则,对于初学者而言,常常显得强人所难,主要表现为找不到证明的突破口。事实上,可以从两个方向出发:一方面,从公理模式出发,分析每条公理模式的特性,由此可得消件法和换位法两个小技巧;另一方面,通过使用演绎定理,一般我们可得到待证定理的演绎证明序列,而通过对演绎证明序列的"仔细观察",可以获得相应公理证明的"突破口"。这些技巧,可以提高初学者的学习效率,优化数理逻辑的教学,也可以为定理机械化证明的理论和方法提供必要的实践准备,以促进新时代逻辑学教学现代化的实现。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
公理系统论文参考文献
[1].李延军.带有完美记忆公理和无奇迹公理的EPDL系统的完全性(英文)[J].逻辑学研究.2019
[2].程和祥,刘强.论经典命题逻辑公理系统L中的证明技巧[J].重庆理工大学学报(社会科学).2019
[3].张晓君,袁娇娇.亚里士多德模态叁段论逻辑的形式化公理系统探讨[J].湖南科技大学学报(社会科学版).2019
[4].陈瑞祥.五行公理系统中“T(土)行”的四种有序偶表达式与四种五角形生克模型——五行理论体系的系统化(叁)[J].中医杂志.2018
[5].张迪.高等教育的寻根之旅——基于张楚廷的“五大公理系统”的逻辑起点[J].华中师范大学研究生学报.2018
[6].陈茂禄,王增强,蒲云.大规模定制环境下基于公理设计的物流系统评价[J].西南交通大学学报.2019
[7].李亚雄.基于Drools的欧几里得公理系统的研究与实现[D].电子科技大学.2018
[8].戴爱美.基于公理模糊决策树的儿童敏感期诊断系统[D].江西财经大学.2017
[9].宝斯琴塔娜,齐二石.基于独立公理的离散制造系统精益设计公理化映射研究[J].管理现代化.2016
[10].王琛.基于公理设计的LNG加气机控制系统研发[D].深圳大学.2016