問題タブ [inference]

学習クリップ、構文は気にしませんが、事実からルールを導き出すのは難しいと感じています。ナレッジ ベースを考慮してルールを構築する方法に関するヒントはありますか? 重要な例はいいでしょう、ありがとう。

プロローグにこのナレッジベースがあります...

問題は、このプログラムを開始して男性ではない人を入力すると、プログラムが mirian に移動することです。それから別のものを印刷すると、その人が男性かどうかを再度確認します (ただし、この「N」は男性ではないことに注意してください) が、「これは男性ですか?」と再度尋ねられます。プロローグは以前の知識を忘れているようです。誰でもこれで私を助けることができますか?

よろしく。

テキストを分析し、そこから事実/ルールを生成して、質問に答えるために推論エンジンに供給できるプログラムまたはアルゴリズムを探しています。これに適した商用またはオープンソースのソリューションはありますか?

自分で解決策を試してコード化するために、どのアルゴリズムを見なければならないか。

私はSPARQLの初心者であり、推移的な関係を返すのに役立つクエリがあるかどうか疑問に思っていました。たとえば、以下のn3ファイルでは、「aはcと同じです」などを返すクエリが必要です。ありがとう

私はEclipseでScala-IDEを使ってScalaを学んでいます。第9章：制御の抽象化、パート1：Scalaでのプログラミングにおけるコードの重複の削減の本に従って、私は本からコードを書きました（以下に完全に示されています）、それはうまくいきました！不要な空白行を削除し始めたとき、奇妙なことが起こりました。filterFiles()メソッドの空白行を削除する前のコード全体を次に示します。

これは問題なく動作します！ただし、メソッドから空白行を削除するfilterFiles()と、メソッドは次のようになります。

そして、IDEはボディの両方の行でエラーを出します。最初の行のエラーは次のように述べています。

2行目のエラーは次のように述べています。

printArray()また、メソッド内の3つの呼び出しすべてが、次のtest()ことも示しています。

それはどういう意味ですか？コードアラインメントがコードフローを台無しにする可能性がある場合、ScalaはPythonのように動作することは想定されていません...では、filterFiles()メソッド本体の1行目と2行目の間の空白行を削除すると、どうしてこのような重大なエラーが発生するのでしょうか。それはどこかのバグですか、それともScalaのルールに直接従っていますか？注：;行の間に追加すると、すべてが整理されます。セミコロン推論のバグですか？

今日のPythonに最適な（多かれ少なかれ成熟し、より高度なロジックをサポートし、許容可能なパフォーマンスを持ち、ある程度スケーラブルな）オープンソースのセマンティックWebライブラリとツール（RDFストレージ、推論、ルール、クエリ）は何ですか？歴史的にPythonツール（cwm）が最初に登場しましたが、それでも誰もがパフォーマンスのためにJavaバックエンドを使用し、Pythonを単なるクライアントとして使用しているようです。私の目的は、テクノロジーを学び、それがタスクに対応できることが証明されれば、本番システムでの将来の使用法を学ぶことです。タスクはまだ定義されていませんが、私が見ているように、ナレッジベースを構築し、いくつかの外部リソースにリンクし、ファセットナビゲーション可能なWebフロントエンドをカスタマイズしました。

Pythonに基づくいくつかのビルディングブロックが十分でない場合、Java / C / C++/その他の世界からの適切な部分は何ですか。

明確な勝者が1人か2人いる場合は、典型的なスタックも重要です。

ありがとう。

Eric Lippertがこのビデオの約13分前に転送すると、C＃コンパイラに加えられた、次のコードを無効にする変更について説明します（.NET 2より前で、このコードはコンパイルされていたはずです）。

今、私は明らかに上記のコードの実行が実際に評価されることを理解しています

しかし、私が理解していないのは、次のコードをコンパイル不能にすることが「望ましい」と見なされる理由です。IE：そのような推論がコースを実行できるようにすることのリスクは何ですか？

私は Stack Overflow の初心者なので、気楽にやってください! C# in Depth を読んでいますが、カバーされていないと思われるシナリオに出くわしました。Web をすばやく検索しても結果は出ませんでした。

次のオーバーロードされたメソッドを定義するとします。

AreEqual()型引数を指定せずに呼び出した場合:

メソッドの汎用バージョンまたは非汎用バージョンが呼び出されているか? 型引数が推論された状態で呼び出されたジェネリック メソッドですか、それともメソッド引数が暗黙的に にキャストされた状態で呼び出された非ジェネリック メソッドSystem.Objectですか?

私の質問が明確であることを願っています。アドバイスをよろしくお願いします。

の場合、「 L 」が付加されていないためlong double x = 8.99999999999999999、値は として格納されます。変数をfloat 型としてdouble既に宣言しているのに、C コンパイラが型を推論できないのはなぜですか?xlong double

Jenaの推論機能を使用したいのですが、InfModelを使用しているときにパフォーマンスの問題が発生します。

これが私のオントロジーの簡略化された概要です：

プロパティ：

さらに、クラス'Object'があります。

明示的に保存されるのは次のデータです。

次のクエリを使用して、インスタンスがどのクラスに属しているかを確認したいと思います。行われた仮定によれば、「SomeObject」のみが返されます。

ds.getDefaultModel()ただし、データが明示的に保存されていないため、クエリは機能しません。infModel一方、使用している場合、クエリは終了しません。せいぜい25分待ってから中止しました。（トリプルストアのサイズは約180 MBです）

これは私のコードです：

上記のコードに何か問題がありますか、それともそれが機能しない理由は他に何がありますか？

それ以外に、「推測された公理をオントロジーとしてエクスポートする」（Protegeが提供）を実行すると、パフォーマンスを向上できるかどうかを知りたいですか？

編集： 私はその間にペレットを使用しようとしましたが、他の質問で説明したように、推測されたモデルを取得できません：理由としてペレットを使用するOutOfMemoryError。では、他に何ができますか？