“谓词逻辑”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果139646个，建议您升级VIP下载更多相关专利

[发明专利]用于web服务的安全性策略验证-CN200880106530.7有效
发明人：钟显维;中村祐一;佐藤史子 -专利权人：国际商业机器公司
申请日： 2008-09-04 - 公布日： 2010-08-25 - 主分类号： G06F21/24 文献下载
摘要：本发明公开了一种用于web服务的安全性策略验证的方法、设备和产品，包括：将用于web服务的安全性策略转换为策略谓词逻辑表示；提供表示安全性策略简档的一个或多个规则的简档谓词逻辑表示；以及根据策略谓词逻辑表示和简档谓词逻辑表示确定安全性策略是否满足安全性策略简档
用于 web 服务安全性策略验证

[发明专利]用于辅助评判数学题答题质量的方法及装置-CN201510423574.4有效
发明人：林辉 -专利权人：成都准星云学科技有限公司
申请日： 2015-07-17 - 公布日： 2019-03-22 - 主分类号： G09B7/02 文献下载
摘要：本申请提供了一种用于辅助自动评判数学题答题质量的方法及装置，其中，所述方法包括：基于电子识别出的待识别对象，获取待识别对象的一阶谓词逻辑，其中待识别对象包括：题干和学生答案；基于题干的一阶谓词逻辑及已知的数学知识生成与所述题干相关的知识库；判断所述学生答案的一阶谓词逻辑是否在所述知识库中，以及是否符合所述知识库的逻辑；若在所述知识库中且符合所述知识库的逻辑，则确定所述学生答案正确；若不在所述知识库中，则判断基于符号运算是否能推导出所述学生答案的一阶谓词逻辑；若基于符号运算能够推导出所述学生答案的一阶谓词逻辑，则确定所述学生答案正确。
用于辅助评判数学题答题质量方法装置

[发明专利]数据库操作语句的谓词逻辑优化方法、存储介质与设备-CN202310416428.3在审
发明人：徐洲;尹强 -专利权人：北京人大金仓信息技术股份有限公司
申请日： 2023-04-18 - 公布日： 2023-07-14 - 主分类号： G06F16/2453 文献下载
摘要：本发明提供了一种数据库操作语句的谓词逻辑优化方法、存储介质与设备。其中上述方法包括：数据库的优化器获取数据库操作语句；判断数据库操作语句是否符合谓词优化条件；在符合谓词优化条件的情况下，对数据库操作语句中的条件子句进行谓词逻辑转换；用转换后的数据库操作语句继续执行优化器的操作通过这种方法，能够将符合谓词优化条件的数据库操作语句进行谓词逻辑转换，从而发掘出条件子句中的隐含条件，使用经过优化的数据库操作语句替换原先的数据库操作语句，从而减少不必要的数据库资源消耗，并且提升查询效率
数据库操作语句谓词逻辑优化方法存储介质设备

[发明专利]环路控制系统及方法-CN200980123763.2有效
发明人：卢奇安·科德雷斯库;埃里克·普隆德克;王林;苏雷什·K·文库马汉蒂 -专利权人：高通股份有限公司
申请日： 2009-06-24 - 公布日： 2011-05-18 - 主分类号： G06F9/445 文献下载
摘要：在特定实施例中，硬件环路控制逻辑电路包括用于检测程序环路的环路结束指示符的检测单元。所述硬件环路控制逻辑电路还包括用于使环路计数递减且使谓词触发计数器递减的递减单元。所述硬件环路控制逻辑电路进一步包括用于比较所述谓词触发计数器与参考以确定何时设定谓词值的比较单元。
环路控制系统方法

[发明专利]一种基于概率软逻辑模型的实体解析方法-CN201911235517.8在审
发明人：韩伟红;宫云宝;陈雷霆;曹厚华;蒋振韬 -专利权人：电子科技大学广东电子信息工程研究院
申请日： 2019-12-05 - 公布日： 2020-04-10 - 主分类号： G06F40/295 文献下载
摘要：本发明属于实体解析技术领域，具体涉及一种基于概率软逻辑模型的实体解析方法，包括以下步骤：a、将实体解析中的实体属性、实体关系以及本体约束分别进行逻辑谓词表示；b、分别基于实体属性、实体关系以及本体约束构建实体解析过程中的一阶逻辑规则；c、结合步骤a中声明的逻辑谓词与步骤b中构建的逻辑规则设置一个关于实体解析的概率软逻辑模型；d、对概率软逻辑模型进行权重学习；e、使用推理算法对概率软逻辑模型进行计算，通过实体解析概率值。与现有技术相比，本发明通过进行谓词逻辑表示，提出基于实体属性相似度、实体关系、本体约束的逻辑规则构建，实现了概率软逻辑模型的实体解析过程，有效地提高了实体解析的准确率与执行效率。
一种基于概率逻辑模型实体解析方法

[发明专利]基于SCD文件的智能变电站保护系统可靠性自动分析方法-CN201310554206.4有效
发明人：高吉普;徐长宝;张沛超;戴宇;陈建国 -专利权人：贵州电力试验研究院;上海交通大学
申请日： 2013-11-08 - 公布日： 2016-11-23 - 主分类号： G06F17/30 文献下载
摘要：本发明涉及一种基于SCD文件的智能变电站保护系统可靠性自动分析方法，包括以下步骤：1)读取SCD文件，获得保护系统中各IED的虚端子和虚回路的谓词表达式；2)根据所述谓词表达式，生成保护系统的逻辑连接图及其谓词表达式；3)根据逻辑连接图的谓词表达式进行谓词演算，识别保护系统的物理连接，并生成保护系统的物理连接图；4)将物理连接图转化为保护系统的可靠性框图；5)根据可靠性框图对保护系统进行可靠性指标的计算。
基于 scd 文件智能变电站保护系统可靠性自动分析方法

[发明专利]一种对话响应方法及装置-CN201911179760.2在审
发明人：刘璐;朱越;张宝峰 -专利权人：华为技术有限公司
申请日： 2019-11-27 - 公布日： 2020-03-17 - 主分类号： G06F16/332 文献下载
摘要：该方法包括：获取待识别的对话文本；根据预设的谓词逻辑规则将所述对话文本转换为谓词公式，所述谓词公式用于描述所述对话文本的语义；根据所述谓词公式确定所述对话文本中描述的至少一个意图；执行所述至少一个意图所指示的对话操作
一种对话响应方法装置

[发明专利]一种基于DeepDive的自动数据清洗方法-CN201910077102.6在审
发明人：李卫榜;李玲;谈文蓉;崔梦天 -专利权人：西南民族大学
申请日： 2019-01-28 - 公布日： 2019-06-28 - 主分类号： G06F16/215 文献下载
摘要：的数据自动清洗方法，包括：(1)根据原始数据规模与设定阈值进行比较，规模超过阈值则随机采样得到采样数据；(2)从原始数据或者采样数据中学习得到属性之间贝叶斯网络；(3)将学习得到的贝叶斯网络转换成一阶谓词逻辑规则；(4)使用互信息理论计算一阶谓词逻辑规则的权重，将带权重的一阶谓词逻辑规则转换成马尔可夫逻辑网络；(5)基于马尔科夫逻辑网络生成DeepDive规则；(6)基于DeepDive进行错误/缺失数据的概率推理
谓词逻辑一阶贝叶斯网络采样数据逻辑网络原始数据自动清洗权重清洗规则转换理论计算缺失数据数据清洗随机采样推理结果质量模式自动数据互信息脏数据概率推理元组学习转换

[发明专利]数据分析系统中搜索查询的验证-CN201880031919.3有效
发明人：宅间大介;伊川洋平 -专利权人：国际商业机器公司
申请日： 2018-05-30 - 公布日： 2023-04-04 - 主分类号： G06F16/2458 文献下载
摘要：该方法包括接收搜索查询，该搜索查询包括多个谓词以及一个或多个约束，每个约束与复数谓词相关联，其中每个谓词被指定为肯定或否定，并且多个谓词与一个或多个约束一起形成逻辑图。该方法还包括从所述图中生成子图，该子图包括在搜索查询的多个谓词中被指定为肯定的一个或多个谓词。该方法还包括确定子图是否具有复数组件，以及响应于确定子图具有复数组件，使搜索查询无效。
数据分析系统搜索查询验证

[发明专利]决策图的切分方法和切分装置-CN202110727056.7在审
发明人：张旭;于乾坤;李楠 -专利权人：华为技术有限公司
申请日： 2021-06-29 - 公布日： 2022-12-30 - 主分类号： H04L45/74 文献下载
摘要：该方法包括：按照决策点将决策图切分成N个子图，子图有一个起始决策点，N个子图中的全部子图或部分子图有对应的谓词，谓词用于表示该谓词对应的子图是否为有效子图，其中，N为大于或等于2的整数；基于子图对应的谓词，得到N个子图的输出谓词信息，该输出谓词信息用于表示子图的候选决策结果；存储N个子图的路径信息以及输出谓词信息，根据合并逻辑以及上述N个子图的路径信息和输出谓词信息将N个子图合并为上述决策图。
决策切分方法装置

[发明专利]企业信息集成平台-CN200610006263.9有效
发明人：于尔根·安格勒;于尔根·哈巴特;哈拉尔德·舍宁;韦尔特·沃特菲尔德;凯·温克勒;比约恩·布劳尔 -专利权人：翁托普里塞有限公司;软件公开股份有限公司
申请日： 2006-01-25 - 公布日： 2006-08-02 - 主分类号： G06F17/30 文献下载
摘要：这些映射规则和整体系统是基于谓词逻辑。使用基于谓词逻辑的推理，在规则的帮助下，应答查询。
企业信息集成平台

[发明专利]一种移动机器人室内导航的语义地图-CN201710062290.6在审
发明人：王恒升;任晋 -专利权人：王恒升;任晋
申请日： 2017-02-02 - 公布日： 2017-06-13 - 主分类号： G01C21/00 文献下载
摘要：本发明采用谓词逻辑的体系来对移动机器人所处环境的结构化部分的知识进行描述，定义语义名词的建筑的几何形状及（或）位置坐标，定义语义名词之间的几何关系。本发明将这种系统地以谓词逻辑语句对移动机器人所在室内环境的定义称为语义地图。移动机器人导航中的机器人自定位和路径规划可以借助语义地图，通过谓词逻辑的推理过程来实现。
一种移动机器人室内导航语义地图

[发明专利]一种链路层网络拓扑发现方法及装置-CN200810119624.X有效
发明人：李辛鹤;段文国 -专利权人：北京启明星辰信息技术股份有限公司;北京启明星辰信息安全技术有限公司
申请日： 2008-09-04 - 公布日： 2010-03-10 - 主分类号： H04L29/08 文献下载
摘要：一种链路层网络拓扑发现方法及装置，其步骤包括：ping链路层网络节点得到网络节点的地址转发表(AFT表)；利用谓词逻辑推理算法根据连接推理技术推导网络节点间的连接关系，修补不完整的逆根AFT数据得到完整的AFT表；根据谓词逻辑推理算法所得到的完整的AFT表，利用生成树协议算法计算出各网络节点，从而发现链路层的物理网络拓扑结构。本发明所提供的方法结合连接推理技术的谓词逻辑推理方法和基于生成树协议的拓扑发现算法，在AFT数据不完全的情况下，能够有效计算出网络节点信息，从而克服了现有链路层网络拓扑发现方法的不足，提高了获得网络物理拓扑的可能性
一种链路层网络拓扑发现方法装置

[发明专利]在间接话语和事务之间建立逻辑连接-CN201910052363.2有效
发明人： M.卡尼姆;R.G.法雷尔;A.B.福库-恩库切;J.A.冈内尔斯;R.A.穆萨;V.A.萨拉斯瓦特 -专利权人：国际商业机器公司
申请日： 2019-01-21 - 公布日： 2023-09-26 - 主分类号： G06F16/332 文献下载
摘要：描述了一种用于在间接话语和事务之间建立逻辑连接的方法、装置和计算机程序产品。从用户接收间接话语作为会话系统的输入。间接话语被解析成第一逻辑形式。将第一组谓词和术语从第一逻辑形式映射到知识图中的第一子图。将第二组谓词和术语从属于事务的第二逻辑形式映射到知识图的第二子图。搜索知识图中第一子图和第二子图之间的最佳路径，同时使用沿着最佳路径的节点和边标签变换第一逻辑形式，以生成中间逻辑形式。如果中间逻辑形式的图结构与高于阈值的事务的逻辑形式的图结构相匹配，则对事务执行系统动作。
间接话语事务之间建立逻辑连接

[发明专利]目标领域知识库的生成、问题解答方法及装置-CN202010202748.5有效
发明人：胡康兴;段戎;张明仕;郭定平 -专利权人：华为技术有限公司
申请日： 2020-03-20 - 公布日： 2022-03-25 - 主分类号： G06F16/36 文献下载
摘要：本申请公开了一种目标领域知识库的生成、问题解答方法及装置，本申请根据目标领域知识的知识类型，确定所述目标领域知识的概念图谱、事理图谱及谓词逻辑公式；进而生成目标领域知识库。概念图谱用于表示概念词间的静态关系；事理图谱用于表示事件之间顺序和事件之间的事理关系；谓词逻辑公式用于表示目标领域知识中的业务规则。问题解答方法包括：从事理图谱中确定出问题的N个分词短语触发的M个事件，并根据N个分词短语中与概念图谱匹配的K个分词短语确定出M个事件的槽位的槽位值；根据M个事件，以及M个事件的槽位的槽位值，对问题的咨询对象对应的谓词逻辑公式进行运算
目标领域知识库生成问题解答方法装置

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条