フローラ2

Flora-2は、知識表現と推論のためのオープンソースのセマンティックルール ベース システムです。システムの言語は、 F-logic ^{[ 1 ]}、HiLog ^{[ 2 ]}、およびトランザクション ロジック^{[ 3 ]}から派生しています。F -logicとHiLog に基づいているということは、オブジェクト指向構文と高階表現がシステムの主要な特徴であることを意味します。Flora-2 は、デフォルトと議論理論による論理プログラミング(LPDA) と呼ばれる非可逆推論の形式もサポートしています。^{[ 4 ]} アプリケーションには、インテリジェント エージェント、セマンティック Web、知識ベース ネットワーク、オントロジー管理、情報統合、セキュリティ ポリシー分析、自動データベース正規化などがあります。^{[ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ]}

Flora-2 は推論エンジンとしてXSB システムに依存しています。Flora-2 の設計とアーキテクチャについては、多くの文献で説明されています。^{[ 11 ] [ 12 ] [ 13 ] [ 14 ]}

システムの詳細と使用方法については、Flora-2 ユーザーマニュアルに記載されています。^{[ 15 ]} Flora-2 は、 Linuxやその他のUnix系、Microsoft Windows、Mac OS Xなど、主要なコンピューティング プラットフォームすべてで利用可能です。

Flora-2は、Floraシステム（1998～1999年）の後継システムであり、初代Floraシステムの開発と使用で得られた経験を取り入れています。Flora-2プロジェクトは、2000年頃にGuizhen YangとMichael Kiferによって開始されました。その後、Michael Kiferがプロジェクトを主導し、多くの貢献者が参加しました。

• TaOPiSは、自己組織化コミュニティを支援するためのソーシャルセマンティックWebアプリケーションです。 ^{[ 16 ] [ 17 ] [ 18 ]}
• Bazeは、 AccessやBaseに似たデータベース開発環境です。
• ReasonablePythonは、F-LogicをPythonに追加するモジュールです。^{[ 19 ]}
• FRDCSAプロジェクトは、 PerlおよびFreeKBS3システムからFlora-2とHiLogにアクセスできるようにするための、Perl XSBインターフェースの拡張機能を開発しています。

• Flora-2のウェブサイト。