25140839
Beschreibung
Mindmap von Daniel Grajales Martínez, aktualisiert more than 1 year ago
|
Erstellt von Daniel Grajales Martínez
vor mehr als 4 Jahre
|
|
Programación Lógica.
- El entorno a usar es
SWI - Prolog.
- Elementos de
Prolog:
- 1. Objetos: Datos
que intervienen en
un problema.
- Representar los objetos
mediante términos.
- Término:
- Constante:
- Átomos: Representan objetos concretos
determinados, mediante un nombre textual.
(Debe comenzar en minúscula, a menos que
esté entre comillas ya sean simples o dobles).
- alberto, x, casa102,
"Esteban Jimenez",
'1234567'.
- alberto, x, casa102,
"Esteban Jimenez",
'1234567'.
- Números: Representan objetos
que son números y con los que
se pueden hacer cálculos.
- Enteros: 10, -475.
- Reales: 9.5, -5.3.
- Enteros: 10, -475.
- Átomos: Representan objetos concretos
determinados, mediante un nombre textual.
(Debe comenzar en minúscula, a menos que
esté entre comillas ya sean simples o dobles).
- Variable: Representan objetos por determinar;
se asemejan al concepto de incógnita. Se
pueden usar tanto en Hechos como en Reglas.
(Debe comenzar en mayúscula o con guión bajo).
- Jefe, X, _cedula, PRECIO, _y3.
- REGLA: acepta_salir(maria, Alguien):- regala(Alguien,flores,maria), tiene(Alguien, moto).
- HECHO: suma (X, 0, X).
- Jefe, X, _cedula, PRECIO, _y3.
- Estructura
- Constante:
- Término:
- Representar los objetos
mediante términos.
- 2. Relaciones: Como se
relacionan los objetos
entre sí.
- Relaciones: Describen los vínculos
que tienen unos objetos con otros
en un problema determinado. Se
describen con hechos o reglas.
- Un Hecho es una afirmación simple;
un enunciado que siempre es verdad.
- Los Hechos son de la forma:
p (t1, t2, t3, ... , tn).
- Existen dos tipos de Hechos:
- Monádicos: que tienen un sólo
término. Describir un objeto
con hechos monádicos.
- Ejemplo: alto(juan).
impar(9).
- Ejemplo: alto(juan).
impar(9).
- Poliádicos: que tienen varios
términos. Describir relaciones del
problema con hechos poliádicos.
- trabaja(jake, doctor, rosales).
regala(freddie, chocolates, anna).
le_gusta(stacy, gatos).
- trabaja(jake, doctor, rosales).
regala(freddie, chocolates, anna).
le_gusta(stacy, gatos).
- Monádicos: que tienen un sólo
término. Describir un objeto
con hechos monádicos.
- Existen dos tipos de Hechos:
- Los Hechos son de la forma:
p (t1, t2, t3, ... , tn).
- Regla: Declaraciones que son
verdaderas sólo cuando se
cumplen unas condiciones.
- "el niño es feliz si le dejan jugar
videojuegos y le llevan comida".
- Las reglas sirven para crear
nuevos hechos a partir de
otros ya existentes
- aprueba (roberto, programacion):- entiende (roberto, conceptos), realiza (roberto, ejercicios).
- aprueba (roberto, programacion):- entiende (roberto, conceptos), realiza (roberto, ejercicios).
- "el niño es feliz si le dejan jugar
videojuegos y le llevan comida".
- Un Hecho es una afirmación simple;
un enunciado que siempre es verdad.
- Relaciones: Describen los vínculos
que tienen unos objetos con otros
en un problema determinado. Se
describen con hechos o reglas.
- 3. Objetivos: ¿Qué es
lo que se quiere
consultar?
- Definimos los objetivos
mediante consultas.
- Objetivos: Son las consultas que definen
la funcionalidad para un programa
determinado. Equivalen a la función
principal en un programa imperativo.
- Se describen
mediante reglas.
- aprueba_materia(Alguien):-aprueba(Alguien, parcial I), le_funciona(Alguien, proyecto I).
- aprueba_materia(Alguien):-aprueba(Alguien, parcial I), le_funciona(Alguien, proyecto I).
- Se describen
mediante reglas.
- Objetivos: Son las consultas que definen
la funcionalidad para un programa
determinado. Equivalen a la función
principal en un programa imperativo.
- Definimos los objetivos
mediante consultas.
- 1. Objetos: Datos
que intervienen en
un problema.
- ¿Qué no tiene
Prolog?
- Declaraciones de tipo,
Declaración de variables,
Declaración de Secciones
y Declaración de
Procedimientos.
- Declaraciones de tipo,
Declaración de variables,
Declaración de Secciones
y Declaración de
Procedimientos.
- Elementos de
Prolog:
- ¿Qué es la
programación
Lógica? Es una
forma de resolver
las cosas
(paradigma).
- Es un tipo de programación
declarativa, donde se indica lo
que se quiere, pero el pc lo
hace como puede.
- Se usa para la
inteligencia
artificial,
especialmente
en los sistemas
expertos.
- Se usa para la
inteligencia
artificial,
especialmente
en los sistemas
expertos.
- Es un tipo de programación
declarativa, donde se indica lo
que se quiere, pero el pc lo
hace como puede.
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.