関連キーワード
1. 述語論理
2. 応用
3. 拡張
4. 論理的な推論
5. 知識表現
6. アプローチ
7. モデル理論
8. 知識工学
9. 推論エンジン
10. 形式的手法
11. 自動証明
12. 推論ルール
13. ビッグデータ
14. データマイニング
15. マシンラーニング
16. 知識ベース
17. ルールベース
18. 自然言語処理
19. 知識グラフ
20. ヒューリスティクス
21. オントロジー
22. 論理プログラミング
23. 記述論理
24. 認知モデル
25. バックチェイン
26. フォワードチェイン
27. ドメイン知識
28. インテリジェントシステム
29. 計算論理
30. フォーマリズム
「述語論理の応用と拡張：論理的な推論と知識表現のための新しいアプローチ」
2000文字