Aluna(o): _______________________________________________ Data: 03/12/2010

Prova 3 de Lógica para Computação - UTFPR - Prof. Adolfo Neto

1) (vale 1,4 pontos) João, um amigo de um amigo seu, está fazendo a disciplina Lógica para
Computação na Universidade Federal do XYZ. Lá a disciplina é diferente e bastante ênfase é dada
ao ensino de Prolog. João faltou à aula que explicava o algoritmo de unificação, pois estava de
ressaca da festa da noite anterior. Sabendo que você é um(a) excelente aluno(a) em Lógica, João
entrou em contato com você através de uma rede social pedindo que você o ajudasse a resolver um
exercício (valendo nota) que o professor passou pelo Moodle. O exercício é o seguinte:

Nos dois casos abaixo, dê a resposta que o Algoritmo da Unificação dará caso sejam oferecidas
como entrada as fórmulas abaixo. Descreva a execução do algoritmo passo-a-passo:
a) p(g(y,b), f(y), z) e p(g(a,x), z, z)
b) q(z, g(f(a),f(b)), f(y), c) e q(c, g(f(z),f(x)), z, z)

onde
p e q são símbolos de predicados
f, g são símbolos funcionais
a,b,c são constantes
x,y,z são variáveis

Resposta do item a:

Resposta do item b:
2) (vale 2 pontos) Na Rússia, sede da Copa do Mundo de 2018, os adolescentes adoram matemática.
E alguns também adoram Lógica. Piotr é um típico adolescente russo: gosta de futebol,
programação, vodka e lógica (não necessariamente nesta ordem). Ele estava pesquisando por conta
própria na Internet e descobriu o Sistema KE para Lógica de Predicados. Piotr prometeu te enviar
uma garrafa da melhor vodka russa, a Stolichnaya, caso você envie para ele por email a
demonstração dos dois sequentes abaixo usando o Sistema KE.

a) Duck(donald), ∀x (Duck(x)→Bird(x)), ∀y (Bird(y)→Fly(x)) ⊢ Fly(donald)

b) ∃x Torce(x, paraná), ∀x (Torce(x,paraná)→Sofre(x)) ⊢ ∃y Sofre(y)

Onde “donald” e “paraná” são constantes.

Resposta do item (a) abaixo Resposta do item (b) abaixo

3) (vale 2 pontos) Uma empresa fabricante de equipamentos médicos, a TecoMedu, contratou você
para gerenciar seu mais novo projeto de equipamento de análise de líquido cefalorraquidiano. É um
equipamento, conhecido internamente como MeduMed, para o qual um resultado errado pode
representar a morte de um paciente (e um prejuízo enorme para a empresa). Você foi contratado,
com um salário na faixa dos 20 mil reais, por sua larga experiência com métodos formais. Você irá
chefiar a equipe que irá desenvolver o hardware e o software do MeduMed. A equipe do MeduMed
tem vários integrantes, dentre os quais um engenheiro de software bastante experiente, o Zé. Zé não
conhece nada de especificação ou verificação formal. Zé é bastante crítico; portanto, a não ser que
alguém demonstre a validade de uma mudança na sua forma de trabalho, ele não irá colaborar. Você
não pode demitir o Zé, pois pagar o FGTS da demissão dele seria muito caro. Consequentemente,
você terá que convencer o Zé de que vale a pena especificar e verificar formalmente o MeduMed. A
vantagem é que o Zé é um cara totalmente racional, logo somente argumentos racionais irão
convencê-lo. Escreva uma lista com marcadores (o Zé adora lista com marcadores) listando pelo
menos 5 argumentos para convencer o Zé a especificar e verificar formalmente o MeduMed.

4) (vale 2,5 pontos) Maria abriu uma lanchonete ovo-lacto-vegetariana (a Ovolactosneques). Ela sabe que você é
especialista em especificação formal, portanto ela pediu que você especifique formalmente (usando a linguagem de
especificação vista durante o curso) uma máquina de servir bebidas quentes para a lanchonete. Maria prometeu te dar
um sanduíche de rúcula e um suco de alcachofra todos os dias, por um mês, totalmente grátis, caso você faça isso por
ela. Conversando com ela, você percebeu que apenas uma operação precisa ser especificada, com as seguintes
características:
a) A operação recebe como entrada um número representando uma “opção” dentre as seguintes:
(1) chá verde
(2) café coado
(3) chocolate quente
(4) café expresso
b) A operação recebe outra entrada numérica, representando “tamanho”:
(1) grande
(2) médio
(3) pequeno
c) a operação terá duas saídas:
c.1) uma cadeia de caracteres chamada “resposta”, que será “Sucesso” se tudo der certo ou “Escolha não
permitida” se for feita uma escolha não permitida.
c.2) um valor numérico representando o “custo” da bebida escolhida (este valor será zero se a escolha não for
permitida).
d) além disso, a especificação da operação deverá garantir que:
d.1) a máquina não tente fazer chocolates quentes grandes, pois isto é proibido por Maria;
d.2) a máquina não tente fazer café expressos médios ou grandes, pois também não é permitido pro Maria.
d.3) o custo das bebidas seja calculado da seguinte forma:
1. se a bebida for café expresso, o custo é R$ 2,50;
2. se a bebida for chá verde, o curso é R$ 1,50 independentemente do tamanho;
3. se a bebida for chocolate quente, o pequeno custa R$ 1,75 e o médio custa R$ 3,25;
4. se a bebida for café coado, o pequeno custa R$1,10, o médio, R$1,60 e o grande, R$ 2,10.
Resposta da questão 4: