SEMESTRE ACADMICO 2014-II

Dar a todos los peruanos acceso a una

educacin Superior de calidad, que permita
alcanzar una mejor vida.
Programacin Lgica
Facultad de Ingeniera Electrnica y Sistemas
Ing. Sal Prez Vega
Sesion02
Ing. Sal Prez Vega
Al final de la clase el alumno podr identificar las
secciones del Visual Prolog y usarlas en ejercicios
un sistema desarrollado con Inteligencia
Artificial.
Ing. Sal Prez Vega
C
o
n
t
e
n
i
d
o
1. Fundamentos de la Programacin Lgica
2. Clausulas de Horn
3. Introduccin al Visual Prolog
1. Secciones en Prolog:
1. DOMAINS
2. PREDICATES
3. CLAUSES
4. GOAL
Programacin Lgica
La lgica de predicados (L.P.) sirve para representar conocimiento.
La L.P. sirve para establecer problemas y representar la informacin
necesaria para resolverlos de manera efectiva.
La forma causal de la L.P. Admite un sistema de inferencia consistente
y completo con una sola regla: el principio de resolucin, fcilmente
automatizable.
Todas estas ideas se materializan en el lenguaje de programacin
Prolog (Programacin en lgica) diseado por A. Colmerauer como un
demostrador automtico de teoremas para clusulas de Horn.
Ing. Sal Prez Vega
Programacin Lgica
Lgica y Predicados
Una proposicin se forma de acuerdo a las siguientes reglas:
Las constantes TRUE y FALSE son proposiciones
Las variables p, q, r, .. Que tienen n valor de True o False son
proposiciones.
Las operaciones: conjuncin , disyuncin , implicacin ,
equivalencia , negacin , respectivamente.
Por convencin la negacin tiene el orden de precedencia mas alto
seguido por , , y la .
Ing. Sal Prez Vega
Programacin Lgica
Lgica y Predicados
p = <Maria habla hngaro>
q = <Pedro habla hngaro>
r = <Maria y Pedro se pueden comunicar>
p q = <Maria y Pedro hablan hngaro>
p q = <o Maria o Pedro hablan hngaro>
p q r = <Si Maria y Pedro hablan hngaro entonces pueden
comunicarse>
Ing. Sal Prez Vega
Programacin Lgica
CLAUSULAS DE HORN
Cabecera: h
Cuerpo : p
1
, p
2
, p
3
, p
k
(Lista de Predicados)
h p
1
, p
2
, p
3
, p
k
Ejemplo: como saber si la ciudad C esta nevando
Ciudad(C)
nevando(C) precipitacin(C) , temperatura_baja(C)
Ing. Sal Prez Vega
Programacin Lgica
Ejemplos de Clausula de Horn a desarrollar:
1. Como saber si un a persona es mayor de edad.
Persona(X,E)
Ing. Sal Prez Vega
Cabecera Cuerpo
Introduccin al Visual Prolog
Prolog es un lenguaje de programacin que se utiliza para
resolver problemas que existen entre objetos y relaciones.
La programacin en Prolog consiste simplemente en:
declarar hechos sobre los objetos y sus relaciones,
definir reglas sobre dichos objetos y relaciones, y
hacer preguntas.
Ing. Sal Prez Vega
Introduccin al Visual Prolog
Objetos y relaciones
Llama, alpaca, huanaco: objetos
Animales: relaciones
animal(llama)
animal(alpaca)
animal(huanaco)
Ing. Sal Prez Vega
Secciones del Prolog
1. Domains
2. Predicates
3. Clauses
4. Goal
Seccin Goal
Permite listar los objetivos deseados.
Ejemplo clsico en todos los lenguajes de programacin
Goal
write(Hola Mundo!!!).
Ing. Sal Prez Vega
Comentarios en Prolog
1. % Comentarios en lnea
goal % es una palabra reservada
2. /* comentarios en bloque */
/* Universidad Tecnolgica del Per
Facultad de Ingeniera de Sistemas y Electrnica
*/
Ing. Sal Prez Vega
DOMAINS
Se definen los tipos de datos para los objetos.
Dominios Estndar
Ing. Sal Prez Vega
TIPO DESCRIPCION
Char
Carcter encerrado entre comillas simples, ejemplo a, b, c.
Integer
Enteros desde -2147483648 hasta 2147483647
Real
Nmero con punto flotante equivalente al double. El rango permitido
es 1*10^-307 hasta 1*10^+308
Symbol
Jose_salazar, Av. Prceres de la Independencia
String
Igual a symbol
Primer Programa en Visual Prolog
Domains
definir los tipos de datos de los objetos
Predicates
define la estructura donde van los objetos
Clauses
Se definen los hechos y reglas
Goal
Se definen los objetivos a evaluar.
Ing. Sal Prez Vega
Goal Goal
Programa en Visual Prolog
Domains
nombre = symbol
Predicates
alumno(nombre)
Clauses
alumno(antonio).
Goal
alumno(antonio).
Ing. Sal Prez Vega
Aridad de un Predicado
curso(inteligencia_artificial)
alumno(carmen,20)
empleado(E001,juan,salas)
Ing. Sal Prez Vega
Operadores Lgicos
AND ,
OR ;
Ing. Sal Prez Vega
Ing.SalPrezVega
C08009@grupoutp.edu.pe
La verdadera educacin consiste en obtener lo
mejor de uno mismo. Qu otro libro se puede
estudiar mejor que el de la Humanidad?.