原创力文档- 1
- 0
- 约1.6万字
- 约 13页
- 2023-06-06 发布于四川
- 举报
本发明公开了一种非单调推理在逻辑动作语言系统刻画中的知识表示方法。该方法对多种经典逻辑动作语言进行抽象刻画与性质表示，在统一的特性空间下，给出这些语言的最小特征集。该方法包括逻辑动作语言在回答集逻辑程序语法下的系统化自动翻译、确定性语义特性约束集合构建、稳定模型语义映射与一致性验证三部分内容。逻辑动作语言利用本发明能够系统性地表示与分析逻辑动作语言，并提高针对不同逻辑动作语言系统的知识表示与推理的适用性和效率。
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 112766505 A
(43)申请公布日 2021.05.07
(21)申请号 202110037336.5
(22)申请日 2021.01.12
(71)申请人 深圳大学
地址 51
您可能关注的文档
- 一种机器人的拖动示教装置、机器人及其拖动示教方法.pdf
- 一种备件转运网络建模和求解方法.pdf
- 一种可调式乳胶枕的制备的装置.pdf
- 一种盾构防水材料及其制备方法.pdf
- 一种垃圾投放行为分析与控制方法及系统.pdf
- 一种甩脱式淤泥固化处理装置.pdf
- 一种基于石墨烯的二维异质结的制备方法.pdf
- 多功能在线检测设备.pdf
- 一种用于水煤浆气化炉水煤气分离的分离器.pdf
- 一种处理农村生活污水可提升式净化槽.pdf
- 方正证券-互联网传媒行业深度报告：ChatGPT的挑战者，大模型的“安卓时刻”-230330.pdf
- 洪泽路灯（EMC）招标文件5.21.pdf
- JS-827B使用说明书（曾工程序）2011-12-01.pdf
- 微电子学资料FeRAM6.pdf
- 信音电子股份有限公司温室气体排放报告书.pdf
- 微电子学资料oxidation 1.pdf
- 西藏地区房地产详细市场调查商业计划书与可行性报告.pdf
- 中国IT上市公司基本状况研究报告商业计划书与可行性报告.pdf
- 液晶显示模组光电知识--散射型光源开发长兴贴合膜Introduction.pdf
- 微电子学资料Intro%20and%20syllabus[1].pdf
文档评论（0）