iNTELIGÊNCIA ARTIFICIAL

• O que são predicados?

Na lógica de predicados, também chamada de lógica de primeira ordem, um predicado é uma função que recebe argumentos e retorna valores lógicos.

Onde:

1. D é o domínio da função.
2. n é a aridade da função.

Em um predicado de dois argumentos, por exemplo, a aridade do mapeamento é 2.

• Resolução da questão:

Considere o predicado preço:

preço(p, t)

Onde:

1. p é o nome do produto.
2. t é o preço.

O predicado pode retornar true ou false, a depender das entradas. Supondo que o preço de um pendrive 32GB seja R$ 135,50, então se entrarmos:

preço("pendrive 32GB", 135.50) = true

Em contrapartida,

preço("pendrive 32GB", 50.00) = false

Para elaborar o predicado caro, devemos avaliar o nome do produto. Para isso, o argumento deve ser único e conter o nome do produto. Ou seja,

caro(p)

Finalmente, para compor os predicados preço(p,t) e caro(t), devemos uni-los com com uma conjunção ∧, pois queremos que ambos sejam verdades.

preço(p,t) ∧ t > 98.0 ∧ caro(p)

Ou seja, o predicado retornará true quando o produto p corresponder ao preço t e esse preço for maior que R$ 98,00.

Resposta: B)

• Leia mais sobre a Lógica de Predicados: