•Lógica e Representação do Conhecimento
–Estudo das regras do raciocínio
válido.
–Pode
ser usada para representar conhecimento.
–O
formalismo lógico parece atraente, pois, recorrendo-se à dedução matemática somos capazes de derivar novos
conhecimentos a partir
de outros já existentes.
–Lógica das Proposições
•Proposições
são afirmações que admitem um valor lógico, “verdadeiro” ou “falso”.
•Seja,
por exemplo, uma fbf do cálculo proposicional:
•cor(gato,preto).
•Pode
ter valor verdadeiro ou falso dependendo se o gato em questão é ou não preto.
•Na
representação do conhecimento, ela representa um fato e é suposta verdadeira no mundo que representa.
–