以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  怎么区分函数与谓词  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=85112)


--  作者:huyanbobo
--  发布时间:6/5/2010 11:25:00 PM

--  怎么区分函数与谓词
我有个问题想请教一下,函数与谓词有什么区别?
1oyalCustomer(X), age(X) > 60 →discount(X)
在这个规则中,《语义网简明教程》标注age代表函数。
在另外一个例子中,mother(x,y)是谓词,代表x是y的母亲。

我不清楚这俩者之间的区别和联系。请大家指教。


--  作者:admin
--  发布时间:6/8/2010 9:39:00 AM

--  

函数是一种映射,它是把一个数变成另一个数。

谓词是一个潜在的断言,当其中的变元用客体代入时,便具有真值。

因此,一个是  数-->数,一个是  客体 --> 真值

要系统了解,可找本离散数学书阅读。



--  作者:huyanbobo
--  发布时间:6/8/2010 12:04:00 PM

--  
O(∩_∩)O谢谢
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms