-1
私はFirst Orderロジックでモデルを開発しています。私はそれが一貫していることを証明したいと思います。出来ますか？これを行うために私が使用できる無料のツールはありますか？FOLモデルの一貫性チェック
これはGodel定理のために不可能ですか？
よろしくお願いいたします。
A
答えて
0
はいモデルの一貫性をチェックすることは可能です。そして、この機能を備えた無料のオープンソースツールがいくつかあります。Protégé
+0
ProtégéはFOLの限られた断片だけを扱っています。詳細については、この質問に対する私の答えを見てください。 –
関連する問題
- 1. Djangoモデルのデータ一貫性
- 2. Amazon S3のデータの一貫性モデル
- 3. PHP - 一貫性
- 4. タブナビゲーションバーの一貫性
- 5. コアデータ一貫性エラー
- 6. 一貫性のないアクセス：パラメータの型モデルはmethod.AlbumsController.Create
- 7. バルカン：データの一貫性
- 8. マイクロサービス間のデータ一貫性
- 9. Akka.Netとキャッシュの一貫性
- 10. 一貫性のないアクセス
- 11. PythonコードのSolr一貫性
- 12. {} + "" vs "" + {} - 加算の一貫性
- 13. C＃リスト間の一貫性
- 14. 一貫性のないアクセス
- 15. Cassandra DDLの一貫性レベル
- 16. コスモスDBの一貫性
- 17. Microsoftの一貫性は
- 18. IBM Cloud Object Storage - データの一貫性/可視性モデルとは何ですか？
- 19. カサンドラ：ジオの冗長性と一貫性
- 20. 逐次的一貫性
- 21. 原子的一貫性
- 22. MongoDB tunable一貫性ベストプラクティス
- 23. R data.table NAタイプ一貫性
- 24. カサンドラ一貫性レベルとレプリケーションファクター
- 25. 一貫性のない一定のターゲットが一貫して動作しない
- 26. Javaを使用してオントロジの一貫性をチェックする方法
- 27. テキストエリア内のフォントの一貫性
- 28. APCキャッシュの一貫性の問題
- 29. 一貫性のないファイルの動作
- 30. カスタムワークフローステップの一貫性のない動作
これは、プログラミングと関係なく、Maths StackExchangeグループでよく尋ねられます。 – MattClarke