Há um termo que é bastante famoso na área da inteligência artificial e a história dessa expressão nos leva de volta à antiguidade. Na lógica propos...

Há um termo que é bastante famoso na área da inteligência artificial e a história dessa expressão nos leva de volta à antiguidade. Na lógica proposicional, este termo está relacionado à uma válida e simples forma de argumento e regra de inferência, podendo ser resumido como "P implica em Q. P é afirmado verdade, portanto, Q deve ser verdade." Assim, entende-se que este é um modo de raciocinar a partir de uma proposição hipotética, segundo a qual, se o antecedente for afirmado, o consequente será afirmado (por exemplo: considerando que A implica em B, e que A é verdadeiro, podemos dizer que B é verdadeiro também).

Considerando essas informações e o conteúdo estudado sobre Inferência, pode-se afirmar que o termo em questão é:

A

Indexação.

B

Sistema especialista.

C

Modus ponens.

D

Inferência.

E

Agente inteligente.