Este documento resume y compara diferentes sistemas formales para representar conocimiento, incluyendo lógica proposicional, lógica de predicados, reglas de producción, redes semánticas, marcos y scripts. Describe las características, ventajas y desventajas de cada sistema, destacando su utilidad para razonar lógicamente y representar relaciones entre conceptos.

1. Republica Bolivariana de Venezuela
Ministerio Del Poder Popular Para La Defensa
Universidad Nacional Experimental Politécnica De La
Fuerza Armada Nacional Bolivariana
UNEFA
Núcleo Lara- Barquisimeto
Profesor:
Edecio Freitez
Sección: 07S-2613-D1
Estudiante:
Gustavo Infante #29.531.214
Abril 2021

2. Lógica preposicional Lógica predicado Reglas de producción Redes semánticas Marcos y Scripts
Definición
Es un sistema formal cuyos
elementos más simples representan
proposiciones o enunciados, y
cuyas constantes lógica, también
llamados conectores lógicos.
Representan operaciones sobre
proposiciones, capaces de formar
otras proposiciones de mayor
complejidad. Además esta preposición
puede ser verdad o falsa.
Es un sistema formal diseñado
para estudiar la inferencia en los
lenguajes de primer orden.
Los lenguajes de primer orden
son, a su vez, lenguajes
formales con cuantificadores que
alcanzan solo a variables de
individuo, y con predicados
y funciones cuyos argumentos son
solo constantes o variables de
individuo.
Es unas de la técnicas de
representación de conocimiento mas
antiguas.
Su función es representar y
soportar las relaciones inferenciales
del algoritmo, en contraposición a
los métodos declarativos (hechos).
Sin duda alguna representar el
conocimiento en forma adecuada
para las computadoras.
Es una forma de representación
del conocimiento lingüístico en la
que los conceptos y sus
interrelaciones se representan
mediante un grafo. En caso de que
no existan ciclos, estas redes pueden
ser visualizadas como árboles.
Las redes semánticas son usadas,
entre otras cosas, para
representar mapas
conceptuales y mentales.
Un marco (frame) es una plantilla
de objetos que contiene un conjunto
de slots. Implementa diversos
paradigmas de programación
orientados a objetos como a accesos.
Los Guiones (Scripts) Es una
estructura de conocimiento que
organiza información referente a
situaciones dinámicas estereotipadas.
Características
 Herramienta útil para razonar.
 Combinan diferentes métodos
para demostraciones básicas.
 Son elementos atómicos y no
contiene variables de entidad o
cuantificadores
 Analiza inferencia lógica.
 Se rigen por tablas de verdad.
 Describe un mundo que consta
de objetos y propiedades (o
predicados) de esos objetos.
 Es universal porque puede
expresar cualquier cosa que
pueda ser programada.
 Tiene un poder expresivo
superior al de la lógica
proposicional.
 Las Reglas de producción
manipulan estructuras de
símbolos, como listas o
vectores.
 Cada regla define un pequeño y
relativamente independiente
pedazo de conocimiento.
 Son sencillas de implementar
por su similitud con el
razonamiento humano.
 Capacidad para relacionar
conceptos y para recuperar
información.
 Representación en
procesamiento de lenguaje
natural.
 Formalismo muy limitado
para dominios mas complejos.
 Los Frames se usan para dividir
la pantalla en diferentes zonas y
ofrece uno de los mecanismo mas
poderosos y flexibles en la
inteligencia artificial.
 Los Scripts ejecuta diversas
funciones en el interior de un
programa de computador.
Ventajas
 Permite el mejor razonamiento a
través de un mecanismo que
evalúa.
 Es simple.
 No tiene problemas para
resolver preguntas si son ciertas
o falsas.
 Expresan relaciones o acciones
entre objetos, axial como
también cualidades y atributos
de tales objetos.
 Los predicados tienen un valor
de veracidad, pero su valor de
veracidad depende de sus
términos.
 Poseen modularidad, uniformidad
y naturalidad para expresar el
conocimiento.
 Representación homogénea del
conocimiento.
 Permiten el desarrollo
incremental.
 Fácil comprensión grafica.
 Permiten la declaración de
importantes asociaciones en
forma explícita.
 Se representan por nodos.
 Las instancias y clases se
representan por constantes.
 Los marcos facilitan la
navegación.
 Los frames implementan cualquier
conocimiento de programación .
 Los Scripts mejoran la precisión,
permite la interacción con el
usuario, también captura la
documentación .
Desventajas
 No posee cuantificadores.
 No puede resolver problemas
que requieren analizar la
estructura interna de las
proposiciones o de las relaciones
entre ellas.
 Representación limitada.
 Una de las mayores desventajas
de la lógica de predicados es que
sólo dispone de dos niveles de
veracidad: verdadero y falso.
 No se puede saber el valor de
verdad de una formula.
 Problemas de verificación.
 No tienen acceso al razonamiento
que hay detrás de las reglas.
 Encadenamiento infinito.
 Inadecuadas para describir
conocimiento declarativo .
 No existe una interpretación
normalizada.
 La dificultad de interpretación a
menudo puede derivar en
inferencias inválidas.
 Poca flexibilidad.
 Los frames eliminan espacio de
la pantalla, no son libres de
navegación.
 Los Scripts requiere de otras
aplicaciones, es posible
desactivar y sus Scripts lo hacen
vulnerables.