Representação de Conhecimento
Inferência Dedutiva: a partir de elementos de conhecimento representados em forma lógica, utiliza-se uma regra de inferência válida para inferir um novo elemento. Algumas regras de inferência utilizadas em lógica são: Modus Ponens, Modus Tollens, Silogismo Hipotético, Especialização, Generalização e Resolução.
Inferência Abdutiva: a partir de um conhecimento geral da forma e tendo por objetivo provar Q(a), toma-se por hipótese que a razão pela qual Q(a) se verifica é a validade de P(a).
Inferência Indutiva: a partir de fatos experimentais que comprovam que a cada vez que a validade de P(a) é verificada, verifica-se a validade de Q(a) (mas não o contrário), para diferentes elementos a, pode-se inferir por indução que é válido.