知識ベース、ナレッジベース（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