Source: http://docplayer.es/1878953-Fastforward-javier-bejar-cbea-cs-fib-planificacion-con-fastforward-ia-curso-2013-2014-1-13.html
Timestamp: 2016-12-08 20:29:30+00:00

Document:
⭐FastForward. Javier Béjar cbea (CS - FIB) Planificación con FastForward IA - Curso 2013/ / 13
FastForward. Javier Béjar cbea (CS - FIB) Planificación con FastForward IA - Curso 2013/ / 13
Download "FastForward. Javier Béjar cbea (CS - FIB) Planificación con FastForward IA - Curso 2013/2014 1 / 13"
1 FastForward FastForward Fast Forward es un planificador que permite ejecutar planes definidos en el lenguaje PDDL El programa se puede descargar de hay un ejecutable para windows, para linux tendréis que compilar los fuentes. La versión Metric-Fast Forward que necesitaréis para los apartados finales de la práctica la podéis descargar de esta versión la tendréis que compilar tanto para linux como para windows (necesitaréis tener instalados flex y bison Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 132 Dominio + Problema Un problema de planificación en PDDL se divide en dos conjuntos de definiciones: 1 Definición del dominio: Operadores, predicados, tipos,... 2 Definición de una instancia del problema: Constantes, hechos y objetivo Para ejecutar un plan en FF cada conjunto de definiciones está en un fichero separado. Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 133 Fichero de dominio (Definiciones Requerimientos: Características del lenguaje PDDL que se usarán en la definición del problema :strips, lenguaje básico :typing, definición de tipos en parámetros y constantes :adl, lenguaje avanzado con cuantificadores, efectos condicionales,... :equality, uso de comparaciones de igualdad :fluents, lenguaje avanzado con funciones de coste y optimización Tipos: Tipos de las constantes/parámetros que se usarán en el problema Predicados: Predicados que representan el problema Acciones: Operadores de planificación para resolver el problema Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 134 Sintaxis del Dominio (define (domain nom-domain (:requirements :adl :typing (:types tipo1 tipo2 (:predicates (pred1?v1 - tipo1 (pred2?v1 - tipo2 (:action nom-action1... (:action nom-action2... Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 135 Sintaxis de las acciones (:action nom-action1 :parameters (?V1 - tipo1?v2 - tipo2 :precondition (and (pred1?v1 (exists (?V3 - tipo2 (pred2?v3 :effect (not (pred2?v2 Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 136 Definición de las acciones En la precondición Un predicado atómico (strips Conjunción (and de predicados atómicos (strips Combinación de condiciones con operadores lógicos (and,or,not (adl Fórmulas cuantificadas (forall,exists (adl En los efectos Un predicado atómico (strips La negación de un predicado atómico (strips La conjunción de predicados atómicos (strips Efectos condicionales (when (adl Efectos cuantificados universalmente (forall (adl Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 137 Fichero del problema (Definiciones :domain, dominio del problema :objects, constantes del problema :init, estado inicial del problema :goal, objetivo del problema Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 138 Sintaxis del problema (define (problem nom-problem (:domain nom-domain (:objects obj1t1 obj2t1 obj3t1 - tipo1 obj1t2 obj2t2 obj3t2 - tipo2 (:init (pred1 obj1t1 (pred1 obj2t1 (pred1 obj3t1 (pred2 obj1t2 (pred2 obj2t2 (pred2 obj3t2 (:goal (forall (?V - tipo1 (pred1?v Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 139 Evaluación de Condiciones Para ganar eficiencia es importante el orden en el que se escriben las condiciones Esto hay que tenerlo en cuenta en las condiciones de los operadores y en el objetivo Lo habitual es poner las condiciones mas restrictivas primero También es necesario evitar formulas que generen unificaciones demasiado complejas, sobre todo en la conclusion (por ejemplo con muchas disyunciones o existenciales Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 1310 Fluentes La extensión :fluents permite extender el lenguaje para incluir: Funciones (de hecho son variables numéricas Comparaciones aritméticas entre funciones Operaciones aritméticas entre funciones Añadir costes en los efectos de las acciones Optimización del plan a partir de los valores de las funciones Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 1311 Fluentes en el fichero de dominio Se ha de declarar en el apartado de requerimientos :fluents Se ha de especificar una sección de funciones 1 (:functions 2 (funcion1?v - tipo1 3 (funcion2?v - tipo2 4 (coste-total 5 Los valores de las funciones se pueden consultar y comparar en las precondiciones de las acciones (>= (+ (funcion1?v1 (funcion2?v1 10 Se puede modificar el valor en los efectos de las acciones (:effect (increase (coste-total 1 Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 1312 Fluentes en el fichero del problema Se han de inicializar los valores de los fluentes (para cada constante si es necesario (:init... (= (funcion1 obj1t1 0 (= (coste-total 0... Hay que incluir una sección que indica qué fluente optimizar (:metric minimize (coste-total Se pueden optimizar múltiples fluentes usando una combinación linear de sus valores (:metric minimize (+ (coste1 (+ (* 5 (coste2 (* 3 (coste3 Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 1313 Ejecución del Fast Forward La versión normal del Fast Forward ff -o dominio.pddl -f problema.pddl La versión con fluentes de Fast Forward tiene un flag -O que permite optimizar el fluente definido en el problema ff -O -o dominio.pddl -f problema.pddl Con la versión con fluentes se pueden ejecutar todos los problemas El algoritmo de búsqueda de Fast Forward para los fluentes se basa en una versión de best first, así que no encuentra la solución óptima para el fluente que se use Javier Béjar cbea (CS - FIB Planificación con FastForward IA - Curso 2013/ / 13 Documentos relacionados
Inteligencia Artificial e Ingeniería del Conocimiento. Curso 2007-08. Práctica 2. Planificación HTN en el Dominio ZenoTravel
Inteligencia Artificial e Ingeniería del Conocimiento. Curso 2007-08 Práctica 2 Planificación HTN en el Dominio ZenoTravel Realización 1.1Objetivo La segunda práctica de la asignatura INTELIGENCIA ARTIFICIAL Más detalles KINEMATICS SOLVER DIAGRAMA DE FLUJO PRINCIPAL
Cristóbal Miranda Puente 100039108 e-mail: 100039108@alumnos.uc3m.es Universidad Carlos III de Madrid 5º Ingeniería de Telecomunicaciones KINEMATICS SOLVER Adrián Hurtado González 100039131 e-mail: 100039131@alumnos.uc3m.es Más detalles Especificación PDDL de un Dominio de Ensamblaje *
Especificación PDDL de un Dominio de Ensamblaje * A. Márquez 1, C. Del Valle 2, R. M. Gasca 2, M. Toro 2 1 Depto. Ingeniería Electrónica, Sistemas Informáticos y Automática, Universidad de Huelva, amarquez@uhu.es Más detalles Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo
Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor Más detalles R present n a t ci c ó i n ó de esta t dos o en S TR T IPS R present n a t ci c ó i n ó de ob o j b eti t v i os o en S TR T IPS
PDDL Fernando Berzal, berzal@acm.org Lenguajes para planificación Lenguajes para la descripción de problemas de planificación: STRIPS [Stanford Research Institute Problem Solver] Richard Fikes & Nils Nilsson, Más detalles Trabajo Final Lic. en Ciencias de la Computación Optimización en Dominios de Planificación
Trabajo Final Lic. en Ciencias de la Computación Optimización en Dominios de Planificación Alumno: Facundo Bustos Director: Dr. Carlos Areces FaMAF Universidad Nacional de Córdoba Año 2013 1 The ACM Computing Más detalles INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas
INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones Más detalles PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005. Jorge Pérez R.
PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005 Jorge Pérez R. 1 Introducción a PROLOG PROLOG es un lenguaje interpretado basado en la lógica de predicados de primer orden. Puede Más detalles Implementación y análisis de rendimiento de un sistema de planeamiento lineal basado en el modelo MPBH
Implementación y análisis de rendimiento de un sistema de planeamiento lineal basado en el modelo MPBH Tesis para obtener el Título Profesional de Ingeniero de Sistemas Christian Danniel Paz Trillo Miembros Más detalles XSPDDL: A XML BASED LANGUAGE FOR PLANNING DOMAIN DEFINITION ORIENTED WEB
XS: A XML BASED LANGUAGE FOR PLANNING DOMAIN DEFINITION ORIENTED WEB XS: UN LENGUAJE BASADO EN XML PARA LA DEFINICION DE DOMINIOS DE PLANIFICACION ORIENTADOS A LA WEB MSc. Jaime Alberto Guzmán Luna*, Ing. Más detalles TEMA 3 (parte 2). Representación del Conocimiento
TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial] 3.2.2 Lógica Más detalles Universidad Carlos III de Madrid Escuela Politécnica Superior. Manual de usuario PLTool
Universidad Carlos III de Madrid Escuela Politécnica Superior Manual de usuario PLTool Leganés Noviembre de 2007 Índice 1. Introducción 3 2. Instalación de la herramienta 3 2.1. Requisitos............................. Más detalles IIC 2252 - Matemática Discreta
IIC 2252 - Matemática Discreta L. Dissett Clase 04 Lógica de predicados. Reglas de inferencia en lógica de predicados. Lógica de predicados Definiciones básicas: Un predicado es una afirmación que depende Más detalles Notas de Clase para IL
Notas de Clase para IL 5. Deducción en Lógica de Primer Orden Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra 3 de septiembre de 2009 1 1. Formas normales Más detalles La formalización existente de acción en programación lógica están. adecuadas solamente para la clase más simple de razonamiento temporal
CAPITULO 2 Formulación de Código en AnsProlog La formalización existente de acción en programación lógica están adecuadas solamente para la clase más simple de razonamiento temporal Proyección temporal. Más detalles {} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.
2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos Más detalles Introducción a la Computación TFA
Introducción a la Computación TFA Departamento de Informática Facultad de Ciencias Físico, Matemáticas y Naturales- UNSL Lenguaje de Diseño de Algoritmos Estructura de Control Condicional Simple y Múltiple Más detalles INDICE Programación Introducción Capitulo 21 BASIC Capitulo 22. COBOL Capitulo 23 DELPHI Capitulo 24. FORTRAN Capitulo 25.
INDICE Programación Introducción 706 Capitulo 21 BASIC 711 Introducción 711 Sintaxis 713 Procedimientos y control de flujo 713 Tipos de datos 714 Disponibilidad y variantes del dialecto 714 Capitulo 22. Más detalles Objetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden
Especificación TEMA 1 formal de problemas Objetivos Revisar los principales conceptos de la lógica de primer orden Entender el concepto de estado de cómputo y cómo se modela con predicados lógicos Familiarizarse Más detalles BASES DE DATOS TEMA 3. MODELO RELACIONAL
Contenidos generales BASES DE DATOS TEMA 3. MODELO RELACIONAL * Conceptos del modelo relacional * Notación del modelo relacional * Lenguajes de consulta - Algebra relacional - Cálculo relacional Motivación Más detalles Una variable de clase escalar tiene un nivel de indirección igual a 1. Por ejemplo, las variables i, b y x definidas como se muestra a continuación.
Descripción de la semántica de ALFA En esta descripción sólo se mencionarán los aspectos en los que el lenguaje de programación ALFA pueda diferir de otros lenguajes de programación de alto nivel. Se sobreentienden Más detalles Introducción al lenguaje de especificación JML
Introducción al lenguaje de especificación JML Elena Hernández Pereira Óscar Fontenla Romero Tecnología de la Programación Octubre 2006 Departamento de Computación Facultad de Informática Universidad de Más detalles Lógica de Primer Orden. Esquema. Tema 6. Introducción
Lógica de Primer Orden Tema 6 Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 1 Introducción Esquema Sintaxis y semántica de la Lógica de Primer Orden Variaciones en la Más detalles Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos
Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente Más detalles ESCUELA SUPERIOR DE INFORMATICA Prácticas de Estadística UNA SESIÓN EN SPSS
UNA SESIÓN EN SPSS INTRODUCCIÓN. SPSS (Statistical Product and Service Solutions) es un paquete estadístico orientado, en principio, al ámbito de aplicación de las Ciencias sociales, es uno de las herramientas Más detalles Nombre de la asignatura: Programación Estructurada. Créditos: 3-2 - 5. Aportación al perfil
Nombre de la asignatura: Programación Estructurada Créditos: 3-2 - 5 Aportación al perfil Diseñar, analizar y construir equipos y/o sistemas electrónicos para la solución de problemas en el entorno profesional, Más detalles 1.-Descargar las herramientas y configurarlas. Para editar pseudolenguaje y poder ejecutarlo descargar y configurar las siguientes herramientas:
7.- Guía de uso Todo funcionará como usted espera, a no ser que sus expectativas sean incorrectas. - Hyman Rosen En este apartado se intentan ver todos los pasos que hay que realizar para que un fichero Más detalles Guía de Uso Básico de Prolog
Guía de Uso Básico de Prolog 1. Prolog es un lenguaje conversacional Al contrario que la mayoría de los lenguajes de programación, Prolog es un lenguaje conversacional; es decir, el sistema Prolog mantiene Más detalles Inteligencia Artificial
Inteligencia Artificial Conocimiento y razonamiento 3. Lógica de primer orden Dr. Edgard Iván Benítez Guerrero 1 Lógica de primer orden La lógica proposicional asume que el mundo tiene hechos La lógica Más detalles PROGRAMACIÓ DIDÁCTICA: Secuanciación, Temporalización y Unidades Didácticas
Departamento de Informática PROGRAMACIÓN DIDÁCTICA Curso 11-12 1 CONSEJERÍA DE EDUCACIÓN I.E.S. NERVIÓN Departamento de Informática CICLO FORMATIVO: TÉCNICO SUPERIOR EN DESARROLLO DE APLICACIONES MULTIPLATAFORMA. Más detalles Estructuras Discretas. César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro
Estructuras Discretas César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro Facultad de Ciencias de la Computación Benemérita Universidad Autónoma de Puebla 1. CONJUNTOS Y CLASES 1 Más detalles Analizar, diseñar, desarrollar e implementar soluciones orientadas a objetos utilizando encapsulamiento, herencia, polimorfismo y archivos.
Nombre de la asignatura: Programación Orientada a Objetos 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 Más detalles Tema 7: Programación con Matlab
Tema 7: Programación con Matlab 1. Introducción Matlab puede utilizarse como un lenguaje de programación que incluye todos los elementos necesarios. Añade la gran ventaja de poder incorporar a los programas Más detalles 2ª Convocatoria 2008/2009 (15-IX-2009) 4º Ing. Informática. CPS. Universidad de Zaragoza Tiempo de realización: 3 horas
Tiempo de realización: 3 horas Ejercicio 1 (3 puntos): Se ha definido una cierta sintaxis para representar información de unidades temáticas en un fichero de texto. En este ejercicio nos planteamos el Más detalles CUALIFICACIÓN PROGRAMACIÓN DE SISTEMAS INFORMÁTICOS PROFESIONAL. Nivel 3. Versión 6. Actualización
Página 1 de 19 CUALIFICACIÓN PROGRAMACIÓN DE SISTEMAS INFORMÁTICOS PROFESIONAL Familia Profesional Informática y Comunicaciones Nivel 3 Código IFC303_3 Versión 6 Situación Contraste externo Actualización Más detalles INTRODUCCION A LA LÓGICA DE ENUNCIADOS
INTRODUCCION A LA LÓGICA DE ENUNCIADOS Carlos S. Chinea 0. Enunciados: Lo fundamental en el lenguaje ordinario, la herramienta para manifestar las ideas, sentimientos, descripción de situaciones diversas, Más detalles CURSO DE SQL SERVER 2005
CURSO DE SQL SERVER 2005 Una vez finalizado el curso, el alumno estará preparado para: Instalar y configurar SQL Server 2005. Comprender los conceptos más importantes del diseño de bases de datos. Crear Más detalles 5. Crea un sitio Web seguro usando tu propio certificado digital (Windows y Linux).
Actividad 5 5. Crea un sitio Web seguro usando tu propio certificado digital (Windows y Linux). Windows Para crear un certificado digital en Windows Server, tenemos que instalar el rol Servicios de certificados Más detalles MS_20461 Querying Microsoft SQL Server
Gold Learning Gold Business Intelligence Silver Data Plataform www.ked.com.mx Por favor no imprimas este documento si no es necesario. Introducción. Este curso proporciona a los estudiantes las habilidades Más detalles 2. OBJETIVOS (Course Objectives Goal))
SYLLABUS MATERIA PROFESOR DESARROLLO DE APLICACIONES PARA INTERNET ECOMMERCE ING. TITO VELEZ CURILLO 1. DESCRIPCIÓN SINTÉTICA (Course Description) Desarrollo de Aplicaciones para Internet y ecommerce.- Más detalles Lógica de Primer Orden
Capítulo 2 Lógica de Primer Orden Resumen En términos generales, la Programación Lógica concierne al uso de la lógica para representar y resolver problemas. Más adelante precisaremos que, en realidad, Más detalles Lógica de Predicados de Primer Orden
Lógica de Predicados de Primer Orden La lógica proposicional puede ser no apropiada para expresar ciertos tipos de conocimiento. Por ejemplo: Algunas manzanas son rojas Esta afirmación no se refiere específicamente Más detalles Entre los más conocidos editores con interfaz de desarrollo tenemos:
Herramientas de programación Para poder programar en ensamblador se precisa de algunas herramientas básicas, como un editor para introducir el código, un ensamblador para traducir el código a lenguaje Más detalles CUALIFICACIÓN PROGRAMACIÓN DE SISTEMAS INFORMÁTICOS PROFESIONAL. Nivel 3. Versión 5 Situación RD 1201/2007 Actualización
Página 1 de 17 CUALIFICACIÓN PROGRAMACIÓN DE SISTEMAS INFORMÁTICOS PROFESIONAL Familia Profesional Informática y Comunicaciones Nivel 3 Código IFC303_3 Versión 5 Situación RD 1201/2007 Actualización Competencia Más detalles Temario. Índices simples Árboles B Hashing
Temario Introducción y fundamentos Introducción a SQL Modelo Entidad / Relación Modelo relacional Diseño relacional: formas normales Consultas Cálculo relacional Álgebra relacional Implementación de bases Más detalles Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica)
Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Apellidos: No. Estudiante: Nombre: Sección: Conceptos Básicos de Lógica: Lógica es el estudio de como razonar correctamente. Más detalles Pantalla optimizada para una resolución de 1280 X 1024
Formación Sanitaria Especializada Ministerio de Sanidad, Servicios Sociales e Igualdad REQUISITOS TÉCNICOS Resolución de pantalla Pantalla optimizada para una resolución de 1280 X 1024 Acceso a las Opciones Más detalles Más detalles Más detalles Capítulo 4 PROLOG 4.1 Introducción
4.1 Introducción PROLOG es un lenguaje declarativo e interpretado, en este tipo de lenguajes se representan los conocimientos sobre un determinado dominio y sus relaciones. A partir de ese conocimiento, Más detalles Introducción. El curso se compone de dos módulos:
Introducción El programa de certificación ORACLE en Java SE, ofrece el nivel de certificación Oracle Certified Professional, Java SE 7 Programmer y está diseñado para personas que poseen una base sólida Más detalles Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III
Complejidad - Problemas NP-Completos Algoritmos y Estructuras de Datos III Teoría de Complejidad Un algoritmo eficiente es un algoritmo de complejidad polinomial. Un problema está bien resuelto si se conocen Más detalles Taxonomía de los principales temas de I A Por: Luis Guillermo Restrepo Rivas
Taxonomía de los principales temas de I A Por: Luis Guillermo Restrepo Rivas 1. DEFINICIONES, UBICACIÓN CONCEPTUAL E HISTORIA DE LA I.A. 2. COMPLEJIDAD COMPUTACIONAL, EXPLOSIÓN COMBINATORIA, DOMINIOS NO Más detalles Curso de PHP con MySQL Gratis
Curso de PHP con MySQL Gratis Introducción Este mini curso o mini tutorial de PHP le ayudará a realizar cualquier sistema para que pueda insertar uno o varios registros a una base de datos con MySQL, este Más detalles LENGUAJES DE CONSULTA ORIENTADOS A OBJETOS
LENGUAJES DE CONSULTA ORIENTADOS A OBJETOS Los lenguajes de consulta constituyen una funcionalidad importante de los SGBDOO. El usuario puede recuperar los datos especificando simplemente las condiciones Más detalles MLM 1000 - Matemática Discreta
MLM 1000 - Matemática Discreta L. Dissett Clase 04 Resolución. Lógica de predicados c Luis Dissett V. P.U.C. Chile, 2003 Aspectos administrativos Sobre el tema vacantes: 26 personas solicitaron ingreso Más detalles ESPECIALISTA EN BASE DE DATOS
ESPECIALISTA EN BASE DE DATOS EXPERTO ANALISIS Y DISEÑO DE BASE DE DATOS EN MANEJAR BASES DE ACCESS COMPLETO DATOS MYSQL Requisito: Manejo Windows POSTGRESQL DURACION: 3 MESES DE L-V SQL SERVER Cliente-Administración Más detalles Ingeniería en Informática
Departamento de Informática Universidad Carlos III de Madrid Ingeniería en Informática Aprendizaje Automático Junio 2007 Normas generales del examen El tiempo para realizar el examen es de 3 horas No se Más detalles Programa Analítico 2010. Asignatura: Resolución de problemas de Optimización en Entornos Industriales
Programa Analítico 2010 Asignatura: Resolución de problemas de Optimización en Entornos Industriales CARRERA: LCC AÑO: 5º CREDITO HORARIO: 8 hs áulicas semanales DESPLIEGUE (primer semestre, segundo semestre Más detalles APUNTS DE REPRESENTACIÓ DEL CONEIXEMENT
Intel.ligència Artificial Grau en Informàtica APUNTS DE REPRESENTACIÓ DEL CONEIXEMENT Departament de Llenguatges i Sistemes Informàtics CURS 2011/2012 1Q This work is licensed under the Creative Commons Más detalles LABORATORIO 2. La biblioteca a nivel de usuario semso (semáforos Sistemas Operativos) brinda las siguientes primitivas:
1 Introducción LABORATORIO 2 En esta tarea se desea implementar un servicio sincronización de procesos a través de semáforos binarios con prioridad para el sistema operativo Linux. Para esto se deberá Más detalles ST31_Querying Microsoft SQL Server
ST31_Querying Microsoft SQL Server Presentación Este curso de 5 días proporciona a los estudiantes las habilidades técnicas necesarias para escribir consultas de Transact-SQL básicas para Microsoft SQL Más detalles CÁLCULO RELACIONAL. Cálculo y Algebra Relacional? Cálculo y Algebra Relacional?
CÁLCULO RELACIONAL Andrés Moreno S. 1 Cálculo y Algebra Relacional? El cálculo y el algebra relacional son alternativos entre si para manipular el modelo relacional. El Álgebra es prescriptiva o procedural, Más detalles FUNDAMENTOS DE PROGRAMACIÓN: TRABAJO PRÁCTICO OBLIGATORIO (EVALUACIÓN ORDINARIA) Curso: 2013/14
CONTEXTO FUNDAMENTOS DE PROGRAMACIÓN: TRABAJO PRÁCTICO OBLIGATORIO (EVALUACIÓN ORDINARIA) Curso: 2013/14 CASO DE APLICACIÓN: GESTIÓN DE APPS Versión: 2.0.6 El trabajo práctico se enmarca en el desarrollo Más detalles 1 Introducción al lenguaje PROLOG
1 Introducción al lenguaje PROLOG 1.1 Generalidades Prolog es un lenguaje de programación que se utiliza para resolver problemas en los que existen objetos y relaciones entre objetos. La programación en Más detalles GESTIÓN DE REDES PARTE III
PARTE III Arquitectura de Gestión OSI 3.1 Introducción La gestión de red OSI, pensada inicialmente para la gestión de las propias redes OSI, debe su implantación práctica al ser adoptada por los estándares Más detalles Temario Curso Bases de Datos
Temario Curso Bases de Datos TEMA 1. INTRODUCCION A LAS BASES DE DATOS 1. Cualidades De La Información 2. Sistemas de Información 2.1. Componentes de un Sistema de Información 3. Niveles de Gestión de Más detalles Iniciar flujo a partir de un archivo XML
How to Iniciar flujo a partir de un archivo XML Versión: 2.0 Fecha de publicación 30-03-2011 Aplica a: Q-flow 3.0y Q-flow 3.1 Índice Introducción... 3 Pre-requisitos... 3 Componentes de la solución... Más detalles 3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS
TEMA 12: MODELADO CON VARIABLES BINARIAS 1.- MOTIVACIÓN 2.- INTRODUCCIÓN 3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS 5.- MODELADO Más detalles PLAN DE ESTUDIOS Y CONTENIDOS MÍNIMOS
CARRERAS DE DOS AÑOS TECNICATURA EN PROGRAMACIÓN DE COMPUTADORAS PLAN DE ESTUDIOS Y CONTENIDOS MÍNIMOS Resolución UB 004/14 ANEXO Tabla general de asignaturas del Plan de Estudios y Obligaciones Académicas Más detalles Unidad 2: Gestión de Memoria
Unidad 2: Gestión de Memoria Tema 3, Gestión de Memoria: 3.1 Definiciones y técnicas básicas. 3.2 Gestión de memoria contigua: Partición, fragmentación, algoritmos de ubicación... 3.3 Paginación: Estructura Más detalles PRUEBAS DE ACCESO A CICLOS FORMATIVOS DE GRADO SUPERIOR Convocatoria de 22 y 23 de junio de 2010 (Resolución de 12 de febrero de 2010, BOA 04/03/2010)
DATOS DEL ASPIRANTE Apellidos: Nombre: DNI: CALIFICACIÓN I.E.S. Numérica de 0 a 10, con dos decimales PRUEBAS DE ACCESO A CICLOS FORMATIVOS DE GRADO SUPERIOR Convocatoria de 22 y 23 de junio de 2010 (Resolución Más detalles ORBERE. Memoria Técnica del Aplicativo de Gestión de la producción para ADIMDE
ORBERE Memoria Técnica del Aplicativo de Gestión de la producción para ADIMDE Bilbao, 12 de diciembre de 2006 INDICE 1. METODOLOGÍA DE TRABAJO 2 1.1 Pautas para el Desarrollo 2 1.2 Entorno Tecnológico, Más detalles UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I
UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO EN COMPUTACIÓN E INFORMÁTICA GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I CÓDIGO 50287 Elaborada por Más detalles 1. Sintaxis de Prolog
1. Sintaxis de Prolog Términos: Constantes: enteros (Ejs: 3, 4), átomos (Ejs: juan, pi) (en minúscula). Variables: Ejs: X, Casa (en mayúscula) Estructuras: functor, seguido de uno o más argumentos, es Más detalles Preliminares. Tipos de variables y Expresiones
Preliminares. Tipos de variables y Expresiones Felipe Osorio Instituto de Estadística Pontificia Universidad Católica de Valparaíso Marzo 5, 2015 1 / 20 Preliminares Computadoras desarrollan tareas a un Más detalles TEMA 1: INTRODUCCIÓN
1 DISEÑO Y DESARROLLO DE COMPILADORES TEMA 1: INTRODUCCIÓN Qué es un Compilador? Un compilador no es más que un traductor, es decir, un programa que nos permite pasar información de un lenguaje a otro. Más detalles Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA
Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA Antonio García Domínguez Inmaculada Medina Bulo Mariano Marcos Bárcena Universidad de Cádiz Escuela Superior de Más detalles MISIÓN UNIVERSIDAD DEL ISTMO VICERRECTORIA ACADÉMICA PROGRAMA ANALÍTICO
1. DATOS GENERALES UNIVERSIDAD DEL ISTMO VICERRECTORIA ACADÉMICA PROGRAMA ANALÍTICO CARRERA LICENCIATURA EN ADMINISTRACIÓN DE SISTEMAS ASIGNATURA PROGRAMACION II ABREVIATURA SIS CÓDIGO 0092 PRERREQUISITOS Más detalles Introducción. Paradigma de Lógica Gran importancia en la I.A. Origen: prueba de teoremas y razonamiento deductivo. Lógica.
Tema 2: Lógica y Razonamiento Automático tico Introducción Lógica Proposicional Lógica de Predicados Axiomas Unificación Razonamiento automático e Inferencias lógicas Resolución Regla de Inferencia Refutación Más detalles REDuy Guía para configuracion de DNS
REDuy Guía para configuracion de DNS Organización AGESIC Proyecto REDuy Asunto Guía para la configuración de DNS en los organismos conectados a REDuy Fecha 10/11/09 CONTENIDO Objetivo...3 Configuración Más detalles INTRODUCCIÓN A PHP. Javier Enciso
INTRODUCCIÓN A PHP Javier Enciso AGENDA Qué es PHP? Cómo funciona PHP? Instalación QUÉ ES PHP? QUÉ ES PHP? (1/7) PHP (acrónimo de "PHP: Hypertext Preprocessor"). Lenguaje interpretado de alto nivel embebido Más detalles Escuela Politécnica Superior de Elche
Práctica 0 (Repaso) Estándar de programación y Diagramas de flujo.:::1 Sesión:::. a. Estándar de normalización En este apartado se sugieren una serie de normas que ayudarán a que el código sea más fácil Más detalles Componentes de Integración entre Plataformas Información Detallada
Componentes de Integración entre Plataformas Información Detallada Active Directory Integration Integración con el Directorio Activo Active Directory es el servicio de directorio para Windows 2000 Server. Más detalles Tema 3. El modelo Relacional
Tema 3. El modelo Relacional Juan Ignacio Rodríguez de León Resumen Presenta el modelo entidad-relación. Visión de alto nivel de las cuestiones referentes a diseño de bases de datos y los problemas encontrados Más detalles UF1303 Elaboración de hojas de estilo
UF1303 Elaboración de hojas de estilo TEMA 1. Hojas de estilo en la construcción de páginas web TEMA 2. Diseño, ubicación y optimización de los contenidos de una página web OBJETIVOS: - Describir las características Más detalles Entrarás a formar parte de nuestra bolsa de empleo a la que acuden las empresas en busca de nuestros alumnos.
CURSO PROFESIONAL DE TRANSACT-SQL MÁSTER EN DESARROLLO DE APLICACIONES WEB CON JAVA ENTERPRISE EDITION Precio: 450 Euros y Matrícula Gratis. Modalidad: Presencial en nuestras aulas. Valores añadidos: Nuestro Más detalles ÍNDICE PRESENTACIÓN... 9. INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16
ÍNDICE PRESENTACIÓN... 9 INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16 I. VERDAD Y PORTADORES DE VERDAD... 19 1. De qué tipo de entidades predicamos la verdad?... Más detalles JAVA 8 Los fundamentos del lenguaje Java (con ejercicios prácticos corregidos)
Presentación 1. Historia 11 1.1 Por qué Java? 11 1.2 Objetivos del diseño de Java 12 1.3 Auge de Java 13 2. Características de Java 14 2.1 El lenguaje de programación Java 14 2.1.1 Sencillo 15 2.1.2 Orientado Más detalles Guía rápida de acceso al formulario con código WOP_11 para Internet Explorer.
Guía rápida de acceso al formulario con código WOP_11 para Internet Explorer. Requisitos... 1 Internet Explorer 8... 2 Instalan algo los applets en el ordenador?... 6 Necesito permisos de administrador?... Más detalles 1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad
CAPÍTULO 1 Lógica En lógica se analiza, entre otros muchos temas, si un razonamiento dado es correcto o no. Si bien sus aplicaciones prácticas son muy diversas, mencionaremos apenas dos: en las demostraciones Más detalles Capítulo 4. Requisitos del modelo para la mejora de la calidad de código fuente
Unidad 1: Conceptos generales de Sistemas Operativos. Tema 3: Estructura del sistema operativo. 3.1 Componentes del sistema. 3.2 Servicios del sistema operativo. 3.3 Llamadas al sistema. 3.4 Programas Más detalles Tema 6. Gestión de la memoria
Tema 6. Índice Introducción Compartición de memoria Memoria virtual Soporte en los procesadores: la MMU en Linux en Windows NT/2000 1 Tema 6. Introducción Necesidad de la gestión de la memoria Requisitos Más detalles CURSO DE ACCESS 2007 DESARROLLO DE APLICACIONES
CURSO DE ACCESS 2007 DESARROLLO DE APLICACIONES El alumno al finalizar el curso será capaz de desarrollar aplicaciones de bases de datos de varias tablas relacionadas, generando un completo y adecuado Más detalles INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008
INTRODUCCIÓN Estructura de Datos Tipos Abstractos de Datos (TAD S) Para poder obtener un programa que resuelva un problema dado, son necesarios varios pasos : La formulación y especificación del problema Más detalles Desarrollo del software imposible si las tareas tuviesen que expresarse en código máquina. Lenguajes de más alto nivel: comprensibles, manejables y
1. Paradigmas de programación Desarrollo del software imposible si las tareas tuviesen que expresarse en código máquina. Lenguajes de más alto nivel: comprensibles, manejables y automáticamente convertibles Más detalles Introducción a PYTHON. Cesar Husillos & Víctor Terrón. Abril de 2014
Introducción a PYTHON Cesar Husillos & Víctor Terrón IAA-CSIC Abril de 2014 Cesar Husillos & Víctor Terrón (IAA-CSIC) Módulos Abril de 2014 1 / 59 Índice 1 Overview 2 Organización 3 Reutilización 4 Cómo Más detalles UNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA Más detalles 2016 © DocPlayer.es Política de privacidad | Condiciones del servicio | Feedback

References: resolución 
 Resolución 
 resolución 
 Resolución 
 Resolución 
 Resolución 
 Resolución