Tema 8: Procesamiento de lenguaje natural
|
|
- Victoria Quintana Soler
- hace 6 años
- Vistas:
Transcripción
1 Introducción a la Inteligencia Artificial Curso Tema 8: Procesamiento de lenguaje natural Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla IIA Procesamiento... 1
2 Lenguaje natural El lenguaje natural es el utilizado por los seres humanos para comunicarse Se le llama natural en contraposición a los lenguajes formales (programación, lógica,... ) Procesamiento: comprensión y generación Comprensión: a partir de una frase escrita o hablada, obtener una representacion formal que permita efectuar las acciones adecuadas a la información recibida Generación: transformación de una representación formal de algo que se quiere comunicar, a una expresión en algún lenguaje natural, escrita o hablada IIA Procesamiento... 2
3 Comprensión del lenguaje natural Fases en el proceso de comprensión: Percepción: reconocimiento del habla y/o escritura Análisis: sintáctico (obtener la estructura de una frase a partir de la secuencia de palabras) y semántico (obtener un signicado a partir de la estructura sintáctica) Eliminación de ambigüedades Incorporación a la base de conocimiento En lo que sigue, nos centraremos en el análisis sintáctico y semántico de frases escritas IIA Procesamiento... 3
4 Gramáticas formales Gramáticas formales: G = (N, T, P, S) N: símbolos no terminales (categorías sintácticas) T : símbolos terminales (palabras del idioma) con N T = P : conjunto de reglas de producción l r, donde l, r (N T ) S N: símbolo inicial En una gramática independiente del contexto (GIC) las reglas son de la forma A r con A N y r (N T ) Derivación xay xwy mediante la regla A w IIA Procesamiento... 4
5 Gramáticas formales Lenguaje definido por una gramática: L(G) = {x T : S x} El problema del reconocimiento de frases y del análisis sintáctico: Dado x T y una gramática G, decidir si x L(G), encontrando una derivación (árbol de análisis sintáctico) que conecta S con x. IIA Procesamiento... 5
6 Notación Prolog para gramáticas formales Ejemplo de gramática: oracion --> sintagma_nominal, sintagma_verbal. sintagma_nominal --> nombre. sintagma_nominal --> articulo, nombre. sintagma_verbal --> verbo, sintagma_nominal. articulo --> [el]. nombre --> [gato]. nombre --> [perro]. nombre --> [pescado]. nombre --> [carne]. verbo --> [come]. Uso de > Punto al final de cada regla Símbolos terminales entre corchetes IIA Procesamiento... 6
7 Por que escribir las gramáticas en notación Prolog? Porque pueden ser cargadas directamente en Prolog disponiendo de un analizador sintáctico ejecutable de manera inmediata e incluso de un generador de frases del lenguaje.?- [g1]....?- phrase(oracion,[el,gato,come,carne]). Yes?- phrase(oracion,[gato,come,pescado,carne]). No?- phrase(sintagma_verbal,[come,pescado]). Yes?- phrase(oracion,x). X = [gato, come, gato] ; X = [gato, come, perro] ;... IIA Procesamiento... 7
8 Reglas recursivas I Extender el ejemplo de GCD para aceptar oraciones como [el,gato,come,pescado,o,el,perro,come,pescado] Primera propuesta oracion --> oracion, conjuncion, oracion. oracion --> sintagma_nominal, sintagma_verbal. sintagma_nominal --> nombre. sintagma_nominal --> articulo, nombre. sintagma_verbal --> verbo, sintagma_nominal. articulo --> [el]. nombre --> [gato]. nombre --> [perro]. nombre --> [pescado]. nombre --> [carne]. verbo --> [come]. conjuncion --> [y]. conjuncion --> [o]. IIA Procesamiento... 8
9 Reglas recursivas I Pero...?- phrase(oracion,[el,gato,come,pescado, o,el,perro,come,pescado]). ERROR: Out of local stack Exception: (26,461) oracion([el, gato, come, pescado, o, el, perro, come...], _L502750)? Por qué? IIA Procesamiento... 9
10 Reglas recursivas II Segunda propuesta oracion --> sintagma_nominal, sintagma_verbal. oracion --> oracion, conjuncion, oracion. sintagma_nominal --> nombre. sintagma_nominal --> articulo, nombre. sintagma_verbal --> verbo, sintagma_nominal. articulo --> [el]. nombre --> [gato]. nombre --> [perro]. nombre --> [pescado]. nombre --> [carne]. verbo --> [come]. conjuncion --> [y]. conjuncion --> [o]. IIA Procesamiento... 10
11 Reglas recursivas II Pero...?- phrase(oracion,[el,gato,come,pescado, o,el,perro,come,pescado]). Yes?- phrase(oracion,[un,gato,come]). ERROR: Out of local stack Exception: (41,634) oracion([un, gato, come], _L499657)? Por qué? IIA Procesamiento... 11
12 Reglas recursivas III Tercera propuesta oracion --> oracion_simple. oracion --> oracion_simple, conjuncion, oracion. oracion_simple --> sintagma_nominal,sintagma_verbal. sintagma_nominal --> nombre. sintagma_nominal --> articulo, nombre. sintagma_verbal --> verbo, sintagma_nominal. articulo --> [el]. nombre --> [gato]. nombre --> [perro]. nombre --> [pescado]. nombre --> [carne]. verbo --> [come]. conjuncion --> [y]. conjuncion --> [o]. IIA Procesamiento... 12
13 Reglas recursivas III Ahora...?- phrase(oracion,[el,gato,come,pescado, o,el,perro,come,pescado]). Yes?- phrase(oracion,[un,gato,come]). No IIA Procesamiento... 13
14 Arbol de análisis oracion sintagma_nominal sintagma_verbal articulo nombre verbo sintagma_nomimal nombre el gato come pescado IIA Procesamiento... 14
15 Arbol de análisis Definición oracion(o(sn,sv)) --> sintagma_nominal(sn),sintagma_verbal(sv). sintagma_nominal(sn(n)) --> nombre(n). sintagma_nominal(sn(art,n)) --> articulo(art),nombre(n). sintagma_verbal(sv(v,sn)) --> verbo(v),sintagma_nominal(sn). articulo(art(el)) --> [el]. nombre(n(gato)) --> [gato]. nombre(n(perro)) --> [perro]. nombre(n(pescado)) --> [pescado]. nombre(n(carne)) --> [carne]. verbo(v(come)) --> [come]. Sesión:?- phrase(oracion(a),[el,gato,come,pescado]). A = o(sn(art(el), n(gato)), sv(v(come), sn(n(pescado)))) IIA Procesamiento... 15
16 Concordancia en género Definición: oracion --> sintagma_nominal, sintagma_verbal. sintagma_nominal --> nombre(_). sintagma_nominal --> articulo(g), nombre(g). sintagma_verbal --> verbo, sintagma_nominal. articulo(masculino) --> [el]. articulo(femenino) --> [la]. nombre(masculino) --> [gato]. nombre(femenino) --> [gata]. nombre(masculino) --> [pescado]. verbo --> [come]. Sesión:?- phrase(oracion,[el,gato,come,pescado]). ====> Yes?- phrase(oracion,[la,gato,come,pescado]). ====> No IIA Procesamiento... 16
17 Concordancia en número Definición: oracion --> sintagma_nominal(n), sintagma_verbal(n). sintagma_nominal(n) --> nombre(n). sintagma_nominal(n) --> articulo(n), nombre(n). sintagma_verbal(n) --> verbo(n), sintagma_nominal(_). articulo(singular) --> [el]. articulo(plural) --> [los]. nombre(singular) --> [gato]. nombre(plural) --> [gatos]. nombre(singular) --> [perro]. nombre(plural) --> [perros]. nombre(singular) --> [pescado]. nombre(singular) --> [carne]. verbo(singular) --> [come]. verbo(plural) --> [comen]. IIA Procesamiento... 17
18 Concordancia en número Sesión:?- phrase(oracion,[el,gato,come,pescado]). Yes?- phrase(oracion,[los,gato,come,pescado]). No IIA Procesamiento... 18
19 Gramática para lenguaje formal Lenguaje formal {a n b n ; n N} s --> []. s --> i,s,d. i --> [a]. d --> [b]. Sesión:?- phrase(s,[a,a,b,b]). Yes?- phrase(s,[a,a,b,b,b]). No?- phrase(s,x). X = [] ; X = [a, b] ; X = [a, a, b, b] ;... IIA Procesamiento... 19
20 Gramática para lenguaje formal Lenguaje formal {a n b n c n ; n N} s --> bloque_a(n), bloque_b(n), bloque_c(n). bloque_a(0) --> []. bloque_a(suc(n)) --> [a], bloque_a(n). bloque_b(0) --> []. bloque_b(suc(n)) --> [b], bloque_b(n). bloque_c(0) --> []. bloque_c(suc(n)) --> [c], bloque_c(n). Sesión:?- phrase(s,[a,a,b,b,c,c]). Yes?- phrase(s,x). X = []; X = [a,b,c];... IIA Procesamiento... 20
21 Gramática con llamadas a Prolog Lenguaje formal {a 2n b 2n c 2n ; n N} s --> bloque_a(n), bloque_b(n), bloque_c(n),{par(n)}. bloque_a(0) --> []. bloque_a(s(n)) --> [a],bloque_a(n). bloque_b(0) --> []. bloque_b(s(n)) --> [b],bloque_b(n). bloque_c(0) --> []. bloque_c(s(n)) --> [c],bloque_c(n). par(0). par(s(s(n))) :-par(n). IIA Procesamiento... 21
22 Gramática con llamadas a Prolog Sesión:?- phrase(s,[a,a,b,b,c,c]). Yes?- phrase(s,[a,b,c]). No?- phrase(s,x). X = [] ; X = [a,a,b,b,c,c] ; X = [a,a,a,a,b,b,b,b,c,c,c,c] ; X = [a,a,a,a,a,a,b,b,b,b,b,b,c,c,c,c,c,c] Yes IIA Procesamiento... 22
23 Separación de reglas y lexicón Reglas: oracion --> sintagma_nominal, sintagma_verbal. sintagma_nominal --> nombre. sintagma_nominal --> articulo, nombre. sintagma_verbal --> verbo, sintagma_nominal. articulo --> [Palabra], {lex(palabra,articulo)}. nombre --> [Palabra], {lex(palabra,nombre)}. verbo --> [Palabra], {lex(palabra,verbo)}. Lexicón: lex(el,articulo). lex(perro,nombre). lex(carne,nombre). lex(gato,nombre). lex(pescado,nombre). lex(come,verbo). IIA Procesamiento... 23
24 Lexicón con concordancia Reglas: oracion --> sintagma_nominal(n),sintagma_verbal(n). sintagma_nominal(n) --> nombre(n). sintagma_nominal(n) --> art~a?culo(n), nombre(n). sintagma_verbal(n) --> verbo(n),sintagma_nominal(_). articulo(n) --> [Palabra],{lex(Palabra,art~A?culo,N)}. nombre(n) --> [Palabra],{lex(Palabra,nombre,N)}. verbo(n) --> [Palabra],{lex(Palabra,verbo,N)}. IIA Procesamiento... 24
25 Lexicón con concordancia Lexicón: lex(el,articulo,singular). lex(los,articulo,plural). lex(gato,nombre,singular). lex(gatos,nombre,plural). lex(perro,nombre,singular). lex(perros,nombre,plural). lex(pescado,nombre,singular). lex(pescados,nombre,plural). lex(carne,nombre,singular). lex(carnes,nombre,plural). lex(come,verbo,singular). IIA Procesamiento... 25
26 Lexicón con género y número Reglas: oracion --> sintagma_nominal(n),verbo(n),complemento. complemento --> []. complemento --> sintagma_nominal(_). sintagma_nominal(n) --> nombre(_,n). sintagma_nominal(n) --> determinante(g,n),nombre(g,n). determinante(g,n) --> [P],{lex(P,determinante,G,N)}. nombre(g,n) --> [P],{lex(P,nombre,G,N)}. verbo(n) --> [P],{lex(P,verbo,N)}. IIA Procesamiento... 26
27 Lexicón con género y número Lexicón: lex(el,determinante,masculino,singular). lex(los,determinante,masculino,plural). lex(la,determinante,femenino,singular). lex(las,determinante,femenino,plural). lex(un,determinante,masculino,singular). lex(una,determinante,femenino,singular). lex(unos,determinante,masculino,plural). lex(unas,determinante,femenino,plural). lex(profesor,nombre,masculino,singular). lex(profesores,nombre,masculino,plural). lex(profesora,nombre,femenino,singular). lex(profesoras,nombre,femenino,plural). lex(libro,nombre,masculino,singular). lex(libros,nombre,masculino,plural). lex(lee,verbo,singular). IIA Procesamiento... 27
28 Bibliografía P. Blackburn, J. Bos y K. Striegnitz Learn Prolog Now! [ kris/learn-prolog-now] I. Bratko Prolog Programming for Artificial Intelligence (Third ed.) (Prentice Hall, 2001) P. Flach Simply Logical (Intelligent Reasoning by Example) (John Wiley 1994) U. Nilsson y J. Maluszynski Logic, Programming and Prolog (2nd ed.) (Autores, 2000) [ ulfni/lpp] IIA Procesamiento... 28
Programación lógica ( )
1 / 56 Programación lógica (2008 09) Tema 5: Procesamiento del lenguaje natural 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 detallesTema 5: Procesamiento de lenguaje natural
Programación lógica Curso 2003 04 Tema 5: Procesamiento de lenguaje natural 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 detallesTema 9: Procesamiento de lenguaje natural
Programación Declarativa Curso 2000 200 Tema 9: Procesamiento de lenguaje natural José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 10: Procesamiento de lenguaje natural
Programación lógica Curso 2002 03 Tema 0: Procesamiento de lenguaje natural 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 detallesTema 5: Procesamiento de lenguaje natural
Inteligencia Artificial 2 Curso 2000 200 Tema 5: Procesamiento de lenguaje natural José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Francisco J. Martín Mateos Dpto. de Ciencias de la Computación e Inteligencia
Más detallesTema 8: Razonamiento con lenguaje natural
Razonamiento Automático Curso 999 2000 Tema 8: Razonamiento con lenguaje natural José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesIntroducción a las Gramáticas de Cláusulas Definidas (DCGs) Procesamiento del. Lenguaje Natural. Índice. Gramáticas de cláusulas definidas
Introducción a las Gramáticas de Cláusulas Definidas (DCGs) Procesamiento del Lenguaje Natural José María Gómez Hidalgo http://www.esp.uem.es/jmgomez/ Índice Representación del conocimiento sintáctico
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 detallesApellidos:... Nombre:...
Inteligencia Artificial II (9 Junio 2000) Apellidos:..................................................... Nombre:...................................................... Ejercicio 1 [4 puntos] Dada una base
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 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 detallesLenguajes y Compiladores Aspectos Formales (Parte 1) Compiladores
Facultad de Ingeniería de Sistemas Lenguajes y Aspectos Formales (Parte 1) 1 Aspectos Formales Los compiladores traducen lenguajes que están formalmente definidos a través de reglas que permiten escribir
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 detallesTema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I
Tema 4: Gramáticas independientes del contexto Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación.
Más detallesProgramación declarativa ( )
Programación declarativa (2004 05) Tema 2: Listas, operadores y aritmética José A. Alonso Jiménez Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla PD (2004 05) Tema 2 p.
Más detallesProgramación declarativa ( )
1 / 25 Programación declarativa (2007 08) Tema 7: Listas, operadores y aritmética 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 detallesProgramación lógica ( )
1 / 48 Programación lógica (2008 09) Tema 4: Resolución de problemas de espacios de estados José A. Alonso Jiménez Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad
Más detallesComputabilidad y lenguajes formales: Sesión 19. Gramáticas Incontextuales (Context Free Grammars)
Computabilidad y lenguajes formales: Sesión 19. Gramáticas Incontextuales (Context Free Grammars) Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad
Más detallesTema 6: Programación lógica de segundo orden
Programación Declarativa Curso 2000 200 Tema 6: Programación lógica de segundo orden José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesSecretaría de Docencia Dirección de Estudios Profesionales
I. IDENTIFICACIÓN DEL CURSO Programa de Estudios por Competencias SISTEMAS EXPERTOS Espacio Educativo: Facultad de Ingeniería Licenciatura: Ingeniería en Computación Área de docencia: Año de aprobación
Más detallesTema 2: Un poco de Historia
Introducción a la Inteligencia Artificial Curso 2006 2007 Tema 2: Un poco de Historia Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla IIA
Más detallesTema 6: Representación lógica del conocimiento
Inteligencia Artificial Curso 999 2000 Tema 6: Representación lógica del conocimiento José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Francisco J. Martín Mateos Dpto. de Ciencias de la Computación e
Más detallesINSTITUTO POLITECNICO NACIONAL SECRETARIA ACADEMICA DIRECCION DE ESTUDIOS PROFESIONALES EN INGENIERIA Y CIENCIAS FISICO MATEMATICAS
ESCUELA: UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERÍA Y CIENCIAS SOCIALES Y ADMINISTRATIVAS CARRERA: LICENCIATURA EN CIENCIAS DE LA INFORMÁTICA LÍNEA CURRICULAR: SISS DE INFORMACIÓN COORDINACION:
Más detallesTema 7: Razonamiento por defecto y razonamiento abductivo
Programación lógica Curso 2004 05 Tema 7: Razonamiento por defecto y razonamiento abductivo 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 detallesTema 2: Un poco de Historia
Introducción a la Inteligencia Artificial Curso 2006 2007 Tema 2: Un poco de Historia Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla IIA
Más detallesCoordinación de Ciencias Computacionales INAOE. Teoría de Autómatas y Lenguajes Formales. Temario detallado para examen de ingreso 2012
Coordinación de Ciencias Computacionales INAOE Teoría de Autómatas y Lenguajes Formales Temario detallado para examen de ingreso 2012 1. Autómatas 1.1. Por qué estudiar la teoría de autómatas? 1.1.1. Introducción
Más detallesFACULTAD POLITÉCNICA DIRECCIÓN ACADÉMICA PROGRAMA DE ESTUDIO I. IDENTIFICACIÓN Carrera : Ingeniería de Sistemas CARGA HORARIA (Horas reloj) Asignatura : Compiladores Carga Horaria Semestral 64 Semestre
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 detallesTema 2: Un poco de Historia
Introducción a la Inteligencia Artificial Curso 2008 2009 Tema 2: Un poco de Historia Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla IIA
Más detallesPresentación Asignatura
Presentación Asignatura Lenguajes, Gramáticas y Autómatas 2º Ing. Informática Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza Última revisión: Febrero. 2007. 20/02/2007
Más detallesÁRBOLES DE SINTAXIS. Los nodos no terminales (nodos interiores) están rotulados por los símbolos no terminales.
ÁRBOLES DE SINTAXIS ÁRBOL grafo dirigido acíclico. Los nodos no terminales (nodos interiores) están rotulados por los símbolos no terminales. Los nodos terminales (nodos hojas) están rotulados por los
Más detallesTema 6: Razonamiento con información incompleta
Inteligencia Artificial 2 Curso 2000 200 Tema 6: Razonamiento con información incompleta José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Francisco J. Martín Mateos Dpto. de Ciencias de la Computación
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 detallesSe pueden agrupar las reglas que tienen la misma parte izquierda:
GRAMÁTICA DE CONTEXTO LIBRE Gramática de contexto libre G = (V N, V T, P, S) que genera oraciones copulativas: V N = { , , , , V T = {el, la, hombre, niña,
Más detallesConceptos básicos sobre gramáticas
Procesamiento de Lenguajes (PL) Curso 2014/2015 Conceptos básicos sobre gramáticas Gramáticas y lenguajes Gramáticas Dado un alfabeto Σ, un lenguaje es un conjunto (finito o infinito) de cadenas de símbolos
Más detallesLENGUAJES Y GRAMÁTICAS
LENGUAJES Y GRAMÁTICAS Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 20 de septiembre de 2008 Contenido Lenguajes y Gramáticas Gramáticas Gramáticas
Más detallesUNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS. NOMBRE DEL CURSO: Lenguajes Formales y de Programación
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS NOMBRE DEL CURSO: Lenguajes Formales y de Programación CÓDIGO: 796 CRÉDITOS: 3 ESCUELA: Ciencias y Sistemas
Más detallesHoras teóricas: Horas practicas: Área de conocimiento a la que pertenece
PROGRAMA DE ESTUDIOS Área de formación a la que pertenece: TRADUCTORES DE ALTO NIVEL CARRERA LT Sustantiva Profesional Horas teóricas: Horas practicas: 2 2 Créditos: 6 Clave: F0353 Área de conocimiento
Más detallesNOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación CODIGO: 796 CREDITOS: 3 ESCUELA: PRE REQUISITOS:
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 detallesAnálisis sintáctico. Procesamiento del. Lenguaje Natural. Índice. José María Gómez Hidalgo. del contexto *
Análisis sintáctico Procesamiento del Lenguaje Natural José María Gómez Hidalgo http://www.esp.uem.es/jmgomez/ Índice 1. Representación del conocimiento sintáctico * 2. Gramáticas de estructura de frase
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: Agentes inteligentes: Representación y razonamiento
Inteligencia Artificial 2 Curso 2000 0 Tema : Agentes inteligentes: Representación y razonamiento José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Francisco J. Martín Mateos Dpto. de Ciencias de la Computación
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 detallesIntroducción a la lingüística computacional
Introducción a la lingüística computacional César Antonio Aguilar Facultad de Lenguas y Letras 17/08/2017 Cesar.Aguilar72@gmail.com Síntesis de la clase pasada (1) En la clase anterior nos dedicamos a
Más detallesTema 3: Representación del conocimiento estructurado
Inteligencia Artificial II Curso 2003 2004 Tema 3: Representación del conocimiento estructurado José A. Alonso Jiménez Carmen Graciani Díaz Francisco Jesús Martín Mateos José Luis Ruiz Reina Dpto. de Ciencias
Más detallesNOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación CODIGO: 796 CREDITOS: 3 ESCUELA: Ciencias
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 detallesTema 5: Razonamiento por defecto y razonamiento explicativo
Inteligencia Artificial 2 Curso 2002 2003 Tema 5: Razonamiento por defecto y razonamiento explicativo José A. Alonso Jiménez Francisco J. Martín Mateos José L. Ruiz Reina Dpto. de Ciencias de la Computación
Más detallesPresentación Asignatura
Presentación Asignatura Lenguajes, Gramáticas y Autómatas 2º Ing. Informática Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza Última revisión: Febrero. 2005. 15/02/2005
Más detallesTITULACIÓN Ingeniero Técnico en Informática de Sistemas ASIGNATURAS DE SEGUNDO CURSO DEL PLAN 1999 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES PROGRAMA:
TITULACIÓN Ingeniero Técnico en Informática de Sistemas ASIGNATURAS DE SEGUNDO CURSO DEL PLAN 1999 TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES PROGRAMA: PROGRAMA DE TEORÍA Parte I: INTRODUCCIÓN 1. Introducción
Más detalles14 Lenguajes y gramáticas II
2 Contenido Lenguaje generado por una gramática (Derivaciones) Ejemplo Jerarquía de Chomsky Gramáticas tipo 3 Gramáticas tipo 2 Gramáticas tipo 1 Gramáticas tipo 0 Descripción de las gramáticas Ejercicios
Más detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 7 de Noviembre de 2014 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/20 Lenguajes Formales
Más detallesNOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERIA ESCUELA DE CIENCIAS Y SISTEMAS NOMBRE DEL CURSO: Laboratorio de Lenguajes Formales y de Programación CODIGO: 796 CREDITOS: 3 ESCUELA: Ciencias
Más detallesPontificia Universidad Católica del Ecuador
1. DATOS INFORMATIVOS: MATERIA O MÓDULO: COMPILADORES E INTERPRETES CÓDIGO: 10730 CARRERA: NIVEL: SISTEMAS QUINTO No. CRÉDITOS: 4 CRÉDITOS TEORÍA: 4 CRÉDITOS PRÁCTICA: - SEMESTRE / AÑO ACADÉMICO: 2 / 2010
Más detallesUniversidad Fermín Toro. Cabudare Lara
Universidad Fermín Toro Cabudare Lara Lenguaje Natural y Lenguaje Artificial Autor: Jesús Colmenarez C.I.13.032.160 Sec. SAIA Introducción a la Computación Lenguaje Natural El lenguaje natural es el lenguaje
Más detallesCompiladores: Sesión 16. Análisis semántico, traducción dirigida por sintaxis
Compiladores: Sesión 16. Análisis semántico, traducción dirigida por sintaxis Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad Javeriana Cali
Más detallesUNIVERSIDAD DE GUADALAJARA
UNIVERSIDAD DE GUADALAJARA CENTRO UNIVERSITARIO DE LOS ALTOS DIVISIÓN DE ESTUDIOS EN FORMACIONES SOCIALES LICENCIATURA: INGENIERÍA EN COMPUTACIÓN UNIDAD DE APRENDIZAJE POR OBJETIVOS COMPILADORES MTRA.
Más detallesSegunda Práctica. Teoría de Autómatas y Lenguajes Formales I. Escuela Politécnica Superior Universidad Autónoma de Madrid.
Segunda Práctica Teoría de Autómatas y Lenguajes Formales I Escuela Politécnica Superior Universidad Autónoma de Madrid Curso 2009-2010 Fechas de Entrega Electrónica (por grupos): grupo 2a : miércoles
Más detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 4 de Noviembre de 2015 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/21 Lenguajes Formales
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 detallesProgramación Declarativa Curso
Programación Declarativa Curso 2004-2005 Ingeniería Técnica en Informática de Gestión Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga Programación Declarativa 1 Profesorado
Más detallesMás sobre gramáticas independientes de contexto o incontextuales
Más sobre gramáticas independientes de contexto o incontextuales Elvira Mayordomo, Gregorio de Miguel Universidad de Zaragoza 19 de noviembre de 2012 Contenido de este tema Árboles de derivación Gramáticas
Más detallesProyecto: Programación Declarativa: Lenguaje Prolog
Facultad de Ciencias de la Administración Licenciatura en Sistemas Proyecto: Programación Declarativa: Lenguaje Prolog Materia Optativa para Régimen de Créditos Profesores: Lic. Lidia Graciela Denegri
Más detallesNombre de la asignatura: Lenguajes y Autómatas I. Créditos: Aportación al perfil
Nombre de la asignatura: Lenguajes y Autómatas I Créditos: 2 3 5 Aportación al perfil Desarrollar, implementar y administrar software de sistemas o de aplicación que cumpla con los estándares de calidad
Más detallesLó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 detallesPROGRAMACIÓN LÓGICA INTRODUCCIÓN. Juan Juárez Fuentes
PROGRAMACIÓN LÓGICA INTRODUCCIÓN Juan Juárez Fuentes 1 Trabajo propuesto en 1970 Cómo programar un sistema como el siguiente? Usuario> Los gatos matan ratones. Usuario> Tom es un gato al que no le gustan
Más detallesProgramación Declarativa: Lógica y restricciones
Programación Declarativa: Lógica y restricciones Guía de Aprendizaje Información al estudiante 1. Datos Descriptivos Titulación Módulo Materia Asignatura Carácter Créditos ECTS Departamento responsable
Más detallesCompiladores: Análisis Sintáctico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V.
Compiladores: Análisis Sintáctico Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V. Sintaxis Define la estructura del lenguaje Ejemplo: Jerarquía en
Más detalles16 Análisis sintáctico I
2 Contenido Recordando la estructura de un compilador Recordando el análisis léxico l análisis sintáctico Comparación con el análisis léxico l Rol del Parser Lenguajes de programación Gramáticas structura
Más detallesPROGRAMA DE LABORATORIO POS-REQUISITO: Primer Semestre 2019 Ing. Mario José Bautista Fuentes AUXILIAR: Nery Galvez
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERÍA ESCUELA DE CIENCIAS PROGRAMA DE LABORATORIO CÓDIGO: 777 CRÉDITOS: 4 Organización de NOMBRE CURSO: Lenguajes y SECCIÓN: A Compiladores 1 ESCUELA:
Más detallesINSTITUTO POLITÉCNICO NACIONAL SECRETARÍA ACADÉMICA DIRECCIÓN DE ESTUDIOS PROFESIONALES EN INGENIERÍA Y CIENCIAS FÍSICO MATEMÁTICAS
CARRERA: Ingeniería en Computación. PROGRAMA SINTÉTICO ASIGNATURA: Compiladores SEMESTRE: Quinto OBJETIVO GENERAL: El alumno diseñará un compilador que funcione completamente y con cada una de sus partes.
Más detalles1.- DATOS DE LA ASIGNATURA. Nombre de la asignatura: Carrera: Clave de la asignatura: (Créditos) SATCA PRESENTACIÓN
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: (Créditos) SATCA 1 Programación Lógica y Funcional Ingeniería en Sistemas Computacionales SCC-1019 2 2 4 2.- PRESENTACIÓN
Más detallesTema 2: Inteligencia computacional y conocimiento
Razonamiento Automático Curso 999 2000 Tema 2: Inteligencia computacional y conocimiento José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesANX-PR/CL/ GUÍA DE APRENDIZAJE
PROCESO DE COORDINACIÓN DE LAS ENSEÑANZAS PR/CL/001 ASIGNATURA 105000017 - PLAN DE ESTUDIOS 10II - CURSO ACADÉMICO Y SEMESTRE 2018/19 - Primer semestre Índice Guía de Aprendizaje 1. Datos descriptivos...1
Más detallesCátedra Sintaxis y Semántica del Lenguaje
Cátedra Sintaxis y Semántica del Lenguaje 1 º CICLO DE CAPACITACION DOCENTE 1 Simplificación de Gramáticas Tipo 2 Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) 2 1 Jerarquía de Chomsky Gramáticas
Más detallesTema 2: Listas, aritmética y operadores
Programación Declarativa Curso 200 2002 Tema 2: Listas, aritmética y operadores José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 1. Introducción
Departamento de Tecnologías de la Información Tema 1 Introducción Ciencias de la Computación e Inteligencia Artificial Índice 1.1 Conceptos 1.2 Un poco de historia 1.3 Estructura de un compilador 1.4 Teoría
Más detallesPROGRAMA DE LABORATORIO SECCIÓN: ÁREA A LA QUE PERTENECE: POS-REQUISITO: AUXILIAR:
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERÍA ESCUELA DE CIENCIAS PROGRAMA DE LABORATORIO CÓDIGO: 777 CRÉDITOS: 4 NOMBRE CURSO: ESCUELA: PRE-REQUISITO: Organización de Lenguajes y Compiladores
Más detallesMetodología de la Programación (12016)
Metodología de la Programación (12016) Fernando Tricas García Dpto. de Informática e Ingeniería de Sistemas del Centro Politécnico Superior Área de Lenguajes y Sistemas Informáticos Universidad de Zaragoza,
Más detallesUNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes. Tema 3.
UNIVRSIDAD NACIONAL D DUCACIÓN A DISTANCIA scuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes Tema 3 Parte I Análisis Sintáctico Javier Vélez Reyes jvelez@lsi.uned.es Objetivos
Más detallesANX-PR/CL/ GUÍA DE APRENDIZAJE. ASIGNATURA Traductores de lenguajes de programacion. CURSO ACADÉMICO - SEMESTRE Segundo semestre
ANX-PR/CL/001-01 GUÍA DE APRENDIZAJE ASIGNATURA Traductores de lenguajes de programacion CURSO ACADÉMICO - SEMESTRE 2016-17 - Segundo semestre GA_61CI_615000311_2S_2016-17 Datos Descriptivos Nombre de
Más detallesProfesor de Español para Extranjeros ELE
Profesor de Español para Extranjeros ELE Modalidad Online Horario Flexible Descuento Alumnos Duración 420 horas Nivel Superior Subvención Empresas Descripción Detallada Profesor de Español para Extranjeros
Más detallesBenemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad deciencias de la Computación
PLAN DE ESTUDIOS (PE): Licenciatura en Ingeniería en Tecnologías de la Información AREA: Optativas ASIGNATURA: CÓDIGO: ITIM -612 CRÉDITOS:5 FECHA:19-Junio-2013 1 1. DATOS GENERALES Nivel Educativo: Licenciatura
Más detallesIntroducción. Las gramáticas definen las reglas que definen a los lenguajes Las reglas pueden tener una diversa variedad de esquemas
Gramáticas Introducción Las gramáticas definen las reglas que definen a los lenguajes Las reglas pueden tener una diversa variedad de esquemas En algunos lenguajes, una sucesión de símbolos depende del
Más detallesLP - Lenguajes de Programación
Unidad responsable: 270 - FIB - Facultad de Informática de Barcelona Unidad que imparte: 723 - CS - Departamento de Ciencias de la Computación Curso: Titulación: 2016 GRADO EN INGENIERÍA INFORMÁTICA (Plan
Más detallesCampos Fecha de elaboración: 28 de Mayo de 2010 Fecha de última actualización:
PROGRAMA DE ESTUDIO Programa Educativo: Área de Formación : Licenciatura en Sistemas Computacionales Integral Profesional Compiladores Horas teóricas: 2 Horas prácticas: 2 Total de Horas: 4 Total de créditos:
Más detallesControla 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 detallesLOGICA Y ALGEBRA DISCRETA
LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT DOCENTES Ing. Franco D. Menendez fmenendez@herrera.unt.edu.ar Mg. Ing. Gustavo Juarez gjuarez@herrera.unt.edu.ar CURSADO Teoría-Práctica:
Más detallesTema 1: Introducción a la Inteligencia Artificial
Introducción a la Inteligencia Artificial Curso 2002 2003 Tema : Introducción a la Inteligencia Artificial José A. Alonso Jiménez Francisco J. Martín Mateos Dpto. de Ciencias de la Computación e Inteligencia
Más detallesGuía Docente. Tipo: Obligatoria Créditos ECTS: 6. Curso: 4 Código: 3639
Guía Docente DATOS DE IDENTIFICACIÓN Titulación: Ingeniería Informática Rama de Conocimiento: Ingeniería y Arquitectura Facultad/Escuela: Escuela Politécnica Superior Asignatura: Procesadores de Lenguaje
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERÍA PROGRAMA DE ESTUDIO COMPILADORES 1764 7 o 09 Asignatura Clave Semestre Créditos Ingeniería Eléctrica Ingeniería en Computación Ingeniería
Más detallesTRADUCTORES E INTERPRETADORES
TRADUCTORS INTRPRTADORS Clase 8: Forma Normal de (Noam) Chomsky y Gramáticas de Atributos Agenda Forma Normal de Chomsky Gramáticas de Atributos Forma Normal de Chomsky n la clase pasada, se introdujeron
Más detallesModelos De Computación. Guía Modelos de Computación. Tema I: Lenguajes y Gramáticas
Guía Modelos de Computación Tema I: Lenguajes y Gramáticas Introducción La sintaxis de un lenguaje natural, esto es, la de los lenguajes hablados, como el inglés, el español, el alemán o el francés, es
Más detalles