inference

    4熱度

    3回答

    據我所知,像Prolog的語言讓你寫的東西像下面這樣: mortal(X) :- man(X). % All men are mortal man(socrates). % Socrates is a man ?- mortal(socrates). % Is Socrates mortal? yes 我要的是一樣的東西這個,但倒退。假設我有這樣的: mortal(X) :- man(

    4熱度

    2回答

    我有一個大的Ruby應用程序,它只是爲了添加一個推理引擎而哭泣;我不需要很多功能,我不害怕集成C庫,並且在我的谷歌搜索中空洞。 似乎有很多是用Python和JVM上的規則引擎;雖然我寧願使用Python,但我不會重寫整個該死的應用程序只是爲了添加推理引擎,所以我真的很想看看這樣的事情是否存在。 任何人有任何想法?

    6熱度

    1回答

    我想使用Jena的推理功能,但在使用InfModel時遇到一些性能問題。 這裏是我的本體論的簡單概述: 屬性: hasX (Ranges(intersection): X, inverse properties: isXOf) |-- hasSpecialX (Ranges(intersection): X, inverse properties: isSpecialXOf) isXOf

    1熱度

    1回答

    學習剪輯,雖然我不介意我發現很難從事實推導規則的語法。有沒有關於如何根據知識庫構建規則的技巧? 一個不重要的例子會很好,謝謝。

    7熱度

    1回答

    我正在使用Jersey JAX-RS參考實現在Scala中開發REST web服務,並且出現一個奇怪的錯誤。 我正在嘗試使用ContentDisposition.ContentDispositionBuilder創建一個ContentDisposition對象。 ContentDisposition.ContentDispositionBuilder有兩種類型T extends ContentDi

    5熱度

    1回答

    我是堆棧溢出的一個newby,所以請在我身上輕鬆一下!我正在深入閱讀C#,但我遇到了一個我不相信的場景。對網絡的快速搜索也沒有發現任何結果。 說我定義以下重載方法: void AreEqual<T>(T expected, T actual) void AreEqual(object expected, object actual) 如果我打電話AreEqual()沒有指定類型參數: Ar

    0熱度

    1回答

    我在序言中這方面的知識基礎... start :- navabi(C). male(X,N) :- write('Is this a male? '), flush_output, read(yes). navabi(N):- male(N) -> print('he is navabi') ; mirian(N). mirian(N):- not(male(N)),

    1熱度

    3回答

    我正在尋找一個程序或算法,它將分析文本並從中產生事實/規則,並將其提供給推理引擎進行問題解答。有沒有可用的商業或開源解決方案? 如果不是我應該看的算法,我自己嘗試編碼解決方案。

    9熱度

    2回答

    我是SPARQL的初學者,想知道是否有可以幫助我返回傳遞關係的查詢。例如,下面的n3文件我想要一個將返回「a是相同的c」或沿着這些線的東西的查詢。由於 @prefix : <http://websitename.com/links/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . :a owl:sameas :b. :b owl:sam

    3熱度

    2回答

    我在Eclipse中學習Scala和Scala-IDE。雖然遵循了第9章:控制抽象,第1部分:減少Scala編程中的代碼重複,但我已經從書中編寫了代碼(完全如下),它工作的很好!當我開始刪除不必要的空白行時,發生了一件奇怪的事情。這裏是去除空行前的全部代碼在filterFiles()方法: object Code_c09s01_ControlAbstraction extends App{