Aulas práticas da cadeira de

Representação do Conhecimento

Licenciatura em Engenharia Informática e de Computadores

Campus do Tagus Park

H. Sofia Pinto e Inês Lynce

(Editoras)

Ano Lectivo 2005/2006

 Prefácio
Este documento reúne os exercícios propostos nas aulas práticas da cadeira de Representação de
Conhecimento da Licenciatura em Engenharia Informática e de Computadores do Campus do Tagus
Park para o ano lectivo 2005/2006. A lista de autores refere, por ordem alfabética, as pessoas
que ao longo do tempo estiveram ligadas à cadeira tendo contribuído com exercícios. Alguns dos
exercícios, devidamente assinalados, foram retirados de exames de anos anteriores ou adaptados do
livro “Knowledge Representation and Reasoning” de Ronald Brachman e Hector Levesque, Elsevier
(ISBN 1-55860-932-6), 2004.

H. Sofia Pinto & Inês Lynce

(Editoras)

Autores:
Ana Cardoso
Daniel Gonçalves
Inês Lynce
João P. Martins
Joana Paulo
Carla Penedo
H. Sofia Pinto
1 Lógica Clássica: representação
Exercício 1.1
Represente em lógica de primeira ordem a hierarquia:
animal

mamífero

cão morcego baleia

Bobi MobyDick

a b significa que todos os as são bs

A b significa que este A é um b

Exercício 1.2
Represente o atributo forma de deslocação para a hierarquia anterior.

Exercício 1.3
Represente em LPO as seguintes afirmações:
1. O BolaDeNeve ou é um gato ou é um cão (mas não os dois simultaneamente).

2. Qualquer pessoa que seja persistente pode aprender lógica.

3. Nenhum político é honesto.

4. Nem todos os pássaros voam.

5. Se alguém consegue fazer Isso, então o Zé também consegue.

6. O Rui odeia todos os que não se odeiam a si próprios.

7. O pai da Maria é casado com a mãe da Maria.

Exercício 1.4
Suponha que P (x) representa o predicado “x é um político"e que H(x) representa o predicado “x
é honesto". Traduza as seguintes fbfs para linguagem comum:
1. ∃x[P (x)]

2. ∃x[H(x)]

3. ∀x[P (x) → ¬H(x)]

4. ∃x[P (x) ∧ H(x)]

2
Exercício 1.5
Represente em lógica de primeira ordem a seguinte informação:

1. A relação “está casado com” é simétrica.

2. Uma relação r é simétrica sse, quaisquer que sejam os objectos x e y considerados, se se

verificar r(x, y), então também se verifica r(y, x).

3. A Rita está casada com o Rui.

Com base nesta informação consegue inferir que o Rui está casado com a Rita? Porquê?

Exercício 1.6 (TPC)

Represente, utilizando a lógica de primeira ordem, as seguintes afirmações. Note que a representa-
ção de algumas destas afirmações pode ser mais difícil do que aparenta. Eventualmente, algumas
delas podem não ser representáveis em lógica de primeira ordem. Neste caso, explique a razão
da impossiblidade da representação. Uma afirmação pode ser representada por mais do que uma
fórmula.

1. Apenas cidadãos americanos são empregados pelo FBI.

2. Todo o agricultor que possui um burro bate-lhe.

3. Se uma relação é transitiva então para quaisquer x, y, e z, se x e y verificam a relação e se y

e z verificam a relação então x e z verificam a relação.

4. O João acredita que sabe o número de telefone da Maria.

5. Todo o empregado tem um salário.

Exercício 1.7 (TPC)

Volte a considerar a fbf ∃x[P (x) ∧ H(x)] do exercício 1.4. Explique a diferença entre esta fbf e a
fbf ∃x[P (x) → H(x)].

3
2 Lógica Clássica: sintaxe
Exercício 2.1
Demonstre usando o sistema de dedução natural da lógica de primeira ordem. Em cada alínea
indique se está a demonstrar um teorema ou um argumento e qual o tipo de prova usada.
1. A → (B → A)

2. (A ∧ ¬A) → B

3. ({A → ¬A}, ¬A)

4. ({A}, B → (A ∧ B))

5. ((A → B) ∧ (B → C)) → (A → C)

6. {A → (B ∧ C)} ` ((A → B) ∧ (A → C))

7. (A → (A → B)) → (A → B)

8. (A → (B → C)) → ((A → B) → (A → C))

Exercício 2.2
Demonstre os seguintes teoremas usando o sistema de dedução natural da lógica de primeira ordem.
1. (((A → (A → B)) ∧ A) → B)

2. (¬A → ¬B) → (B → A)

3. (A ∧ B) → ¬(A → ¬B)

4. ((A → B) ∧ ¬B) → ¬A

5. (A → ¬A) → ¬A

6. (A ∨ B) → (B ∨ A)

7. ((A ∨ B) ∨ C) → (A ∨ (B ∨ C))

8. (A ∧ (B ∨ C)) → ((A ∧ B) ∨ (A ∧ C))

9. (A ∨ ¬B) → ¬(¬A ∧ B)

10. ((A ∧ B) ∨ A) → A

Exercício 2.3
Considere o seguinte teorema:

((A ∨ B) → C) → (A → C)

1. Demonstre-o, utilizando o sistema de dedução natural da lógica de primeira ordem.

2. Mostre-o, utilizando o sistema semântico da lógica de primeira ordem.

4
Exercício 2.4
Prove, usando o sistema de dedução natural da lógica de primeira ordem.

1. (F (a) ∧ ∀x[F (x) → G(x)]) → G(a)

2. (∀x[F (x) → G(x)] ∧ ∀y[G(y) → H(y)]) → ∀z[F (z) → H(z)]

3. (∀x[F (x) → H(x)] ∧ ∃y[F (y)]) → ∃z[H(z)]

4. ∀x[F (x)] → ∀y[F (y)]

Exercício 2.5 (TPC,Livro)

Para cada uma das seguintes fórmulas, indique uma interpretação que faça com que essa fórmula
seja satisfeita e as outras duas fórmulas não sejam satisfeitas.

1. ∀x, y, z[¬P (x, y) ∨ ¬P (y, z) ∨ P (x, z)]

2. ∀x, y[¬P (x, y) ∨ ¬P (y, x) ∨ (x = y)]

3. ∀x, y[P (a, y) ∧ P (x, b)]

Exercício 2.6 (TPC)

Considere o seguinte argumento:

({A, B → C}, ((A → B) ∨ ((¬A ∧ B) → C)))

Demonstre-o usando o sistema dedutivo da LPO que estudou.

5
3 Lógica Clássica: semântica
Exercício 3.1
Mostre, utilizando a semântica, que o seguinte argumento não é válido.

({Cao(Bobi) ∨ Gato(Bobi)}, Cao(Bobi))

Exercício 3.2 (Teste de 10/05/2004)

Considere a seguinte conceptualização:
• Universo de discurso D = {1, 2}

• Conjunto das funções {{(1, 2), (2, 1)}}

• Universo das relações {{(1, 1), (1, 2)}}

Considere a interpretação:
• I(a) 7→ 1

• I(b) 7→ 2

• I(f ) 7→ {(1, 2), (2, 1)}

• I(P ) 7→ {(1, 1), (1, 2)}

Para cada uma das fbfs indique, justificando, se ela é ou não satisfeita pela interpretação I:
1. P (b, a)

2. P (a, f (a)) ∧ P (b, f (b))

Exercício 3.3
Considere o seguinte conjunto de fórmulas:

{C → D, (A ∨ B) → C}

1. Diga quais são os modelos desse conjunto.

2. Acrescente a fórmula A ao conjunto. Diga quais são os seus modelos.

3. Quais das fórmulas A, B, C, D são consequências lógicas do conjunto dado na alínea anterior?

Exercício 3.4 (TPC)

Considere o seguinte argumento:

{A ∨ B} ` ((A → B) ∧ (B → C)) → C

1. Prove-o, utilizando o sistema de dedução natural da lógica de primeira ordem.

2. Mostre que ele é válido, utilizando o sistema semântico da lógica de primeira ordem.

6
4 Lógica da Implicação Relevante
Exercício 4.1
Prove em lógica clássica os seguintes teoremas, utilizando o sistema de dedução natural:

1. A → (B → A)

2. (A ∧ ¬A) → B

Exercício 4.2
Prove na lógica da implicação relevante os mesmos teoremas da pergunta anterior. Caso não o
consiga, diga qual ou quais as regras que não o permitiram.

Exercício 4.3
1. Prove na lógica da implicação relevante o seguinte teorema: A → ((A → B) → B).

2. Considerando que (A → B) é equivalente a ¬A ∨ B, deveria conseguir provar o teorema:

A → ((¬A ∨ B) → B). Embora o consiga fazer em lógica clássica, não o consegue fazer em
lógica da implicação relevante.

(a) Prove este teorema em lógica clássica.

(b) Explique porque não o consegue provar usando a lógica da implicação relevante.

Exercício 4.4
Prove na lógica da implicação relevante os seguintes teoremas e argumentos:

1. ((A → B) ∧ (B → C) ∧ A) → C

2. {(A ∨ B), ((A → B) ∧ (B → C))} ` C

3. {(A → ¬C)} ` ((B → C) → (A → ¬B))

4. {(A ∨ B)} ` (((A → (B ∧ C)) ∧ (B → C)) → C)

Exercício 4.5 (TPC)

Prove na lógica da implicação relevante os seguintes teoremas e argumentos:

1. (A → (B ∧ C)) → ((A → B) ∧ (A → C))

2. (A → (A → B)) → (A → (B ∨ C))

3. ((A → B) ∧ (B → ¬A)) → ¬A

7
5 L.O.R. – Representação e Sintaxe
Exercício 5.1
Considere a seguinte hierarquia:

animal

mamífero

cão morcego baleia

Bobi MobyDick

a b significa que todos os as são bs

A b significa que este A é um b

(a) Represente-a na lógica de omissão do Reiter.

(b) Represente o atributo forma de deslocação para a hierarquia anterior.

(c) Acrescente à hierarquia anterior um morcego chamado Vampy, e faça as alterações necessárias
à sua resposta ao exercício anterior para representar o seguinte:

– O Vampy tem as asas partidas.

– Os morcegos com as asas partidas não voam, andam.

Exercício 5.2
Represente as seguintes frases usando a lógica de omissão do Reiter:

1. Normalmente os universitários são adultos.

2. Normalmente os adultos são empregados, a não ser que sejam universitários.

3. Em geral os universitários não gostam de estudar.

4. Tipicamente os programas da Microsoft que são novos têm bugs.

5. Em geral os utilizadores não gostam de programas com bugs.

8
Exercício 5.3
Considere as seguintes afirmações:
• Tipicamente os empresários não têm tempo.

• Normalmente os empresários praticam desporto.

• Tipicamente quem não tem tempo não pratica desporto.

• O Horácio é um empresário.

(a) Represente-as usando uma teoria de omissão da lógica de omissão do Reiter.

(b) Determine, pela via sintáctica, as extensões dessa teoria.

(c) Altere uma ou mais regras de omissão dessa teoria, de forma a que passe a ter apenas uma
extensão, na qual o Horácio pratica desporto.

Exercício 5.4
Considere a seguinte hierarquia:
temPelos

mamífero

gato mamífero aquático

Silvestre baleia

MobyDick

a b significa que todos os as são bs

A b significa que este A é um b
a b significa que normalmente os as são bs
a b significa que normalmente os as não são bs

(a) Represente-a usando uma teoria de omissão da lógica de omissão do Reiter.

(b) Determine, pela via sintáctica, as extensões desta teoria.

(c) Diga o que consegue concluir acerca de cada uma das instâncias, tendo em conta que pode
existir mais do que uma extensão para essa teoria.

(d) Que alterações teria que fazer à hierarquia anterior para acrescentar as focas, que são ma-
míferos aquáticos tipicamente com pelos e o Justin, que é uma foca? Altere o desenho do
enunciado e a representação usada em (a), de forma a que as conclusões intuitivas sejam
inferidas.

9
6 L.O.R. — Semântica
Exercício 6.1
Considere as seguintes afirmações:

• Tipicamente os empresários não têm tempo.

• Normalmente os empresários praticam desporto.

• Tipicamente quem não tem tempo não pratica desporto.

• O Horácio é um empresário.

(a) Represente-as usando uma teoria de omissão da lógica de omissão do Reiter.

(b) Determine, pela via semântica, as extensões desta teoria.

Exercício 6.2
Determine as extensões das teorias de omissão seguintes pela via semântica:

1. τ1 = ({ ϕ1 , ϕ2 , ϕ3 }, {})
:P ∧¬Q :Q∧¬R :R∧¬P
ϕ1 = ¬Q
, ϕ2 = ¬R
, ϕ3 = ¬P

2. τ2 = ({ ϕ1 , ϕ2 , ϕ3 }, {P})
P :Q Q:R Q:¬R
ϕ1 = Q
, ϕ2 = Q
, ϕ3 = ¬R

3. τ3 = ({ϕ1 , ϕ2 }, {Universitario(rui), Adulto(ze)})

U niversitario(x):Adulto(x) Adulto(x):Empregado(x)∧¬U niversitario(x)
ϕ1 = Adulto(x)
, ϕ2 = Empregado(x)

4. τ4 = ({ϕ1 , ϕ2 , ϕ3 }, { P → ¬Q, Q → ¬R})

:P :Q∧R :R
ϕ1 = P
, ϕ2 = Q
, ϕ3 = R

5. τ5 = ({ϕ1 , ϕ2 }, {P})
P :Q P :Q,¬Q
ϕ1 = Q
, ϕ2 = R

6. τ = ({ϕ1 , ϕ2 }, {¬P ∨ ¬Q})

:¬P :¬Q
ϕ1 = ¬P
, ϕ2 = ¬Q

10
Exercício 6.3 (TPC)
Considere a seguinte hierarquia:

temPelos

mamífero

gato mamífero aquático

Silvestre baleia

MobyDick

a b significa que todos os as são bs

A b significa que este A é um b
a b significa que normalmente os as são bs
a b significa que normalmente os as não são bs

(a) Represente-a usando uma teoria de omissão da lógica de omissão do Reiter.

(b) Determine, pela via semântica, as extensões desta teoria.

11
7 KEE
Exercício 7.1
Considere a seguinte hierarquia:

vertebrado

ave peixe

canário avestruz tubarão

Amarelinho Tridente

a b significa que todos os as são bs

A b significa que este A é um b

(a) Represente-a em KEE, considerando os atributos revestimento da pele, tipo de alimentação e

o vertebrado mais perigoso sabendo que:

– Existem cinco grandes grupos de vertebrados entre os quais se encontram as aves e os

peixes.
– Os peixes constituem a maioria dos vertebrados.
– A maior parte dos animais da classe dos vertebrados é herbívora. A avestruz é omnívora
e o tubarão é carnívoro.
– A pele dos vertebrados pode ser revestida por pêlos, penas ou escamas.
– O vertebrado mais perigoso é o Tridente.

(b) Indique como poderia representar a idade do animal em KEE (assuma a existência de um
procedimento data.dif que calcula a diferença entre duas datas).

Exercício 7.2
Represente em KEE a seguinte afirmação: O Pintinhas é um leopardo ou um jaguar ou uma chita
(mas não de várias classes em simultâneo).

Exercício 7.3
Represente em KEE a seguinte informação:

• As pessoas são caracterizadas pela sua idade, a sua preparação física e a sua preparação cien-
tífica.

• A preparação física e científica pode ser má, média, boa ou excepcional.

• Os astronautas são pessoas com excepcional preparação física e científica.

• Geralmente os atletas são pessoas com uma excepcional preparação física.

12
 • A Maria tem 25 anos, boa preparação física e boa preparação científica.
• O João é um astronauta de 30 anos.
• A Josefa é uma atleta com 20 anos.

Exercício 7.4
Considere a seguinte informação:
• Existem vários tipos de aviões: passageiros, recreio e militares. Os vários tipos de avião
distinguem-se de acordo com o que transportam: pessoas, turistas ou militares, respectiva-
mente. Os aviões podem ter vários tamanhos: grande, médio e pequeno.
• Cada avião pode ter zero ou mais motores: os planadores são aviões de recreio sem motor,
mas os aviões de passageiros têm em geral dois motores.
• Os planadores transportam uma ou duas pessoas.
• O “Falcão” é uma avião de recreio e o “Enolagay” é um avião militar.
(a) Organize hierarquicamente o conhecimento expresso nas frases anteriores.
(b) Represente em KEE a informação fornecida da forma mais adequada. Caso encontre algum
problema no enunciado dado pelo perito, critique-o.

Exercício 7.5
1. Quais as vantagens e desvantagens dos sistemas de enquadramentos em geral?
2. Em relação ao KEE, que problemas dos sistemas de enquadramentos foram resolvidos?

Exercício 7.6 (TPC)

Considere a seguinte hierarquia:
veículo

motociclo velocípede

motocicleta moto4 Giant VT1

Ninja ZX-6R

a b significa que todos os as são bs

A b significa que este A é um b

(a) Represente-a em KEE, considerando os atributos tem motor, marca e o veículo mais rápido,
sabendo que os motociclos podem ter 2 (motocicletas) ou 4 rodas (moto4).
(b) Indique como poderia representar a previsão da autonomia (PA) do veículo face ao com-
bustível disponível (CD) em KEE, sabendo que esta pode ser calculada através da seguinte
fórmula: P A(km) = CD(l) × CM (Km/l), em que CM denota o consumo médio do veículo.

13
8 KL-ONE
Exercício 8.1
Represente em KL-ONE a seguinte informação:

(a) Uma mensagem é, entre outras, uma coisa, com pelo menos um emissor, pelo menos um
receptor, um corpo, uma data de emissão e uma data de recepção. Tanto o emissor como o
receptor de uma mensagem são pessoas. O corpo é um texto. Tanto a data de emissão como
a data de recepção são datas.

(b) Uma mensagem de frota é uma mensagem cujos emissores, que podem ser um ou mais, são
comandantes de frota.

(c) Uma mensagem privada é uma mensagem com apenas um receptor.

(d) O João enviou à Ana uma mensagem privada com o texto “Olá, bom dia.”.

(e) Uma mensagem com cópia é uma mensagem que tem, entre os possíveis receptores, um con-
junto de um ou mais receptores a quem a mensagem se destina (os ParaReceptores) e um
conjunto de um ou mais receptores ao qual é enviada uma cópia da mensagem (os CópiaRe-
ceptores).

(f) Uma mensagem importante é uma mensagem privada cujo receptor é um empregado e o
emissor é o seu chefe (do receptor).

(g) Uma mensagem com resposta é uma mensagem com uma data de resposta.

(h) Uma mensagem urgente é uma mensagem com resposta que é respondida menos de uma hora
depois de ser recebida. Neste caso, o período de tempo entre a data de emissão e a data de
resposta é menor do que uma hora.

Exercício 8.2
Represente em KL-ONE as seguintes afirmações:

• Existem vários tipos de tarefas: interpretação, diagnóstico, design e planeamento entre outras.

• Os sistemas periciais executam apenas uma tarefa num domínio específico.

• Os sistemas periciais dividem-se em várias classes: interpretação, diagnóstico e design entre

outras.

• O Mycin é um sistema pericial de diagnóstico médico.

• O Prospector é um sistema pericial de interpretação de dados geológicos.

• Os sistemas periciais têm vários componentes específicos.

• Entre os componentes de um sistema pericial destacam-se a sua base de conhecimento e o seu

motor de inferência.

• Num sistema pericial, o motor de inferência usa a base de conhecimento.

14
Exercício 8.3
Represente em KL-ONE a seguinte informação:

• Os filmes, noticiários e programas infantis são programas de TV.

• Os programas de TV têm espectadores que são pessoas.

• Os filmes para adultos são filmes.

• Os espectadores dos programas infantis são crianças, enquanto que apenas os adultos assistem
aos filmes para adultos.

• Os programas de TV iniciam a sua transmissão a uma certa hora.

• Os noticiários de grande audiência iniciam a sua transmissão às 20h.

• Os filmes para adultos só começam depois das 24h.

Exercício 8.4 (TPC)

Considere a seguinte hierarquia:

vertebrado

ave peixe

canário avestruz tubarão

Amarelinho Tridente

a b significa que todos os as são bs

A b significa que este A é um b

Represente-a em KL-ONE, considerando os atributos revestimento da pele, tipo de alimentação e o

vertebrado mais perigoso sabendo que:

• Existem cinco grandes grupos de vertebrados entre os quais se encontram as aves e os peixes.

• Os peixes constituem a maioria dos vertebrados.

• A maior parte dos animais da classe dos vertebrados é herbívora. A avestruz é omnívora e o
tubarão é carnívoro.

• A pele dos vertebrados pode ser revestida por pêlos, penas ou escamas.

• O tridente é o vertebrado mais perigoso.

Caso não consiga representar alguma frase justifique porquê. Sempre que possível tente encontrar
uma solução para representar o conhecimento neste sistema.

15
Exercício 8.5 (TPC)
Represente em KL-ONE as seguintes afirmações:

• As pessoas são caracterizadas pela sua idade, a sua preparação física e a sua preparação cien-
tífica.

• A preparação física e científica pode ser má, média, boa ou excepcional.

• Os astronautas são pessoas com excepcional preparação física e científica.

• Geralmente os atletas são pessoas com uma excepcional preparação física.

• A Maria tem 25 anos, boa preparação física e boa preparação científica.

• O John é um astronauta de 30 anos.

• Josefa é uma atleta com 20 anos.

Caso não consiga representar alguma frase justifique porquê. Sempre que possível tente encontrar
uma solução para representar o conhecimento neste sistema.

16
9 SNePS
Exercício 9.1
Considere a seguinte hierarquia:
vertebrado

ave peixe

canário avestruz tubarão

Amarelinho Tridente

a b significa que todos os as são bs

A b significa que este A é um b

(a) Represente-a em SNePS.

(b) Para além de saber que o Amarelinho é um canário, consegue inferir mais alguma coisa acer-
ca deste animal? Se sim, indique o quê. Caso contrário, escreva as regras que considera
necessárias para inferir o que seria desejável e diga o que passa a inferir com elas.

Exercício 9.2
Represente em SNePS a seguinte informação:
• O Zé acredita que a Carolina gosta de gelado.

• A Carolina gosta de gelado.

• A Carolina não gosta de gelado (repare que acabou de representar uma contradição).

Exercício 9.3
Represente em SNePS as seguintes afirmações:
1. O Pintinhas é um leopardo ou um jaguar ou uma chita (mas não de várias classes em simultâ-
neo).

2. Tudo o que alguém consegue fazer o Zé também consegue fazer.

Exercício 9.4
Represente em SNePS a seguinte informação:
• As estrelas são corpos celestes com luz própria.

• Nem todas as estrelas são visíveis a olho nu.

• Existe uma estrela que está mais próxima da Terra que todas as outras.

17
 • A Estrela Polar é uma estrela.

• Nenhum planeta tem luz própria.

Exercício 9.5
Represente em SNePS as seguintes propriedades de relações:

1. Transitividade.

2. Reflexividade.

3. Simetria.

4. Equivalência (uma relação de equivalência é uma relação simétrica, reflexiva e transitiva).

Exercício 9.6 (TPC)

Represente em SNePS as seguintes afirmações:

• As pessoas que jogam bem xadrez são inteligentes.

• O Kasparov é uma pessoa que joga bem xadrez.

• O Kasparov nunca perdeu nenhum jogo de xadrez com ninguém.

• O DeepBlue é um computador que venceu o Kasparov a jogar xadrez.

18