Sistemas Especialistas

Encadeamento para trás é um método de raciocínio em IA que começa com o objetivo e trabalha para trás para encontrar evidências de suporte.

O encadeamento para frente é um método de inferência orientado a dados usado em IA para deduzir conclusões a partir de fatos e regras fornecidos.

Um motor de inferência é um componente central de sistemas de IA que aplica regras lógicas a uma base de conhecimento para derivar conclusões.

Um sistema baseado em regras usa regras predefinidas para tomar decisões ou resolver problemas em aplicações de IA.

IA Simbólica é um ramo da inteligência artificial focado no uso de símbolos e regras para raciocínio e resolução de problemas.