首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 156 毫秒
1.
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。  相似文献   

2.
针对多决策者在多准则下进行多阶段决策的语言型复杂问题,研究基于灰关联的双极二元语义动态群决策模型.通过分析多阶段决策过程中评价信息的评价质量,提出各决策阶段评价信息质量的测度指标和方案发生质变的判定指标.结合灰色关联分析理论,将二元语义时间权重模型改进为双极二元语义时间权重模型,确定时间权重和决策专家综合权重.基于权重信息将各专家单阶段的信息集结成群综合决策信息集,并计算各方案集结结果对应的可靠度,据此进行排序.以深度贫困地区产业扶贫项目为例验证该模型的有效性与可靠性.  相似文献   

3.
为允许在语言多属性决策环境中使用"差不多"和"有点"等表示程度弱化的语言修饰词,提出了一种基于语义的表示模型.首先,基于论域上语言标度的语义定义相似关系,并通过计算语言标度的上近似和松上近似得到语言修饰词的表示方法,进而推导出语言表达式的语义公式,其中参数由语言标度的语义客观确定.该模型具有清晰的语义,且允许专家以更自然的方式表达不确定的决策信息.将模型应用于可持续创新能源技术的评估和选择,计算结果表明,所提出的模型可以处理评估过程中存在的多种不确定性.最后,讨论了该模型与现有技术的区别,并给出了该模型在语义为梯形模糊数情形下的拓展.  相似文献   

4.
针对拆卸方案评价指标具有的模糊性和复杂耦合关系特点,提出基于二元语义云模型的拆卸方案评价模型。在查阅文献和咨询相关行业专家的基础上结合废旧产品拆卸特点,建立废旧产品拆卸方案评价指标体系,该指标体系包括技术性、经济性、环境性3个一级指标和9个二级指标;引入二元语义表征各指标相对重要度,利用层次分析法构建二元语义判断矩阵,确定评价指标权重。通过各指标分级标准计算获得云模型的数字特征,在此基础上结合指标权重,构建基于二元语义云模型的废旧产品拆卸方案的评价模型;以圆柱圆锥齿轮减速器拆卸方案为例进行评价方法应用,结果表明,所提方法不仅兼顾当前政策导向且评价结果真实、可靠。  相似文献   

5.
为了克服自然语言表达形式的多样性和文本分类的粗略性,将潜在语义分析和谱聚类方法结合起来对语料库进行处理,构造一个语义空间,最终使用向量空间模型对文本进行相似性计算。实验证明,该方法可有效提高语义相似性计算的准确度。  相似文献   

6.
王春华  韩栋  刘珂 《天中学刊》2007,22(2):57-59
在网格环境中,各成员的数据库可能处于不同的平台上,数据库管理系统和数据库中数据语义也可能不同.在研究OGSA-DAI的基础上,分析了OGSA-DAI如何解决平台异构性、DBMS异构性和语义异构性的问题,给出了网格环境中访问异构数据库的模型.  相似文献   

7.
分级显性意义假说作为最先进的、最后出现的帮助人们理解语义含义的处理模型,对他出现之前的长期被人们广泛接受的两种语义处理方式即直接通达、语义假说产生了撼动性的影响,为人们提供了一种全新的话语处理模型,并确定了在话语处理中显性意义首先通达的重要内容。本文分析了对分级显性意义假说的深刻理解,并列举了对语义处理的几种形式,即重点分析了反语、隐喻语、惯用语,以此加强人们对分级显性意义假说的了解,扩大分级显性假说模型在语义领域的影响力。  相似文献   

8.
形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.  相似文献   

9.
泛在技术的普及使得信息的获取更加便捷,与之伴随地是信息消费中的碎片化、多任务和浅层读图的现象。针对这一问题,该文依托于"语义图示"所开展的研究,提出一个有助于提高学习深度的方案——语义图示工具模型。作为一种帮助学习者达到深层学习的工具,语义图示工具的设计超越碎片化的知识获取方式,为学习者提供系统而全面的学习支持。该文首先追溯机器学习和教育领域中深度学习的发展;接着在语义图示工具的设计中,借助人工智能技术,设计专家系统作为后台支持,以实现可视化语义建模、语义推荐以及动态模拟的核心功能,这些功能旨在通过语义图示帮助学习者做出决策、解决问题,以超越碎片化的信息获取方式;最后,该文以案例的方式呈现语义图示工具中的几个核心功能,以示例如何通过可视化的语义图示超越碎片化的语义获取。  相似文献   

10.
当前关于句子理解中语义加工神经回路的理论主要有MUC模型、BAIS模型、N400产生源模型等.这些模型主要在加工的时间进程、大脑功能定位、不同脑区的交互作用等方面存在着重要的分歧和争论.未来的研究应着重于对语义整合概念进行更精细与系统的界定、突破以N400为框架的语义加工传统、强调大脑功能的整体性与交互性、对不同成像技术的辐合性运用.  相似文献   

11.
逻辑和语言的研究分为句法、语义和语用几个领域。在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法。这些理论自上世纪下半叶诞生起就呈现出逻辑和语言研究的交叉互动:尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究,但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新。  相似文献   

12.
文章从多主体的动态事务管理逻辑出发,给出了多主体动态管理逻辑的语言和语义,并进一步分析了质询的时态协议,给出了其模型。最后从称珍珠的例子出发,分析了一个Q生成模型的语义和模型,并得出了一些结论。  相似文献   

13.
静态语义和动态语义是语言体系中两个性质相互对立的语义集合。语境因素对语言的影响和制约是动态语义生成的必要条件。语言表达的思想和意义是同一载体的两个语义层次。语言的逻辑结构和语法结构的关系,意义寓于逻辑结构之中,对逻辑的结构的分析旨在揭示隐性的语义成分,并对其客观的真实性作逻辑的指证。语言的创新决定于心的功能,即指人对事物的观察和体验以及思维的能力。  相似文献   

14.
摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。  相似文献   

15.
图同构性的应用   总被引:1,自引:1,他引:1  
给出了图同构性对称变换判定的方法,并在此基础上给出并证明了一种自补图矩阵判定的方法.  相似文献   

16.
英语中动词谓语和状语之间有着非常密切的逻辑关系,这种关系不仅表现在语法逻辑方面,还表现在语义逻辑方面。从语义学的角度看,动词谓语和状语之间存在着一种时间参照关系和一种时间涵盖关系。在言语交际中,时间参照和时间涵盖起着非常重要的作用。事实上,没有参照因素就无法传递信息。而时间涵盖关系指的是一个时段涵盖了另一时间或被另一时段所涵盖。这两种重要逻辑关系在英语教学和研究中有着十分重要的作用。  相似文献   

17.
描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。  相似文献   

18.
命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是:采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应关系,可以从整体上处理一类逻辑,具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑,包括相干逻辑R及其线性片段、直觉主义逻辑及其BCK片段等,并借助典范框架和典范赋值,证明了这些逻辑系统的可靠性和完全性。  相似文献   

19.
远在百家争鸣的春秋战国时期 ,韩非子就迳直去研究客观世界的逻辑结构和逻辑规律。更难能可贵的是 ,在韩非子的逻辑思想宝库里还显露出当代逻辑的不用逻辑量词然而却分析到多元关系和项 (个体变元、个体常项 )的语义的研究和语构的研究的端倪。韩非子关于项逻辑的研究比德国数理逻辑家弗雷格的谓词逻辑早两千多年。韩非定律彪炳古今  相似文献   

20.
图的深度优先遍历的C语言实现   总被引:2,自引:0,他引:2  
图的深度优先遍历,是对图中的每个顶点进行访同且不能重复访同,而我们要遍历图。不是在它的逻辑结构上来实现,而是要在内存中来实现,在这里我们可以先把图采用邻接表方式将图存储起来。然后进行深度优先遍历。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号