推論エンジン
inference engine
Reteアルゴリズム
知識ベース
、
ナレッジベース
（
KB
:
knowledge base
）
エキスパートシステム
（
expert system
）
プロダクションシステム
（
production system
、
production rule system
）
有限オートマトン
（
FA
:
finite automaton
)、
有限状態機械
（
FSM
:
finite state machine
）
命題論理
（
propositional logic
）
述語論理
（
predicate calculus
） {
一階述語論理
（
first-order predicate logic
） -
二階述語論理
（
Second-order predicate logic
） -
高階述語論理
（
Higher-order logic
） }
認識論理
様相論理
時相論理
ファジィ論理
（
Fuzzy logic
）
前向き連鎖
（
Forward Chaining
）
後向き連鎖
（
Backward chaining
）
Action selection mechanism
Inductive inference
推論エンジン - Wikipedia
Inference engine - Wikipedia