3.4. Logica de predicados

17
Unidad III INTELIGENCIA ARTIFICIAL” CARRERA: Ingeniería en Sistemas Computacionales FECHA DE ENTREGA lunes, 25 de mayo de 2015 PRESENTA: Chalate Jorge Humberto Gaspar Rufino M. del Rosario Hernández García Nidia M. Juárez Martínez Esmeralda Ortiz Andrés Erika 8° Semestre Grupo “A” S.E.P . D.G.E.S.T. S.N.E.S.T. INSTITUTO TECNOLÓGICO de Tuxtepec M.S.C. TOMÁS TORRES RAMÍREZ

Transcript of 3.4. Logica de predicados

Unidad III

“INTELIGENCIA ARTIFICIAL”

CARRERA:Ingeniería en Sistemas Computacionales

FECHA DE ENTREGA

lunes, 25 de mayo de 2015

PRESENTA:

Chalate Jorge Humberto

Gaspar Rufino M. del Rosario

Hernández García Nidia M.

Juárez Martínez Esmeralda

Ortiz Andrés Erika

8° Semestre Grupo “A”

S.E.P. D.G.E.S.T. S.N.E.S.T.

INSTITUTO TECNOLÓGICO de Tuxtepec

M.S.C. TOMÁS TORRES RAMÍREZ

3.4. Lógica de predicados.

3.4. Lógica de predicados.

Es una herramienta para estudiar elcomportamiento de un sistema lógico.Además proporciona un criterio paradeterminar si un sistema lógico es absurdo oinconsistente.Sistema simbólico: Lenguaje y fórmulaslógicas

3.4. Lógica de predicados.

Proposiciones.Representación en lenguaje cotidianoque debe estar libre de vaguedades.

3.4. Lógica de predicados.

Conexiones lógicas y Términos de enlace.Palabras de enlace que unen proposicionesatómicas para formar proposicionesmoleculares.

3.4. Lógica de predicados.Simbolización de proposiciones.

Uso de variables para representar proposiciones.P = "Se cerró el circuito" Q = "Operó la marcha"P & Q = "Se cerró el circuito y operó la marcha" ¬Q = "No operó la marcha“

3.4.1. Sintaxis.Elementos.• Términos: Representan objetos del

dominio.• Constantes: Representan un objeto

individual en concreto notación: cadenasde caracteres, comienzan en mayúsculas

notación: cadenas de caracteres, comienzanen mayúsculasEjemplos: Juan; Mi coche;…

3.4.1. Sintaxis.• Funciones: Representan (implícitamente) un

objeto individual que está relacionado con los nobjetos que participan en la función

notación: símbolo de función (cadena, comienzacon Mays.) con aridad n + n argumentos (términos)entre paréntesis

Ejemplos: Padre de (Juan); Hijo de (Pedro; Ana);Coseno (45)…

3.4.1. Sintaxis.• Variables: Representan objetos sin indicar

cuales.• Predicados: Representan una propiedad de un

término (si aridad 1) o relaciones entre ktérminos (si aridad k > 1)

notación: cadenas de caracteres + k términos(variables, constantes, funciones) entre paréntesis.

3.4.1. Sintaxis.

• Átomos: formulas bien formadas (f. b. f.)compuestas por un único predicado

• Literales: Átomo o negación de un átomo.

Ejemplos: Asesina (Juan; x); Es_alto (Juan);Vive_con (Juan; Padre_de (Juan));…

3.4.2. Semántica.

Representamos un mundo donde hay:• Un n° infinito de objetos individuales

representados por símbolos de constantes yvariables.

Pueden ser entidades concretas (personas, cosas)o abstractas(números, eventos).

3.4.2. Semántica.• Un n° infinito de objetos de nidos en

función de otros objetos, representadospor símbolos de función.

Relaciones entre los objetos del dominio,representadas por símbolos de predicado.Si la aridad es 1, se habla de propiedades deobjetos.

3.4.2. Semántica.Interpretaciones.Una interpretación establece las relacionesanteriores entre los símbolos de la lógica y loselementos del mundo real• asocia a las constantes objetos del mundo• asocia a las funciones relaciones funcionales

entre objetos• asocia a los predicados relaciones entre objetos

Más compleja que en lógica de proposiciones.

3.4.2. Semántica.

Dominio de una interpretación: Conjunto de objetosdel mundo que se manejan en una interpretaciónFormalmente: Dada una conceptualización formadapor:

• U: universo de discurso (conj. deindividuos/objetos)

• R: conj. Finito de relaciones entre objetos de U• F: conj. Finito de funciones que asocian a 1

objetos de U con 1 o más objetos de U

3.4.3. Validez.

• Un predicado con variables libres no esverdadero ni falso, hasta que se asignen valorespara dichas variables.

• Algunos de ellos serán siempre verdaderosindependientemente de los valores que seescojan: estos son predicados válidos.

• Un predicado que es verdadero o falsodependiendo de los valores elegidos se dice quees satisfacible.

• Un predicado que es siempre falso se dice quees no satisfacible.

3.4.4. Inferencia.Reglas de inferencia:

3.4.4. Inferencia.