|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 请教:Horn clause rules (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=27574) |
|
-- 作者：smallan -- 发布时间：2/21/2006 8:31:00 PM -- 请教:Horn clause rules Horn clause rules怎么理解呢,那里都找到相关资料? |
|
-- 作者：wason21cn -- 发布时间：2/21/2006 10:40:00 PM -- horn clause好像是对于谓词逻辑来说，一种格式的规范。 对于一个句子（clause），如果最多只含有一个正文字（positive literal），他就是一个horn clause。 比如{L,-L1,-L2,......-Ln}， 但是通常写成 L <--- L1 /\ ...... /\ Ln 这种形式，可以理解为 如果L1 成立， L2成立，直到 Ln都成立， 那么L也成立。 你这里说的rules我不知道该怎样理解。在逻辑提到horn clause它有一个性质对证明求mode的最小固定点很有用处l |
|
-- 作者：smallan -- 发布时间：2/21/2006 11:19:00 PM -- 感谢楼上的，学习中。．．．找点资料在研究一下 |
|
-- 作者：abigsmile -- 发布时间：2/23/2006 3:22:00 PM -- 数理逻辑中的概念 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |