认知描述程序的实例化(1)
来源:互联网 发布:linux追加分区大小 编辑:程序博客网 时间:2024/06/16 18:58
认知描述程序(epistemic specification)是回答集程序的超集,它是为了解决asp程序不能“自省”的问题所发明的一种逻辑语言。asp的求解的复杂度已经很高,,认知描述程序的求解复杂度更高,,我们原本设计的ES实例化器效率太低,以至于很多问题都不能有效的求解出来。我们现在准备转化一个思路,将ES程序转化成一个回答集程序(实例化等价),利用现有的高效的回答集程序的实例化器求解,等实例化完成后再恢复成原来的认知描述程序(略有点trick,不像正派武功,走了点邪道,哈哈),然后再利用我们设计的求解器求出该认知描述程序的解。
废话不多说,现在就展示一下转化的方法。
<span style="font-size:10px;">初步考虑:1. 重写带有主观字的规则对于包含K l的规则R1)添加新规则,避免改写规则被优化2)使用新的逻辑程序完成实例化2. 实例化完成后,去掉所有添加规则,并将ground_k_l重写写成K l.</span>
看一个例子吧:
这是一个最简单的例子,为了实例化l(X),我们做了上述转化实例化后的程序为:可以看到K l(X)被正确实例化出来了,只是被改写成ground_k_l(a)了,所以下一步我们要做的就是去掉新加的规则,结果如下:
去掉的准则就是1.删除所有头部含有defined_l,positive_l,negative_l,ground_k_l和ground_not_k_l的规则,2 将体部的ground_k_l和ground_not_k_l还原成K l 和not K l
还剩下的事情就是如何证明这样做方法可以保证最后的程序与原程序语义等价。
0 0
- 认知描述程序的实例化(1)
- 人脑是怎样认知图像的?——结构描述模式(传统模式识别之五)
- 人脑是怎样认知图像的?——结构描述模式(传统模式识别之五)
- 操作系统认知 (1)
- JAVA8 in Action:行为参数化,匿名类及lambda表达式的初步认知实例整理
- win32汇编实现一个简单的TCP服务端程序(WinSock的简单认知应用)
- HTML5标签的语义认知和理解(1)
- java认知盲点(1)
- 程序猿必备认知!
- 对事物的认知导致对程序的局限性
- Java源码-色彩认知小程序(中英对照)
- 基于UDP的数据包收发程序(C#语言描述)
- 算法导论程序13-快速排序的描述(Python)
- 我对DDD的认知(一)
- mybatis的学习认知(一)
- mybatis的学习认知(一)
- 重构的认知(一)
- 实例检索︱图像的实例搜索(文献、方法描述、商业案例)
- 构造函数,this关键字
- SSH整合步骤(SSH学习第9天)
- hibernate处理批量更新和批量删除
- STL list链表的用法详解
- OCP 1Z0 053 218
- 认知描述程序的实例化(1)
- Mybatis笔记之二 -- 简单的增删改查
- 的符合风格化风格化风格化风格化风格化风格化发更换
- hdu 1532
- java 线程同步
- 程序员面试经典问题集以及offer,三方协议等常识
- Codeforces 48C The Race 模拟题
- 斩不断的平台梦,时隔3年,再次做dz平台
- 数学之路-python计算实战(22)-机器视觉-sobel非线性滤波