Ciência da Computação - Lógica Computacional - AS 4 - Nota 1,0

Prévia do material em texto

CIÊNCIA DA COMPUTAÇÃO - LÓGICA COMPUTACIONAL
AS 4
QUESTÃO 01 – Nota 0,25
Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferência, sejam dados definidos em predicados como nos dois exemplos mostrados a seguir – com dois parâmetros que especificam um modelo de veículo e seu consumo em quilômetros por litro –, utilizados para analisar os automóveis de uma grande empresa:
consumo("Ford Fusion", 6.5)
consumo ("Honda City", 12.0)
Assinale a alternativa que apresenta a proposição lógica composta CORRETA para definir quando um veículo será considerado com alto consumo, ou seja, consumidor de muito combustível se estiver abaixo de 6.8 km/litro:
p: t: consumo(p, t) t < 6.8 altoconsumo(p)
QUESTÃO 02 – Nota 0,25
Considerando as seguintes premissas:
Se um objeto – bicho, animal – da natureza é um cachorro, então pode-se afirmar que o seu sexo será masculino ou feminino.
Pode-se generalizar que qualquer cachorro é um animal, ou seja, todos os cachorros são animais.
Bem, nem todos os cachorros são obedientes, mas há certeza de que existem cachorros obedientes ou, pelo menos, um.
E empregando conectivos lógicos e quantificadores utilizados na lógica de predicados de primeira ordem, assinale a alternativa com a formalização CORRETA das premissas anteriores – ainda que em ordem diferente:
∀x, cachorro(x) → animal(x)
∃x, cachorro(x) → obediente(x)
∀x, cachorro(x) → masculino(x) ˅ feminino(x)
QUESTÃO 03 – FOI ANULADA, NÃO TENHO CERTEZA DA OPÇÃO CORRETA
Considerando que a lógica de predicados oferece um mecanismo simples para armazenar conhecimento e preparar proposições para raciocínio e inferência, sejam dados definidos em predicados como nos dois exemplos mostrados a seguir – predicados com dois parâmetros que especificam o nome do produto e seu preço –, utilizados para analisar os itens vendidos em uma loja de eletrônicos:
preco("monitor 29 pol", 795.50)
preco("pendrive 64GB", 176.00)
Assinale a alternativa que apresenta a proposição lógica composta CORRETA para definir quando um produto será considerado barato somente se o seu preço estiver abaixo de R$ 50,00:
p: t preco(p, t) t <= 50.0 barato(p)
QUESTÃO 04 – Nota 0,25
Considerando que a lógica de predicados possui algumas características que a diferenciam da lógica proposicional e de outras lógicas, quanto ao conceito de predicado dentro da lógica de predicados, o elemento fundamental da lógica de predicados:
é o predicado. Pode-se considerar o predicado como uma função que poderá ter uma lista de parâmetros ou argumentos e que retornará um valor lógico – verdadeiro ou falso.