[发明专利]差阶逻辑表达式的编译方法、装置、电子设备和存储介质有效
| 申请号： | 202310096154.4 | 申请日： | 2023-01-18 |
| 公开（公告）号： | CN115794121B | 公开（公告）日： | 2023-05-26 |
| 发明（设计）人： | 张寅生 | 申请（专利权）人： | 中国科学技术信息研究所 |
| 主分类号： | G06F8/41 | 分类号： | G06F8/41 |
| 代理公司： | 北京市立方律师事务所 11330 | 代理人： | 张筱宁 |
| 地址： | 100038*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请实施例提供了一种差阶逻辑表达式的编译方法、装置、电子设备及计算机可读存储介质，涉及逻辑编程技术领域。该方法包括：获取待编译的对象语言，根据预设解析模型中的语义模型所确定的终结符的符号域，从对象语言中筛选出参考符号序列作为词素；对词素进行解析，得到解析结果；其中，解析结果包括由终结符构成的差阶逻辑命题或编译中断信息；差阶逻辑命题包括低阶逻辑表达式和高阶逻辑中的至少一项。本申请实施例通过解析模型，实现了差阶逻辑的关系识别与程序表达；解决了现有编程语言技术中无法编译差阶逻辑表达式的问题。 | ||
| 搜索关键词： | 逻辑 表达式 编译 方法 装置 电子设备 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学技术信息研究所，未经中国科学技术信息研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310096154.4/，转载请声明来源钻瓜专利网。
