推論エンジン
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