Tema 11: Inducción de Reglas p. 1/1

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Tema 11: Inducción de Reglas p. 1/1"

Transcripción

1 Tema 11: Inducción de Reglas Pedro Larrañaga, Iñaki Inza, Abdelmalik Moujahid Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País Vasco Tema 11: Inducción de Reglas p. 1/1

2 Introducción Inducción de reglas, paradigma: Transparente Fácilmente comprensible y aplicable Mas genérico que los árboles de clasificación Tema 11: Inducción de Reglas p. 2/1

3 IREP (Fürnkranz y Widner, 1994): Reglas en forma normal disyuntiva Una regla (rule) está constituida por una conjunción de literales R j `X 7 = x 1 7 & `X14 = x 2 14 & `X24 = x 1 24 R j constituida por la intersección de los 3 literales siguientes: `X7 = x 1 7, `X14 = x 2 14 y `X24 = x 1 24 Un conjunto de reglas (rule set) está formado por una disyunción de reglas R 1 or R 2 or... or R k Una regla parcial (partial rule), R par j de una determinada regla R j está constituida por la intersección de un subconjunto de los literales a partir de los cuales se forma R j R par j `X 7 = x 1 7 & `X14 = x 2 14 es una regla parcial de la regla R j definida anteriormente Tema 11: Inducción de Reglas p. 3/1

4 D conjunto de casos o patrones etiquetados se particiona en dos subconjuntos: D pos conjunto de patrones positivos; D neg conjunto de patrones negativos Cada uno de los subconjuntos anteriores se subdivide en otros dos subconjuntos: D grow pos y D prune pos subconjuntos relacionados respectivamente con la construcción y el podado de las reglas Análogamente D grow neg y D prune neg D = Dpos D neg = (D grow pos D prune pos ) (D grow neg D prune neg ) Dpos D neg = D grow pos D prune pos = D grow neg D prune neg = Tema 11: Inducción de Reglas p. 4/1

5 Partición del fichero de casos etiquetados de partida D Tema 11: Inducción de Reglas p. 5/1

6 IREP induce basándose en Dgrow pos y D grow neg el conjunto de reglas (rule set) de manera voraz, escogiéndose en cada paso añadir el mejor literal a la regla parcial partial rule en construcción GrowRule añade de forma repetida a la regla parcial (partial rule) R par el literal que da origen a la regla parcial R par con mayor valor del criterio: v `R par, R par, D grow pos, D grow neg «pos pos = cu» log «2 + log 2 pos + neg pos + neg cu porcentaje de ejemplos positivos en Dgrow pos que siento cubiertos por R par están también cubiertos por R par (regla parcial más específica que R par ) pos número de ejemplos positivos cubiertos por R par en D grow pos neg número de ejemplos negativos cubiertos por R par en D grow neg pos número de ejemplos positivos cubiertos por R par en D grow pos neg número de ejemplos negativos cubiertos por R par en D grow neg Tema 11: Inducción de Reglas p. 6/1

7 Supongamos que la regla parcial, R par, cubre 90 ejemplos de los cuales 70 son positivos y 20 negativos R m,par especialización mala de R par, con la cual se van a cubrir 50 ejemplos positivos y 20 ejemplos negativos R b,par especialización buena de R par, la cual cubre 70 ejemplos positivos y 10 ejemplos negativos v (R par, R m,par, D grow pos, D grow neg ) [ ( = ) ( 70 log )] log2 70 v ( ) R par, R b,par, D grow pos, D [ ( grow neg = ) ( 70 log )] log2 80 El valor del criterio para R b,par es superior al correspondiente al R m,par Tema 11: Inducción de Reglas p. 7/1

8 El proceso de crecimiento, GrowRule, finaliza cuando no se encuentra ningún literal cuya inclusión en la regla parcial permita que la regla especializada mejore el criterio v (R par, R par, D grow pos, D grow neg ) ) Entonces comienza con el proceso de podado, PruneRule, de dicha regla PruneRule plantea el borrado, de manera secuencial, y empezando por el último literal introducido a la regla en su fase de crecimiento Se van a ir borrando (podando) literales mientras se mejore el criterio v (Rule, D prune pos, D prune neg ), siendo Neg neg v (Rule, D prune pos, D prune neg ) = pos P os + neg con: pos número de ejemplos positivos en Dprune pos cubiertos por la regla Neg número de ejemplos en Dprune neg neg número de ejemplos negativos en Dprune neg cubiertos por la regla Pos número de ejemplos en Dprune pos Tema 11: Inducción de Reglas p. 8/1

9 Procedure IREP Begin Ruleset= whiled P os = D Grow P os D P rune P os do /* Construir y podar una nueva regla */ Dividir D en D Grow P os D Grow Neg D P rune P os D P rune Neg Rule:=GrowRule(D Grow P os D Grow Neg ) Rule:=PruneRule(Rule, D P rune P os, D P rune Neg ) if la tasa de error de Rule en D P rune P os D P rune Neg > 50 % then return RuleSet else Añadir Rule a RuleSet Borrar ejemplos abiertos por Rule de D endif end while return RuleSet End Tema 11: Inducción de Reglas p. 9/1

10 RIP P ER (Repeated Incremental Pruning Produce Error Reduction) RIP P ER (Cohen (1995)) mejora de IREP en tres aspectos: 1. Métrica alternativa para la fase de poda R1 cubre 2000 ejemplos positivos en D prune pos y 1000 ejemplos negativos en D prune neg. R 2 cubre 1000 ejemplos positivos en D prune pos y 1 ejemplo negativo en D prune neg IREP va a preferir R1 a R 2, ya que (Neg 1000) P os + Neg > (Neg 1) P os + Neg y sin embargo es intuitivo que la R 2 es preferible a R 1 RIP P ER basa su poda en el criterio siguiente: v (Rule, D prune pos, D prune neg ) = P os neg P os + neg < y R 2 se seleccionaría frente a R 1 Tema 11: Inducción de Reglas p. 10/1

11 RIP P ER (Repeated Incremental Pruning Produce Error Reduction) 2. Incorporación de un heurístico para determinar cuándo parar el proceso de añadir reglas 3. RIP P ER posteriormente a todo el proceso visto para IREP efectúa una búsqueda local para optimizar el conjunto de reglas (rule set) de dos maneras diferentes: Reemplazando una regla Ri que forma parte del rule set { R 1,..., R i 1, R i, R i+1,..., R k } por R i, siempre y cuando el rule set correpondiente tenga un menor error en la clasificación en D prune pos D prune neg Revisar una determinada regla Ri añadiendo literales para que así se consiga un menor error en D prune pos D prune neg Tema 11: Inducción de Reglas p. 11/1

Tema 9: Inducción de Reglas

Tema 9: Inducción de Reglas Tema 9: Inducción de Reglas p. 1/15 Tema 9: Inducción de Reglas Abdelmalik Moujahid, Iñaki Inza, Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País

Más detalles

Tema 9. Inducción de Reglas

Tema 9. Inducción de Reglas Tema 9. Inducción de Reglas Abdelmalik Moujahid, Iñaki Inza, Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País Vasco Euskal Herriko Unibertsitatea

Más detalles

Tema 8: Árboles de Clasificación

Tema 8: Árboles de Clasificación Tema 8: Árboles de Clasificación p. 1/11 Tema 8: Árboles de Clasificación Abdelmalik Moujahid, Iñaki Inza, Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad

Más detalles

D conjunto de N patrones etiquetados, cada uno de los cuales está caracterizado por n variables predictoras X 1,..., X n y la variable clase C.

D conjunto de N patrones etiquetados, cada uno de los cuales está caracterizado por n variables predictoras X 1,..., X n y la variable clase C. Tema 10. Árboles de Clasificación Pedro Larrañaga, Iñaki Inza, Abdelmalik Moujahid Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País Vasco Euskal Herriko Unibertsitatea

Más detalles

Inducción de Reglas Proposicionales

Inducción de Reglas Proposicionales Inducción de Reglas Proposicionales Reglas de clasificación Carlos J. Alonso González Departamento de Informática Universidad de Valladolid Contenido 1. Motivación 2. Reglas de Clasificación 1. Reglas

Más detalles

Tema 15: Combinación de clasificadores

Tema 15: Combinación de clasificadores Tema 15: Combinación de clasificadores p. 1/21 Tema 15: Combinación de clasificadores Abdelmalik Moujahid, Iñaki Inza, Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial

Más detalles

Tema 2: Algoritmos Genéticos

Tema 2: Algoritmos Genéticos Tema 2: Algoritmos Genéticos p. 1/3 Tema 2: Algoritmos Genéticos Abdelmalik Moujahid, Iñaki Inza y Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País

Más detalles

Tema 1. Heurísticos en Optimización Combinatorial

Tema 1. Heurísticos en Optimización Combinatorial Tema 1. Heurísticos en Optimización Combinatorial p. 1/2 Tema 1. Heurísticos en Optimización Combinatorial Abdelmalik Moujahid, Iñaki Inza y Pedro Larrañaga Departamento de Ciencias de la Computación e

Más detalles

Tema 12. Selección de Variables

Tema 12. Selección de Variables Tema 12. Selección de Variables Pedro Larrañaga, Iñaki Inza, Abdelmalik Moujahid Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País Vasco Euskal Herriko Unibertsitatea

Más detalles

CAPITULO 5. FASE DE VERIFICACION

CAPITULO 5. FASE DE VERIFICACION CAPITULO. FASE DE VERIFICACION. INTERSECCIÓN DE ESFERAS La fase de verificación es aquella donde nuestro algoritmo utiliza las estructuras jerárquicas generadas en la fase anterior para descartar donde

Más detalles

'type' <nombre conjunto> '=' 'SET OF' <tipo base>

'type' <nombre conjunto> '=' 'SET OF' <tipo base> 20. CONJUNTOS. SET. 20.1. Valores. Un tipo de datos especifica el conjunto de valores que una variable de ese tipo puede adoptar. El tipo conjunto es estructurado a partir de un tipo base; el tipo base

Más detalles

Tema 13: Regresión Logística p. 1/20 Tema 13: Regresión Logística Abdelmalik Moujahid, Iñaki Inza y Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del

Más detalles

Tema 5. Clasificadores K-NN

Tema 5. Clasificadores K-NN Tema 5 Clasificadores K-NN Abdelmalik Moujahid, Iñaki Inza y Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País Vasco Euskal Herriko Unibertsitatea

Más detalles

APRENDIZAJE DE REGLAS. Eduardo Morales y Jesús González

APRENDIZAJE DE REGLAS. Eduardo Morales y Jesús González APRENDIZAJE DE REGLAS Eduardo Morales y Jesús González Clasificación con Reglas 2 Resultados fáciles de entender En dominios en que se trabaja de cerca con expertos en otras áreas Reglas del tipo If att

Más detalles

Inteligencia Artificial e Ingeniería del Conocimiento

Inteligencia Artificial e Ingeniería del Conocimiento Inteligencia Artificial e Ingeniería del Conocimiento I. A. Clásica Nuevos enfoques de la I. A. Agentes Inteligentes Aprendizaje Introducción Aprendizaje inductivo decisión Planteamiento conectivista.

Más detalles

Aprendizaje de Reglas

Aprendizaje de Reglas Aprendizaje de Reglas Eduardo Morales, Hugo Jair Escalante INAOE (INAOE) 1 / 56 1 2 3 4 5 (INAOE) 2 / 56 Aprendizaje de Reglas El aprendizaje de normalmente produce resultados más fáciles de entender.

Más detalles

Inducción de Árboles de Decisión ID3, C4.5

Inducción de Árboles de Decisión ID3, C4.5 Inducción de Árboles de Decisión ID3, C4.5 Contenido 1. Representación mediante árboles de decisión 2. Algoritmo básico: divide y vencerás 3. Heurística para la selección de atributos 4. Espacio de búsqueda

Más detalles

Tema 5: Evaluación de Modelos de Clasificación Supervisada p. 1/2

Tema 5: Evaluación de Modelos de Clasificación Supervisada p. 1/2 Tema 5: Evaluación de odelos de lasificación Supervisada Pedro Larrañaga, Iñaki Inza, Abdelmalik oujahid Departamento de iencias de la omputación e Inteligencia Artificial Universidad del País Vasco http://www.sc.ehu.es/isg/

Más detalles

SISTEMAS INTELIGENTES

SISTEMAS INTELIGENTES SISTEMAS INTELIGENTES T9: Árboles de Decisión www.aic.uniovi.es/ssii Sistemas Inteligentes T9: Árboles de decisión Índice Árboles de decisión para clasificación Mecanismo de inducción: divide y vencerás

Más detalles

ARBOLES BINARIOS ORDENADOS. REPRESENTACIÓN Y OPERACIONES

ARBOLES BINARIOS ORDENADOS. REPRESENTACIÓN Y OPERACIONES ARBOLES BINARIOS ORDENADOS. REPRESENTACIÓN Y OPERACIONES TEMAS Recorrido de un árbol Máximo y mínimo Búsqueda de un elemento Borrado de un nodo 3 Características ARBOLES - CONCEPTOS Cada elemento del árbol

Más detalles

Aprendizaje Automatizado. Árboles de Clasificación

Aprendizaje Automatizado. Árboles de Clasificación Aprendizaje Automatizado Árboles de Clasificación Árboles de Clasificación Entrada: Objetos caracterizables mediante propiedades. Salida: En árboles de decisión: una decisión (sí o no). En árboles de clasificación:

Más detalles

Aprendizaje Automatizado. Árboles de Clasificación

Aprendizaje Automatizado. Árboles de Clasificación Aprendizaje Automatizado Árboles de Clasificación Árboles de Clasificación Estudiaremos un algoritmo para la creación del árbol. Selección de atributos comenzando en el nodo raíz. Proceso recursivo. Árboles

Más detalles

El sintetizador de programas de Cornell

El sintetizador de programas de Cornell El sintetizador de programas de Cornell T. Teitelbaum, T. Repps: The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. Comm. ACM, V.24 N.9 pp.563-673, Sep.1981. 1. Características

Más detalles

Programación Automática

Programación Automática Programación Automática MÁSTER EN CIENCIA Y TECNOLOGÍA INFORMÁTICA Programación Lógica Inductiva y Aprendizaje Relacional Fernando Fernández y Raquel Fuentetaja Contenidos 1 Programación Lógica Inductiva

Más detalles

Eduardo Mosqueira Rey Bertha Guijarro Berdiñas Mariano Cabrero Canosa

Eduardo Mosqueira Rey Bertha Guijarro Berdiñas Mariano Cabrero Canosa Estructura de Datos y de la Información Eduardo Mosqueira Rey Bertha Guijarro Berdiñas Mariano Cabrero Canosa Laboratorio de Investigación y Desarrollo en Inteligencia Artificial Departamento de Computación

Más detalles

Tema 7: Aprendizaje de árboles de decisión

Tema 7: Aprendizaje de árboles de decisión Inteligencia Artificial 2 Curso 2002 03 Tema 7: Aprendizaje de árboles de decisión José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Francisco J. Martín Mateos José L. Ruiz Reina Dpto. de Ciencias de

Más detalles

Tema 1. Heurísticos en Optimización Combinatorial

Tema 1. Heurísticos en Optimización Combinatorial Tema 1. Heurísticos en Optimización Combinatorial Abdelmalik Moujahid, Iñaki Inza y Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País Vasco Euskal

Más detalles

Universidad de Valladolid. Departamento de informática. Campus de Segovia. Estructura de datos Tema 4: Ordenación. Prof. Montserrat Serrano Montero

Universidad de Valladolid. Departamento de informática. Campus de Segovia. Estructura de datos Tema 4: Ordenación. Prof. Montserrat Serrano Montero Universidad de Valladolid Departamento de informática Campus de Segovia Estructura de datos Tema 4: Ordenación Prof. Montserrat Serrano Montero ÍNDICE Conceptos básicos Elección de un método Métodos directos

Más detalles

8- LEX-Expresiones regulares

8- LEX-Expresiones regulares 8- LEX-Expresiones regulares Objetivos: Utilizar la herramienta KEX para trabajar con expresiones regulares Recursos: Maquina virtual Linux distribución Bodhi LXterminal y FLEX Introducción Flex le permite

Más detalles

ALGORITMO ID3. Objetivo

ALGORITMO ID3. Objetivo ALGORITMO ID3 Desarrollado por J. Ross Quinlan en 1983. ID3 significa Induction Decision Trees. Pertenece a la familia TDIDT (Top- Down Induction of Decision Trees). Objetivo Construir un árbol de decisión

Más detalles

Tema 7: Teoría de la Información Estadística p. 1/16

Tema 7: Teoría de la Información Estadística p. 1/16 Tema 7: Teoría de la Información Estadística p. 1/16 Tema 7: Teoría de la Información Estadística Abdelamlik Moujahid, Iñaki Inza, Pedro Larrañaga Departamento de Ciencias de la Computación e Inteligencia

Más detalles

TÉCNICAS DE CAJA BLANCA

TÉCNICAS DE CAJA BLANCA TÉCNICAS DE CAJA BLANCA UNIVERSIDAD DEL VALLE DOCENTE BEATRIZ FLORIAN GAVIRIA Basado Parcialmente en Material de la Empresa Green-SQA de ParqueSoft AGENDA Introducción Técnica de cobertura de caminos Técnicas

Más detalles

Calidad del Software. Ejercicios Tema 4 Conceptos de pruebas

Calidad del Software. Ejercicios Tema 4 Conceptos de pruebas Tema 4 Conceptos de Pruebas Calidad del Software Ejercicios Tema 4 Conceptos de pruebas Calidad del Software Enfoque de Caja Blanca: Prueba del camino básico FUNCIÓN PASCAL Especificar un conjunto de pruebas

Más detalles

Aprendizaje Automatizado. Árboles de Clasificación

Aprendizaje Automatizado. Árboles de Clasificación Aprendizaje Automatizado Árboles de Clasificación Árboles de Clasificación Estudiaremos un algoritmo para la creación del árbol. Selección de atributos comenzando en el nodo raíz. Proceso recursivo. Árboles

Más detalles

EJERCICIO 2 (3 PUNTOS) A) Sea el árbol binario AVL de la figura siguiente: B) Dada la estructura de la figura siguiente:

EJERCICIO 2 (3 PUNTOS) A) Sea el árbol binario AVL de la figura siguiente: B) Dada la estructura de la figura siguiente: ASIGNATURA TITULACIÓN APELLIDOS ESTRUCTURA DE DATOS Y DE LA INFORMACIÓN EJERCICIO 1 (3 PUNTOS) GRUPO CURSO CONVOCATORIA NOMBRE 23 / 24 EXTRAORDINARIA- SEPTIEMBRE CALIFICACIÓN Dado el tipo abstracto de

Más detalles

Tema 5: Lógica de orden superior en PVS

Tema 5: Lógica de orden superior en PVS Métodos Formales en Computación e I.A. Curso 200 02 Tema 5: Lógica de orden superior en PVS 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 detalles

Si L es recursivo, entonces es recursivamente numerable

Si L es recursivo, entonces es recursivamente numerable Si L es recursivo, entonces es recursivamente numerable Slide 19 program GeneraRec (output); procedure sgte (var x: string); (* calcula la siguiente x en el orden natural *) begin... end; var x: string;

Más detalles

Diseño de algoritmos

Diseño de algoritmos Diseño de algoritmos Algoritmos de Vuelta Atrás Jesús Bermúdez de Andrés Universidad del País Vasco/Euskal Herriko Unibertsitatea (UPV/EHU) Curso 2008-09 1 Algoritmos de vuelta atrás El coloreado de mapas

Más detalles

= RETURN =3 7-. ELSE K

= RETURN =3 7-. ELSE K 11-. Pida Al Usuario Dos Números Enteros (Que Se Guardaran En Las Variables Num 1 Y Num2). Si Num2 Es Cero, Deberá Mostrar Un Mensaje De Error, Y En Caso Contrario Mostrara En Pantalla El Resto De La División

Más detalles

Tema 8: Árboles de decisión

Tema 8: Árboles de decisión Introducción a la Ingeniería del Conocimiento Curso 2004 2005 Tema 8: Árboles de decisión Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla

Más detalles

Arboles de Decisión Representación de los árboles de decisión

Arboles de Decisión Representación de los árboles de decisión Capítulo 10 Arboles de Decisión Resumen En este capítulo abordaremos la solución de problemas en el contexto del aprendizaje automático, ejemplificado con el algoritmo ID3 [13] (Inductive Dicotomizer).

Más detalles

Cómo Implementar una Ontología? Prolog Datalog Description Logic

Cómo Implementar una Ontología? Prolog Datalog Description Logic Cómo Implementar una Ontología? Prolog Datalog Description Logic Reglas como LPO CláusulaHorn: Una cláusula con a lo sumo un literal positivo Cláusulas: Subconjuntos de LPO con la siguiente forma: x 1,.,x

Más detalles

Tema 3. Listas Recursión sobre datos

Tema 3. Listas Recursión sobre datos Tema 3 Listas Recursión sobre datos José A. Alonso M. José Hidalgo Álvaro Romero Dpto. Ciencias de la Computación e Inteligencia Artificial UNIVERSIDAD DE SEVILLA Informática ListasRecursión sobre datos

Más detalles

Tema 8: Teorema de Herbrand. Tableros en lógica de primer orden

Tema 8: Teorema de Herbrand. Tableros en lógica de primer orden Tema 8:. en de primer orden Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2016 17 Contenido Sea Γ un conjunto de fórmulas

Más detalles

Comparación de métodos de aprendizaje sobre el mismo problema

Comparación de métodos de aprendizaje sobre el mismo problema Comparación de métodos de aprendizaje sobre el mismo problema Carlos Alonso González Grupo de Sistemas Inteligentes Departamento de Informática Universidad de Valladolid Contenido 1. Motivación. Test de

Más detalles

Texto estructurado (ST)

Texto estructurado (ST) 17 Texto estructurado (ST) El texto estructurado se compone de una serie de instrucciones que se pueden ejecutar, como sucede con los lenguajes superiores, de forma condicionada ("IF..THEN..ELSE") o en

Más detalles

Descubrir los árboles como paradigma de los tipos Recursivos de Datos

Descubrir los árboles como paradigma de los tipos Recursivos de Datos TEMA 5 ÁRBOLES(*) Una de las estructuras las datos más importantes y prominentes que existen es el árbol. No es un árbol en el sentido botánico de la palabra, sino uno de naturaleza más abstracta. Todos

Más detalles

Análisis y Diseño de Algoritmos Árboles de Mínima Expansión (Minimum Spanning Trees) DR. JESÚS A. GONZÁLEZ BERNAL CIENCIAS COMPUTACIONALES INAOE

Análisis y Diseño de Algoritmos Árboles de Mínima Expansión (Minimum Spanning Trees) DR. JESÚS A. GONZÁLEZ BERNAL CIENCIAS COMPUTACIONALES INAOE Análisis y Diseño de Algoritmos Árboles de Mínima Expansión (Minimum Spanning Trees) DR. JESÚS A. GONZÁLEZ BERNAL CIENCIAS COMPUTACIONALES INAOE Problema de Cableado de Circuitos Electrónicos 2 Diseño

Más detalles

El Nuevo Testamento en Achí de Cubulco de Guatemala, 2da ed. 2009, Wycliffe Bible Translators, Inc.

El Nuevo Testamento en Achí de Cubulco de Guatemala, 2da ed. 2009, Wycliffe Bible Translators, Inc. 1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 a 17 18 a 1.16 1 19 20 21 22 23 24 25 1 2 b 2 2 3 4 5 6 7 8 9 10 11 c 12 b 2.1 c 2.11 3 13 14 15 16 17 18 d 19 20 21 22 23 1 2 3 4 5 6 d 2.18 7 e 8 9 10 11 12 13

Más detalles

BD Activas: Motivación

BD Activas: Motivación BD Activas: Motivación Los SGBD convencionales son pasivos. Sólo ejecutan preguntas o transacciones realizadas por los usuarios o por los programas de aplicación. Para representar la semántica del mundo

Más detalles

Elemento crítico para la garantía de calidad del software y representa una revisión final de las especificaciones, del diseño y de la codificación.

Elemento crítico para la garantía de calidad del software y representa una revisión final de las especificaciones, del diseño y de la codificación. Prueba del Software Elemento crítico para la garantía de calidad del software y representa una revisión final de las especificaciones, del diseño y de la codificación. Curso 2005/2006 Ingeniería del Software

Más detalles

5.6 Árbol generador de un grafo

5.6 Árbol generador de un grafo 88 5.6 Árbol generador de un grafo Definición 5.59. Sea G un grafo simple. Un árbol generador de G es un subgrafo de G que es un árbol y contiene todos los vértices de G. Ejemplo 5.60. Un grafo y algunos

Más detalles

Tema 3: Algoritmos para SAT: Tableros y algoritmo DPLL

Tema 3: Algoritmos para SAT: Tableros y algoritmo DPLL Tema 3: : y DPLL Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógicas Informática (Tecnologías Informáticas) Curso 2016 17 Contenido Presentaremos dos s para estudiar

Más detalles

Examen de Ficheros y bases de datos (cód. 520) Ingeniería Técnica en Informática de Gestión Convocatoria de junio II PARCIAL

Examen de Ficheros y bases de datos (cód. 520) Ingeniería Técnica en Informática de Gestión Convocatoria de junio II PARCIAL Facultad de Informática urso 26/27 Universidad omplutense de Madrid 3/6/27 Examen de Ficheros y bases de datos (cód. 52 Ingeniería Técnica en Informática de Gestión onvocatoria de junio II PARIAL 1) (2

Más detalles

Estructuras de Control. Cecilia Curlango Rosas

Estructuras de Control. Cecilia Curlango Rosas Sintáxis -- while -- Ejecuta una serie de mandos mientras sea verdadera una condición. while condición do enunciados done Ejemplo -- while -- #!/bin/bash echo "Adivina mi animal favorito?" read animal

Más detalles

Metodologías de Desarrollo de Software

Metodologías de Desarrollo de Software Metodologías de Desarrollo de Software 1. Introducción. 2. Características principales. 3. Clasificación de las metodologías. 4. Principales metodologías de desarrollo. 4.010 CONCEPTOS GENERALES Metodología:

Más detalles

Controla el flujo de tokens reconocidos por parte del analizador léxico. 4.2 Introduccion a las gramaticas libres de contexto y arboles de derivacion

Controla el flujo de tokens reconocidos por parte del analizador léxico. 4.2 Introduccion a las gramaticas libres de contexto y arboles de derivacion UNIDAD IV Analisis Sintactico 4.1 Introduccion Sintaxis significa estructura del orden de las palabras en una frase. La tarea del analisis sintactico es revisar si los símbolos aparecen en el orden correcto

Más detalles

Compiladores: Sesión 6. Optimización

Compiladores: Sesión 6. Optimización Compiladores: Sesión 6. Optimización Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad Javeriana Cali 7 de febrero de 2008 Optimización Se proponen

Más detalles

Tema 5. Análisis sintáctico ascendente

Tema 5. Análisis sintáctico ascendente Tema 5 Análisis sintáctico Ciencias de la Computación e Inteligencia Artificial Índice 5.1 Introducción 5.2 Análisis sintáctico por desplazamiento y reducción 5.3 El autómata reconocedor de prefijos viables

Más detalles

Inducción de Árboles de Decisión ID3, C4.5

Inducción de Árboles de Decisión ID3, C4.5 Inducción de Árboles de Decisión ID3, C4.5 Contenido 1. Representación mediante árboles de decisión. 2. Algoritmo básico: divide y vencerás. 3. Heurística para la selección de atributos. 4. Espacio de

Más detalles

Tema 8: Teorema de Herbrand. Tableros en lógica de primer orden

Tema 8: Teorema de Herbrand. Tableros en lógica de primer orden Tema 8:. en de primer orden Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2014 15 Contenido Sea Γ un conjunto de fórmulas

Más detalles

Diseño de algoritmos

Diseño de algoritmos Diseño de algoritmos Jesús Bermúdez de Andrés. UPV-EHU Guías para la solución de ejercicios: Vuelta atrás Curso 2008-09 1. Escriba un algoritmo de vuelta atrás para determinar el mínimo número de monedas

Más detalles

6. Visualizar error, ingrese un numero que no sea cero

6. Visualizar error, ingrese un numero que no sea cero 11.- Pida al usuario dos numeros enteros (que se guardaran en la variables num 1 y num 2). si dato 2 es cero, debera mostrar un mensaje de error, y en caso contrario mostrara en pantalla el resto de la

Más detalles

Tema: INTÉRPRETE ENSAMPOCO/3

Tema: INTÉRPRETE ENSAMPOCO/3 Compiladores. Guía 11 1 Facultad: Ingeniería Escuela: Computación Asignatura: Compiladores Tema: INTÉRPRETE ENSAMPOCO/3 Contenido En esta práctica se desarrollará un intérprete de lenguaje ENSAMPOCO/3

Más detalles

Un módulo coherente sólo debe hacer (idealmente) una cosa. El objetivo que se intenta conseguir es obtener módulos con una alta cohesión.

Un módulo coherente sólo debe hacer (idealmente) una cosa. El objetivo que se intenta conseguir es obtener módulos con una alta cohesión. 2.5 Cohesión 2.5.1 Qué es la cohesión? La cohesión se puede definir como la medida de la fuerza o relación funcional de los elementos de un módulo, entendiendo por elementos a la sentencia o grupo de sentencias

Más detalles

Conjuntos y expresiones regulares. Propiedades de las expresiones regulares (1) Propiedades de las expresiones regulares (2)

Conjuntos y expresiones regulares. Propiedades de las expresiones regulares (1) Propiedades de las expresiones regulares (2) César Ignacio García Osorio Área de Lenguajes y Siste mas Informáticos Universidad de Burgos Conjuntos y expresiones regulares Conjunto regular: Cualquier conjunto de cadenas que se pueda formar mediante

Más detalles

Curso de Programación 1

Curso de Programación 1 Curso de Programación 1 Plan 97 Búsqueda y Ordenación Métodos de búsqueda Existen aplicaciones en las cuales es necesario consultar si un elemento se encuentra dentro de un array. A continuación veremos

Más detalles

Clasificación Clasific NO SUPERV SUPER ISAD IS A AD AGRUPAMIENTO

Clasificación Clasific NO SUPERV SUPER ISAD IS A AD AGRUPAMIENTO Clasificación NO SUPERVISADA AGRUPAMIENTO Clasificación No Supervisada Se trata de construir clasificadores sin información a priori, o sea, a partir de conjuntos de patrones no etiquetados Objetivo: Descubrir

Más detalles

ARBOLES DE DECISION. Miguel Cárdenas-Montes. 1 Introducción. Objetivos: Entender como funcionan los algoritmos basados en árboles de decisión.

ARBOLES DE DECISION. Miguel Cárdenas-Montes. 1 Introducción. Objetivos: Entender como funcionan los algoritmos basados en árboles de decisión. ARBOLES DE DECISION Miguel Cárdenas-Montes Los árboles de decisión son estructuras lógicas con amplia utilización en la toma de decisión, la predicción y la minería de datos. Objetivos: Entender como funcionan

Más detalles

Aprendizaje Automático: Arboles de Decisión.

Aprendizaje Automático: Arboles de Decisión. Aprendizaje Automático: Arboles de Decisión. Dr. Alejandro Guerra Hernández Universidad Veracruzana Facultad de Física e Inteligencia Artificial Maestría en Inteligencia Artificial Sebastián Camacho No.

Más detalles

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional

Más detalles

Puede clasificarse en cuatro componentes básicas la eficiencia de un programa:

Puede clasificarse en cuatro componentes básicas la eficiencia de un programa: 24. Eficiencia. Complejidad temporal. 24. Introducción. La eficiencia de un programa es una medida de la cantidad de recursos que se requieren para producir resultados correctos. Hace algunos años atrás,

Más detalles

Estudiemos el siguiente problema, propuesto por Wirth y desarrollado por Dijkstra: Una lista de las primeras secuencias que cumplen es:

Estudiemos el siguiente problema, propuesto por Wirth y desarrollado por Dijkstra: Una lista de las primeras secuencias que cumplen es: 25. Algoritmos heurísticos 25.1 Concepto de heurística. Se denomina heurística al arte de inventar. En programación se dice que un algoritmo es heurístico cuando la solución no se determina en forma directa,

Más detalles

Convertir un AFND a un AFD

Convertir un AFND a un AFD Convertir un AFND a un AFD Existe una equivalencia entre los AFD y AFN, de forma que un autómata M es equivalente a un autómata M' si L(M) ) L(M'). Ejemplo: Los autómatas de la siguiente figura son equivalentes.

Más detalles

Inteligencia de Negocios

Inteligencia de Negocios Inteligencia de Negocios T E C N O L O G Í A S D E A P O Y O Claudio Henríquez Berroeta Modelamiento de la toma de decisión y sus procesos Temario Introducción Data Warehouse Data Mining Modelamiento del

Más detalles

ALGORITMO: LENGUAJE C++: # include <iostream.h> # include <math.h> int main () Int num 1=0, num =0, d=0; Cout << ingrese primer numero: ;

ALGORITMO: LENGUAJE C++: # include <iostream.h> # include <math.h> int main () Int num 1=0, num =0, d=0; Cout << ingrese primer numero: ; 11 PIDA AL USUARIO DOS NUMEROS ENTEROS (QUE SE GUARDARAN EN LA VARIABLES NUM 1 Y NUM 2). SI DATO 2 ES CERO, DEBERA MOSTRAR UN MENSAJE DE ERROR, Y EN CASO CONTRARIO MOSTRARA EN PANTALLA EL RESTO DE LA DIVISION

Más detalles

Tema 5: Macros. Sesión 14: Macros

Tema 5: Macros. Sesión 14: Macros Tema 5: Macros Sesión 14: Macros Hoy veremos... Conceptos generales Quasiquotation Macros en Scheme Ejemplos de macros Referencias Capítulo 3.7 Programming Language Pragmatics: Macro Expansion Definición

Más detalles

Algoritmo de Bresenham para Pintar Círculos y Cuádricas en General. Carlos E. Alvarez D

Algoritmo de Bresenham para Pintar Círculos y Cuádricas en General. Carlos E. Alvarez D Algoritmo de Bresenham para Pintar Círculos y Cuádricas en General Carlos E. Alvarez D. 06-39141 Contenido - Introducción - Algoritmo de Bresenham para Dibujar Líneas Rectas - Algoritmo de Bresenham para

Más detalles

Archivos Indice. Indexación y. Asociación. Conceptos Básicos Indices Ordenados Arboles. Asociación. Docente: Albert A.

Archivos Indice. Indexación y. Asociación. Conceptos Básicos Indices Ordenados Arboles. Asociación. Docente: Albert A. Docente: Albert A. Osiris Sofía 1º Cuatrimestre 2002 Conceptos Básicos Indices Ordenados Arboles Asociación Indexación y Asociación Archivos Indice 1 2 3 1 Archivos Indice Ordenados Asociativos Primario

Más detalles

Tema 3.- Predicados y sentencias condicionales

Tema 3.- Predicados y sentencias condicionales UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO PROGRAMACIÓN DECLARATIVA INGENIERÍA INFORMÁTICA ESPECIALIDAD DE COMPUTACIÓN CUARTO CURSO PRIMER

Más detalles

Descomposicion en Polígonos Monótonos. comp-420

Descomposicion en Polígonos Monótonos. comp-420 Descomposicion en Polígonos Monótonos comp-420 Triangulación de Polígonos Teorema 1: Todo polígono simple admite una triangulación, y cualquier triangulación de un polígono simple con n vértices consta

Más detalles

Universidad de Valladolid. Departamento de informática. Campus de Segovia. Estructura de datos Tema 1: Recursividad. Prof. Montserrat Serrano Montero

Universidad de Valladolid. Departamento de informática. Campus de Segovia. Estructura de datos Tema 1: Recursividad. Prof. Montserrat Serrano Montero Universidad de Valladolid Departamento de informática Campus de Segovia Estructura de datos Tema 1: Recursividad Prof. Montserrat Serrano Montero ÍNDICE Conceptos básicos Ejemplos recursivos Recursividad

Más detalles

Tema 2: Métodos de Deducción para la Lógica Proposicional

Tema 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 detalles

3 Propiedades de los conjuntos regulares 3.1 Lema de Bombeo para conjuntos regulares

3 Propiedades de los conjuntos regulares 3.1 Lema de Bombeo para conjuntos regulares Curso Básico de Computación 3 Propiedades de los conjuntos regulares 3. Lema de Bombeo para conjuntos regulares El lema de bombeo es una herramienta poderosa para probar que ciertos lenguajes son no regulares.

Más detalles

Tema 2: Métodos de Deducción para la Lógica Proposicional

Tema 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 detalles

El Perceptrón Multicapa

El Perceptrón Multicapa El Perceptrón Multicapa N entradas M neuronas de salida L: neuronas en la capa oculta E = 1 p M ( zi ( k) yi ( k) ) k = 1 i= 1 Implementación de la función XOR Regiones de clasificación en función del

Más detalles

PROGRAMACIÓN DECLARATIVA

PROGRAMACIÓN DECLARATIVA UNIVERSIDAD DE MALAGA DEPARTAMENTO DE LENGUAJES Y CIENCIAS DE LA COMPUTACION PROGRAMACIÓN DECLARATIVA CURSO 2000-2001 I. PROGRAMACIÓN LÓGICA II. PROGRAMACIÓN FUNCIONAL BIBLIOGRAFÍA Programación Lógica:

Más detalles

Localización en subdivisiones

Localización en subdivisiones en subdivisiones Elija su pais de destino: del problema Dado un PSLG y un punto adicional, en qué región se encuentra el punto? del problema Y como la multitud de leyes sirve muy a menudo de disculpa

Más detalles

PHP: Lenguaje de programación

PHP: Lenguaje de programación Francisco J. Martín Mateos Carmen Graciani Diaz Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Tipos de datos Enteros Con base decimal: 45, -43 Con base octal: 043, -054

Más detalles

Diseño Basado en Componentes Curso 2008 / 09

Diseño Basado en Componentes Curso 2008 / 09 Asociación 1 a * (I) Implementación de Asociaciones en VB.NET Se implementa mediante una clase-colección para el lado *, y una propiedad en el lado 1. Cambiar algo en un extremo significa cambiar en el

Más detalles

Apellidos:... Nombre:...

Apellidos:... Nombre:... Apellidos:....................................... Nombre:........................................ Introducción a la Inteligencia Artificial 1 er Parcial de Teoría 12 Noviembre 2004 Ejercicio 1: Responder

Más detalles

Teoría de la Información Estadística

Teoría de la Información Estadística Teoría de la Información Estadística Pedro Larrañaga, Iñaki Inza Intelligent Systems Group Departamento de Ciencias de la Computación e Inteligencia Artificial Universidad del País Vasco MMCC 2005-2006

Más detalles

PUBLICACIÓN DEL ENUNCIADO: Semana del 10 de noviembre de ENTREGA: Clase de laboratorio de la semana del 8 de diciembre de 2003.

PUBLICACIÓN DEL ENUNCIADO: Semana del 10 de noviembre de ENTREGA: Clase de laboratorio de la semana del 8 de diciembre de 2003. TELECOMUNICACIÓN Página 12 PRÁCTICAS 6ª, 7ª y 8ª: Operaciones con polinomios. OBJETIVOS: Repaso de listas dinámicas. Objetos como datos miembro de otros objetos (introducción a la herencia). Objetos con

Más detalles