問題タブ [reasoning]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
python - 一階述語論理エンジン
一階述語論理を使って簡単な推論ができるアプリケーションを作りたいです。任意の数のFOL式を受け入れ、それらの式のクエリを許可できる(できればPython経由でアクセスできる)「エンジン」を誰かが推奨できますか?
java - PelletReasonerを使用した推論の進行状況の監視
私は現在、OWLオントロジーを構築しています。これは、ごく最近まで、Pellet推論器を使用して急速に分類されていました。ただし、いくつかの新しいクラスが導入されて以来、推論のパフォーマンスは低下しました。推論者は完了し、オントロジーには満足できない概念などは含まれていませんが、推論にかかる時間は許容できません。私は現在、速度低下につながった可能性のある問題のあるクラス/クラスを追跡しようとしています。
これが私の質問です:ペレットの推論の同意をログに記録することは可能ですか?つまり、ペレットが特定の推論タスクに費やした時間を記録する出力を生成することは可能ですか/特定のクラスと公理に対して推論にかかる時間を追跡しますか?もしそうなら、誰かが投稿できるJavaコードを持っていますか?
よろしくお願いします!
java - 整数カーディナリティ制約を持つインスタンスを推測する際の問題
Protege 4.1 alpha を使用して RDF/OWL ファイルを作成しました。また、CheapPhone という Protege の定義済みクラスも作成しました。このクラスには、以下に示す制限があります。
電話の価格が 350 を下回る場合は常に、CheapPhone と見なされます。Protege 4.1 alpha では、これを推測するのに問題はありません。ただし、Jena を使用してこれを推測することはできません。
また、SmartPhone という名前の定義済みクラスも作成しました。このクラスには、以下に示す制限もあります。
電話に 3G とインターネットがある場合はいつでも、スマートフォンと見なされます。この状況では、Protege と Jena の両方でこれを推測しても問題はありません。
Jena のデフォルトの推論エンジンに問題があるのではないかと思い始めました。私が Java で使用するコードは以下のとおりです。
このコードは完全に機能し、インスタンスを返しますが、以下のコードを変更して、CheapPhone に適したものにすると、何も返されません。
私は何か間違っていますか?
c++ - 式のセットが相互に排他的であるかどうかを確認できるC/C ++ライブラリはありますか?
私が設計したデータフロープログラミング言語用のコンパイラを書いています。私が本当に気に入っている機能の1つは、次のことを表現できることです。
x<-b>3の場合はa+1;
x <-a --1 if b <= 3;
これは次のようなことを意味します:
x <-a-1 + 2 *(b> 3);
コンパイラがそれを知る必要がありますが、これをやってのけるために:
((b> 3)&&(b <= 3))= false
((b> 3)||(b <= 3))= true
これらの2つのステートメント(およびはるかに複雑なステートメント)を検証できることを誰もが知っているC / C ++ライブラリはありますか?または、同様のシステムの詳細を誰もが知っているWeb経由で入手可能な論文はありますか?または誰かが可能なアプローチを説明できますか?
ありがとう、
ダニエル
prolog - 義務論理のプログラミング
義務論理のルールを書く必要があります。それを行うためのプログラミング言語はありますか? プロローグを見て今勉強中なのですが、プロローグで義務論理をどう表現するか?助けてください
prolog - AC と BC の日付の比較
13 アレンの関係のプロローグベースの表現を使用して、イベントの時点を比較できるプロローグ実装があります。各イベントには開始点 (YYYY-MM-DD) と終了点 (YYYY-MM-DD) があり、2 つのイベントが同時に発生したのか、1 つのイベントが別のイベントの前に発生したのかなどを日単位の粒度 (例: 1555-12-03 は 1555-12-04 より前です)。いわゆる AC 日付 (Anno Domini) では問題なく動作しますが、今では紀元前 (紀元前) に起こった多くのイベントがあります。これらの紀元前の出来事を処理し、たとえば、アテネの基礎 (紀元前 1556 年) がコロンブス (1451 年) の誕生よりも前であると言うことができる最善の方法は何でしょうか...どんなアイデアでも大歓迎です。
ありがとう、
私。
jena - イエナ再帰推論の問題
以下の例では、infM はその {r myProperty v} を推測していません。
ただし、mySameAs アサート ステートメントから {r owl:sameAs r1} を推論します。しかし、私が書くと:
次に、その {r myProperty v} も出力します
コード例:
macos - Mac でネイティブに動作する、Web オントロジー言語と互換性のあるセマンティック推論はありますか?
私はこれに興味があり、実験したいと思っています。しかし、私は Mac ユーザーであり、Java ベースのものしか見つかりませんでした。理由は不明ですが、Mac で Java アプリケーションを実行できません。
私のオプションは何ですか?