Instituto tecnolgico superior de Jess Carranza

14




Actividades.
MATERIA:
Programacin Lgica y Funcional
ALUMNO:
PROFESOR
1.- Que es una Base de Conocimiento?
Es un tipo especial de base de datos para la gestin del conocimiento. Provee
los medios para la recoleccin, organizacin y recuperacin computarizada de
conocimiento.
Es un depsito de informacin creado gracias a una extensa investigacin
organizada en un rbol de conocimiento completo.

2.- Que es un Motor de Inferencia?
(MI) es un programa de control cuya funcin es seleccionar las reglas posibles
a satisfacer el problema, para alcanzar una solucin o conclusin determinada
y para ello se vale de ciertas estrategias de control sistemticas o de
estrategias heursticas.
3.- Que son las Reglas de Inferencia?
Una regla de inferencia es un esquema para construir inferencias vlidas. Estos
esquemas establecen relaciones sintcticas entre un conjunto de frmulas
llamados premisas y una asercin llamada conclusin.

4.- Que es una Clausula de Horn?
Aquellas que tienen como mximo un literal positivo.
5.- Que es un Predicado?
Relacin, funcin u operador que regresa falso o verdadero.
Partimos de elementos bsicos como las frases declarativas simples o
proposiciones que son aquellos elementos de una frase que constituyen por s
solos una unidad de comunicacin de conocimientos y pueden ser
considerados Verdaderos y Falsos.
Actividad 3: busca en la web algn libro de fundamentos de PROLOG y
genera no ms de dos cuartillas indicando la sintaxis y dos ejemplos de
aplicacin de los siguientes elementos:

Sintaxis:



1.- Hechos
Se le llama hecho a la relacin entre objetos
La relacin se conoce como el predicado y los objetos como los argumentos.
Los siguientes puntos son importantes: -Los nombres de las relaciones deben
comenzar con letra minscula. -Los objetos se escriben separados por comas y
encerrados entre parntesis. -Al final del hecho debe ir un punto.

2.- Preguntas

3.- Reglas
Cuando la verdad de un hecho depende de la verdad de otro hecho o un grupo
de hechos se usa una regla. Una regla consiste en una cabeza y un cuerpo. El
cuerpo puede estar formado por varios hechos u objetivos.
Ejemplos:




Actividad 4: En un documento no mayor a una cuartilla indica los siguientes
puntos:
-Prolog
1.- Estructuras lgicas
Estructura de un programa en Prolog
La sintaxis Prolog incluye:
Hechos: es un hecho del lenguaje cotidiano. En lenguaje normal, una
proposicin puede ser hace calor.
Reglas: las capacidades del programa. Estas son consultadas al hacer una
consulta para verificar su validez o invalidez.
Variables: Representan objetos que el mismo Prolog determina. Una variable
puede estar instanciada o no instanciada.
Consultas: es la accin de hacerle una pregunta al programa sobre la
informacin contenida en la base de datos. Una pregunta sencilla podra ser: ?-
'Hace Calor'. Una respuesta podra ser: si, seguido por el prompt: ?-. Un si
significa que la pregunta es consistente con la informacin contenida en la base
de datos. Si no existe suficiente informacin, responde: no.
2.- Listas