Questão 2 — Lógica de Primeira Ordem (Inteligência Artificial) — Serviço de Seleção do Pessoal da Marinha (SSPM) · Marinha do Brasil 2025

Inteligência Artificial Lógica de Primeira Ordem

Serviço de Seleção do Pessoal da Marinha (SSPM) 2025

Marinha do Brasil · Quadro Técnico do Corpo Auxiliar da Marinha (CP-T) — Informática · Caderno Amarela

Gabarito disponível

A lógica de primeira ordem, que é uma extensão da lógica proposicional largamente empregada em inteligência artificial, diferencia-se, pois:

Selecione uma alternativa A) permite representar objetos, suas propriedades, relações entre eles e usar quantificadores. B) trabalha apenas com proposições indivisíveis e operadores lógicos básicos. C) baseia-se exclusivamente em tabelas-verdade para inferências. D) é limitada a problemas em que todas as proposições são verdadeiras ou falsas. E) não suporta representação de relações complexas entre entidades.

Resolução comentada

A lógica de primeira ordem representa objetos, propriedades, relações e quantificadores.

Diferentemente da lógica proposicional, que trata proposições atômicas indivisíveis, a lógica de primeira ordem modela objetos, predicados (propriedades e relações) e usa quantificadores (∀ e ∃). Isso a torna muito mais expressiva.

Análise das alternativas

B) Descreve a lógica proposicional. C) Inferência em FOL não se resume a tabelas-verdade. D) A bivalência verdadeiro/falso não é o que a diferencia. E) FOL suporta relações complexas entre entidades.

Referência: RUSSELL; NORVIG. Inteligência Artificial, lógica de primeira ordem.

Resolução comentada do VaiConcursos.