一階邏輯在知識圖譜的知識推演中作用,如何獲取一階邏輯 華盛頓大學的Sherlock系統誰用過

時間 2021-06-08 01:58:01

1樓:漆桂林

簡單的本體推理(DL-Lite)對於知識圖譜還是由於的,舉個例子,http://

Zhishi.me

中加入一些disjointness宣告後可以發現很多不一致,即某個entity同屬於兩個不相交的concept,見:

Yanfang Ma, Huan Gao, Tianxing Wu, Guilin Qi:

CSWS 2014: 29-41

另外,關係的functionality宣告也可以用於檢測不一致。

通過subclass, domain, range,可以對知識圖譜做補全。用關聯規則挖掘就可以做出來了,見AMIE的工作。我們正在做這方面的研究,很快可以發布乙個系統。

當然,要做到一般的規則的學習還是很難的。

2樓:亞當

個人有同感.在開始學語義網的時候,它的推理功能的確驚豔.但其推理效能過慢和推理結果未必是匹配需求,的確給人的學習熱情澆了冷水.

經過摸索,個人覺得語義網適合於知識圖譜的描述和管理,可以用上推理機對知識本身進行一定的完整性約束.至於知識的發揮作用,我期待是在專家系統和推薦系統上用到.在專家系統中可以用上一定的規則,為了效能更多的是模糊和近似上的處理.

以上是純屬個人觀點,求大神斧正.

3樓:鮑捷

推理規則一般都是人寫的。

之所以有知識圖譜,就是對推理的反動。在2001-2023年之間,語義網的研究特別強調推理。但是推理的成本很高,所以在工業界的實踐中,逐漸就把推理廢棄了。

大部分的推理任務,是可以轉化為圖上的查詢的。所以在實操中,不必要引入一套複雜的推理機機制。推理機是很強大,但是大多數工程師掌握不了。

所以SPARQL rules或者neo4j的查詢也就夠用了。

一階邏輯系統在實戰中也比較難以駕馭,通常會用描述邏輯或者邏輯程式設計logic programming。基於過程語義的規則系統比較實用,如 RIF PRD。

知識圖譜的構建流程?

想想想財務自由 你好。我的專欄除了github示例,還有構建知識圖譜常用的工具平台,以及學習資源。望參考。想想想財務自由 Github 知識圖譜的應用示例想想想財務自由 持續更新 知識圖譜相關工具平台整理想想想財務自由 知識圖譜學習資源 持續更新 王大力 知乎首答,想認真寫一寫。本科211,碩士美國...

構建知識圖譜的軟體?

雲悠水澈 有人說腦圖是網狀結構圖,有人說是樹形圖,好像沒有標準定義。如果是專業的 全面 系統的研究和表示,可能網狀結構圖為好。但evernote 是乙個筆記,你是想找個樹形結構筆記嗎?如果是的話,可以試試小筑筆記,樹形結構,無限分層。如果不是必須要個有連線的圖的話,這個就更利於積累 梳理 利用知識,...

知識圖譜是否是NLP的未來?

短期來看很難 抖個機靈的回答,你看google還提知識圖譜嗎 知識圖譜算是把知識顯式的表達,其優點是看上去用的更準確,更放心,但是其本身就難構造到很好的準確率,且不說消歧 覆蓋這個大難題,圖譜的更新也是個很難解決的事情。實際應用用的大都是把圖譜中的實體,關係作為詞典來使用,而直接使用圖譜本身的場景並...