Formalismos de la ingenieria del conocimiento

 TEMA
CONCEPTO
EJEMPLO


Representación
del conocimiento
 Área de la inteligencia artificial cuyo objetivo fundamental es representar el conocimiento de una manera que facilitela inferencia (sacar conclusiones) a partir de dicho conocimiento.

Conocimiento de procedimientos
Transforma y modifica la declaración del conocimiento declarativo.
Por ejemplo el conocimiento deprocedimientos de emergencia ayuda a prepararte para las situaciones de emergencia, para tener seguridad de la misma persona.



Conocimiento relacional simple
La forma más simple derepresentar hechos declarativos es mediante un conjunto de relaciones expresables mediante tablas(como una B.D)






Conocimiento heredable jerárquico
Se trata de construir un árbol o grafo deconceptos basado en la generalización y/o especialización.






Lógica proposicional
Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas, susposibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad.



Lógica de predicados
es un sistema formal diseñado para estudiar la inferencia en los lenguajes deprimer orden.

Ejemplo: si s(x) representa “el padre de x”, y
M(x,y) representa “x es menor que y”, entonces
“toda persona es menor que su padre” se representa
por
∀x M(x,s(x))




Redessemánticas
Es una forma de representación de conocimiento lingüístico en la que los conceptos y sus interrelaciones se representan mediante un grafo.





Marco-Frame
Forma de expresar lasredes semánticas textualmente pero además pueden concluir representaciones de conocimiento procedimental.





Redes Bayesianas
Las redes bayesianas o probabilísticas son una representacióngráfica de dependencias para razonamiento probabilístico en sistemas expertos, en la cual los nodos y arcos representan:

Nodo: Variable proposicional.
Arcos: Dependencia probabilística.