これは Belief Reviser という名前の Linux アプリで、最新リリースは BeliefReviser.zip としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
BeliefReviserという名前のこのアプリをOnWorksで無料でダウンロードしてオンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
Ad
信念改訂者
DESCRIPTION
信念の修正は、知識表現と推論の中心的なトピックです。 それは、新しい信念を取り入れ、わずかな変更で構成されています
一貫性を保ちながら、元の信念の可能性。
改訂は常に新しい証拠をより良い信念と見なします。 そのような新しい証拠は通常
命題論理の形で表され、その後に保存する必要があります
リビジョン。
ここでは、制約を考慮するためにΔps(PS-Merge)信念マージ演算子を拡張し、この拡張を信念修正の戦略として使用します。 新しい証拠は制約として扱われるため、拡張されたマージ演算子は改訂された信念ベースを取得できます。
特徴
- 新しいエビデンスμに対する信念ベースKの改訂
- 数式のDNFへの自動変換
- シンプルでユーザーフレンドリー
- プラットフォームに依存しない
Audience
科学/研究、教育
ユーザーインターフェース
Java Swing
プログラミング言語
Java
カテゴリー
これは、https://sourceforge.net/projects/beliefreviser/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。