•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.
–