Introducción

El conocimiento puede ser considerado primordialmente como una entidad

simbólica –Procesamiento simbólico.
No serviría de nada sino disponemos de métodos que nos permitan
manipularla(sistema de producción o mecanismos de inferencia) de modo a
resolver problemas con dicha representación.
Componentes de una representación:
• Lexicográfica: Símbolos del vocabulario.
• Sintáctica: Forma como se distribuyen los símbolos.
• Semántica: Significado de los símbolos.
• Procedimental : Procedimientos para acceder a las descripciones,
modificarlas y usarlas para responder preguntas.
 Formas de presentación

 Red Semántica.
La información se representa como un conjunto de nodos conectados entre si
mediante fechas o enlaces que poseen etiquetas.
Los nodos representan objetos y flechas con sus etiquetas la relación entre los
objetos(léxico). El significado de los nodos y arcos dependen de la aplicación
(semántica) constructores de nodos y enlaces, lectores para responder preguntas,
escritores de nodos y enlaces, y borradores de estos.
Ejemplo:
Registros

Los objetos y relaciones que existan entre ellos, se representan como

elementos de una lista.
Una lista es una colección de átomos o (sub)listas.
Ejemplo:
 Lógica Matemática

 Lógica Proporcional.
Estudio matemático y filosófico mas antiguo sobre la naturaleza del raciocinio y el
conocimiento.
Las expresiones que describen los objetos y sus relaciones son llamadas
proposiciones. Estas pueden tomar dos valores posibles: verdadero(V), falso (F).
Las proposiciones se pueden combinar mediando conectores lógicos para formar
nuevas proposiciones:
 Ejemplos:
A: Martin es hijo de Carlos, si existe una persona llamada Martin cuyo padre se
llamas Carlos, la proposición es V.
B: Martin es hijo de Luisa, si existe una persona llamada Martin cuya madre no se
llama Luisa, la proposición es F.
 Lógica de Predicados
Estudia las frases declarativas con mayor grado de detalle, considerando la estructura
interna de las proposiciones. Se tomara como elemento básico los objetos y las
relaciones entre dichos objetos. Es decir, se distingue:
Que se afirma(predicado o relación)
De quien se afirma(objeto)
Símbolos de Variables(VAR): Es un conjunto de las últimas letras del alfabeto en
minúsculas.
Símbolos de Constantes (CONS): Este conjunto lo forman las primeras letras del alfabeto
en minúsculas
Conjunto de letras de función(FUNC): Representaremos a este conjunto por las letras
f,g,h,L.
Conjunto de letras de Predicado (PRED): Se representan mediante letras mayúsculas,
Símbolos de conectivas:
¬ = Negación
∨= Conectiva “o”
∧ = Conectiva “y”
→ = implicación
↔ = Doble implicación o equivalencia
Cuantificadores:
∃=existencial
∀=Universal
Ejemplo:
Todo numero es imaginario.
∀(x)(N (x)→I(x)) se lee: “Para todo x tal que x es un numero entonces x es imaginario”
– Recuerda que x puede tomar cualquier valor.
-Algún numero no es par.
∃(x)(N (x)∧¬P(x)) se lee: “existe un x tal que x es un numero y no es par”