これは、オンライン Linux で実行する frdcsa という名前の Linux アプリで、最新リリースは frdcsa-panoply-git-20200329.tgz としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
frdcsa という名前のこのアプリをオンラインでダウンロードして実行し、OnWorks を使用して Linux でオンラインで無料で実行します。
このアプリを実行するには、次の手順に従ってください。
-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。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショット：
オンラインの Linux で実行する frdcsa
説明：
20 年にわたる無料/リブレ人工知能システムの最初のリリース。 プロジェクトは、自動定理証明用の FRD と汎用ソフトウェア用の CSA の 89 つの部門で構成されています。 もう XNUMX つの次元は、ソフトウェアが収集されているか、書かれているか、あるいはその両方かどうかです。 FRDCSA は両方のアプローチを採用しています。 一般に、FRDCSA は複数の戦略です。 たとえば、シンボリック テクノロジとコネクショニスト テクノロジの両方を使用します。 目標は、問題解決能力/証明理論能力を最大限に高めることです。 コンピュータを正式な数学システムとして見なします。 したがって、チューリングとフェフェルマンの完全性定理に関連します。 リリースされたバージョン (Panoply-Git) は必然的に編集されており、最新ではありません。 何らかの支援があれば、より最新のバージョンをリリースできる可能性があります。 人生の管理を支援する Prolog ベースのシステムである Free Life Planner の初期バージョンが付属しています。 外部コードベースと git コードベースを除く他の多く (XNUMX) のシステムは、スペースの関係でほとんど含まれていませんが、RADAR を使用するとそれらを収集できます。 ヘルプを使用して後でリリースします。特徴
- Artificial Intelligence
- ソフトウエアエンジニアリング
- ソフトウェア複合体
- 計画、スケジューリング、および実行
- GNU / Linuxの
- 仮想マシン
- 自動定理証明
これは https://sourceforge.net/projects/frdcsa/ から取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。