Post on 21-Jul-2015
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.
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.