Lógica y Programación
|
|
- María Mercedes Macías Padilla
- hace 7 años
- Vistas:
Transcripción
1 Lógica y Programación Cláusulas y formas clausales Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
2 Cláusulas y formas clausales Cláusulas Una cláusula es un conjunto de literales Una cláusula se interpreta como la disyunción de todos sus literales {p, q, r, s} p q r s {p, q, r} p q r Formas clausales Una forma clausal es un conjunto de cláusulas Una forma clausal se interpreta como la conjunción de todas sus cláusulas Ejemplo: {{p, q}, {r, s}} (p q) (r s)
3 Transformación a cláusulas (I) Cláusula de una disyunción extendida F: {F }, si F es un literal; clausula(f) = clausula(f 1 ) clausula(f 2 ), si F = (F 1 F 2 ) clausula(p) = {p} clausula( p) = { p} clausula((( p) r) (( p) q)) = {q,r, p}
4 Transformación a cláusulas Cláusulas de una fórmula F en forma normal conjuntiva: clausulasfnc(f) = clausulasfnc(f 1 ) clausulasfnc(f 2 ), si F = (F 1 F 2 ); {clausula(f)}, en caso contrario clausulasfnc(p (( q) r)) = {{p}, { q,r}} clausulasfnc((( p) q) (( p) ( r))) = {{ p,q}, { p, r}}
5 Transformación a cláusulas Forma clausal de una fórmula F: clausulas(f) = clausulasfnc(fnc(f)) clausulas(p (q r)) = {{p}, { q,r}} clausulas( (p (q r))) = {{ p,q}, { p, r}}
6 Transformación a cláusulas Cláusulas de un conjunto de fórmulas S: clausulas(s) = {clausulas(f) : F S} clausulas({p q,q r}) = {{ p,q}, { q,r}} clausulas({p q,q p}) = {{ p,q}, { q,p}}
7 Símbolos de una fórmula Recordemos: Símbolos proposicionales de una fórmula: sp(p) = {p} sp( F) = sp(f) sp(f G) = sp(f) sp(g) sp(f G) = sp(f) sp(g) sp(f G) = sp(f) sp(g) sp(f G) = sp(f) sp(g) En particular: { Símbolo proposicional de un literal: p si L = p spl(l) = p si L = p
8 Símbolos proposicionales de cláusulas Símbolos proposicionales de una cláusula: Definición: sp(c) = {spl(l) : L C} Ejemplo: sp({p, q, p}) = {p, q} Símbolos proposicionales de una forma clausal: Definición: sp(s) = {sp(c) : C S} Ejemplo sp({{p, q}, { q, r}}) = {p, q, r}
9 Interpretaciones Interpretaciones de una cláusula: interpretaciones(c) = {I : I sp(c)} interpretaciones({p, q, p}) = {{p, q}, {p}, {q}, {}} interpretaciones({}) = {{}} Interpretaciones de un conjunto de cláusulas: interpretaciones(s) = {I : I sp(s)} interpretaciones({{p, q}, { p, q}} = {{p, q}, {p}, {q}, {}} interpretaciones({}) = {{}}
10 Modelos de cláusulas Modelo de un literal: I = p p I I = p p I Ejemplos {p,r} = p {p,r} = q {p,r} = ( p) {p,r} = ( q)
11 Modelos de cláusulas Modelo de una cláusula: I = C L C,I = L {p,r} = {p,q} {q,r} = {p, q} {q,r} = {} Sea F una disyunción extendida, entonces I = F I = clausula(f)
12 Modelos de cláusulas Modelos de una cláusula: modelos(c) = {I interpretaciones(c) : I = C} modelos({ p,q}) = {{p,q}, {q}, {}} modelos({ p,p}) = {{p}, {}} modelos({}) = {} Sea F una disyunción extendida, entonces modelos(f) = modelos(clausula(f))
13 Modelos de cláusulas Modelo de un conjunto de cláusulas: I = S C S,I = C {p,r} = {{p, q}, {r}} {p} = {{p, q}, {r}} {p} = {} I = S I = clausulas(s)
14 Modelos de cláusulas Modelos de un conjunto de cláusulas: modelos(s) = {I interpretaciones(s) : I = S} modelos({{ p,q}, { q,p}}) = {{p,q}, {}} modelos({{ p,q}, {p}, { q}}) = {} modelos({{p, p,q}}) = {{p,q}, {p}, {q}, {}} modelos(s) = modelos(clausulas(s))
15 Cláusulas válidas y satisfacibles Cláusulas válidas: Dos definiciones equivalentes = C I interpretaciones(c),i = C = C si y sólo si L,L C = {p,q, p} = {p,q, r} = {} La cláusula vacía no es válida = F = clausulas(f)
16 Cláusulas válidas y satisfacibles Cláusulas satisfacibles: C es satisfacible I interpretaciones(c),i = C C es satisfacible si y sólo si C {p, q, p} es satisfacible. {p, q, r} es satisfacible. {} no es satisfacible.
17 Cláusulas válidas y satisfacibles Cláusulas insatisfacibles: Dos definiciones equivalentes C es insatisfacible I interpretaciones(c), I = C C es insatisfacible si y sólo si C = {p, q, p} no es insatisfacible. {p, q, r} no es insatisfacible. {} es insatisfacible.
18 Formas clausales válidas y consistentes Forma clausal válida: = S I interpretaciones(s),i = S = S C S, = C = {{ p,q}, { q,p}} = {{ p,p}, { q,q}} = {}
19 Conjuntos de cláusulas válidos y consistentes Conjunto consistente de cláusulas: S es consistente I interpretaciones(s), I = S {{ p, q}, { q, p}} es consistente. {{ p,q}, {p}, { q}} no es consistente. Sea S un conjunto de fórmulas, entonces S es consistente si y sólo si clausulas(s) es consistente.
20 Conjuntos de cláusulas válidos y consistentes Conjunto inconsistente de cláusulas: S es inconsistente I interpretaciones(s), I = S {{ p, q}, { q, p}} no es inconsistente. {{ p,q}, {p}, { q}} es inconsistente. Sea S un conjunto de fórmulas, entonces S es inconsistente si y sólo si clausulas(s) es inconsistente
21 Validez de fórmulas mediante cláusulas = F = clausulas(f) = p p = p q = (p q) (q p)
22 Consecuencia lógica mediante cláusulas Sean S 1 y S 2 dos conjuntos de cláusulas, entonces S 1 = S 2 los modelos de S 1 son modelos de S 2 {{ p,q}, { q,r}} = {{ p,r}} {{p}} = {{p}, { q}}
23 Consecuencia lógica mediante cláusulas Sea S un conjunto de fórmulas, entonces: S = F clausulas(s) = clausulas(f) clausulas(s { F }) es inconsistente {(p q),(q r)} = p r {p} = p q
24 Ejercicios Sea F = (p q) {(q r) ( p s)}. Se pide determinar un conjunto de cláusulas equivalente a F. Sol.: {{p,q,r, s}} Sea F = (p q) {(q r) ( p s)}. Se pide determinar un conjunto de cláusulas equivalente a F. Sol.: {{p,q,r}, {p,q, s}, {p,q, p}, {p,q,r, p}, { p, q}, { p, q, s}} Sea F = {(p r) (q r)} ( p q). Se pide determinar un conjunto de cláusulas equivalente a F. Sol.: {{q, p}, {q, p, r}, {p,r}, {r, q}, {p, q,r}}
25 Ejercicios Sea F = (p q) {(q r) ( p s)}. Se pide determinar un conjunto de cláusulas equivalente a F. Sol.: {{p,q,r, s}} Conjunto de cláusulas obtenido: {{p, q, r, s}}
26 Bibliografía Alonso Jiménez, J.A. Lógica computacional (Univ. de Sevilla, 1997) Cap. 6: Cláusulas proposicionales Chang, C.L. y Lee, R.C.T. Symbolic Logic and Mechanical Theorem Proving. (Academic Press, 1973) Cap. 2: The propositional logic Fitting, M. First Order Logic and Automated Theorem Proving (2nd, ed.) (Springer, 1996) Cap. 2: Propositional Logic Genesereth, M.R. y Nilsson, N.J. Logical Foundations of Artificial Intelligence. (Morgan Kaufmann, 1987) Cap. 2: Propositional Logic Paulson, L. Logic and Proof (University of Cambridge, 2003) Cap. 2: Propositional logic
Lógica y Programación
Lógica y Programación Formas Normales Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla Introducción Simplificar las fórmulas
Más detallesLógica y Programación
Lógica y Programación Formas Normales J.-A. Alonso, F.-J. Martín-Mateos, J.-L. Ruiz-Reina Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Programación - Tema
Más detallesLógica y Programación
Lógica y Programación Sintaxis y semántica de la lógica proposicional Antonia M. Chávez, Carmen Graciani, Agustín Riscos Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla
Más detallesLógica y Programación
Lógica y Programación Resolución proposicional Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla Introducción Idea básica
Más detallesTema 4: Resolución proposicional
Razonamiento Automático Curso 2000 200 Tema 4: Resolución proposicional José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesTema 2: Lógica proposicional: Sintaxis y semántica
Razonamiento Automático Curso 200 2002 Tema 2: Lógica proposicional: Sintaxis y semántica José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesTema DA 3: Lógica proposicional:
Razonamiento Automático Curso 200 2002 Tema DA 3: Lógica proposicional: Cálculos lógicos José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesTema 2: Deducción natural proposicional
Lógica informática Curso 2004 05 Tema 2 Deducción natural proposicional José A. Alonso Jiménez Andrés Cordón Franco Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesLógica informática ( )
Lógica informática (2008 09) Tema 8: de Skolem y cláusulas José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de
Más detallesLógica y Programación
Lógica y Programación Cálculo de Secuentes Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Definiciones Objetivo: Resolver
Más detallesLógica informática ( )
1 / 23 Lógica informática (2011 12) Tema 9: de Skolem y cláusulas José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesTema 8: Formas normales.
Lógica informática Curso 2003 04 Tema 8: Formas normales. Cláusulas José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LI 2003
Más detallesTema 2: Equivalencias y formas normales
Lógica informática Curso 2003 04 Tema 2: Equivalencias y formas normales José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesLógica informática ( )
Lógica informática (2007 08) Tema 6: Formas normales José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
Más detallesRazonamiento automático
Razonamiento automático (2004 05): Tema 4 p. 1/3 Razonamiento automático Tema 4: Resolución de primer orden J.A. Alonso, J. Borrego, A. Chávez y F.J. Martín Dpto. Ciencias de la Computación e Inteligencia
Más detallesLógica informática ( )
1 / 20 Lógica informática (2013 14) Tema 4: Formas normales José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesPROYECTO DOCENTE ASIGNATURA: "Lógica y Programación"
PROYECTO DOCENTE ASIGNATURA: "Lógica y Programación" Grupo: Grupo de CLASES TEORICAS de LOGICA Y PROGRAMACION(878667) Titulacion: INGENIERO EN INFORMÁTICA ( Plan 97 ) Curso: 2009-2010 DATOS BÁSICOS DE
Más detallesLógica informática ( )
1 / 37 Lógica informática (2012 13) Tema 5: Resolución proposicional José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesLógica informática ( )
1 / 25 Lógica informática (2007 08) Tema 9: José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla 2 / 25
Más detallesTema 9: Modelos de Herbrand
Lógica informática Curso 2003 04 Tema 9: Modelos de Herbrand José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LI 2003 04
Más detallesLógica informática-docencia en Inglés
1 / 17 Lógica informática-docencia en Inglés Unit 10: Resolution for First Order Logic Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla 2 / 17 Unit
Más detallesTema 4: Tableros semánticos
Lógica informática Curso 2004 05 Tema 4: Tableros semánticos José A. Alonso Jiménez Andrés Cordón Franco Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica informática ( )
Lógica informática (2008 09) Tema 5: Tableros semánticos José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
Más detallesTema 4: Resolución de primer orden
Demostración automática de teoremas Curso 2002 03 Tema 4: Resolución de primer orden José A. Alonso Jiménez Joaquín Borrego Díaz Antonia Chávez González Dpto. de Ciencias de la Computación e Inteligencia
Más detallesLógica informática ( )
Lógica informática (2005 06) Tema 1: Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 1: Sintaxis y semántica de la lógica proposicional
Lógica informática Curso 2003 04 Tema : Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 3: Demostraciones proposicionales
Razonamiento Automático Curso 2000 200 Tema 3: Demostraciones proposicionales José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica matemática y fundamentos ( )
1 / 28 Lógica matemática y fundamentos (2016 17) Tema 2: Deducción natural proposicional José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesTema 9: Formalización en Prolog de la lógica proposicional
Programación lógica Curso 2004 05 Tema 9: Formalización en Prolog de la lógica proposicional José A. Alonso Jiménez Jose-Antonio.Alonso@cs.us.es http://www.cs.us.es/ jalonso Dpto. de Ciencias de la Computación
Más detallesPROGRAMACIÓN LÓGICA LÓGICA PROPOSICIONAL. Juan Juárez Fuentes
PROGRAMACIÓN LÓGICA LÓGICA PROPOSICIONAL Juan Juárez Fuentes Sintaxis Sentencias proposicionales Sentencias simples Las sentencias simples expresan hechos simples del mundo. Sentencias compuestas Las sentencias
Más detallesLógica informática ( )
1 / 34 Lógica informática (2013 14) Tema 1: Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento
Más detallesLógica y Programación
Lógica y Programación Diagramas de Decisión Binarios J.-A. Alonso, F.-J. Martín-Mateos, J.-L. Ruiz-Reina Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Programación
Más detallesLógica informática ( )
1 / 37 Lógica informática (2011 12) Tema 14: Aplicaciones de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias
Más detallesTema 2: (Tecnologías Informáticas) Curso Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla
y Tema 2: y Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2017 18 Contenido y En este tema presentaremos mecanismos
Más detalles1. Formas normales en lógica de proposiciones FORMAS NORMALES. Índice. César Ignacio García Osorio Definiciones. Lógica
Lógica Índice FORMAS NORMALES César Ignacio García Osorio 1. Formas normales en lógica de proposiciones Gracias a las leyes asociativas los paréntesis en (F (G H)) oen((f G) H) pueden eliminarse, es decir,
Más detallesProposicionales. Curso Mari Carmen Suárez de Figueroa Baonza
Estandarización de Fórmulas Proposicionales Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción a la demostración automática Estandarización de fórmulas Formas
Más detallesPALABRA CLAVE Interpretación lógica
Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos
Más detallesTema 7: Formas normales: Formas prenex y de Skolem
Tema 7: Formas normales: Formas prenex y de Skolem Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Ingeniería del Software) Curso 2013 14 LI(IS), 2013
Más detallesTema de la clase: Lógica Matemática. Introducción
Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas
Más detallesTema 5: Conceptualización relacional
Razonamiento Automático Curso 2000 200 Tema 5: Conceptualización relacional José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 3: Sistema inicial de representación y razonamiento
Razonamiento Automático Curso 999 2000 Tema 3: Sistema inicial de representación y razonamiento José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesLógica de proposiciones
1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura
Más detallesLógica informática ( )
1 / 47 Lógica informática (2011 12) Tema 5b: Aplicaciones de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias
Más detallesTema 2: Métodos de Deducción para la Lógica Proposicional
Tema 2: Métodos de Deducción para la Lógica Proposicional Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2006 07 LC, 2006 07 Métodos de Deducción
Más detallesGUÍA DOCENTE DE LA ASIGNATURA
GUÍA DOCENTE DE LA ASIGNATURA G646 - Lógica Grado en Ingeniería Informática Básica. Curso 2 Curso Académico 2017-2018 1 1. DATOS IDENTIFICATIVOS Título/s Grado en Ingeniería Informática Tipología Básica.
Más detallesAplicaciones de RA con OTTER
Lógica y programación Curso 1999 2000 Aplicaciones de RA con OTTER José A. Alonso Jiménez José L. Ruiz Reina Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LP 99 00
Más detallesLógica informática ( )
1 / 49 Lógica informática (2012 13) Tema 6: Algoritmos para SAT. José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesÍndice. Semántica. Sintaxis ASP. Introducción a Answer Set Programming (I) 2.- Programas Lógicos con Negación. 1.- Programas lógicos sin negación
Índice Introducción a Answer Set Programming (I) Rafael Caballero Roldán Máster: Extensiones de Programación Lógica Objetivos Programas estratificados Semántica de punto fijo de los programas Datalog Sintaxis
Más detallesTema 2: Métodos de Deducción para la Lógica Proposicional
Tema 2: Métodos de Deducción para la Lógica Proposicional Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Métodos de Deducción
Más detallesLógica y Métodos Discretos Curso
GUIA DOCENTE DE LA ASIGNATURA Lógica y Métodos Discretos Curso 2016-2017 (Fecha de aprobación en el consejo de departamento: 15/07/16) MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO FORMACIÓN BÁSICA Matemáticas
Más detallesTema 3: Introducción a Prolog
Introducción a la Inteligencia Artificial Curso 2010 2011 Tema 3: Introducción a Prolog Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detalles2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es
Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.
Más detallesTema 2: Lógica Computacional para la IA: Lógica Proposicional
Tema 2: Lógica Computacional para la IA: Lógica Proposicional Félix Lara Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Seminario de Inteligencia Artificial, Curso 2005
Más detallesTema 13: Introducción a la Programación Lógica Inductiva
Razonamiento Automático Curso 2000 2001 Tema 13: Introducción a la Programación Lógica Inductiva José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesPROGRAMA ANALÍTICO DE ASIGNATURA
UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO COORDINACIÓN DE DOCENCIA DIRECCIÓN DE PLANEACIÓN Y DESARROLLO EDUCATIVO _ 1.- DATOS GENERALES 1.1 INSTITUTO: CIENCIAS BÁSICAS E INGENIERÍA PROGRAMA ANALÍTICO
Más detallesTemas de Lógica informática ( ) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado
Temas de Lógica informática (2009 10) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica informática ( )
Lógica informática (2008 09) Tema 3: Sintaxis y semántica de la lógica de primer orden José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesLógica informática ( )
1 / 45 Lógica informática (2012 13) Tema 7: Sintaxis y semántica de la lógica de primer orden José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento
Más detallesTema 1: El sistema deductivo de Prolog
Programación lógica Curso 2004 05 Tema : El sistema deductivo de Prolog José A. Alonso Jiménez Jose-Antonio.Alonso@cs.us.es http://www.cs.us.es/ jalonso Dpto. de Ciencias de la Computación e Inteligencia
Más detallesEJERCICIOS RESUELTOS 6
LÓGICA I EJERCICIOS RESUELTOS 6 TEMA 6 SEMÁNTICA: TABLAS DE ERDAD Y RESOLUCIÓN ERITATIO-UNCIONAL EJERCICIO 6.01 Comprobar por tablas de verdad si la siguiente fbf es o no satisfacible: ( p q) p q ( p q)
Más detallesForma Clausular. Forma Clausular
Forma Clausular Formas Normales: Literal: fórmula atómica o negación de fórmula atómica Un literal se denota con l y su complementario con l C L = P binario, Q unario, f unaria l 1 =
Más detallesTema 9: Resolución en lógica de primer orden
Lógica informática Curso 2004 05 Tema 9: Resolución en lógica de primer orden José A. Alonso Jiménez Andrés Cordón Franco Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia
Más detallesParadigmas de Lenguajes de Programación
Paradigmas de Lenguajes de Programación Clase Práctica Resolución I Primer cuatrimestre de 2008 Resolución en proposicional Dadas unas premisas P 1 P n y una conclusión C 1) Calculamos la Forma Normal
Más detallesTema 4: Redes semánticas y marcos
Inteligencia Artificial 2 Curso 2002 2003 Tema 4: Redes semánticas y marcos José A. Alonso Jiménez Francisco J. Martín Mateos José L. Ruiz Reina Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesTemas de Lógica matemática y fundamentos ( ) José A. Alonso Jiménez María J. Hidalgo Doblado
Temas de Lógica matemática y fundamentos (2011 12) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica Clásica Proposicional
Lógica Clásica Proposicional Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga 10 de enero de 2008 Contenido 1 Sintaxis Alfabeto Fórmulas bien formadas Funciones recursivas
Más detallesSAT. Una herramienta didáctica para el problema de la satisfacibilidad
SAT. Una herramienta didáctica para el problema de la satisfacibilidad Tomás Covelli, Enzo Nicolás Horquín, Martín Santillán Cooper Resumen. La herramienta SAT fue creada como trabajo final de dos materias
Más detallesBENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN
BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA MATERIA CORRESPONDIENTE A LA INGENIERÍA EN CIENCIAS DE LA COMPUTACIÓN. Coordinación: NOMBRE DE LA MATERIA: Clave:
Más detallesTemas de Lógica matemática y fundamentos ( )
1 Temas de Lógica matemática y fundamentos (2017 18) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTemas de Lógica matemática y fundamentos ( )
1 Temas de Lógica matemática y fundamentos (2015 16) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesMÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO. Formación básica Matemáticas 1º 2º 6 Básica
GUIA DOCENTE DE LA ASIGNATURA LÓGICA Y MÉTODOS DISCRETOS Curso 2015-2016 (Fecha última actualización: 13/07/15) MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Formación básica Matemáticas 1º 2º 6 Básica PROFESORES*
Más detallesCurso LÓGICA Examen de recuperación de lógica proposicional
Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie
Más detallesTemas de Lógica informática ( ) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado
Temas de Lógica informática (2011 12) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesGUÍA DOCENTE DE LA ASIGNATURA
GUÍA DOCENTE DE LA ASIGNATURA G655 - Introducción a los Sistemas Inteligentes Grado en Ingeniería Informática Obligatoria. Curso Grado en Matemáticas Optativa. Curso 4 Curso Académico 017-018 1 1. DATOS
Más detallesSistemas Deductivos. Sistemas Deductivos
Sistemas Deductivos Naturaleza sintáctica, combinatoria En general axiomas + reglas de inferencia teorema Demostración o prueba: secuencia finita de pasos, de aplicaciones de reglas de inferencia. Conexión
Más detallesTemas de Lógica informática ( ) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado
Temas de Lógica informática (2013 14) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTemas de Lógica informática ( )
1 Temas de Lógica informática (2017 18) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesTema 4: Resolución de problemas de espacios de estados
Programación lógica Curso 2004 05 Tema 4: Resolución de problemas de espacios de estados José A. Alonso Jiménez Jose-Antonio.Alonso@cs.us.es http://www.cs.us.es/ jalonso Dpto. de Ciencias de la Computación
Más detallesProgramación declarativa ( )
1 / 24 Programación declarativa (2007 08) Tema 9: Retroceso, corte y negación José A. Alonso Jiménez Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
Más detallesMetodología de Programación I Lógica de Primer Orden
Metodología de Programación I Lógica de Primer Orden Dr. Alejandro Guerra-Hernández Departamento de Inteligencia Artificial Facultad de Física e Inteligencia Artificial aguerra@uv.mx http://www.uv.mx/aguerra
Más detallesPROGRAMA ANALÍTICO DE ASIGNATURA
UNIVERSIDAD AUTÓNOMA DEL ESTADO DE HIDALGO COORDINACIÓN DE DOCENCIA DIRECCIÓN DE PLANEACIÓN Y DESARROLLO EDUCATIVO 1.- DATOS GENERALES PROGRAMA ANALÍTICO DE ASIGNATURA 1.1 INSTITUTO: INSTITUTO DE CIENCIAS
Más detallesInteligencia Artificial II: Conocimiento, Razonamiento y Planeación. Presentación del Curso.
Inteligencia Artificial II: Conocimiento, Razonamiento y Planeación. Presentación del Curso. Dr. Alejandro Guerra-Hernández Departamento de Inteligencia Artificial Universidad Veracruzana Facultad de Física
Más detallesTema 1: Sintaxis y Semántica de la Lógica Proposicional
Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional
Más detallesTema 3 Equivalencia. Formas normales.
Tema 3 Equivalencia. Formas normales. Lógica Proposicional Antonio de J. Pérez Jiménez Departamento Ccia. Lógica Informática Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 3 Equivalencia. Formas
Más detallesINSTITUTO POLITECNICO NACIONAL
INSTITUTO POLITECNICO NACIONAL COORDINACION GENERAL DE POSGRADO E INVESTIGACION DIVISION DE ESTUDIOS DE POSGRADO FORMATO GUIA PARA REGISTRO DE ASIGNATURAS CGPI-30 Hoja 1 de 5 I. DATOS DEL PROGRAMA Y LA
Más detalles