UNIVERSIDAD NACIONAL DE SAN LUIS

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

Download "UNIVERSIDAD NACIONAL DE SAN LUIS"

Transcripción

1 UNIVERSIDAD NACIONAL DE SAN LUIS FACULTAD DE CIENCIAS FÍSICO MATEMÁTICAS Y NATURALES Tesis de Doctor en Ciencias de la Computación Sobre la Toma de Decisiones Usando Razonamiento Argumentativo en Agentes Autónomos Edgardo Ferretti San Luis Argentina 2010

2

3 Prefacio Esta Tesis es presentada como parte de los requisitos para optar al grado académico de Doctor en Ciencias de la Computación, de la Universidad Nacional de San Luis, y no ha sido presentada previamente para la obtención de otro título en esta Universidad u otras. La misma contiene los resultados obtenidos en investigaciones llevadas a cabo en el Departamento de Informática de la Universidad Nacional de San Luis, durante el período comprendido entre el mes de Marzo de 2005 y el mes de Diciembre de 2009, bajo la Dirección del Dr. Guillermo R. Simari, Profesor Titular del Departamento de Ciencias e Ingeniería de la Computación de la Universidad Nacional del Sur y bajo la Co-Dirección del Dr. Marcelo L. Errecalde, Profesor Adjunto del Departamento de Informática de la Universidad Nacional de San Luis. Edgardo Ferretti San Luis, Agosto de 2010.

4

5 Agradecimientos Muchas personas han contribuido en la realización de esta Tesis. Entre aquellas que lo hicieron activamente se encuentran mis asesores científicos, los doctores Guillermo R. Simari y Marcelo L. Errecalde. Sin el apoyo y el tiempo que me dedicaron la consecución de esta Tesis no habría sido posible. A Guillermo, quiero agradecerle el modo con que supo distinguir el camino a seguir en cada etapa de la investigación, logrando así un aprovechamiento máximo del tiempo invertido en este proyecto. También, quiero manifestarle cuánto he valorado los consejos que me ha dado relacionados a otros ámbitos que trascienden la vida universitaria. A Marcelo, quiero expresarle que haber desempeñado con él actividades conjuntas de docencia e investigación, me permitió apreciar su generosidad a nivel humano y también en lo respectivo a los conocimientos que posee de esta disciplina. El tiempo que juntos compartimos no sólo sirvió para llevar a cabo la investigación presentada en esta Tesis, sino que además pudimos trascender las fronteras del trabajo y forjar una hermosa amistad. Quiero expresar mi gratitud a todos los integrantes del Laboratorio de Investigación en Inteligencia Artificial, del Departamento de Ciencias e Ingeniería de la Computación, de la Universidad Nacional del Sur, y en particular a los doctores Alejandro J. García y Nicolás D. Rotstein, por su buena predisposición para confrontar y debatir ideas relacionadas con esta Tesis. También, quiero manifestar mi reconocimiento a la Lic. Susana C. Esquivel, directora del Laboratorio de Investigación y Desarrollo en Inteligencia Computacional, del Departamento de Informática de la Universidad Nacional de San Luis, quien en el año 2003 me permitió comenzar mi incipiente formación como investigador bajo su dirección. También le agradezco que me haya posibilitado entrar en contacto con el Dr. Guillermo Simari y su grupo de investigación de la Universidad Nacional del Sur, y que me haya brindado apoyo económico para viajar con cierta periodicidad a Bahía Blanca.

6 6 Finalmente, quiero agradecer especialmente a mi esposa Inés que me alentó todo el tiempo y, con mucho amor y paciencia supo entender mis momentos de ausencia. La elaboración de esta Tesis requirió de mucho trabajo y dedicación. Por eso quiero dedicarles este logro personal a mis padres, quienes con su ejemplo me enseñaron que con esfuerzo y perseverancia todo es posible. También quiero dedicar este trabajo a mi hija Valentina que es el motor generador de toda mi felicidad cotidiana. Edgardo, Agosto de 2010.

7 Resumen La argumentación es un modelo de razonamiento basado en la construcción y evaluación de argumentos que interactúan entre sí. Estos argumentos tienen como fin, soportar, explicar o atacar enunciados que pueden ser opiniones, decisiones, etc. La argumentación ha sido utilizada en diferentes dominios, como razonamiento nomonótono, manejo de inconsistencias en bases de conocimiento y modelado de diferentes tipos de diálogos, en particular, persuasión y negociación. En un enfoque de negociación basado en argumentación, se tiene la ventaja de que además de intercambiar ofertas, se intercambian razones que las soportan y eventualmente podrían llevar al receptor a cambiar sus preferencias. En consecuencia, se puede llegar a un acuerdo entre las partes de manera más conveniente. De esta manera, adoptar un enfoque de este estilo en los problemas de decisión, tiene el beneficio de que el tomador de decisiones además de tener una buena elección, tendría las razones subyacentes que la soportan de una manera fácil de entender. La toma de decisiones basada en argumentación, es más afín a la forma en que los seres humanos deliberan y finalmente toman o entienden una elección. La idea de articular decisiones en base a argumentos es relevante para varios enfoques diferentes de decisión, tales como decisión bajo incertidumbre, decisión multi-criterio y decisiones basadas en reglas. En general, puede decirse que los diversos enfoques propuestos construyen para cada decisión posible, un conjunto de argumentos a su favor y un conjunto de argumentos en su contra. No obstante, los tomadores de decisiones no se limitan solamente a construir estos conjuntos, sino que ellos intercambian argumentos, los hacen interactuar, atacándose o defendiéndose entre ellos. Asimismo, dentro de un enfoque particular de decisión, existen propuestas muy diversas que difieren en: los lenguajes de representación de conocimiento y razonamiento que utilizan, si su definición está dada

8 ii dentro de una arquitectura de agente particular, la formalidad con la que se relacionan con enfoques clásicos de toma de decisiones, etc. En particular, en la presente Tesis Doctoral, se proponen dos marcos originales de toma de decisiones individuales que están vinculados formalmente con la Teoría de Decisión Clásica, pero justificados desde el punto de vista de la argumentación. El primero, se basa en un formalismo de argumentación concreto que además tiene un intérprete disponible, lo que posibilita su aplicación para la resolución de problemas del mundo real. El segundo, es un marco de decisión abstracto que se independiza de muchas de las características de implementación del marco concreto. Así, este marco abstracto sirve como una plantilla genérica a partir de la cual se pueden crear diversos marcos de decisión, al instanciar el marco abstracto con diferentes formalismos concretos de argumentación. El modelo conceptual al que responden estos marcos para la toma de decisiones basadas en argumentación, combina el uso de argumentos y reglas de decisión. El criterio de comparación de argumentos utilizado, se basa en definir prioridades entre los criterios de preferencia del agente (tomador de decisiones). Para ello, a cada criterio de preferencia se le asocia un literal distinguido y al realizar cambios en las relaciones de preferencia entre los mismos, se pueden cambiar de manera flexible las preferencias del agente y el criterio de preferencia entre argumentos. En el caso del marco de decisión concreto, se incluye una metodología simple para desarrollar las componentes de decisión del agente. De esta manera, si el agente, tiene disponible todo el conocimiento relevante acerca de sus preferencias con respecto a todas las posibles alternativas que se le podrían presentar, entonces el comportamiento de elección correspondiente al marco propuesto, coincide con el comportamiento óptimo respecto de una relación de preferencia racional. En cambio, si el agente tiene conocimiento parcial acerca de sus preferencias, las decisiones que éste tomará aún exhibirán un cierto grado de coherencia, con respecto a aquellas alternativas que ha podido determinar como no elegibles. Por su parte el marco de decisión abstracto, también exhibe el mismo comportamiento de elección consistente con la teoría general de elección de la Teoría de Decisión Clásica. La diferencia con el marco de decisión concreto radica en que aquí, el equivalente a la metodología de desarrollo de las componentes del marco está dado en forma de restricciones y propiedades definidas sobre un marco de argumentación abstracto dinámico.

9 iii Los principios enunciados en esta Tesis, son ejemplificados en tres dominios de aplicación distintos. En el primero, se analiza cómo se desarrollan los procesos de decisión de un robot que realiza tareas de limpieza y que debe decidir el orden en que transportará al depósito cada caja en el ambiente. El segundo, consiste de un agente software de impresión, que debe decidir a qué impresora de la red manda un cierto trabajo, en función de las características de las impresoras y de su disponibilidad. En este dominio se hace hincapié en mostrar los cambios que pueden ocurrir en el proceso de decisión del agente, dependiendo de los valores que tomen los atributos dinámicos de las alternativas. Finalmente, el tercer dominio corresponde a un agente de compra de propiedades, donde se ejemplifica el uso de la alternativa no alt, para modelar el caso donde el agente no desea elegir ninguna alternativa de las presentadas en el experimento de elección.

10

11 Índice general 1. Introducción Descripción de la Problemática Teoría de Decisión Clásica Enfoques de Decisión BDI y de Razonamiento Práctico Argumentación y Toma de Decisiones Contribuciones de esta Tesis Organización de la Tesis Toma de Decisiones Individuales Introducción Relaciones de Preferencia Funciones de Utilidad Reglas de Elección Vínculo entre las Relaciones de Preferencia y las Reglas de Elección Conclusiones Revisión de Modelos de Decisión Basados en Argumentación Introducción Modelo de Decisión de Fox y Parsons Modelo de Decisión de Bonet y Geffner

12 vi ÍNDICE GENERAL Mecanismo de Decisión Semántica del Modelo Modelo de Decisión de Kakas y Moraïtis Formalización Modelo de Decisión de Atkinson et al Formalización de Bench-Capon y Prakken Modelo de Decisión de Amgoud y Prade Un Marco General para la Toma de Decisiones Basadas en Argumentación Principios para Comparar Decisiones Representación de Conocimiento y Preferencias Una Tipología de Argumentos Prácticos Conclusiones Programación en Lógica Rebatible Introducción Sintaxis de los Programas Lógicos Rebatibles Derivaciones Rebatibles Argumentación Rebatible Desacuerdo, Ataque y Contra-argumentación Comparación de Argumentos Derrota y Líneas de Argumentación Árboles de Dialéctica y Literales Garantizados Conclusiones Componente de Elección Introducción Reglas de Decisión Conclusiones

13 ÍNDICE GENERAL vii 6. Un Marco Concreto para Toma de Decisiones Basadas en DeLP Introducción Dominio de Aplicación Criterio de Comparación de Argumentos Componente Epistémica Marco de Decisión Comparación Formal Respecto de la Teoría de Decisión Clásica Implementación Conclusiones Aplicación del MDC a Otros Dominios Dominio de Aplicación: Agente de Impresión Dominio de Aplicación: Agente de Compra de Propiedades Conclusiones Un Marco Argumentativo Abstracto para Toma de Decisiones Introducción Marco de Representación de Conocimiento y Preferencias Evidencia, Argumentos y Estructuras Argumentales El DAF y su Instancia Activa Argumentación y Árboles de Dialéctica Marco de Decisión Abstracto Conclusiones

14 viii ÍNDICE GENERAL 9. Una Instancia del MDA Basada en el Formalismo de Prakken y Sartor Introducción El Lenguaje L Argumentos Teoría de Prueba Conclusiones Una Instancia del MDA Basada en el Formalismo de Chesñevar et al Introducción El Lenguaje L Argumentos Teoría de Prueba Conclusiones Discusión Conclusiones 223 Bibliografía 227 A. Terminología Estándar de Lógica y Programación en Lógica 263 Signatura Constante Proposición Alfabeto Término (Fijo) Átomo Literal (Fijo) Complemento de un Literal Hecho

15 ÍNDICE GENERAL ix B. Demostraciones de los Capítulos 6 y B.1. Demostraciones del Capítulo B.2. Demostraciones del Capítulo

16

17 Capítulo 1 Introducción Desde hace mucho tiempo, la Toma de Decisiones es objeto de estudio activo en muchas áreas de investigación, como la Filosofía, Economía, Psicología, Ciencias de la Computación, entre otras. Como se discute en [KT00], es claro que ésta tiene tantas formas de interpretarse como áreas de estudio abordan este tema de investigación. Por ejemplo, desde una perspectiva psicológica, es necesario examinar las decisiones individuales en el contexto del conjunto de necesidades y preferencias que la gente tiene. Esto se debe a que las personas evalúan sus posibilidades basándose en la expectativa de valores subjetivos de lo que se espera de ellas. Desde una perspectiva cognitiva, la toma de decisiones es considerada como el resultado de un proceso mental en continua interacción con el ambiente, con el fin de seleccionar un curso de acción entre las alternativas posibles. El análisis normativo hace hincapié en la definición de racionalidad y en la lógica de la toma de decisiones, pues muchos axiomas y principios han sido propuestos para regir las preferencias de un tomador de decisiones racional. Alternativamente, el análisis descriptivo de la toma de decisiones concierne a las creencias y preferencias de las personas como son, y no como deberían ser. Inclusive, a otro nivel, la toma de decisiones puede concebirse como una actividad de resolución de problemas cuya finalización está dada por la obtención de una solución satisfactoria. Por lo tanto, de forma general, podría decirse que la toma de decisiones es un proceso de razonamiento (racional) o emocional (quizás irracional), y que puede estar basado en suposiciones explícitas o implícitas.

18 2 Capítulo 1. Introducción 1.1. Descripción de la Problemática En particular, en Ciencias de la Computación, los problemas de toma de decisiones han sido abordados mayormente desde el campo de investigación de la Inteligencia Artificial (IA). De acuerdo con lo expuesto por Doyle y Thomason en [DT99], los distintos mecanismos formales de toma de decisiones, no deben permanecer en el vacío, sino que deben ser integrados de manera coherente en modelos de agentes desarrollados en otras áreas de estudio dentro de la IA. Por ejemplo, en [BT96] se realiza un estudio a nivel teórico, donde se presenta un enfoque axiomático para caracterizar las propiedades deseables de esta integración. Asimismo, en [Wel96] se proveen fundamentos prácticos sobre esta integración, en base a la experiencia obtenida por Wellman en el área de programación orientada a mercados. Desde entonces, diversos enfoques de decisión se han integrado dentro de arquitecturas de agentes, entre los que se pueden mencionar: especificaciones cualitativas de modelos cuantitativos [BK97], representaciones gráficas de distribuciones de probabilidades [D A99], planeamiento bajo incertidumbre [Bly99], entre otros. En un trabajo reciente, [AP09], Amgoud y Prade distinguieron dos tendencias principales que están influenciando actualmente la investigación en Inteligencia Artificial en este tema de estudio. Estas son, la Teoría de Decisión Clásica y los enfoques de decisión BDI (Beliefs-Desires- Intentions) y de Razonamiento Práctico Teoría de Decisión Clásica La Teoría de Decisión Clásica, desarrollada mayormente por economistas, se ha centrado principalmente en explicitar cuándo un tomador de decisiones es racional. En consecuencia, se han elaborado principios para comparar distintas alternativas. Un principio de decisión particular como el de la utilidad esperada clásica [Sav72], debe ser justificado sobre la base de un conjunto de postulados de racionalidad, que deben ser satisfechos por la relación de preferencia existente entre las acciones. Esto significa que en este enfoque la racionalidad es capturada a través de un conjunto de postulados, los cuales describen qué es un comportamiento de decisión racional. Este enfoque tiene como entradas un conjunto de acciones candidatas y una función que calcula el valor de sus consecuencias, cuando las acciones son realizadas en un estado

19 Descripción de la Problemática 3 dado junto con información parcial o completa acerca del estado actual del mundo. En otras palabras, este enfoque distingue entre conocimiento y preferencias. En la práctica, el conocimiento está codificado por una función de distribución para evaluar la probabilidad de ocurrencia de los diferentes estados del mundo, mientras que las preferencias están representadas por una función de utilidad que estima cuán buena es una determinada consecuencia. La salida es una relación de preferencia entre acciones codificada de acuerdo a lo mencionado precedentemente. Es importante destacar, que tal enfoque tiene como objetivo hacer un ordenamiento del grupo de acciones candidatas, en vez de centrarse en una acción individual. Así, realizando una sobre-simplificación, se pueden distinguir dos grupos de trabajo en IA que siguen este enfoque de toma de decisiones. El primer grupo estaría representado por investigadores que usan Redes Bayesianas [Pea88, FN01, WP04] y trabajan en planeamiento bajo incertidumbre; por ejemplo [DKKN95, Bly99]. Además, algunos trabajos en IA han tenido como objetivo desarrollar marcos de decisión cualitativos, pero siguiendo aún la línea de pensamiento de la Teoría de Decisión Clásica; entre ellos pueden citarse [TP94, DP95, DT99]. El segundo grupo, se describe en la siguiente sub-sección y está representado por los investigadores en IA que trabajan en razonamiento práctico Enfoques de Decisión BDI y de Razonamiento Práctico Los investigadores en IA que trabajan en razonamiento práctico, comenzando con la pregunta Cuál es la acción correcta a realizar por un agente en una situación determinada? [Raz78, Pol98], han propuesto como respuesta un proceso de dos pasos donde: (a) el primer paso (a menudo llamado deliberación [Woo00]) consiste en identificar las metas del agente; y (b) en el segundo paso (conocido usualmente como razonamiento medios/fines), se buscan maneras de lograr esas metas, es decir planes, y en consecuencia metas intermedias y sub-planes. Este tipo de enfoque trae a colación aspectos tales como: Cómo se generan las metas? Son las acciones posibles? Tienen las acciones efectos indeseables? Son los sub-planes compatibles? Existen planes alternativos para lograr una meta dada?

20 4 Capítulo 1. Introducción En [Bra87, BIP88], se ha argumentado que esto puede hacerse representando los estados cognitivos del agente; a saber, sus creencias, deseos e intenciones (arquitectura BDI). Esto requiere un enfoque expresivo en cuanto a la representación de conocimiento y preferencias, que contrasta con el enfoque de decisión clásica que usa directamente una distribución de incertidumbre (una distribución de probabilidad en el caso de la utilidad esperada) y una función de utilidad (valor). Además, el paso de deliberación es meramente un problema de inferencia, pues equivale a encontrar un conjunto de deseos que están justificados sobre la base del estado actual del mundo y sobre los deseos condicionales. De hecho, chequear si un plan es factible y no guiará a consecuencias indeseadas es aún un problema de inferencia. Un problema de decisión ocurre solamente cuando se tienen varios planes o sub-planes posibles y uno de ellos debe ser elegido. Finalmente, siguiendo la tendencia planteada en [FKA92], donde además de ver a la argumentación como un modelo simbólico de toma de decisiones se la presenta como un modelo de razonamiento práctico (del estilo del que los seres humanos usan a diario), se han propuesto muchos sistemas de razonamiento práctico (por ejemplo [RA06, AP07, RGS07, ADL08]) que usan argumentación para proveer razones (argumentos) para elegir o descartar un deseo como una intención Argumentación y Toma de Decisiones La argumentación es un modelo de razonamiento basado en la construcción y evaluación de argumentos que interactúan entre sí. Estos argumentos tienen como fin, soportar, explicar o atacar enunciados que pueden ser opiniones, decisiones, etc. La argumentación ha sido utilizada en diferentes dominios [RN03, RS09] como razonamiento no-monótono [Pol92, SL92, Dun95, CML00, AC02a], manejo de inconsistencias en bases de conocimiento [BDP93, AC02b, ACG + 06, ACGS06] y modelado de diferentes tipos de diálogos, en particular persuasión [Syc90, AMP00, Pra06] y negociación [KSE98, APM00, RRJ + 03]. Un enfoque de negociación basado en argumentación tiene la ventaja de que además de intercambiar ofertas, se intercambian razones que las soportan y eventualmente podrían llevar al receptor a cambiar sus preferencias. En consecuencia, se puede llegar a un acuerdo entre las partes de manera más conveniente, pues en otros enfoques donde las preferencias de los agentes son fijas la negociación puede fallar [FU92].

21 Contribuciones de esta Tesis 5 Así, adoptar un enfoque de este estilo en los problemas de decisión, tendría el beneficio de que el tomador de decisiones además de tener una buena elección, tendría las razones que la soportan de una manera fácil de entender. La toma de decisiones basada en argumentación, es más afín a la forma en que los seres humanos deliberan y finalmente toman o entienden una elección [SST93]. Los argumentos tienen dos roles diferentes en las decisiones que se toman diariamente; ayudan a seleccionar una o varias opciones de un conjunto de alternativas o bien sirven para explicar o justificar una elección ya tomada. En esta Tesis, un problema de decisión consistirá en seleccionar las opciones preferidas sobre un conjunto de alternativas posibles. Esta tarea se llevará a cabo considerando: 1. La información disponible acerca del estado actual del mundo. 2. Las preferencias del tomador de decisiones. Fox y Parsons [PF96] fueron de los primeros en plantear seriamente la necesidad de explorar enfoques simbólicos para la toma de decisiones y en particular el uso de argumentación. Para ello se basaron en trabajos previos de Fox ([FBB80, Fox80, FMGP85, Fox87]), donde se sugería que los métodos numéricos no eran los únicos medios prácticos para tomar decisiones, y los modelos cualitativos basados en conocimiento eran más afines a la forma como los seres humanos razonan bajo incertidumbre, que los modelos estadísticos tradicionales. De esta manera, la idea de articular decisiones en base a argumentos empezó a ser relevante para varios enfoques diferentes de decisión, tales como decisión bajo incertidumbre [AP04, Amg05, AP06c], decisión multicriterio [ABP05, APS05, OMT07], decisiones basadas en reglas [BG96, KM03, ABCM06] y decisiones basadas en casos [Sar98, HBC01, BA03] Contribuciones de esta Tesis Los aportes principales de esta Tesis son dos. En primer lugar, se propone un marco de decisión basado en argumentación, que usa como formalismo de representación de conocimiento y razonamiento, a la Programación en Lógica Rebatible. La Programación en Lógica Rebatible (DeLP), es un lenguaje que extiende desarrollos del área de programación 1 En el Capítulo 3, se presenta una revisión de cinco modelos de decisión cualitativos simbólicos muy relevantes dentro de esta área de estudio en Inteligencia Artificial, los cuales abordan los distintos enfoques de decisión referidos anteriormente.

22 6 Capítulo 1. Introducción en lógica bajo la óptica de los últimos avances en el área de argumentación rebatible. Esto lo convierte en una herramienta muy útil para modelar conocimiento que involucra información incompleta o potencialmente contradictoria. El mecanismo de inferencia sobre el cual está basado permite decidir entre conclusiones contradictorias, y adaptarse fácilmente a entornos cambiantes. Además, el hecho de tener disponible un intérprete de este lenguaje, ha posibilitado que se provea una implementación de este marco de decisión para su aplicación en la resolución de problemas del mundo real (ver [FKS + 10, SFEA10]). Si bien este marco de decisión concreto 2 es un marco de decisión de propósito general, éste ha sido mayormente probado en un dominio de aplicación donde un robot Khepera 2 realiza tareas de recolección de objetos, en un ambiente determinístico totalmente observable. Para ello, fue necesario desarrollar una biblioteca que permitiera programar a los robots Khepera usando predicados en Prolog, como así también representar su conocimiento y razonar usando DeLP. El desarrollo de esta biblioteca fue publicado en [FEGS06], donde mayormente se hizo hincapié en la descripción de cómo se implementaron cada una de las componentes de la biblioteca y en su API respectiva. Posteriormente, en [FEGS07c], se introdujeron mejoras a esta biblioteca, para que múltiples robots pudieran estar en operación dentro del mismo marco de trabajo, y que la percepción del ambiente (por parte de los robots) se manejara como consultas contextuales 3 enviadas al intérprete DeLP. De los resultados obtenidos en los trabajos [FEGS07a, FRE + 07, FEGS07b], se determinó la necesidad de contar con una componente externa al formalismo de representación de conocimiento y razonamiento, para poder implementar efectivamente la política de decisión de los robots. Este hecho sentó la base del enfoque conceptual propuesto en esta Tesis, para modelar los dos marcos de decisión aquí propuestos como tri-uplas, donde la primera componente contiene las posibles alternativas a ser presentadas al agente, la segunda codifica su conocimiento y preferencias, y la tercera es la componente de elección. Fue así, como en [FEGS08], se presentaron las reglas de decisión, las cuales representan un aporte secundario de esta Tesis. Asimismo, en [FEGS08], se avanzó hacia una definición general del marco de decisión. Inclusive, se presentó una metodología de desarrollo para el marco de decisión y se propuso una formalización del comportamiento de elección exhibido por un agente usando este marco de decisión. En [FEGS10] se extendió la labor realizada en [FEGS08] redefiniendo las componentes del marco de decisión, de manera 2 Se lo referencia de esta manera para indicar que está basado en un formalismo argumentativo concreto. 3 En la Sección 6.7, se describe este tipo de consultas.

23 Contribuciones de esta Tesis 7 que éste fuera conceptualmente más simple y homogéneo. Esto también posibilitó refinar la formalización realizada de acuerdo con la Teoría de Decisión Clásica, en lo respectivo al comportamiento de elección del marco de decisión. Así, en el Capítulo 6 se presenta este marco de decisión concreto tal como se lo definió en [FEGS10]. Un aspecto novedoso de este marco de decisión reside en la conceptualización de las alternativas desde el punto de vista de la literatura de marketing [RL91, RL93]. En este enfoque, cada alternativa es tratada conceptualmente como una marca (de un producto) que el consumidor (tomador de decisiones) está considerando comprar (elección). Así, la decisión de qué alternativa elegir estará dada por la generación de argumentos a favor y en contra de cada posible alternativa, en conjunto con el accionar de las reglas de decisión. Este enfoque es la principal diferencia con respecto a todos los modelos presentados en el Capítulo 3, que comparten una misma visión de la toma de decisiones; concebirla como una forma de razonamiento orientado a la acción. Es por eso, que todos estos modelos consideran las metas del agente o los valores esperados de las acciones, para decidir qué acción elegir. Hasta donde sabe el autor, el marco de decisión propuesto en [FEGS08], fue el primero que tratara a las alternativas desde el punto de vista de la literatura de marketing, en el campo de investigación de la toma de decisiones basadas en argumentación. Por eso, se determinó que poder independizarse tanto como sea posible de las propiedades características de DeLP, para proponer un marco de decisión abstracto siguiendo este enfoque conceptual, resulta en un aporte mucho más significativo y es de hecho, el segundo aporte principal de esta Tesis. Esto se debe a que este marco abstracto servirá como plantilla para diseñar marcos de decisión basados en distintos formalismos concretos de argumentación, y cuyo comportamiento de elección sería consistente con la teoría general de elección de la Teoría de Decisión Clásica. De hecho, en los Capítulos 9 y 10 se presentan dos instancias del marco de decisión abstracto propuesto en el Capítulo 8. Estos marcos podrían considerarse aportes secundarios de esta Tesis, pues si bien, son instanciaciones del marco abstracto aquí propuesto, no dejan de ser dos nuevos marcos de decisión concretos, en lo que respecta al área de investigación de toma de decisiones basadas en argumentación.

Nombre de la asignatura: Inteligencia Artificial. Créditos: 2-2 - 4. Aportación al perfil

Nombre de la asignatura: Inteligencia Artificial. Créditos: 2-2 - 4. Aportación al perfil Nombre de la asignatura: Inteligencia Artificial Créditos: 2-2 - 4 Aportación al perfil Diseñar e implementar interfaces hombre- máquina y máquinamáquina para la automatización de sistemas. Identificar

Más detalles

RELATORIA. Lectura 14: Mentes, Cerebros y Programas.

RELATORIA. Lectura 14: Mentes, Cerebros y Programas. RELATORIA Lectura 14: Mentes, Cerebros y Programas. Relatores: Expositores: Colofones: Miguel Ángel Jiménez Carolina Calvache Edward Rojas Alejandra Álvarez Angélica Franco Katherine Casas Marvy Ramírez

Más detalles

MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL

MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL MÁSTER UNIVERSITARIO EN ANÁLISIS ECONÓMICO Y EMPRESARIAL Centro Responsable: Facultad de Ciencias Económicas y Empresariales Orientación: Investigadora y Profesional Especialidades: Análisis Económico.

Más detalles

CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS

CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS CAPÍTULO 1 INTRODUCCIÓN, HIPÓTESIS Y OBJETIVOS 1 INTRODUCCIÓN 1.1 Justificación Esta investigación está motivada por el interés en lograr una mejor comprensión del papel que desempeña la creatividad dentro

Más detalles

PERFIL DEL INGENIERO DE SISTEMAS FUSM

PERFIL DEL INGENIERO DE SISTEMAS FUSM PERFIL DEL INGENIERO DE SISTEMAS FUSM PERFIL DEL INGENIERO DE SISTEMAS DE LA FUSM El perfil del Ingeniero de Sistemas presencial de la Fundación Universitaria San Martín, Bogotá, está en capacidad de modelar

Más detalles

Las reglas se parecen un poco a las vistas relacionales. Especifican relaciones virtuales que no están

Las reglas se parecen un poco a las vistas relacionales. Especifican relaciones virtuales que no están BASES DE DATOS DEDUCTIVAS Introducción: El interés de los Sistemas de Gestión de Bases de Datos Deductivas tiende a incrementarse conforme se amplía su campo de aplicación (Gestión, Sistemas Expertos).

Más detalles

Asignatura (E): Jornada de Formación Permanente: Proyecto de Trabajo Especial de Grado. ESTRUCTURA DEL PROYECTO DE TEG.

Asignatura (E): Jornada de Formación Permanente: Proyecto de Trabajo Especial de Grado. ESTRUCTURA DEL PROYECTO DE TEG. Portada (Ver anexo J) * Página de Presentación (Ver anexo H) * Dedicatoria (opcional) * Agradecimiento (opcional) * Índice General (Ver anexo K) * Lista de Cuadros (Ver anexo F) * Lista de Gráficos (Ver

Más detalles

INGENIERÍA EN INFORMÁTICA. Ingeniero en Informática

INGENIERÍA EN INFORMÁTICA. Ingeniero en Informática Facultad de Ingeniería Av. Paseo Colón 850 (C1063ACV) Ciudad de Buenos Aires Tel.: (011) 4343-0893 Fax: (011) 4345-7262 Página web: www.ingenieria.uba.ar Correo electrónico: academica@fi.uba.ar INGENIERÍA

Más detalles

Capítulo 1. Introducción

Capítulo 1. Introducción Capítulo 1. Introducción El WWW es la mayor fuente de imágenes que día a día se va incrementando. Según una encuesta realizada por el Centro de Bibliotecas de Cómputo en Línea (OCLC) en Enero de 2005,

Más detalles

Inteligencia Artificial

Inteligencia Artificial Artificial I.T. en Informática de Sistemas, 3º Curso académico: 2010/2011 Profesores: Ramón Hermoso y Roberto Centeno Artificial 3º ITIS Tema 1: Introducción a la IA 1. Introducción a la Artificial 1.1

Más detalles

3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON)

3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON) 3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON) 3.1.1 Introducción Este método proporciona un soporte para el diseño creativo de productos de software, inclusive a escala industrial.

Más detalles

PROGRAMA DE DOCTORADO EN DIDÁCTICA DE LAS CIENCIAS EXPERIMENTALES Y LA MATEMÁTICA FACULTAD DE FORMACIÓN DEL PROFESORADO TESIS DOCTORAL

PROGRAMA DE DOCTORADO EN DIDÁCTICA DE LAS CIENCIAS EXPERIMENTALES Y LA MATEMÁTICA FACULTAD DE FORMACIÓN DEL PROFESORADO TESIS DOCTORAL PROGRAMA DE DOCTORADO EN DIDÁCTICA DE LAS CIENCIAS EXPERIMENTALES Y LA MATEMÁTICA FACULTAD DE FORMACIÓN DEL PROFESORADO TESIS DOCTORAL CONTRIBUCIÓN AL ESTUDIO DEL APRENDIZAJE DE LAS CIENCIAS EXPERIMENTALES

Más detalles

ADMINISTRACIÓN DE PROYECTOS

ADMINISTRACIÓN DE PROYECTOS ADMINISTRACIÓN DE PROYECTOS QUÉ ES LA ADMINISTRACIÓN DE PROYECTOS? Es la planeación, organización, dirección y control de los recursos para lograr un objetivo a corto plazo. También se dice que la administración

Más detalles

forma de entrenar a la nuerona en su aprendizaje.

forma de entrenar a la nuerona en su aprendizaje. Sistemas expertos e Inteligencia Artificial,Guía5 1 Facultad : Ingeniería Escuela : Computación Asignatura: Sistemas expertos e Inteligencia Artificial Tema: SISTEMAS BASADOS EN CONOCIMIENTO. Objetivo

Más detalles

PROGRAMA DE DOCTORADO INTERUNIVERSITARIO DESARROLLO PSICOLÓGICO, APRENDIZAJE Y EDUCACIÓN: PERSPECTIVAS CONTEMPORÁNEAS

PROGRAMA DE DOCTORADO INTERUNIVERSITARIO DESARROLLO PSICOLÓGICO, APRENDIZAJE Y EDUCACIÓN: PERSPECTIVAS CONTEMPORÁNEAS PROGRAMA DE DOCTORADO INTERUNIVERSITARIO DESARROLLO PSICOLÓGICO, APRENDIZAJE Y EDUCACIÓN: PERSPECTIVAS CONTEMPORÁNEAS NORMAS Y CRITERIOS DE PRESENTACIÓN Y EVALUACIÓN DEL TRABAJO DE INVESTIGACIÓN TUTELADO

Más detalles

((X A Y ) = A ) si y solo si X = Y, A = B, A X = X, (X A Y ) = X Y, (X A Y ) = X Y

((X A Y ) = A ) si y solo si X = Y, A = B, A X = X, (X A Y ) = X Y, (X A Y ) = X Y El examen de Lógica y fundamentos del 11-02-2005 resuelto por cortesía de Alberto Castellón 1) Sea A = P(B) el conjunto de los subconjuntos de un conjunto B. a) Pruébese que A es un modelo de la teoría

Más detalles

Clase 09. La capa lógica. Mg. A. G. Stankevicius. Segundo Cuatrimestre

Clase 09. La capa lógica. Mg. A. G. Stankevicius. Segundo Cuatrimestre Ingeniería de Aplicaciones para la Web Semántica Clase 09 La capa lógica Mg. A. G. Stankevicius Segundo Cuatrimestre 2005 Copyright 2 Copyright 2005 A. G. Stankevicius. Se asegura la libertad para copiar,

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

Resolución de Problemas: Situaciones y Contextos

Resolución de Problemas: Situaciones y Contextos Resolución de Problemas: Situaciones y Contextos Jose Luis Lupiáñez Universidad de Granada Un presentador de TV mostró el gráfico siguiente y dijo: Este gráfico muestra que hay un enorme aumento del número

Más detalles

Glosario. actividad. 1. (tarea) 2. es un subproceso que no requiere mas descomposición.

Glosario. actividad. 1. (tarea) 2. es un subproceso que no requiere mas descomposición. Glosario Aclaraciones Los conceptos del glosario están ordenados alfabéticamente. Un concepto puede ser un único término como meta o una frase como ambiente de ingeniería de software centrado en procesos.

Más detalles

Lo que miden los niveles de dominio

Lo que miden los niveles de dominio NIVELES DE DESEMPEÑO PISA XI. ESTANDARES CURRICULARES Y APRENDIZAJES ESPERADOS XI.1. PISA. Un referente internacional El Programa para la Evaluación Internacional de Alumnos de la OCDE (PISA, por sus siglas

Más detalles

IV. Problemas relativos a la construcción del conocimiento y al cambio cognitivo

IV. Problemas relativos a la construcción del conocimiento y al cambio cognitivo Unidad 4 IV. Problemas relativos a la construcción del conocimiento y al cambio cognitivo 4.1. La problemática del dominio en relación al conocimiento. Dominio general y dominios específicos. Diferenciación

Más detalles

Nuevos Modelos de Toma de Decisión en Grupo con Información Lingüística Difusa

Nuevos Modelos de Toma de Decisión en Grupo con Información Lingüística Difusa UNIVERSIDAD DE GRANADA Escuela Técnica Superior de Ingenierías Informática y de Telecomunicación Departamento de Ciencias de la Computación e Inteligencia Artificial Nuevos Modelos de Toma de Decisión

Más detalles

DATOS DE ADMISIÓN AL PROGRAMA DE DOCTORADO

DATOS DE ADMISIÓN AL PROGRAMA DE DOCTORADO PROGRAMA Psicología PLAZAS DE NUEVO INGRESO PRIMER CURSO: 40 SEGUNDO CURSO: 40 TERCER CURSO: 40 CENTRO ADMINISTRATIVO RESPONSABLE Centro / Instituto / Departamento: Facultad de Psicología Contacto: David

Más detalles

Espacios Vectoriales

Espacios Vectoriales Espacios Vectoriales Departamento de Matemáticas, CCIR/ITESM 4 de enero de 2 Índice 3.. Objetivos................................................ 3.2. Motivación...............................................

Más detalles

DOCTORADO EN CIENCIAS COMPUTACIONALES

DOCTORADO EN CIENCIAS COMPUTACIONALES DOCTORADO EN CIENCIAS COMPUTACIONALES Objetivos El programa de Doctorado en Ciencias Computacionales, tiene el propósito esencial de formar profesionales con las siguientes características: Amplio dominio

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 Í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

PDF created with pdffactory Pro trial version www.pdffactory.com

PDF created with pdffactory Pro trial version www.pdffactory.com Universidad de Los Andes Facultad de Humanidades y Educación Escuela de Educación Departamento de Educación Física Cátedra Didáctica de la Educación Física RESUMEN DE LA TAXONOMIA DE LOS OBJETIVOS DE LA

Más detalles

REGLAMENTO PROGRAMA DE DOCTORADO EN GENÓMICA INTEGRATIVA FACULTAD DE CIENCIAS UNIVERSIDAD MAYOR

REGLAMENTO PROGRAMA DE DOCTORADO EN GENÓMICA INTEGRATIVA FACULTAD DE CIENCIAS UNIVERSIDAD MAYOR REGLAMENTO PROGRAMA DE DOCTORADO EN GENÓMICA INTEGRATIVA FACULTAD DE CIENCIAS UNIVERSIDAD MAYOR TÍTULO I. DISPOCISIONES GENERALES. Artículo 1º. El presente reglamento establece las normas que rigen el

Más detalles

Apuntes de Matemática Discreta 9. Funciones

Apuntes de Matemática Discreta 9. Funciones Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y

Más detalles

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos

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

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES El modelo relacional se basa en dos ramas de las matemáticas: la teoría de conjuntos y la lógica de predicados de primer orden. El hecho de que

Más detalles

Límites. Definición de derivada.

Límites. Definición de derivada. Capítulo 4 Límites. Definición de derivada. 4.1. Límites e indeterminaciones Hemos visto en el capítulo anterior que para resolver el problema de la recta tangente tenemos que enfrentarnos a expresiones

Más detalles

Problemas indecidibles

Problemas indecidibles Capítulo 7 Problemas indecidibles 71 Codificación de máquinas de Turing Toda MT se puede codificar como una secuencia finita de ceros y unos En esta sección presentaremos una codificación válida para todas

Más detalles

Herramienta para formular objetivos

Herramienta para formular objetivos Herramienta para formular objetivos Objetivo: Apoyarte en la redacción de objetivos de aprendizaje. Instrucciones: 1. Elige el dominio de aprendizaje adecuado. 2. Selecciona la categoría correcta del dominio

Más detalles

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA)

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS (Universidad del Perú, DECANA DE AMÉRICA) DIRECTIVA PARA EL PROCEDIMIENTO DE LA ELABORACIÓN DE LA TESIS PARA LA OBTENCIÓN DEL GRADO DE MAGÍSTER O DOCTOR (Aprobado por Resolución Directoral 080.EPG.2010) DE LOS OBJETIVOS Y BASE LEGAL Art. 1. El

Más detalles

Diseño de un Proyecto IV

Diseño de un Proyecto IV Diseño de un Proyecto IV El diseño del proyecto es el proceso de elaboración de la propuesta de trabajo de acuerdo a pautas y procedimientos sistemáticos como ya se mencionó, un buen diseño debe identificar

Más detalles

El Senado Académico de la UPRH aprobó mediante la Certificación. Número 2005-06-46 las competencias de Educación General para los egresados

El Senado Académico de la UPRH aprobó mediante la Certificación. Número 2005-06-46 las competencias de Educación General para los egresados El Senado Académico de la UPRH aprobó mediante la Certificación Número 2005-06-46 las competencias de Educación General para los egresados de esta Institución. A continuación aparecen las mismas con una

Más detalles

Técnicas para la elaboración de pruebas para la medición del aprendizaje Í T U L O TEMAS Y SUBTEMAS: OBJETIVOS: CAPÍTULO 8 219

Técnicas para la elaboración de pruebas para la medición del aprendizaje Í T U L O TEMAS Y SUBTEMAS: OBJETIVOS: CAPÍTULO 8 219 Técnicas para la elaboración de pruebas para la medición del aprendizaje TEMAS Y SUBTEMAS: 8.1. Tipo de preguntas para la elaboración de pruebas 8.1.1. Preguntas de respuesta libre 8.1.2. Preguntas de

Más detalles

Ergonomía e interfases de interacción humano-computadora

Ergonomía e interfases de interacción humano-computadora Ergonomía e interfases de interacción humano-computadora Martínez de la Teja, Guillermo Manuel Maestro en Ciencias en Ergonomía Ergoprojects / Sociedad de Ergonomistas de México A.C. gmmt@ergoprojects.com

Más detalles

MONEDA. asignación ESTRATÉGICA. de activos para BANCOS CENTRALES 1 MONEDA

MONEDA. asignación ESTRATÉGICA. de activos para BANCOS CENTRALES 1 MONEDA MONEDA asignación ESTRATÉGICA de activos para BANCOS CENTRALES 1 MONEDA MONEDA I. IMPORTANCIA DE LA ASIGNACIÓN ESTRATÉGICA DE ACTIVOS (AEA) EN LA ADMINISTRACIÓN DE LAS RESERVAS INTERNACIONALES Las reservas

Más detalles

Evaluación en el Aprendizaje Basado en Competencias. Dámaso López Aragón

Evaluación en el Aprendizaje Basado en Competencias. Dámaso López Aragón Evaluación en el Aprendizaje Basado en Competencias Dámaso López Aragón Introducción El desempeño del docente al interior de las aulas es uno de los factores fundamentales en el desarrollo del aprendizaje

Más detalles

2 Métodos combinatorios

2 Métodos combinatorios 2 Métodos combinatorios Las pruebas pueden aplicarse de muchas maneras, es decir, existen diferentes formas de preparar casos de prueba. En este capítulo se presentan dos formas de prueba muy fáciles de

Más detalles

I. Enfoque de competencias

I. Enfoque de competencias I. Enfoque de competencias I.1 Propósito del enfoque de competencias La necesidad de relacionar de una manera más efectiva la administración óptima del recurso informático con las necesidades del usuario

Más detalles

PROPUESTA METODOLOGICA PARA LA EDUCCIÓN DE REQUISITOS EN PROYECTOS DE EXPLOTACIÓN DE INFORMACIÓN

PROPUESTA METODOLOGICA PARA LA EDUCCIÓN DE REQUISITOS EN PROYECTOS DE EXPLOTACIÓN DE INFORMACIÓN PROPUESTA METODOLOGICA PARA LA EDUCCIÓN DE REQUISITOS EN PROYECTOS DE EXPLOTACIÓN DE INFORMACIÓN Paola Britos 1,2, Enrique Fernandez 1,2, Ramón García-Martinez 1,2 Centro de Ingeniería del Software e Ingeniería

Más detalles

Nota 2. Luis Sierra. Marzo del 2010

Nota 2. Luis Sierra. Marzo del 2010 Nota 2 Luis Sierra Marzo del 2010 Cada mecanismo de definición de conjuntos que hemos comentado sugiere mecanismos para definir funciones y probar propiedades. Recordemos brevemente qué son las funciones

Más detalles

A partir de este capítulo se introducen términos, probablemente nuevos para el

A partir de este capítulo se introducen términos, probablemente nuevos para el CAPITULO 3. PSP 0 Y PSP 0.1 A partir de este capítulo se introducen términos, probablemente nuevos para el lector que tienen que ver en su totalidad con PSP. También se dan a conocer los formatos, "scripts

Más detalles

GRADO EN ECONOMÍA GUÍA DOCENTE DE LA ASIGNATURA MICROECONOMÍA I

GRADO EN ECONOMÍA GUÍA DOCENTE DE LA ASIGNATURA MICROECONOMÍA I GRADO EN ECONOMÍA GUÍA DOCENTE DE LA ASIGNATURA MICROECONOMÍA I Curso académico 2013-14 1. DATOS DE IDENTIFICACIÓN Nombre de la asignatura MICROECONOMÍA I Código 36123 Titulación Grado en Economía Curso/semestre

Más detalles

MBA GERENCIAL MODALIDAD VIRTUAL

MBA GERENCIAL MODALIDAD VIRTUAL MBA GERENCIAL MODALIDAD VIRTUAL PRIMER CICLO Diseño Estratégico de las Organizaciones Las organizaciones para sobrevivir en el mundo cambiante de hoy, enfrentan el reto de tener que adaptarse y modificarse

Más detalles

Tutoría de Trabajos de Grado

Tutoría de Trabajos de Grado Tutoría de Trabajos de Grado Carlos Alberto Restrepo R. carlosa.restrepo@uexternado.edu.co Investigación UNIVERSIDAD Docencia Extensión Tipos de trabajos de grado Pregrado Informe de práctica empresarial

Más detalles

ESPECIFICACIONES PARA LA EVALUACIÓN de la materia PSICOLOGÍA del 2º curso del Bachillerato

ESPECIFICACIONES PARA LA EVALUACIÓN de la materia PSICOLOGÍA del 2º curso del Bachillerato I.E.S. Ruiz de Alda de San Javier (Murcia) DEPARTAMENTO DE FILOSOFÍA ESPECIFICACIONES PARA LA EVALUACIÓN de la materia PSICOLOGÍA del 2º curso del Bachillerato Este Departamento Didáctico ha expuesto su

Más detalles

Análisis del Sistema de Información

Análisis del Sistema de Información Análisis del Sistema de Información ÍNDICE DESCRIPCIÓN Y OBJETIVOS... 2 ACTIVIDAD ASI 1: DEFINICIÓN DEL SISTEMA... 6 Tarea ASI 1.1: Determinación del Alcance del Sistema... 6 Tarea ASI 1.2: Identificación

Más detalles

Tema 6: Programación Lógica: semántica declarativa. Lenguajes y Paradigmas de Programación

Tema 6: Programación Lógica: semántica declarativa. Lenguajes y Paradigmas de Programación Tema 6: Programación Lógica: semántica declarativa Lenguajes y Paradigmas de Programación Teoría de Modelos Se basa en el concepto de INTERPRETACIÓN, que consiste en: elegir un dominio D (en el que tomarán

Más detalles

UNIDAD 3 EL PROCESO DE EDUCCIÓN

UNIDAD 3 EL PROCESO DE EDUCCIÓN UNIDAD 3 EL PROCESO DE EDUCCIÓN 3. EL PROCESO DE EDUCCIÓN... 1 3.1.DEFINICIONES... 1 3.2.EL PROCESO DE EDUCCIÓN... 2 3.3.PARTICIPANTES... 5 3.4.PROBLEMAS DE LA EDUCCIÓN... 7 3.1. Definiciones En los últimos

Más detalles

Comisión especial sobre medidas de los aprendizajes 2.0. Convocatoria para solicitantes: Grupo de trabajo de educación en ciudadanía mundial

Comisión especial sobre medidas de los aprendizajes 2.0. Convocatoria para solicitantes: Grupo de trabajo de educación en ciudadanía mundial Comisión especial sobre medidas de los aprendizajes 2.0 Convocatoria para solicitantes: Grupo de trabajo de educación en ciudadanía mundial Convocatoria abierta hasta el 16 de abril de 2014 La comisión

Más detalles

Preliminares: conjuntos, operaciones con conjuntos, aplicaciones, relaciones.

Preliminares: conjuntos, operaciones con conjuntos, aplicaciones, relaciones. Preliminares: conjuntos, operaciones con conjuntos, aplicaciones, relaciones. En este tema expondremos nociones y notaciones fundamentales que se emplearán cotidianamente en cualquier desarrollo matemático.

Más detalles

TTP / Informática Profesional y Personal Módulo / Asistencia sobre aplicaciones específicas

TTP / Informática Profesional y Personal Módulo / Asistencia sobre aplicaciones específicas Ministerio de Educación, Ciencia y Tecnología TTP / Informática Profesional y Personal Módulo / Asistencia sobre aplicaciones específicas Aprobado por Res. 190/02 CFCyE Presentación La problemática abordada

Más detalles

Guía para elaboración de documento de examen de candidatura. Maestría en Comunicación y Desarrollo

Guía para elaboración de documento de examen de candidatura. Maestría en Comunicación y Desarrollo Página 1 Guía para elaboración de documento de examen de candidatura Maestría en Comunicación y Desarrollo Maestría en Comunicación con énfasis en otra área del conocimiento Presentación Esta guía tiene

Más detalles

2. Objetivos de la contratación y actividades principales

2. Objetivos de la contratación y actividades principales Términos de referencia llamado AT08/2015 Unidad de Evaluación de Aprendizajes y de Programas Director de proyecto 1. Antecedentes El Instituto Nacional de Evaluación Educativa tiene como función principal

Más detalles

LICENCIATURA EN MERCADOTECNIA LISTADO DE MATERIAS CONTENIDO PLAN: 2005-2

LICENCIATURA EN MERCADOTECNIA LISTADO DE MATERIAS CONTENIDO PLAN: 2005-2 LICENCIATURA EN MERCADOTECNIA PLAN: 2005-2 La Licenciatura en Mercadotecnia de la Universidad de Sonora tiene como objetivo general formar profesionistas de calidad a través de los conocimientos interdisciplinarios

Más detalles

Bachillerato a Distancia Programa de Dialógica y argumentación

Bachillerato a Distancia Programa de Dialógica y argumentación Programa de Dialógica y argumentación Material elaborado por la UNAM para la Secretaría de Educación del Gobierno del Distrito Federal Asignatura: Dialógica y argumentación Plan: Créditos: 10 Bachillerato:

Más detalles

Documento de Competencias. Facultad de Informática, UPV/EHU. 1 Estructura general del Grado TE1 TE2 TE3 TE4 TE5 TE6 TE7 TE8

Documento de Competencias. Facultad de Informática, UPV/EHU. 1 Estructura general del Grado TE1 TE2 TE3 TE4 TE5 TE6 TE7 TE8 Documento de Competencias Grado en INGENIERÍA INFORMÁTICA Facultad de Informática, UPV/EHU 1 Estructura general del Grado 1.1 Fundamentos de Tecnología de los Principios de Diseño de Sistemas Digitales

Más detalles

1. La administración para la toma de decisiones

1. La administración para la toma de decisiones Objetivo general de la asignatura: El alumno analizará los conceptos fundamentales de la dirección y la toma de decisiones que le permitirán ser líderes de equipos; así como aplicar las herramientas y

Más detalles

Gestión de Recursos Humanos Basada en Competencias.

Gestión de Recursos Humanos Basada en Competencias. Gestión de Recursos Humanos Basada en Competencias. 1. EL MODELO DE COMPETENCIAS: POR QUE AHORA? Los cambios trascendentales ocurridos en el mundo laboral como consecuencia de la globalización de la economía,

Más detalles

Apuntes de Matemática Discreta 7. Relaciones de Orden

Apuntes de Matemática Discreta 7. Relaciones de Orden Apuntes de Matemática Discreta 7. Relaciones de Orden Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 7 Relaciones de Orden Contenido

Más detalles

TEMA II PROCESO DE DISEÑO

TEMA II PROCESO DE DISEÑO TEMA II PROCESO DE DISEÑO El diseño como proceso. Problemas. Definición. Sub-problemas. Solución del problema. Objetivos. Dificultades del diseño. Gestión de proyecto y Proceso de concepción del diseño.

Más detalles

GUÍA PARA ESCRIBIR LA TESIS DEL MÁSTER

GUÍA PARA ESCRIBIR LA TESIS DEL MÁSTER GUÍA PARA ESCRIBIR LA TESIS DEL MÁSTER 1. LA PROPUESTA DE LA TESIS La propuesta de una tesis es esencialmente un resumen de una investigación - algo así como un plano arquitectónico para la construcción

Más detalles

Capítulo 1 Introducción y Metodología de Investigación

Capítulo 1 Introducción y Metodología de Investigación Capítulo 1 Introducción y Metodología de Investigación Los mercados de moda tienen un comportamiento muy poco convencional. En primer término se trata de un mercado de lujo en el que se intercambian bienes

Más detalles

Tabla de especificaciones y Taxonomía de Bloom

Tabla de especificaciones y Taxonomía de Bloom Tabla de especificaciones y Taxonomía de Bloom Objetivo: El construir esta tabla de especificaciones ayuda a ordenar la manera en que se construirá el banco de reactivos que evalúe cada uno de los temas

Más detalles

Modelos de desarrollo de software. septiembre de 2007 1

Modelos de desarrollo de software. septiembre de 2007 1 Modelos de desarrollo de software septiembre de 2007 1 Referencias básicas Ingeniería de software. Un enfoque práctico. Pressman, R. Quinta edición. Mc. Graw Hill 2002 Ingeniería de software. Sommerville,

Más detalles

ANÁLISIS DE DAVID HUME DEL PRINCIPIO DE CAUSALIDAD Francesc Llorens

ANÁLISIS DE DAVID HUME DEL PRINCIPIO DE CAUSALIDAD Francesc Llorens ANÁLISIS DE DAVID HUME DEL PRINCIPIO DE CAUSALIDAD Francesc Llorens QUÉ ES EL PRINCIPIO DE CAUSALIDAD El principio de causalidad es el pilar fundamental de la epistemología de David Hume. Tras determinar,

Más detalles

El rincón de los problemas Uldarico Malaspina Jurado Pontificia Universidad Católica del Perú umalasp@pucp.edu.pe

El rincón de los problemas Uldarico Malaspina Jurado Pontificia Universidad Católica del Perú umalasp@pucp.edu.pe Septiembre de 2012, Número 31, páginas 131-137 ISSN: 1815-0640 El rincón de los problemas Pontificia Universidad Católica del Perú umalasp@pucp.edu.pe Creando problemas para educación primaria Problema

Más detalles

Apuntes de Matemática Discreta 6. Relaciones

Apuntes de Matemática Discreta 6. Relaciones Apuntes de Matemática Discreta 6. Relaciones Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 6 Relaciones Contenido 6.1 Generalidades.....................................

Más detalles

Parte I: Introducción

Parte I: Introducción Parte I: Introducción Introducción al Data Mining: su Aplicación a la Empresa Cursada 2007 POR QUÉ? Las empresas de todos los tamaños necesitan aprender de sus datos para crear una relación one-to-one

Más detalles

LICENCIATURA EN ECONOMÍA y ADMINISTRACIÓN Y DIRECCIÓN DE EMPRESAS

LICENCIATURA EN ECONOMÍA y ADMINISTRACIÓN Y DIRECCIÓN DE EMPRESAS LICENCIATURA EN ECONOMÍA y ADMINISTRACIÓN Y DIRECCIÓN DE EMPRESAS GUÍA ACADÉMICA DE LA ASIGNATURA MICROECONOMÍA I CURSO 2008-09 ASIGNATURA: CURSO: TRONCAL SEGUNDO 1 1.- DATOS INICIALES DE IDENTIFICACIÓN

Más detalles

Certificado que acredite estudios en el exterior correspondiente a cuatro años de enseñanza media.

Certificado que acredite estudios en el exterior correspondiente a cuatro años de enseñanza media. PLAN DE ESTUDIOS TÉCNICO EN GERENCIA TURÍSTICA Perfil del Egresado La carrera Técnico en Gerencia Turística de la Universidad ORT Uruguay, tiene como objetivo brindar una capacitación completa y actualizada

Más detalles

La Teoría del Consumidor: Incertidumbre

La Teoría del Consumidor: Incertidumbre La Teoría del Consumidor: Incertidumbre Incertidumbre y Riesgo La presencia de incertidumbre supone que las consecuencias que se derivan de cada alternativa disponible no se conocen de antemano, sino que

Más detalles

Denominación de la materia. N créditos ECTS = 36 carácter = OBLIGATORIO SISTEMAS DE SOFTWARE. Ubicación dentro del plan de estudios y duración

Denominación de la materia. N créditos ECTS = 36 carácter = OBLIGATORIO SISTEMAS DE SOFTWARE. Ubicación dentro del plan de estudios y duración Denominación de la materia SISTEMAS DE SOFTWARE N créditos ECTS = 36 carácter = OBLIGATORIO Ubicación dentro del plan de estudios y duración La materia Sistemas de Software está formada por 6 asignaturas

Más detalles

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones: 2. Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma informal,

Más detalles

OBJETIVOS de aprendizaje

OBJETIVOS de aprendizaje Profesorado en Relaciones del Trabajo Materia: Didáctica Especial y Residencia Cátedra: Dra. Vega OBJETIVOS de aprendizaje Ficha de Cátedra 2015 Prof. Carreras, Liliana Prof. Cortés, Margarita Prof. Marzioli,

Más detalles

ESTRUCTURAS DEL PENSAMIENTO. Lic. Bayardo Mejia Monzón MSc

ESTRUCTURAS DEL PENSAMIENTO. Lic. Bayardo Mejia Monzón MSc ESTRUCTURAS DEL PENSAMIENTO Lic. Bayardo Mejia Monzón MSc Todo Empezó Así: La familia (Idioma Materno) El Barrio (Social externo, se desprende de la familia) La Escuela (Intelecto, Sistemático) La Cadena

Más detalles

REGLAMENTO GENERAL DE LAS ACTIVIDADES DE POSGRADO Y DE EDUCACIÓN PERMANENTE DE LA FACULTAD DE PSICOLOGÍA

REGLAMENTO GENERAL DE LAS ACTIVIDADES DE POSGRADO Y DE EDUCACIÓN PERMANENTE DE LA FACULTAD DE PSICOLOGÍA Res. Nº 29 de C.D.C. de 18/VIII/2009 Dist. 495/09 D.O. 25/IX/2009 REGLAMENTO GENERAL DE LAS ACTIVIDADES DE POSGRADO Y DE EDUCACIÓN PERMANENTE DE LA FACULTAD DE PSICOLOGÍA I Ámbito de Aplicación Artículo

Más detalles

22/06/2013. Qué es necesario saber? Qué es necesario saber hacer? Cuán bien debemos hacerlo?

22/06/2013. Qué es necesario saber? Qué es necesario saber hacer? Cuán bien debemos hacerlo? CUATRO DOMINIOS DEL MARCO DE LA BUENA ENSEÑANZA 22/06/2013 QUÉ ES EL MARCO PARA LA BUENA ENSEÑANZA? Busca contribuir al mejoramiento de la enseñanza A través de un itinerario capaz de guiar a los profesores

Más detalles

Qué entiende por Soporte lógico nuestra legislación tributaria? Dr. Fernando Vargas (*)

Qué entiende por Soporte lógico nuestra legislación tributaria? Dr. Fernando Vargas (*) Qué entiende por Soporte lógico nuestra legislación tributaria? Dr. Fernando Vargas (*) El ordenamiento jurídico positivo de nuestro país utiliza el concepto de Soporte Lógico para exonerar de renta a

Más detalles

Inicio de MO Inicio de MD Inicio de MF. Documento de Análisis. Base de datos de las especificaciones OMT. MO, MD, MF Detallados. Librería de Clases

Inicio de MO Inicio de MD Inicio de MF. Documento de Análisis. Base de datos de las especificaciones OMT. MO, MD, MF Detallados. Librería de Clases 3.2 TÉCNICA DE MODELADO DE OBJETOS (OMT) (JAMES RUMBAUGH). 3.2.1 Introducción. En este documento se trata tanto el OMT-1 como el OMT-2, el primero contenido en el Libro Modelado y Diseño Orientado (Metodología

Más detalles

Tema 3. MODELOS. 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas biológicos.

Tema 3. MODELOS. 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas biológicos. Tema 3. MODELOS 011 0 01 01 FUNDAMENTOS 1. Modelos computacionales. 2. Computación y Neurociencia. CONTENIDOS 2.1 Apoyo Informático a la investigación experimental. 2.2 Modelos del cerebro: A. Realistas

Más detalles

CONSULTORIA & CAPACITACION EMPRESARIAL

CONSULTORIA & CAPACITACION EMPRESARIAL HACIA UN NUEVO MARCO CONCEPTUAL DE LIDERAZGO Líder es aquel que Impulsa al Desarrollo y transformación Educativa, incentivando el Rescate de valores y principios morales. Emprendamos una labor Dedicada

Más detalles

COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO

COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO COMPETENCIAS DISCIPLINARES BÁSICAS DEL SISTEMA NACIONAL DE BACHILLERATO Junio de 2008 Presentación El documento Competencias Genéricas que Expresan el Perfil del Egresado de la EMS incluye las competencias

Más detalles

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios } La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas

Más detalles

REGLAMENTO INTERNO DE TRABAJO DE GRADUACIÓN GRADO DE LICENCIADO EN CONTABILIDAD Y AUDITORIA

REGLAMENTO INTERNO DE TRABAJO DE GRADUACIÓN GRADO DE LICENCIADO EN CONTABILIDAD Y AUDITORIA REGLAMENTO INTERNO DE TRABAJO DE GRADUACIÓN GRADO DE LICENCIADO EN CONTABILIDAD Y AUDITORIA TITULO I: DE LAS INFORMACIONES PRELIMINARES El presente reglamento tiene por finalidad definir la forma y detallar

Más detalles

GESTIÓN DE SOFTWARE INFORME SOBRE. Evaluación de Productos UNIVERSIDAD DE LA REPUBLICA - FACULTAD DE INGENIERÍA. Grupo 2

GESTIÓN DE SOFTWARE INFORME SOBRE. Evaluación de Productos UNIVERSIDAD DE LA REPUBLICA - FACULTAD DE INGENIERÍA. Grupo 2 UNIVERSIDAD DE LA REPUBLICA - FACULTAD DE INGENIERÍA GESTIÓN DE SOFTWARE INFORME SOBRE Evaluación de Productos Grupo 2 Marcelo Caponi 3.825.139-0 Daniel De Vera 4.120.602-3 José Luis Ibarra 4.347.596-3

Más detalles

Programación Orientada a Objetos Profr. Pedro Pablo Mayorga

Programación Orientada a Objetos Profr. Pedro Pablo Mayorga Actividad 2 Unidad 1 Ciclo de vida del software y Diseño Orientado a Objetos Ciclo de Vida del Software Un modelo de ciclo de vida define el estado de las fases a través de las cuales se mueve un proyecto

Más detalles

GENÉTICA MENDELIANA: UN MODELO DIDÁCTICO DESARROLLADO CON LA HOJA DE CÁLCULO

GENÉTICA MENDELIANA: UN MODELO DIDÁCTICO DESARROLLADO CON LA HOJA DE CÁLCULO Informática Educativa Vol. 9, No. 2, 1996 UNIANDES - LIDIE, Colombia pp. 145-150 GENÉTICA MENDELIANA: UN MODELO DIDÁCTICO DESARROLLADO CON LA HOJA DE CÁLCULO Jorge MONTOYA R Propósito RESUMEN Utilizando

Más detalles

DESCRIPTORES DE RENDIMIENTO

DESCRIPTORES DE RENDIMIENTO California English Language Development Test DESCRIPTORES DE RENDIMIENTO DE LA PRUEBA Este documento contiene los Descriptores de de la prueba CELDT, que describen lo que los estudiantes, por lo general,

Más detalles

Lenguajes y Compiladores

Lenguajes y Compiladores Información: http://www.cs.famaf.unc.edu.ar/wiki/ Profesores: Héctor Gramaglia, Miguel Pagano, Demetrio Vilela Régimen de regularidad y Promoción Se tomarán 2 parciales Promoción: obteniendo al menos 7

Más detalles

GUÍA DOCENTE TRABAJO FIN DE MÁSTER. MASTER UNIVERSITARIO EN HISTORIA MODERNA: MONARQUÍA DE ESPAÑA. Siglos XVI-XVIII. M1887 Trabajo Fin de Máster

GUÍA DOCENTE TRABAJO FIN DE MÁSTER. MASTER UNIVERSITARIO EN HISTORIA MODERNA: MONARQUÍA DE ESPAÑA. Siglos XVI-XVIII. M1887 Trabajo Fin de Máster GUÍA DOCENTE TRABAJO FIN DE MÁSTER MASTER UNIVERSITARIO EN HISTORIA MODERNA: MONARQUÍA DE ESPAÑA. Siglos XVI-XVIII M1887 Trabajo Fin de Máster Curso Académico 2015-2016 1. DATOS IDENTIFICATIVOS DE LA ASIGNATURA

Más detalles

Pruebas de Hipótesis de Una y Dos Muestras. UCR ECCI CI-1352 Probabilidad y Estadística Prof. M.Sc. Kryscia Daviana Ramírez Benavides

Pruebas de Hipótesis de Una y Dos Muestras. UCR ECCI CI-1352 Probabilidad y Estadística Prof. M.Sc. Kryscia Daviana Ramírez Benavides Pruebas de ipótesis de Una y Dos Muestras UCR ECCI CI-35 Probabilidad y Estadística Prof. M.Sc. Kryscia Daviana Ramírez Benavides ipótesis Estadísticas Conceptos Generales En algunos casos el científico

Más detalles

=drð^=al`bkqb= qfqri^`flkbp=ab=do^al=

=drð^=al`bkqb= qfqri^`flkbp=ab=do^al= = =drð^=al`bkqb= qfqri^`flkbp=ab=do^al= TITULACIÓN: INGENIERÍA DE SISTEMAS DE INFORMACIÓN CURSO: Tercero, 2014-2015 ASIGNATURA: Ingeniería del Software II Nombre del Módulo o Materia al que pertenece la

Más detalles

Análisis de Requisitos

Análisis de Requisitos Análisis de Requisitos Los requisitos determinan lo que hará el sistema y definen restricciones sobre su operación e implementación. El análisis de requisitos es el proceso del estudio de las necesidades

Más detalles

Planteamiento del problema cuantitativo

Planteamiento del problema cuantitativo UNIVERSIDAD NACIONAL DE EDUCACIÓN ENRIQUE GUZMÁN Y VALLE PROGRAMA DE TITULACIÓN 2012 SESIÓN N 01 Planteamiento del problema cuantitativo Presentado por: Dr. MARROQUÍN PEÑA ROBERTO 1 ÍNDICE Planteamiento

Más detalles