Lógica matemática para Ingeniería de Sistemas y Computación

[pic 1]

[pic 2]

[pic 3]

[pic 4]

[pic 5]

[pic 6]

DESARROLLO

[pic 7]

1) De la siguiente línea de código:

a) Identifique las secciones.

b) Identifique los hechos.

c) Mencione las reglas y la unificación en el caso de que exista.

Predicados

Mondeterm Hermana (STRING, STRING)

Mondeterm Hermano (STRING, STRING)

                                                           Mondeterm Casado (STRING, STRING)

                                                           Mondeterm Cunado (STRING, STRING)

Cláusulas

Casado (“Tiberio”, “Carolina”) hecho 1

Casado (“Jaider”, “Adriana”) hecho 2

Hermano (“Jaider”, “Tiberio”) hecho 3

Hermana (“Adriana”, “Edna”) hecho 4

Hermana (“Adriana”, “Mónica”) hecho 5

Cunado (A, C), regla 1

Hermana (C, B), regla 1

Cunado (A, B), regla 1

Hermano (A, C), regla 1

Casado (C, B), regla 1

Goal

Cunado (“Jaider”, Z)

R: Este es un lenguaje Declarativo e Interpretado, aquí se representa conocimientos en dominio y relaciones, podemos deducir que las respuestas planteadas, es inferencia. El conocimiento es un conjunto de relaciones el cual describen las propiedades y las interacciones.

El dominio se constituye como un conjunto de los objetos.

En esta cuentan los:

Objetos, propiedades y relaciones.

Ventaja, que no se preocupa como resolver algo.

Regla, determinan las interacciones lógicas Q, R, S y T (P).

Desventaja, la resolución no es suficiente.

Un Prolog es un conjunto de cláusulas de Horn.

Predicados: Estos se utilizan para expresar las propiedades de los objetos. En Prolog se llaman hechos.

• Todos los objetos y relaciones comienzan con letra minúscula.
• Predicado: se escribe la relación o propiedad.
• Los objetos se separan con comas y encerrados en paréntesis.
• En el final de cada hecho lleva un punto.

Prologo utiliza una constante atómica e símbolos de predicado y argumentos:

Ejemplo:

/ * Predicados monódicos : Propiedades */

/ * mujer ( Per )  < - Per es una mujer  * /

mujer ( clara ).

mujer ( chelo ).

/ * hombre ( Per ) < - es un hombre */

hombre ( Jorge ).

hombre ( felix ).

hombre ( borja ).

/ * moreno ( Per ) < - Per tiene el pelo de color oscuro * /

moreno ( jorge ).

/ * Predicados poliádicos : RELACIONES * /

/ * tiene ( Per, Obj ) < - Per posee el objeto Obj * /

tiene( jorge, moto ).

/ * le_gusta_a ( X, Y ) < - a X le gusta Y * /

le_gusta_a ( clara, jorge ).

le_gusta_a ( jorge, clara ).

le_gusta_a ( jorge, informática ).

le_gusta_a ( clara, informática ).

/ * es_padre_de ( Padre, Hijo -a ) < - Padre es el padre de Hijo-a * /

es_padre_de(felix,borja).

es_padre_de(felix,clara).

/ * es_madre_de ( Madre, Hijo-a ) <- Madre es la madre de Hijo-a *  /

es_madre_de ( chelo, borja ).

es_madre_de ( chelo, clara ).

/ * regala ( Per1, Obj, Per2 ) < - Per1 regala Obj a Per2 * /

regala ( jorge, flores, clara ).

Cláusulas: Prolog está formado por secuencia de clausulas y deben ser representar el conocimiento para poder resolver los problemas.

Existen 3 tipos de cláusulas: consultas, hechos y reglas.

Términos: Son variables, se toma el universo de Herbrand como dominio. Constantes atómicas de Prolog  sirven para representar y relacionar los objetos:

Átomos, números, enteros y reales.

El Goals son objetivos y metas

 que comienzan con predicado y sigue con sus argumentos. Este es un objeto valido y aparece en un hecho o regla en el programa, el numero de argumentos deben ser el mismo que aparece en el programa y estos son constantes.

El hecho comienza con un predicado y termina con un tope completo. Este es seguido por argumentos entre paréntesis, argumentos son separados por comas.

...