发明专利已授权

一种基于命题逻辑的规范拆解方法

📄 申请号：CN201810149005.9 📄 发布日：2026/07/23

著录项目信息

申请日

2018-02-13

公开号

CN108446267B

公开日

2021-08-06

申请人

西安理工大学

法律状态

已下证

专利类型

发明

主分类号

G06F40_30

IPC 分类号

G06F40_30 , G06F16_25 , G06Q50_08 ,

技术画像

所属领域

命题逻辑命题逻辑知识表示自然语言处理

应用场景

智能合规审查, 规则引擎, 知识图谱构建, 法律文本结构化

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了一种基于命题逻辑的规范拆解方法，具体包括如下步骤：针对具体规范条目进行语义分析，将规范拆解为多个简单的句子，对所得的句子进行命名，并将其映射表示为原子命题集合；基于对简单句子的分析结果，获得该规范条目的语义标签集合；通过对简单句集合进行语法分析，获得每一简单句的连接词或程度词，从而得到该规范条目的连接词集合；确定原子命题集合中原子命题和之间的逻辑连结词,得到该条规范的连结词集合；将原子命题集合作为合取范式的一组真值指派，用合取范式附加真值指派来表达具体规范条目；本发明提供的方法能够将建筑行业规范条目的文本信息和规范条目所包含的语义信息进行数字化表达。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

20210806

✅ 授权

20180918

?? 实质审查的生效：

20180824

📄 公开

一种混输泵的叶轮结构

当前第 / 件

一种适用于亚麻脱胶废水处理的模块化集成工艺方法

同领域国内专利 · IPC: (G06F40_30)

G06F40_103 G06F40_106 G06F40_109 G06F40_117 G06F40_12 G06F40_123 G06F40_126 G06F40_129 G06F40_14 G06F40_151 G06F40_154 G06F40_166 G06F40_169 G06F40_174 G06F40_18 G06F40_183 G06F40_186 G06F40_189 G06F40_194 G06F40_20 G06F40_205 G06F40_211 G06F40_216 G06F40_226 G06F40_232 G06F40_242 G06F40_247 G06F40_253 G06F40_258 G06F40_279 G06F40_284 G06F40_289 G06F40_295 G06F40_30 G06F40_35 G06F40_40 G06F40_42 G06F40_45 G06F40_51 G06F40_58 覆盖40个领域

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：37 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)

一种基于命题逻辑的规范拆解方法

著录项目信息

技术画像

所属领域

应用场景

摘要

法律状态时间线

同领域国内专利 · IPC: (G06F40_30)

相似专利推荐 AI 驱动 · 同领域

一种基于BP‑Tabu搜索的云任务负载均衡调度方法

云计算环境下基于VHAM-R模型的虚拟机放置遗传优化方法

基于改进遗传算法的虚拟机初始放置策略方法

服务项目

资源中心

关于柿子坊