约束推理

本专辑为您列举一些约束推理方面的下载的内容,约束推理等资源。把最新最全的约束推理推荐给您,让您轻松找到相关应用信息,并提供约束推理下载等功能。本站致力于为用户提供更好的下载体验，如未能找到约束推理相关内容，可进行网站注册，如有最新约束推理相关资源信息会推送给您。

阅读全文

约束推理

: 敏捷卫星调度的时间约束推理方法敏捷卫星调度的时间约束推理方法
评级：0 浏览量：52 收藏量：0 资源大小：1.47MB 上传时间：2021-02-10

: 并发计算的时空约束推理.pptx 解决方案,研究报告,行业报告
评级：0 浏览量：2 收藏量：0 资源大小：152KB 上传时间：2024-05-21

: 高级人工智能之约束推理.pptx 高级人工智能之约束推理.pptx
评级：0 浏览量：53 收藏量：0 资源大小：277KB 上传时间：2021-10-09

: 航天器调度中的资源约束推理方法 (2014年) 资源水平边界的估计是构建资源利用可行计划中的一个基础问题。通过分析航天器资源约束的共享与分离并存、累积与瞬时消耗并存、过度订阅与区间调度并存等...实例证明，该方法较好地解决了航天器调度的资源约束推理问题。
评级：0 浏览量：33 收藏量：0 资源大小：416KB 上传时间：2021-05-26

: DisChoco:DisChoco：分布式约束推理解决方案-开源 DisChoco是一种分布式约束推理解决方案。实现了几种分布式约束推理算法（例如ABT，AFC，采用...）。用户可以使用DisChoco轻松实现和测试其算法。联系人：wahbi [at] users [dot] sourceforge [dot] net
评级：0 浏览量：69 收藏量：0 资源大小：8.1MB 上传时间：2021-04-15

: 高级人工智能第三章约束推理65.pptx 高级人工智能第三章约束推理65.pptx
评级：0 浏览量：36 收藏量：0 资源大小：452KB 上传时间：2021-09-24

: 网络技术-网络基础-约束推理与约束程序设计语言的研究.pdf 网络技术-网络基础
评级：0 浏览量：15 收藏量：0 资源大小：4.08MB 上传时间：2022-04-19

: ChatGPT技术的资源约束与推理计算优化.docx ChatGPT技术的使用教程、使用方法、使用技巧、使用注意事项、使用中常见问题
评级：0 浏览量：11 收藏量：0 资源大小：37KB 上传时间：2023-08-26

: 基于时空约束的瓦斯事故知识库构建及预警推理为了实现瓦斯事故智能化分析预警以及相关知识复用和共享，基于本体和事故树理论，提出构建动态瓦斯事故预警知识库及推理模型，满足各致灾因素时间空间共存约束下的瓦斯事故知识描述和分析预警。构建本体模型及推理...
评级：0 浏览量：122 收藏量：1 资源大小：1.28MB 上传时间：2020-07-25

: 空间约束地址模型及推理匹配方法研究.docx 空间约束地址模型及推理匹配方法研究.docx
评级：0 浏览量：15 收藏量：0 资源大小：452KB 上传时间：2023-02-23

: 基于知识规则与几何推理的拆卸约束自动生成基于知识规则与几何推理的拆卸约束自动生成，申宏洲，李静蓉，在深入分析普通零件和联接件之间拆卸关系的基础上，归纳出螺栓联接和键联接等标准联接件的拆卸规则。提出了一种基于联接件知识规
评级：0 浏览量：66 收藏量：0 资源大小：278KB 上传时间：2020-03-03

: 基于规则推理的实时信息物理监控系统目前基于规则的CPS监控方法未考虑CPS监控场景的时间约束, 仅仅利用各种优化技术来缩短监控的响应时间. 为此, 本文基于实时规则引擎建立了一个CPS的实时监控系统RTCPMS. 该系统采用Rete网络表示监控规则, 其核心是一...
评级：0 浏览量：82 收藏量：1 资源大小：1.93MB 上传时间：2021-05-06

: 通过MAP推理解决约束组合优化问题而无高阶惩罚通过MAP推理解决约束组合优化问题而无高阶惩罚
评级：0 浏览量：29 收藏量：0 资源大小：2.84MB 上传时间：2021-05-09

: 论文研究-结合方向关系和拓扑关系的约束满足推理.pdf 结合定性空间推理中的区域连接演算（RCC）和基于区域的主方向关系模型，应用拓扑和方向关系上的复合表，将方向关系和拓扑关系的推理看作约束满足问题（CSP），给出了结合RCC8和主方向关系的约束满足问题推理算法，该...
评级：0 浏览量：110 收藏量：0 资源大小：482KB 上传时间：2019-09-08

: 基于知识规则与几何推理的拆卸约束自动生成 (2009年) 提出了一种基于联接件知识规则和几何推理相结合的自动生成拆卸约束的方法，并给出了流程框图。通过实例验证，说明该方法有效可行，为实现自动建立拆卸约束模型和优化拆卸过程提供了实际应用的可能。
评级：0 浏览量：34 收藏量：0 资源大小：634KB 上传时间：2021-05-08

: 模糊推理α反向三I约束算法的一般表示 (2013年) 讨论了模糊推理α反向三I约束算法的表示问题,基于正则蕴涵算子建立FMP和FMTα反向三I约束算法的一般表示.将现有的α反向三I约束算法的统一表示推广到一种新的形式.
评级：0 浏览量：73 收藏量：0 资源大小：660KB 上传时间：2021-05-16

: 论文研究-直觉模糊推理的三I约束算法.pdf 研究了直觉模糊推理三I约束算法，给出了IFMP、IFMT问题的直觉模糊推理三I约束算法解的表达形式和分解形式，在此基础上，指出了直觉模糊推理三I约束算法是模糊推理三I约束算法的推广，并给出了相应的证明。
评级：0 浏览量：95 收藏量：0 资源大小：756KB 上传时间：2019-09-12

: 定性空间推理及其应用技术研究内容提要定性空间推理技术对于研发新一代的智能空间信息处理...关键词：定性空间推理，RCC8，主方向关系，约束满足问题，路径相容，数学形态学，模糊集，时空推理，概念邻域，R 树，哈希索引，空间数据挖掘，决策树
评级：0 浏览量：119 收藏量：0 资源大小：2.45MB 上传时间：2013-02-20

: 论文研究-的模糊推理三I约束算法.pdf 蚁窗[1]算法是蚁群算法研究的重要进展之一。定义了大窗口和小窗口，指出经典蚁群算法实质上是大窗口蚁窗算法。研究表明，小窗口蚁窗直径的下限统计平均值约为5，使狭义TSP问题的计算复杂性由1/2（n-1）!...
评级：0 浏览量：66 收藏量：0 资源大小：412KB 上传时间：2019-09-13

: 基于极大模糊熵原理的模糊推理三Ⅰ约束算法 (2010年) 给出了FMP, FMT问题的模糊熵三Ⅰ约束原则,讨论了FMP, FMT问题的模糊熵三Ⅰ约束解的存在性条件,分别给出了几个常见蕴涵算子的FMP问题与FMT问题的模糊熵三Ⅰ约束算法的计算公式,进一步将问题一般化;给出了FMP问题与FMT...
评级：0 浏览量：56 收藏量：0 资源大小：5.74MB 上传时间：2021-05-13

: 论文研究-基于蕴涵算子族的模糊推理的FMP三I约束算法.pdf 利用蛋白质混沌游走表示法（PCGR）提出一种新的蛋白质序列比对方法。通过计算两序列之间的PCGR点距离，就可以找到所有的局部相似片断。根据氨基酸的化学物理性质把氨基酸分成4和7类，针对分类与无分类的各种情况进行...
评级：0 浏览量：80 收藏量：0 资源大小：1.2MB 上传时间：2019-09-12

: 论文研究-结合拓扑和方位的定性空间推理方法.pdf 空间区域的拓扑关系和方位关系是空间推理的重要研究内容，以往的工作集中在单一的空间方面, 这不能满足实际应用领域的需要。基于主方位模型给出了主方位关系的形式化定义,考虑到拓扑与方位间的相互依赖关系,提出了...
评级：0 浏览量：127 收藏量：0 资源大小：54KB 上传时间：2019-07-22

: 模糊推理中零级泛蕴涵的信息度约束研究*) (2005年) 基于线性特征测度的定义，本文详细地讨论了模糊推理中零级泛蕴涵满足信息有界性原则的条件，并得出结论：当命题问是相克相关，即其广义相关系数h∈[0，0.5]时，零级泛蕴涵满足信息有界性原则。这一结论对于在实际...
评级：0 浏览量：52 收藏量：0 资源大小：323KB 上传时间：2021-05-22

: 拓扑关系渐变的定性推理 (1999年) 研究了拓扑关系的渐变问题,扩展了基于拓扑关系静态描述模型9 元交模型基础之上的拓扑关系渐变描述模型――拓扑关系...采用基于过程的推理和面向对象的方法,提出了基于过程的拓扑关系渐变定性推理模型的面向对象建模方法
评级：0 浏览量：110 收藏量：0 资源大小：257KB 上传时间：2021-05-30

: 基于变分贝叶斯推理的多目标无源定位算法-论文基于变分贝叶斯推理的多目标无源定位算法
评级：0 浏览量：163 收藏量：0 资源大小：1.06MB 上传时间：2021-05-22

: 论文研究-FLUX中负析取约束的研究与实现.pdf FLUX是基于流演算的逻辑程序语言，实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状态，但现有的约束并不能覆盖所有流演算状态公式，这势必影响FLUX的应用范围。针对以上...
评级：0 浏览量：74 收藏量：0 资源大小：211KB 上传时间：2019-07-22

: 论文研究-行为时序逻辑中四级公平性下的活性推理规则.pdf 公平性是行为时序逻辑用于表达系统活性的形式，直接影响到系统...作为示例，运用新的活性推理规则对一个程序实例进行了推理验证，在建立起相应的活性推理规则后，四级公平性才能够被有效运用到实际的系统描述与验证中。
评级：0 浏览量：63 收藏量：0 资源大小：920KB 上传时间：2019-07-22

: 基于规则的SoftMan系统推理机制研究基于RSECAP模型，建立了基于规则的SoftMan正向推理机制，并讨论了规则冲突问题。分别从动作约束和后置条件约束两个角度定义了规则冲突问题的形式化描述，并证明了这两种描述方式之间的内在逻辑关系。在此关联理论...
评级：0 浏览量：71 收藏量：0 资源大小：336KB 上传时间：2021-03-05

: 差异依赖性：推理和发现我们提出了一种新型的差分依赖关系（dds），它指定了对差异的约束，称为差分函数，而不是传统的依赖关系表示法（如功能依赖关系）中的标识函数。非正式地，微分依赖关系指出，如果两个元组在属性X上的距离与某个...
评级：0 浏览量：85 收藏量：0 资源大小：688KB 上传时间：2021-02-22

: 论文研究-模糊概念图知识表示及其推理机制研究.pdf 根据改进的模糊概念图,重点研究了模糊概念图的匹配推理机制,设计了基于语义约束的匹配推理算法,并定量分析了算法的时间复杂度和空间复杂度。经过在《计算机文化基础》课程中实验测试,算法反映了考生主观题的答卷情况...
评级：0 浏览量：116 收藏量：0 资源大小：211KB 上传时间：2019-07-22

: 约束满足问题的知识表示-研究论文约束驱动的推理器，用于管理一组约束，这些约束指定为任意复杂的布尔表达式，并以约束网络的形式表示。该约束网络：包含用于约束传播的控制信息（在约束的语法中反映）：包含可用于解释和依赖定向回溯的依赖信息； ...
评级：0 浏览量：44 收藏量：0 资源大小：4.78MB 上传时间：2021-05-19

: GIS中定性距离推理 (2009年) 为了丰富了GIS基础理论，运用区间运算理论和集合论，根据定性距离约束条件，导出了定性距离推理的通项公式，重点研究了同向定性距离推理和反向定性距离推理。只要定性距离的区间范围单调递增，推理结果与具体的区间...
评级：0 浏览量：36 收藏量：0 资源大小：234KB 上传时间：2021-06-13

: Handbook of Parallel Constraint Reasoning Handbook of Parallel Constraint Reasoning，Youssef Hamadi · Lakhdar Sais Editors， 2018
评级：5 浏览量：84 收藏量：0 资源大小：10.73MB 上传时间：2019-07-05

: 一种动态约束优化调度的软件模型 (2009年) 动态解析器规范了变元和约束条件，动态分配器解决了约束条件的重新分配和冲突，推理引擎实现了快速搜索。实验表明该模型可以满足实际动态逻辑约束问题的求解，并且把传统优化调度的封闭形式扩展为开放状态。
评级：0 浏览量：66 收藏量：0 资源大小：236KB 上传时间：2021-05-13

: hermes：Hermes-支持SNOMED CT，交叉图，推理，快速全文搜索，自动完成，组成语法和表达约束语言的术语工具... hermes：Hermes-支持SNOMED CT，交叉图，推理，快速全文搜索，自动完成，组成语法和表达约束语言的术语工具。图书馆和微服务
评级：0 浏览量：78 收藏量：0 资源大小：83KB 上传时间：2021-02-05

: 一种基于模糊推理的自组网成簇控制策略现了一个模糊推理规则库以产生每种链路的模糊代价, 并提出一种基于移动预测机制的D2度约束的分布式成簇策略. 成簇问题可归结为寻找一个极大独立集问题, 给出了算法及其正确性证明. 仿真结果表明, 该方法的稳定...
评级：0 浏览量：34 收藏量：0 资源大小：280KB 上传时间：2021-01-15

: 时态框架的推理策略 (1998年) 由于针对时间的表示和推理是AI中的重要因素,因而提出了时态框架的表示方法.利用约束时间传播和对框架的更新以及变异,可以分别以时刻链和修正算法对框架进行推理.
评级：0 浏览量：16 收藏量：0 资源大小：176KB 上传时间：2021-05-10

: cellconstraints:根据约束条件解决逻辑难题（例如数独）它可以工作，并且可以解决相当数量的难题，但是，由于需要稍微困难的推理，所以仍然无法解决某些难题。我希望最终可以使它更加概括，但是我们会看到的。去做添加一些专门的逻辑以查看是否可以解决非常困难的数独...
评级：0 浏览量：52 收藏量：0 资源大小：4KB 上传时间：2021-05-14

: 面向复杂产品的多层智能推理框架 (2011年) 考虑到复杂产品案例表达多层次的特点,根据领域知识和部件功能相似性,基于XML描述的部件层次互换约束规则,实现深层次的案例细节调整和修改,从而建立了多层智能推理方法框架,为多层次复杂产品案例推理问题提供可行的...
评级：0 浏览量：38 收藏量：0 资源大小：810KB 上传时间：2021-05-31

: 基于遗传算法和模糊推理的单幅图像人体姿态估计方法姿势识别使用通过将人体表示为表示为连接结构的部分而获得的约束来减少遗传算法的搜索空间。首先，头部是身体相对容易检测的部分，通过模式匹配进行检测。然后，根据头部的位置，依次检测身体、手臂和腿部。复杂...
评级：0 浏览量：85 收藏量：0 资源大小：474KB 上传时间：2021-06-29

: CommonGen:面向生成常识推理的受限文本生成挑战 CommonGen：面向生成常识推理的受限文本生成挑战 @article{lin2019comgen, author = {Bill Yuchen Lin and Wangchunshu Zhou and Ming Shen and Pei Zhou and Chandra Bhagavatula and Yejin Choi and Xiang Ren}, ...
评级：0 浏览量：285 收藏量：0 资源大小：32.37MB 上传时间：2021-05-02

: 论文研究-并行设计中基于特征约束的变更传播研究.pdf 然后对不同类型特征约束的变更传播进行了推理，给出了被影响的特征约束的求解算法；最后以某型号人孔为例说明了变更传播实现机制和方法。实验结果表明，该方法在很大程度上改进了分析变更传播的准确性和有效性。
评级：0 浏览量：53 收藏量：0 资源大小：1.58MB 上传时间：2019-07-22

: 基于推理的上下文感知RBAC模型设计和实现 (2009年) 为了解决现有基于角色的访问控制(RBAC)模型缺乏对上下文约束条件的动态调整和生成,无法根据调整后的感知条件对用户权限实时进行调节的问题,在融合上下文感知RBAC模型和基于推理的RBAC模型基础上,提出了基于推理的上...
评级：0 浏览量：57 收藏量：0 资源大小：394KB 上传时间：2021-04-24

: 论文研究-复杂系统的定性表示与推理.pdf 论文研究-复杂系统的定性表示与推理.pdf, 基于人工智能中树图推理的思想,提出一种对复杂系统进行定性描述和推理的方法.该方法基于图论把一般的定性约束方程转化为一种...
评级：0 浏览量：77 收藏量：0 资源大小：191KB 上传时间：2019-09-20

: 基于多范例推理的小组软件过程规划算法 (2007年) 小组软件过程由活动组成，活动受角色、时间、数据、设备等方面的约束，软件过程的规划就是多约束满足问题。文中提出用问题归约策略与基于范例推理结合的方法解决这个问题。引出了范例粒度的概念，形成一种多范例推理...
评级：0 浏览量：28 收藏量：0 资源大小：473KB 上传时间：2021-06-13

: 基于多色集合理论的概念设计建模和推理技术研究 (2006年) 从功能分解和约束条件两方面进行了数学形式的描述、推理，给出了实现产品概念设计形式化推理的计算机算法流程；以隔振系统的概念设计为例，应用和验证了以上理论和方法。研究表明，基于多色集合理论建立的机械产品...
评级：0 浏览量：66 收藏量：0 资源大小：81KB 上传时间：2021-05-11

资源推荐

相关资源标签

定性空间推理并行推理约束推理人工智能模糊概念图,知识表示,知识推理论文研究首发论文瓦斯事故矿山危险源时空约束智能矿山煤矿智能化移动自组织网络模糊推理模型 clojure snomed terminology snomed-ct ClojureClojure 研究论文 rule reasoning; conflict detection; resolution; Vague 开源软件工程技术论文 natural-language-processing deep-learning natural-language-generation Python 监控系统规则推理 Rete 时间约束信息物理系统自然科学贝叶斯行业分类 PPT 文档资料解决方案技术方案