問題タブ [inference]

私は、2 TBN の動的ベイジアン ネットワークを使用する自動コード認識に関するプロジェクトに取り組んでいます。このネットワークには、4 つの個別の隠れノードと 2 つの連続した観測可能なノードがあります。

ベイズ ネット ツールボックスを使用してモデルを作成しましたが、問題はありません。5 番目と 6 番目のノードは、それぞれ 13 次元と 12 次元の観測可能なノードです。私ができないツールボックスの推論部分を使用しようとしています。次のコードを書きましたが、正しい出力が得られません。

推論の進め方を教えてください。

次の問題の検出力を計算したいと思います。ワイブル分布に従う 2 つのグループを比較することに興味があります。したがって、グループ A には 2 つのパラメータ (形状 par = a1、スケール par = b1) があり、2 つのパラメータにはグループ B (a2、b2) があります。対象の分布からランダム変数をシミュレートすることにより (たとえば、異なるスケールと形状パラメーター、つまり a1=1.5*a2 と b1=b2*0.5 を仮定するか、またはグループ間の違いが形状またはスケール パラメーターのいずれかにあると仮定します)、対数を適用します。 a1=a2 かつ b1=b2 (または、b1=b2 であることがわかっている場合は a1=a1) かどうかをテストし、テストの検出力を推定する尤度比テスト。

質問は、完全なモデルの対数尤度とは何か、および a) 正確なデータを持ち、b) 間隔打ち切りデータの場合に R でそれをコーディングする方法ですか?

つまり、縮小モデル (a1=a2、b1=b2 の場合) の場合、正確なデータと間隔打ち切りデータの対数尤度は次のようになります。

a1!=a2、b1!=b2 の場合、2 つの異なる観測スキームを考慮した場合、つまり 4 つのパラメーターを推定する必要がある場合 (または、形状パラメーターの違いを調べたい場合は、 3 つのパラメータを推定する必要があります)?

別々のグループに対して 2 つの対数尤度を構築し、それを合計して推定することは可能ですか (つまり、LL.full<-LL.group1+LL.group2 )?

間隔打ち切りデータの対数尤度に関しては、打ち切りは有益ではなく、すべての観測値は間隔打ち切りです。このタスクを実行する方法について、より良いアイデアをいただければ幸いです。

問題を説明するために、以下の正確なデータの R コードを見つけてください。事前にどうもありがとうございました。

ラムダ計算、特に型推論に関する適切なリソースを誰かが持っているのではないかと思っていました。私は試験のために勉強していますが、ラムダ型に関する情報と、私が行ったチュートリアルで推論する方法を見つけることができないようです。

火曜日に向けて頭を悩ませようとしている試験問題があります..

以下のラムダ計算式で、すべての変数と括弧で囲まれたサブ式の型を推測します: (\denotes lambda)

(((\x.(\y.(x,y)y))g)h)

宿題じゃないって約束するよ！どんな助けでも大歓迎です。

私の仕事は、フクロウで 2 つのクラスを構築することです。Base クラスは、p1、p2、p3 などの複数のプロパティを含むリソースを記述します。もう 1 つのクラスである Sub は、Base クラスと同様のリソースを記述しますが、そのプロパティの 1 つ (p1 など) を含まず、p2 と p3 のみを含むという制限があります。たとえば、クラス Car は、いくつかのプロパティを含む車両を記述し、そのうちの 1 つが「hasMotor」です。クラス Bicycle は、モーターを持たないという制限のある車両についても記述します。

カーディナリティ制限を使用して、そのようなクラスを定義します。

しかし、Sub クラスは、Pellet reasoner によって Nothing と同等であると結論付けられます。上記の 2 つのクラスは、フクロウでどのように記述されるべきですか?

クラス階層と、それ自体でうまく機能するいくつかのルールを持つ TopBraidComposer でオントロジーを構築しています。私のオントロジーでは、クラス レベルで作業しているため、作成するすべての定義は、個人ではなくクラスにのみ関連しています。ここで、次のようなサブクラス定義を推論したいと思います。

仕事をしているように見える次のSPARQLクエリを試しました：

次に、このクエリを SPIN ルールとして owl:Thing クラスに次のように追加しました。

Enter キーを押すと、次の形式に自動的に変換されます。

合理的に見えますが、推論プロセスを開始すると、テスト ルールを追加する前のように終了しなくなりました。推論を強制停止すると、目的のトリプルが Test クラスに何度も追加されていることがわかります。

SPIN で匿名スーパークラスを推論するにはどうすればよいですか?

編集：

回避策は、制限をクラスにバインドすることです。ロジックは機能しているように見えますが、匿名のスーパークラスのようには表示されません。TBCでもProtegeでもありません。

次のようなクラス階層があります。

クラス C は ClassA と ClassB の両方のサブクラスですが、ClassD と ClassE は ClassA または ClassB のサブクラスにすぎません

ここで、ClassA と ClassB のサブクラスの交差に相当するクラスを指定したいと思います。以下は機能しません。

その理由は、この種の規則が個人を分類するために推論者によって使用されるためです。つまり、タイプ ClassA および ClassB の個人 Ind1 があった場合、タイプ NamedClass にも分類されます。これは私が欲しいものではありません。ClassC 自体を NamedClass のサブクラスにしたい。

これはルール (SPIN など) を使用して達成できることはわかっていますが、ルールなしで実行できますか?