Questão FC266274
Na Inteligência Artificial, a representação do conhecimento é essencial para permitir que os sistemas compreendam e ajam de maneira inteligente. Dentre as diversas formas de repres
Inteligência Artificial (IA)
IDECAN · 2024
Na Inteligência Artificial, a representação do conhecimento é essencial para permitir que os sistemas compreendam e ajam de maneira inteligente. Dentre as diversas formas de representação do conhecimento, a Lógica de Primeira Ordem é uma abordagem poderosa.
Considere o seguinte enunciado:
"Para todo x, se x é um humano, então x é mortal."
A forma lógica mais apropriada para representar essa afirmação na Lógica de Primeira Ordem é
- ∀x Humano(x)→Mortal(x)
- ∃x Humano(x)→Mortal(x)
- ∀x Mortal(x)→Humano(x)
- ∃x Mortal(x)→Humano(x)
Mostrar resposta e comentário
Gabarito
A
Comentário do professor
A expressão correta é \( \forall x (Humano(x) \rightarrow Mortal(x)) \). Aqui o símbolo ∀ é o quantificador universal, que lê-se "para todo x" e indica que a propriedade vale para todos os elementos do universo de discurso.
O núcleo da sentença é uma implicação: \(Humano(x) \rightarrow Mortal(x)\). Isso significa que, sempre que um indivíduo x satisfaz Humano(x), então necessariamente satisfaz Mortal(x). Indivíduos que não são humanos não precisam satisfazer a conclusão.
Colocar o quantificador sobre toda a fórmula garante que a regra se aplica globalmente a cada x; os parênteses deixam claro o escopo: o quantificador abrange a implicação inteira.
Conteúdo do catálogo FC Concursos · Atualizado em