Computação
O conhecimento é volumoso; é de difícil caracterização (Ex. demonstrar a forma da compaixão, muito abstrata); esta em constante mudança e é individual e único, ou seja, cada um tem uma forma individual de absorver conhecimento.
Programa = conhecimento em forma de códigos.
A manifestação inteligente pressupõe fatos.
Fato é um pedaço do conhecimento para simplificar e facilitar a representação do conhecimento, pois o conhecimento em si é muito complexo.
LOGICA PROPOSICIONAL
Uma das formas de representar o conhecimento é a logica.
É baseada na lógica matemática. George Boole cria a Álgebra Booleana.
Criou todo o conceito de logica utilizado até hoje. A álgebra boleana é a logica proposicional.
TIPOS
Simples= forma mais simples de representação composta por apenas uma expressão.
Ex. 5+5=9
Composta= mais de uma expressão conectada através de um conector e, ou, se, então.
Ex: 5+5=9 ou Carro Azul
SIMBOLO
O símbolo é universal, em qualquer lugar do mundo o símbolo será o mesmo, sendo que os conectivos podem ser em outra língua.
*conectivos= não , ou, e, se..entao, se somente se...
LOGICA DE PREDICADOS
Ex. Todo amigo de Joao é um amigo de Marcos. Pedro não é amigo de Marcos, logo não é amigo de João.
A lógica de predicados é uma das formas de absorver conhecimento e a evolução da logica de Proposição, onde a diferença dessa é que são inseridas alguns termos de totalidade, qualidade ou densidade. Enfatiza alguma coisa, Ex. todos amigos, alguém,...
O objetivo dessas logicas é mapear o conhecimento. Registrar esse conhecimento, e existem diversas formas para efetuar esse mapeamento.
REPRESENTAÇÃO LEXIAL
*variáveis = representam objetos (alguém, algo, ele). Tudo aquilo que é indefinido. Não se consegue direcionar a quem se refere (alguem). Usada quando não tem algo totalmente definido.
*constantes = representa objetos identificados. Indica a referencia. Se sabe de qual objeto está falando.
*símbolos = os símbolos de