Escolar Documentos
Profissional Documentos
Cultura Documentos
IA
IAestuda
estudacomo
comosimular
simular
comportamento
comportamentointeligente
inteligente
comportamento
comportamentointeligente
inteligente
ééresultado deraciocínio
resultadode raciocíniocorreto
correto
sobre conhecimento disponível
sobre conhecimento disponível
conhecimento
conhecimentoeeraciocínio
raciocíniocorreto
correto
podem
podemser
serrepresentados emlógica
representadosem lógica
ooformalismo
formalismológico
lógicomais
mais
simplesééaalógica
simples lógicaproposicional
proposicional
• Se neva, então faz frio. Está nevando. Logo, está fazendo frio.
• Se chove, então a rua fica molhada. A rua está molhada. Logo, choveu.
Proposição
Proposição
ééuma
umasentença
sentençadeclarativa
declarativaque
quepode
podeser
serverdadeira
verdadeiraou
oufalsa,
falsa,mas
masnão
nãoas
as
duas
duascoisas
coisasao
aomesmo
mesmotempo.
tempo.
Exercício 2
Conectivo
Conectivo
são
sãopartículas
partículas(não,
(não,e,e,ou,
ou,então)
então)que
quepermitem
permitemconstruir
construirsentenças
sentenças
complexas
complexasaapartir
partirde
deoutras
outrasmais
maissimples.
simples.
Exemplo:
Tipos
Tiposde
defórmulas:
fórmulas:
Válida
Válida(tautológica):
(tautológica):ééverdadeira
verdadeiraem emtoda
todainterpretação.
interpretação.
Satisfatível
Satisfatível(contingente):
(contingente):ééverdadeira
verdadeiraem
emalguma
algumainterpretação.
interpretação.
Insatisfatível
Insatisfatível(contraditória):
(contraditória):ééverdadeira
verdadeiraem
emnenhuma
nenhumainterpretação.
interpretação.
Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 7
Representação de conhecimento
Conhecimento
Conhecimentopode
podeser
serrepresentado
representadode
deduas
duasformas:
formas:
explícita:
explícita:por
pormeio
meioda
daformalização
formalizaçãode
desentenças
sentenças
implícita:
implícita:por
pormeio
meiode
deconseqüência
conseqüêncialógica
lógica(fatos
(fatosderivados
derivadosdas
dassentenças)
sentenças)
Está chovendo.
Se está chovendo, então a rua está molhada.
Se a rua está molhada, então a rua está escorregadia.
Vocabulário
c : “está chovendo”
m : “a rua está molhada”
e : “a rua está escorregadia”
Formalização base
basede
de
c, c→m, m→e}
∆ = {c conhecimento
conhecimento
Um
Umargumento
argumentoééuma
umaseqüência
seqüênciade
depremissas
premissasseguida
seguidade
deuma
umaconclusão
conclusão
Exemplo
Vocabulário
n : “neve”
f : “frio”
Formalização conseqüência
conseqüêncialógica
lógica
n→f, n} f
{n
Exercício 3
Nem
Nemtodo
todoargumento
argumentoééválido!
válido!
Argumento 1
Se eu fosse artista, então eu seria famoso.
Não sou famoso.
Logo, não sou artista.
Argumento 2
Se eu fosse artista, então eu seria famoso.
Sou famoso.
Logo, sou artista.
Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 12
Validação de argumentos
Um
Umargumento
argumentoééválido
válidose
seaasua
suaconclusão
conclusãoééuma
umaconseqüência
conseqüêncialógica
lógica
de
desuas
suaspremissas,
premissas,ou
ouseja,
seja,aaveracidade
veracidadeda
daconclusão
conclusãoestá
estáimplícita
implícitana
na
veracidade
veracidadedas
daspremissas.
premissas.
Exemplo
Argumento 1 a f (a
a → f) f a
∧ ¬ → ¬
Se eu fosse artista, seria famoso.
F F F V F V V F V V F
Não sou famoso.
Logo, não sou artista. F V F V V F F V V V F
V F V F F F V F V F V
Vocabulário
V V V V V F F V V F V
a : “artista”
f : “famoso”
Formalização
OOargumento
argumentoééválido!
válido!
{a→
{a→f, ¬ f} ¬ a
Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 14
Validação de argumentos usando tabela-verdade
Exemplo
Argumento 2
Se eu fosse artista, seria famoso. a f (a → f) ∧ f → a
Sou famoso. F F F V F F F V F
Logo, sou artista.
F V F V V V V F F
Vocabulário V F V F F F F V V
a : “artista” V V V V V V V V V
f : “famoso”
Formalização
{a→
{a→f, f} a OOargumento
argumentoNÃO
NÃOééválido!
válido!
Exercício 4
Exercício 5
Formalização: {j→
{j→g, ¬j→t, g→c, ¬c} t
Exercício 6
Regra
Regrade
deinferência:
inferência:
ééum
umpadrão
padrãode demanipulação
manipulaçãosintática
sintáticaque
quedefine
definecomo
comouma
umafórmula
fórmula(conclusão)
(conclusão)
pode
podeser
serderivada
derivadade
deoutras
outrasfórmulas
fórmulas(premissas)
(premissas)
Regras
Regrasde
deinferência
inferênciaclássicas:
clássicas:
Modus
Modusponens
ponens(MP):
(MP): →ββ,, αα}}
{{αα→ ββ
Modus
Modustollens
tollens(MT):
(MT): {{αα→
¬¬αα→ββ,, ¬¬ββ}}
Silogismo
Silogismohipotético (SH):{{αα→
hipotético(SH): →γγ}}
→ββ,, ββ→ αα→ →γγ
(1) j→g ∆
MP:{{αα→
MP: →ββ,, αα}} ββ
(2) ¬j→t ∆
(3) g→c ∆
MT: →ββ,, ¬¬ββ}}
MT:{{αα→ ¬¬αα
(4) ¬c ∆ SH:{{αα→
SH: →γγ}}
→ββ,, ββ→ αα→→γγ
------------
(5) j→c SH(1,3)
(6) ¬j MT(5,4)
(7) t MP(2,6)
Exercício 7
Refutação
Refutação
Refutação
Refutaçãoééumumprocesso
processoem
emque
quese
sedemonstra
demonstraque
queuma
umadeterminada
determinada
hipótese
hipótesecontradiz
contradizuma
umabase
basede
deconhecimento.
conhecimento.
Uma
Umabase
basede conhecimento∆∆=={{αα11, ,…
deconhecimento …, ,ααnn}}ééconsistente
consistentese
seaa
fórmula correspondenteαα11∧∧…
fórmulacorrespondente …∧∧ααnnéésatisfatível.
satisfatível.
Se∆∆=={α
Se {α11, ,…,
…,ααnn}}ééconsistente, provar∆∆γγequivale
consistente,provar equivaleaamostrar
mostrarque
que
ooconjunto
conjuntode fórmulas{{αα1, ,…,
defórmulas …,ααn, ,¬¬γγ}} ééinconsistente.
1 n inconsistente.
Argumento
(1) Se o time joga bem, então ganha o campeonato.
(2) Se o time não joga bem, então o técnico é culpado.
(3) Se o time ganha o campeonato, então os torcedores ficam contentes.
(4) Os torcedores não estão contentes.
(5) Logo, o técnico é culpado.
Refutação
(a) O técnico não é culpado hipótese
(b) O time joga bem MT(a,2)
(c) O time ganha o campeonato MP(b,1)
(d) Os torcedores ficam contentes MP(c,3)
(e) Contradição! Confrontando (d) e (4)
(1) j→
→g ∆
(2) ¬j→
→t ∆
(3) g→
→c ∆
(4) ¬c ∆
------------
(5) ¬t Hipó
Hipótese
(6) j MT(5,2)
(7) g MP(6,1)
(8) c MP(7,3)
(9) ⃞ Contradiç
Contradição!
Exercício 8
Passos
Passospara
paraconversão
conversãopara
paraFNC
FNC
Elimine
Elimineaaimplicação:
implicação:
αα→
→ββ≡≡¬¬αα∨∨ββ
Reduza
Reduzaooescopo
escopodadanegação:
negação:
¬¬(α
αα∧∧ββ))≡≡¬¬αα∨∨¬¬ββ
(α
¬¬(α
αα∨∨ββ))≡≡¬¬αα∧∧¬¬ββ
(α
Reduza
Reduzaooescopo
escopoda
dadisjunção:
disjunção:
αα∨∨(β
ββ∧∧γγ))≡≡(α
(β αα∨∨ββ))∧∧(α
(α αα∨∨γγ))
(α
∨∨qq→
p∨
p∨ →rr∧∧ss
≡≡¬¬(p
(p∨∨q)
q)∨∨(r(r∧∧s)
s)
FNC
FNC
≡≡(¬
¬¬pp∧∧¬¬q)
(¬ q)∨∨(r(r∧∧s)
s)
≡≡((¬
¬¬pp∧∧¬¬q)
((¬ q)∨∨r)r)∧∧((¬
¬¬pp∧∧¬¬q)
((¬ q)∨∨s)
s)
≡≡(¬
¬¬pp∨∨r)r)∧∧(¬
(¬ ¬¬qq∨∨r)r)∧∧(¬
(¬ ¬¬pp∨∨s)
(¬ s)∧∧(¬
¬¬qq∨∨s)
(¬ s)
Fórmulas
Fórmulasnormais: ¬¬pp∨∨r,r,¬¬qq∨∨r,r,¬¬pp∨∨s,s,¬¬qq∨∨s}
normais:{¬
{¬ s}
Equivalência
Equivalênciaentre
entreresolução
resoluçãoeeregras
regrasde
deinferência
inferênciaclássicas
clássicas
α → β, α) = β
MP(α ¬ α ∨ β, α) = β
RES(¬
α → β, ¬ β) = ¬ α
MT(α ¬ α ∨ β, ¬ β) = ¬ α
RES(¬
α → β, β → γ) = α → γ
SH(α ¬ α ∨ β, ¬ β ∨ γ ) = ¬ α ∨ γ
RES(¬
(1) ¬j∨ g ∆
(2) j∨ t ∆
(3) ¬g∨ c ∆
(4) ¬c ∆
------------
(5) ¬t Hipó
Hipótese
(6) j RES(5,2)
(7) g RES(6,1) Este
Esteééoomecanismo
mecanismode
deraciocínio
raciocínio
(8) c RES(7,3) implementado
implementadopelo
peloProlog!
Prolog!
(9) ⃞ RES(8,4)
Exercício 9