Inteligência Artificial (Aula 23-08-2010)
Lógica e Dedução (Representação do Conhecimento)
*Conhecido como cálculo sentencial ou cálculo proposicional é a verificação da veracidade de
sentenças complexas, a partir da veracidade Lou falsidade de suas partes;
*Sentenças mais complexas são formadas de combinação de sentenças mais simples através
do uso de conectivos;
*As sentenças elementares são chamadas átomos;
*No cálculo sentencial a veracidade que se deseja estabelecer é quanto à legitimidade dos
argumentos e não dos átomos;
Portanto:
Se (chover) então (a rua fica molhada).
Considere os seguintes argumentos
(Ave põe ovos)
(Águia é ave)
Águia põe ovos
(Ave põe ovos)
(Mickey é ave)
Mickey põe ovos
Os conectivos sentenciais usualmente empregados são:
^ = “e”
v = “ou”
= “implica”
= “equivale”
¬ = “não” (negação)
No caso de sistemas digitais essa possibilidade é muito importante;
a
b
a ^ b
a v b
a
b
a
b
¬
a
V
V
V
V
V
V
F
V
F
F
V
F
F
F
F
V
F
V
V
F
F
F
F
F
F
V
V
V
Tautologias:
São expressões em que o resultado é sempre verdade independente do valor dos seus átomos.
a a identidade
a a equivalência
(a ^ a) a idem potência
(a v a) a idem potência
¬ (¬a) a dupla negação
(a v (¬a)) terceiro excluído
¬(a ^ (¬a)) não contradição
¬a (a b) negação
