É CORRETO afirmar que um algoritmo de inferência que deriva apenas de sentenças ...

Questão de Informática aplicada no concurso IFNMG MG (2014). Confira a resolução completa abaixo:

É CORRETO afirmar que um algoritmo de inferência que deriva apenas de sentenças decorrentes é chamado de