以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  Descripton logics handbook里的interpretation 怎么理解啊  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=72061)

--  作者：vicky_y
--  发布时间：2/18/2009 5:33:00 PM

--  Descripton logics handbook里的interpretation 怎么理解啊
请问下各位 描述逻辑手册（Descripton logics handbook）里 总提到的 interpretation怎么理解啊。。。刚开始学习Dl..
--  作者：zysky007
--  发布时间：2/22/2009 8:49:00 PM

--  
语义解释，对于基于数理逻辑的理论来说，对一个项或公式给出的语义的定义，一般都给出递归定义的解释，这样公式才有意义。
建议看一下Jacques Loeckx and Kurt Sieber的The Foundations of Program Verification，里面有提到。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 46.875ms