Similar to プロダクションシステム
論理プログラミング
Logic programming
Guarded Command Language
Guarded Command Language
イェール射撃問題
Yale shooting problem
帰納プログラミング
Inductive programming
自己認識論理
Autoepistemic logic
失敗による否定
Negation as failure
制約論理プログラミング
Constraint logic programming
フレーム問題
Frame problem▲1 trends
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming閉世界仮説
Closed-world assumption
ユニフィケーション
Unification (computer science)
エキスパートシステム
Expert system
CLIPS
CLIPS
Reteアルゴリズム
Rete algorithm
コンピュータ支援診断
Computer-aided diagnosisJess
Jess (programming language)
推論エンジン
Inference engineSplit Up (エキスパートシステム)
Split Up (expert system)
知識工学
Knowledge engineering
Dendral
Dendral
Mycin
Mycin
前向き連鎖
Forward chaining