プログラム deductions.sf.net

ファーストオーダーロジックを使用して、一般的なソフトウェアタスクに適用される人工知能技術。N3、OWLオントロジーとルール。コンポーネントベースのアプリケーション構築、プラットフォームの独立性、ユーザーフレンド性を実現します。オイラー推論エンジン + GUI に活用します。