CACIC 1996II Congreso Argentina de Ciencias de la Computaciónhttp://sedici.unlp.edu.ar:80/handle/10915/241392024-03-19T13:38:22Z2024-03-19T13:38:22ZConstrucción de funciones Semi-ContractionFermé, Eduardo L.Rodriguez, Ricardo O.http://sedici.unlp.edu.ar:80/handle/10915/242422018-12-05T20:03:36Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
La teoría de cambio de creencias irrumpe en la lógica filosófica y la inteligencia artificial en la última década. El paso inicial fue provisto por Levi [Lev80] y Alchourrón, Gardenfors y Makinson en [AGM85] (comúnmente llamado el modelo AGM). Posteriormente, Levi propone un modelo de creencias que difiere en importantes aspectos del modelo AGM [Lev91]. En [H095], Hansson y Olsson muestran una comparación entre ambos modelos, y crean una caracterización axiomática de las funciones Levi-contraction. En dicho artículo muestran que toda contracción AGM es una Levi-contractions y ambas posturas están confrontadas por el polémico postulado de Recovery.
A medio camino entre ambas, en [Fer95] Fermé define las funciones semi-contraction, donde si bien no se satisface el postulado de Recovery, se preserva la idea de mínima pérdida. En este artículo proveeremos un método para construir funciones semi-contraction (basado en las construcciones ''meet'' de AGM y los conjuntos saturables de Levi) y su caracterización axiomática.
Eje: 3er Workshop sobre Aspectos teóricos de la inteligencia artificial
1996-11-01T00:00:00ZLa teoría de cambio de creencias irrumpe en la lógica filosófica y la inteligencia artificial en la última década. El paso inicial fue provisto por Levi [Lev80] y Alchourrón, Gardenfors y Makinson en [AGM85] (comúnmente llamado el modelo AGM). Posteriormente, Levi propone un modelo de creencias que difiere en importantes aspectos del modelo AGM [Lev91]. En [H095], Hansson y Olsson muestran una comparación entre ambos modelos, y crean una caracterización axiomática de las funciones Levi-contraction. En dicho artículo muestran que toda contracción AGM es una Levi-contractions y ambas posturas están confrontadas por el polémico postulado de Recovery.
A medio camino entre ambas, en [Fer95] Fermé define las funciones semi-contraction, donde si bien no se satisface el postulado de Recovery, se preserva la idea de mínima pérdida. En este artículo proveeremos un método para construir funciones semi-contraction (basado en las construcciones ''meet'' de AGM y los conjuntos saturables de Levi) y su caracterización axiomática.Razonamiento rebatible por casosBodanza, Gustavo A.http://sedici.unlp.edu.ar:80/handle/10915/242412018-12-06T04:03:25Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Este trabajo constituye un estudio de las dificultades de la incorporación de información disyuntiva en un sistema conteniendo reglas rebatibles. Se presenta una ampliación del sistema MTDR a fin de aumentar la capacidad de éste, permitiendo el razonamiento por casos mediante argumentos.
En un artículo anterior ([BS95]) se brindaba una aproximación al problema introduciendo una relación de inferencia rebatible que incluía la prueba por casos.
Tal solución presenta limitaciones en determinados contextos. Este es un enfoque alternativo que da cuenta de esos problemas. La solución aquí viene dada por la definición de nuevos tipos de argumentos especiales para el manejo adecuado de información disyuntiva.
Eje: 3er Workshop sobre Aspectos teóricos de la inteligencia artificial
1996-11-01T00:00:00ZEste trabajo constituye un estudio de las dificultades de la incorporación de información disyuntiva en un sistema conteniendo reglas rebatibles. Se presenta una ampliación del sistema MTDR a fin de aumentar la capacidad de éste, permitiendo el razonamiento por casos mediante argumentos.
En un artículo anterior ([BS95]) se brindaba una aproximación al problema introduciendo una relación de inferencia rebatible que incluía la prueba por casos.
Tal solución presenta limitaciones en determinados contextos. Este es un enfoque alternativo que da cuenta de esos problemas. La solución aquí viene dada por la definición de nuevos tipos de argumentos especiales para el manejo adecuado de información disyuntiva.Uma comparação entre o método de máxima verossimilhanca gaussiana e uma rede neural artificial com backpropagation na classificacáo de espécies vegetaisEngel, Paulo MartinsMadruga, Pedro R. de A.Todt, Vivianehttp://sedici.unlp.edu.ar:80/handle/10915/242402018-12-06T04:03:12Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Este trabalho apresenta uma comparação entre o método de Máxima Verossimilhançã Gaussiana e uma Rede Neural Artificial Multinível com BackPropagation na classificayao de espécies vegetaís em imagens multiespectrais. A área de estudo situa-se no estado do Rio Grande do Sul, Brasil, a cerca de 290 Km da capital do estado - Porto Alegre. A classificayao realizada por ambos os métodos, utilizando-se imagens do satélite Landsat 5-TM; identifica as espécies vegetais: Pinlls, Eucalyptus, Acácia Negra e Mata Nativa, que predominam na regiao.; This paper shows a comparison between the Gaussian Maximum Likelihood methód and a BackPropagation Neural Network in classification of vegetable kinds in multiespectral images.
The study area is within Rio Grande do Su! state, Brazil, about 181 miles 01' city of state - Porto Aldgié. The classification accomplished for both methods, using satel1ite Landsat 5-TM ¡mages, recognizes the vegetable kinds: Pinus. Eucalyptus, Acácia Ñlearnsii t1nd Native Forest, that predominate in the region.
Eje: 3er Workshop sobre Aspectos teóricos de la inteligencia artificial
1996-11-01T00:00:00ZEste trabalho apresenta uma comparação entre o método de Máxima Verossimilhançã Gaussiana e uma Rede Neural Artificial Multinível com BackPropagation na classificayao de espécies vegetaís em imagens multiespectrais. A área de estudo situa-se no estado do Rio Grande do Sul, Brasil, a cerca de 290 Km da capital do estado - Porto Alegre. A classificayao realizada por ambos os métodos, utilizando-se imagens do satélite Landsat 5-TM; identifica as espécies vegetais: Pinlls, Eucalyptus, Acácia Negra e Mata Nativa, que predominam na regiao.
This paper shows a comparison between the Gaussian Maximum Likelihood methód and a BackPropagation Neural Network in classification of vegetable kinds in multiespectral images.
The study area is within Rio Grande do Su! state, Brazil, about 181 miles 01' city of state - Porto Aldgié. The classification accomplished for both methods, using satel1ite Landsat 5-TM ¡mages, recognizes the vegetable kinds: Pinus. Eucalyptus, Acácia Ñlearnsii t1nd Native Forest, that predominate in the region.An instance of the clp(x) scheme which allows to deal with temporal reasoning problemsIbáñez, Francisco S.Forradellas Martinez, Raymundo QuilezRueda, Luis G.http://sedici.unlp.edu.ar:80/handle/10915/242392018-12-06T04:03:08Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
In many applications oftemporal reasoning is necessary to express metric and symbolic temporal constraints among temporal objects whether they are points or intervals. In order to cope with these requirements different formalisms have been issued., those that allow to express symbolic temporal constraints by one hand, and others involvingmetric temporal constraints. AJthough this formalism are suitable to represent just sorne kind of problems, in many cases, it is necessary to handle and represent in the same framework both metric and symbolic constraints among temporal objects, whether they are point or interval.
. Starting from the previous schemes, different formalisms to integrate metric and symbolic temporal constraints have been issued. A common limitation of these proposals is that none of them allows to represent disjunctive constraints involving a metric component and a symbolic one. This type of eonstraints arises for example in scheduling problems, where an activity must be performed beforé or after another activity, but considering the setting time of the used resources [lbáñez,92b].
Besides in.many planning applications, the formulation ofthe problem itself, must be expressed as logic formulas with a periQd of time associated. Therefore, a temporal reasoning system oriented to planning should be able to express both the logic and the temporal part in a same frame. Unfortunately, none of the approaches to integrate symbolic and tnetric temporal constraints allows to express the logic part of the problem.
The main aim of this paper is to de.fine a temporal tool which allows to express and unify metric and symbolic temporal constraints among temporal objects (intervals and points). The temporal model proposed in this paper is based on intervals. However, as opposed to other formalisms, the duration of the intervals may be zero, and therefore temporal points are incIuded. In other words, the concept of temporal interval used in the literature (where the duration is strictly greater than zero), is generalized.
Starting from the temporal model, a new operational framework oriented to the resolution oí the problems rather than focused to the representation oftemporal reasoning problems is defined. TIte proposed . operational frarn.ework was designed as a new instance oí the CLP(X) scheme [lbáñez,93] in which the computational domain is formed from temporal objects. Conceptually, the variables of the CLP(Temp) language have associated a finite set of pairs of value5 representing temporal intervals.
Eje: 3er Workshop sobre Aspectos teóricos de la inteligencia artificial
1996-11-01T00:00:00ZIn many applications oftemporal reasoning is necessary to express metric and symbolic temporal constraints among temporal objects whether they are points or intervals. In order to cope with these requirements different formalisms have been issued., those that allow to express symbolic temporal constraints by one hand, and others involvingmetric temporal constraints. AJthough this formalism are suitable to represent just sorne kind of problems, in many cases, it is necessary to handle and represent in the same framework both metric and symbolic constraints among temporal objects, whether they are point or interval.
. Starting from the previous schemes, different formalisms to integrate metric and symbolic temporal constraints have been issued. A common limitation of these proposals is that none of them allows to represent disjunctive constraints involving a metric component and a symbolic one. This type of eonstraints arises for example in scheduling problems, where an activity must be performed beforé or after another activity, but considering the setting time of the used resources [lbáñez,92b].
Besides in.many planning applications, the formulation ofthe problem itself, must be expressed as logic formulas with a periQd of time associated. Therefore, a temporal reasoning system oriented to planning should be able to express both the logic and the temporal part in a same frame. Unfortunately, none of the approaches to integrate symbolic and tnetric temporal constraints allows to express the logic part of the problem.
The main aim of this paper is to de.fine a temporal tool which allows to express and unify metric and symbolic temporal constraints among temporal objects (intervals and points). The temporal model proposed in this paper is based on intervals. However, as opposed to other formalisms, the duration of the intervals may be zero, and therefore temporal points are incIuded. In other words, the concept of temporal interval used in the literature (where the duration is strictly greater than zero), is generalized.
Starting from the temporal model, a new operational framework oriented to the resolution oí the problems rather than focused to the representation oftemporal reasoning problems is defined. TIte proposed . operational frarn.ework was designed as a new instance oí the CLP(X) scheme [lbáñez,93] in which the computational domain is formed from temporal objects. Conceptually, the variables of the CLP(Temp) language have associated a finite set of pairs of value5 representing temporal intervals.Autoreferencia en juegos normados: Reporte preliminarVaucheret, Claudio A.Parra, GerardoSimari, Guillermo Ricardohttp://sedici.unlp.edu.ar:80/handle/10915/242382018-12-06T04:03:02Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Douglas Hofstadter, en su artículo “NOMIC: A Self-Modifing Game Base don Reflexivity in Law”, presenta un conjunto de ejemplos de situaciones paradójicas producidas por ciertas características autorreferenciales de la ley. Las situaciones problemáticas de este tipo pueden aparecer en cualquier actividad normada por un reglamento, como los juegos o cuerpos deliberantes, donde la legalidad de una jugada o una acción debe estar justificada por un reglamento inambiguo que pueda terminar efectivamente si la jugada o la acción es válida o no. Este trabajo toma intuiciones motivdas en ese trabajo y presenta una formalización que las incorpora. Algunos ejemplos muestran el comportamiento de la formalización propuesta.
Eje: 3er Workshop sobre Aspectos teóricos de la inteligencia artificial
1996-11-01T00:00:00ZDouglas Hofstadter, en su artículo “NOMIC: A Self-Modifing Game Base don Reflexivity in Law”, presenta un conjunto de ejemplos de situaciones paradójicas producidas por ciertas características autorreferenciales de la ley. Las situaciones problemáticas de este tipo pueden aparecer en cualquier actividad normada por un reglamento, como los juegos o cuerpos deliberantes, donde la legalidad de una jugada o una acción debe estar justificada por un reglamento inambiguo que pueda terminar efectivamente si la jugada o la acción es válida o no. Este trabajo toma intuiciones motivdas en ese trabajo y presenta una formalización que las incorpora. Algunos ejemplos muestran el comportamiento de la formalización propuesta.Sorne theoretical considerations on resource-bounded defeasible argurnentationChesñevar, Carlos IvánSimari, Guillermo Ricardohttp://sedici.unlp.edu.ar:80/handle/10915/242372018-12-05T20:03:32Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
During the last decade, defeasible argumentation has proven to be a fruitful formalization for modelling commonsense reasorúng. In this respect, the MTDR framework has come to be a fairly standard approach, because of its simplicity and expressive power. Recently, the framework has been enriched through a number of dialectical considerations, resulting in a new ontology, based on Rescher's model of theory formation through dispute.
The current trend is that dispute is the most fair and effective way to investigate the tenability of claims. However, dispute is usually resource-bounded, so that the notion of u1timately supported claims (or justifications) cannot be separated from this issue. This paper discusses sorne theoretical considerations for an extension of MTDR where bounds on resources are taken into account.
Eje: 3er Workshop sobre Aspectos teóricos de la inteligencia artificial
1996-11-01T00:00:00ZDuring the last decade, defeasible argumentation has proven to be a fruitful formalization for modelling commonsense reasorúng. In this respect, the MTDR framework has come to be a fairly standard approach, because of its simplicity and expressive power. Recently, the framework has been enriched through a number of dialectical considerations, resulting in a new ontology, based on Rescher's model of theory formation through dispute.
The current trend is that dispute is the most fair and effective way to investigate the tenability of claims. However, dispute is usually resource-bounded, so that the notion of u1timately supported claims (or justifications) cannot be separated from this issue. This paper discusses sorne theoretical considerations for an extension of MTDR where bounds on resources are taken into account.El criterio de especificidad en la programación en lógica rebatibleGarcía, Alejandro JavierSimari, Guillermo Ricardohttp://sedici.unlp.edu.ar:80/handle/10915/242362018-12-05T20:03:28Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
La programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y potencialmente inconsistente, y utilizan los conceptos de la argumentación rebatible a fin de poder decidir metas contradictorias. Para esto se utiliza un criterio de preferencia entre derivaciones rebatibles. Tanto la argumentación rebatible, como la programación en lógica rebatible, pueden definirse independientemente del criterio de preferencia entre argumentos. Sin embargo, uno de los criterios más utilizados es la especificidad. La programación e lógica rebatible incorpora además conceptos que no estaban presentes en la argumentación rebatible: la negación por falla y las presuposiciones.
El objetivo de este trabajo es definir el criterio de especificidad para los PLR, de tal manera que pueda comprar correctamente argumentos que contengan presuposiciones y el operador de negación por falla. Además, se presenta una definición refinada que permite calcular en forma eficiente cuando un argumento es más específico que otro.
Eje: 3er Workshop sobre Aspectos teóricos de la inteligencia artificial
1996-11-01T00:00:00ZLa programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y potencialmente inconsistente, y utilizan los conceptos de la argumentación rebatible a fin de poder decidir metas contradictorias. Para esto se utiliza un criterio de preferencia entre derivaciones rebatibles. Tanto la argumentación rebatible, como la programación en lógica rebatible, pueden definirse independientemente del criterio de preferencia entre argumentos. Sin embargo, uno de los criterios más utilizados es la especificidad. La programación e lógica rebatible incorpora además conceptos que no estaban presentes en la argumentación rebatible: la negación por falla y las presuposiciones.
El objetivo de este trabajo es definir el criterio de especificidad para los PLR, de tal manera que pueda comprar correctamente argumentos que contengan presuposiciones y el operador de negación por falla. Además, se presenta una definición refinada que permite calcular en forma eficiente cuando un argumento es más específico que otro.Un entorno para el aprendizaje de la programaciónMoroni, NormaSeñas, Perlahttp://sedici.unlp.edu.ar:80/handle/10915/242342018-12-06T04:02:58Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Un curso introductorio de programación puede diseñarse siguiendo distintos paradigmas. Se advierte una búsqueda permanente de nuevas estrategias metodológicas que permitan abordar la tarea con mayor probabilidad de éxito, cualquiera sea el modelo elegido. La computadora que es propuesta como herramienta para la enseñanza de otras disciplinas debiera ser la herramienta natural para la enseñanza de la programación en todas sus etapas.
Si partirnos de la necesidad de desarrollar un curso introductorio basado en el paradigma imperativo y siguiendo una metodología estructurada y modular, es importante disponer de un lenguaje algoritmico menos rigido que un lenguaje de programación. Se propone un entorno de programación adecuado que permite al alumno desarrollar los algoritmos trabajando directamente sobre la computadora evitando tener que recordar expresamente detalles del diseño estructural de los mismos.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZUn curso introductorio de programación puede diseñarse siguiendo distintos paradigmas. Se advierte una búsqueda permanente de nuevas estrategias metodológicas que permitan abordar la tarea con mayor probabilidad de éxito, cualquiera sea el modelo elegido. La computadora que es propuesta como herramienta para la enseñanza de otras disciplinas debiera ser la herramienta natural para la enseñanza de la programación en todas sus etapas.
Si partirnos de la necesidad de desarrollar un curso introductorio basado en el paradigma imperativo y siguiendo una metodología estructurada y modular, es importante disponer de un lenguaje algoritmico menos rigido que un lenguaje de programación. Se propone un entorno de programación adecuado que permite al alumno desarrollar los algoritmos trabajando directamente sobre la computadora evitando tener que recordar expresamente detalles del diseño estructural de los mismos.Cubik: Una herramienta de apoyo en la enseñanza de la programaciónSeñas, PerlaMoroni, NormaGarcía, Juan Cristóbalhttp://sedici.unlp.edu.ar:80/handle/10915/242332018-12-06T04:02:35Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Se presenta un entorno para el desarrollo de Algoritmos. Este entorno controla con naturalidad la edición de forma tal que no se incurra en errores sintácticos ni errores semánticos. Permite usar del nombre de otros Algoritmos como primitivas lo que promueve el concepto de modularidad. Además el entorno soporta que los Algoritmos pueden ser traducidos a programas en lenguaje Pascal los cuales luego pueden ser ejecutados. Esta característica permite la prueba de los Algoritmos editados. El Editor maneja datos de entrada, salida, y datos locales. Asimismo maneja acciones para modificar los datos, estas acciones son representaciones abstractas de las sentencias existentes en la mayoría de los Lenguajes de Programación Estructurados.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZSe presenta un entorno para el desarrollo de Algoritmos. Este entorno controla con naturalidad la edición de forma tal que no se incurra en errores sintácticos ni errores semánticos. Permite usar del nombre de otros Algoritmos como primitivas lo que promueve el concepto de modularidad. Además el entorno soporta que los Algoritmos pueden ser traducidos a programas en lenguaje Pascal los cuales luego pueden ser ejecutados. Esta característica permite la prueba de los Algoritmos editados. El Editor maneja datos de entrada, salida, y datos locales. Asimismo maneja acciones para modificar los datos, estas acciones son representaciones abstractas de las sentencias existentes en la mayoría de los Lenguajes de Programación Estructurados.Recursividad esencial en la resolución de problemasRueda, Sonia VivianCastro, Silvia Mabelhttp://sedici.unlp.edu.ar:80/handle/10915/242312018-12-06T04:02:30Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Este trabajo presenta el modo en que se introduce el concepto de Recursividad en la cátedra de Informática del Departamento de Ciencias de la Computación de la Universidad Nacional del Sur. Según nuestra experiencia, en las materias iniciales de programación la recursividad resulta ser uno de los temas más complejos. Esta complejidad no reside en el uso de la computadora, ni tampoco en el hecho de que las facilidades provistas por los lenguajes de programación para soportar recursividad resulten difíciles de entender. La dificultad consiste en “plantear” soluciones recursivas. La recursividad resulta una forma diferente de pensar y razonar acerca de ciertos problemas. Es justamente desde este punto de vista que se encara la presentación del tema en la materia.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZEste trabajo presenta el modo en que se introduce el concepto de Recursividad en la cátedra de Informática del Departamento de Ciencias de la Computación de la Universidad Nacional del Sur. Según nuestra experiencia, en las materias iniciales de programación la recursividad resulta ser uno de los temas más complejos. Esta complejidad no reside en el uso de la computadora, ni tampoco en el hecho de que las facilidades provistas por los lenguajes de programación para soportar recursividad resulten difíciles de entender. La dificultad consiste en “plantear” soluciones recursivas. La recursividad resulta una forma diferente de pensar y razonar acerca de ciertos problemas. Es justamente desde este punto de vista que se encara la presentación del tema en la materia.Rol y organización del área prógramación en una carrera de Ingeniería en Sistemas de InformaciónCastellaro, MartaLeone, Horacio P.Agüería, Stellahttp://sedici.unlp.edu.ar:80/handle/10915/242292018-12-06T04:03:20Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
En este trabajo se presenta la inserción curricular de la disciplina Programación en el nuevo plan de estudios de la carrera Ingeniería en Sistemas de Información (Universidad Tecnológica Nacional) y su implementación en la Facultad Regional Santa Fe. Sintéticamente se expone en qué forma el Área Programación, como se la concibe en esta propuesta, participa en las distintas dimensiones de la formación del Ingeniero en Sistemas de Información a lo largo de toda la currícula. Finalmente se analizan las experiencias que se están obteniendo a partir de la implementación de plan mencionado, que si bien no permiten obtener conclusiones finales, son útiles para realizar el seguimiento del proyecto.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZEn este trabajo se presenta la inserción curricular de la disciplina Programación en el nuevo plan de estudios de la carrera Ingeniería en Sistemas de Información (Universidad Tecnológica Nacional) y su implementación en la Facultad Regional Santa Fe. Sintéticamente se expone en qué forma el Área Programación, como se la concibe en esta propuesta, participa en las distintas dimensiones de la formación del Ingeniero en Sistemas de Información a lo largo de toda la currícula. Finalmente se analizan las experiencias que se están obteniendo a partir de la implementación de plan mencionado, que si bien no permiten obtener conclusiones finales, son útiles para realizar el seguimiento del proyecto.Experiencias en la enseñanza de Programación ParalelaDe Giusti, Armando EduardoNaiouf, Marcelohttp://sedici.unlp.edu.ar:80/handle/10915/242272018-12-05T20:03:23Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Se discute una primera implementación de un curso de Programación Paralela como asignatura optativa de quinto año de la Licenciatura en Informática de la UNLP.
Las dificultades más importantes al estructurar este curso en 1994 estaban centradas en la necesidad de definir un contenido teórico (prácticamente con muy pocas referencias por lo novedoso del tema en el ámbito universitario), y sobre todo: en estructurar una práctica coherente con los temas teóricos, dentro de la escasa disponibilidad de recursos.
En este trabajo se resume la evolución de los contenidos teóricos y los diferentes modelos de arquitectura sobre los que han efectuado experiencias los alumnos (procesadores heterogéneos distribuidos, transputers, emuladores de·D.5P). Por otra parte, se plantean algunas de las herramientas de especificación de procesos utilizadas (Redes de Petri extendidas, CSP).
Por últimoí se analiza el contexto de los conocimientos previos requeridos por el, alumno, se mencionan una serie de "problemas tipo" que enmarcan el desarrollo conceptual del curso, y se explicita la transformación a realizar al disponerse desde 1997 del Laboratorio de Cómputo Paralelo en el Departamento de Informática de la UNLP.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZSe discute una primera implementación de un curso de Programación Paralela como asignatura optativa de quinto año de la Licenciatura en Informática de la UNLP.
Las dificultades más importantes al estructurar este curso en 1994 estaban centradas en la necesidad de definir un contenido teórico (prácticamente con muy pocas referencias por lo novedoso del tema en el ámbito universitario), y sobre todo: en estructurar una práctica coherente con los temas teóricos, dentro de la escasa disponibilidad de recursos.
En este trabajo se resume la evolución de los contenidos teóricos y los diferentes modelos de arquitectura sobre los que han efectuado experiencias los alumnos (procesadores heterogéneos distribuidos, transputers, emuladores de·D.5P). Por otra parte, se plantean algunas de las herramientas de especificación de procesos utilizadas (Redes de Petri extendidas, CSP).
Por últimoí se analiza el contexto de los conocimientos previos requeridos por el, alumno, se mencionan una serie de "problemas tipo" que enmarcan el desarrollo conceptual del curso, y se explicita la transformación a realizar al disponerse desde 1997 del Laboratorio de Cómputo Paralelo en el Departamento de Informática de la UNLP.Introducción a la programación concurrente en un seminario de lenguajesDe Giusti, Armando Eduardohttp://sedici.unlp.edu.ar:80/handle/10915/242262018-12-06T04:03:16Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Se analiza la experiencia docente de incorporar los temas inciales de Programación Concurrente (recursos compartidos, multiprocesamiento, sincronización, exclusión mútua) en un curso de segundo año de la Licenciatura en Informática de la UNLP.
En particular se discute el contexto de conocimientos del alumno, la bibliografía para los temas teóricos y el soporte del lenguaje para el desarrollo de prácticas, que en este caso ha sido ADA.
Tres años de experiencia en el curso permiten realizar una serie de reflexiones sobre las bondades y defectos del enfoque, reconociendo la importancia creciente de la Programación concurrente y paralela dentro de una currícula actualizada de Informática.
Por último se mencionan una serie de "problemas tipo" que enmarcan el desarrollo conceptual del curso, la vinculación con asignaturas posteriores así como diversas experiencias con alumnos utilizando distintas arquitecturas de soporte.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZSe analiza la experiencia docente de incorporar los temas inciales de Programación Concurrente (recursos compartidos, multiprocesamiento, sincronización, exclusión mútua) en un curso de segundo año de la Licenciatura en Informática de la UNLP.
En particular se discute el contexto de conocimientos del alumno, la bibliografía para los temas teóricos y el soporte del lenguaje para el desarrollo de prácticas, que en este caso ha sido ADA.
Tres años de experiencia en el curso permiten realizar una serie de reflexiones sobre las bondades y defectos del enfoque, reconociendo la importancia creciente de la Programación concurrente y paralela dentro de una currícula actualizada de Informática.
Por último se mencionan una serie de "problemas tipo" que enmarcan el desarrollo conceptual del curso, la vinculación con asignaturas posteriores así como diversas experiencias con alumnos utilizando distintas arquitecturas de soporte.Diseño de experiencias de autoaprendizaje con herramientas multimediales en el Ingreso a InformáticaMadoz, María CristinaGorga, GladysBertone, Rodolfo AlfredoDe Giusti, Armando Eduardohttp://sedici.unlp.edu.ar:80/handle/10915/242242018-12-06T04:02:24Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Se discuten las primeras experiencias de utilización de una herramienta multimedial interactiva que desarrolla los temas del Curso de Ingreso a Informática, sobre diferentes muestras de alumnos.
Primeramente se analiza rápidamente el contexto del Curso de Ingreso y sus contenidos, describiendo el enfoque clásico de su desarrollo y discutiendo los resultados numéricos en cuanto a deserciones y dificultades en los primeros cursos de la carrera de Informática.
Posteriormente se expone el ambiente multimedial desarrollado, su soporte de implementación y la proyección prevista en relación con un primer curso de Programación Estructurada.
Por último se definen los cuatro grupos muestrales con los que se está trabajando (alumnos secundarios pre-universitarios, alumnos realizando el Curso de Ingreso presencial, alumnos estudiando a distancia el Curso de Ingreso y alumnos con fracaso en el Ingreso ’96) y el modelo de evaluación propuesto sobre estos cuatro grupos.
Naturalmente se trata de un trabajo experimental en el que se presentan resultados parciales y se analizan alternativas y dudas de los docentes que participan de su desarrollo
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZSe discuten las primeras experiencias de utilización de una herramienta multimedial interactiva que desarrolla los temas del Curso de Ingreso a Informática, sobre diferentes muestras de alumnos.
Primeramente se analiza rápidamente el contexto del Curso de Ingreso y sus contenidos, describiendo el enfoque clásico de su desarrollo y discutiendo los resultados numéricos en cuanto a deserciones y dificultades en los primeros cursos de la carrera de Informática.
Posteriormente se expone el ambiente multimedial desarrollado, su soporte de implementación y la proyección prevista en relación con un primer curso de Programación Estructurada.
Por último se definen los cuatro grupos muestrales con los que se está trabajando (alumnos secundarios pre-universitarios, alumnos realizando el Curso de Ingreso presencial, alumnos estudiando a distancia el Curso de Ingreso y alumnos con fracaso en el Ingreso ’96) y el modelo de evaluación propuesto sobre estos cuatro grupos.
Naturalmente se trata de un trabajo experimental en el que se presentan resultados parciales y se analizan alternativas y dudas de los docentes que participan de su desarrolloHerramienta visual para la enseftanza de programación estructuradaChampredonde, RaúlDe Giusti, Armando Eduardohttp://sedici.unlp.edu.ar:80/handle/10915/242232018-12-05T20:04:51Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Se presenta un lenguaje de programación junto con su ambiente de desarrollo visual. El objetivo del lenguaje es el aprendizaje de la programación estructurada a nivel introductorio.
En la especificación e implementación del mismo se ha puesto énfasis en la asimilación, por parte del estudiante, de aquellos aspectos de la programación que hacen a un buen estilo, y que favorecen la legibilidad, el mantenimiento, la adaptabilidad.
El ambiente de desarrollo permite la implementación y ejecución de algoritmos especificados en el lenguaje mencionado.
La implementación de un algoritmo puede llevarse a cabo en forma convencional, es decir, escribiendo cada una de las instrucciones que lo componen, o por medio de la confección de un diagrama visual, el cual a su vez, sirve como herramienta de diseno.
Ambas formas de implementación pueden utilizarse indistintamente en cualquier momento del desarrollo de un programa, manteniéndose tanto et diagrama visual como el código, permanentemente actualizados. Esto significa que toda modificación: en uno cualquiera de los dos se refleja en forma inmediata y automática en el otro.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZSe presenta un lenguaje de programación junto con su ambiente de desarrollo visual. El objetivo del lenguaje es el aprendizaje de la programación estructurada a nivel introductorio.
En la especificación e implementación del mismo se ha puesto énfasis en la asimilación, por parte del estudiante, de aquellos aspectos de la programación que hacen a un buen estilo, y que favorecen la legibilidad, el mantenimiento, la adaptabilidad.
El ambiente de desarrollo permite la implementación y ejecución de algoritmos especificados en el lenguaje mencionado.
La implementación de un algoritmo puede llevarse a cabo en forma convencional, es decir, escribiendo cada una de las instrucciones que lo componen, o por medio de la confección de un diagrama visual, el cual a su vez, sirve como herramienta de diseno.
Ambas formas de implementación pueden utilizarse indistintamente en cualquier momento del desarrollo de un programa, manteniéndose tanto et diagrama visual como el código, permanentemente actualizados. Esto significa que toda modificación: en uno cualquiera de los dos se refleja en forma inmediata y automática en el otro.Una experiencia en la enseñanza de teoría de lenguajes y compiladoresAguirre, JorgeArroyo, Marcelohttp://sedici.unlp.edu.ar:80/handle/10915/242222018-12-05T20:04:46Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Se describe una experiencia realizada en la carrera de Licenciatura en Ciencias de Computación de la Universidad Nacional de Río Cuarto. En ella se fusionaron dos asignaturas del cuarto año: Autómatas y Lenguajes y Compiladores. Durante el primer período se impartió el contenido teórico de ambas mientras que en el segundo se realizo un de taller o laboratorio.
Durante la segunda parte se realizó el diseño y la implementación de un compilador OCCAM .
Se describe el enfoque de la experiencia, los resultados obtenidos y la posición de los autores frente a la incorporación de talleres en los planes de estudio de Ciencias de la Computación.
El presente proyecto fue apoyado por la UNRC en el programa de proyectos pedagógicos innovadores.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZSe describe una experiencia realizada en la carrera de Licenciatura en Ciencias de Computación de la Universidad Nacional de Río Cuarto. En ella se fusionaron dos asignaturas del cuarto año: Autómatas y Lenguajes y Compiladores. Durante el primer período se impartió el contenido teórico de ambas mientras que en el segundo se realizo un de taller o laboratorio.
Durante la segunda parte se realizó el diseño y la implementación de un compilador OCCAM .
Se describe el enfoque de la experiencia, los resultados obtenidos y la posición de los autores frente a la incorporación de talleres en los planes de estudio de Ciencias de la Computación.
El presente proyecto fue apoyado por la UNRC en el programa de proyectos pedagógicos innovadores.Listas y funciones de listas: Una propuesta de introducción de modelos de cálculoKantor, Raúlhttp://sedici.unlp.edu.ar:80/handle/10915/242212018-12-05T20:04:43Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Sobre una idea desarrollada por G. Jacopini (Universidad de Roma), se introduce un modelo adicional a los clásicos de funciones recursivas y máquinas de Turing.
Este modelo, no común en la literatura, es de una enorme potencia didáctica.
En su aparente sencillez permite familiarizarse rápidamente con conceptos de gran profundidad. El presente es la base estructural de un apunte de cátedra más completo.
Los alumnos llegan a esta parte de la materia con un manejo del concepto clásico de funciones recursivas.
El resultado principal que se ofrece es que este nuevo modelo “al menos” incluye al de las funciones recursivas.
El tema que sigue (que se esboza brevemente al final de este trabajo) es la presentación de las máquinas de Turing y la demostración de la capacidad de estas de “contemplar” entre sus posibilidades las funciones recursivas de listas.
La clásica demostración de que las máquinas de Turing pueden ser “representadas” por las funciones recursivas, cierra en belleza la presentación de estos tres modelos de cálculo, mostrando su equivalencia profunda.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZSobre una idea desarrollada por G. Jacopini (Universidad de Roma), se introduce un modelo adicional a los clásicos de funciones recursivas y máquinas de Turing.
Este modelo, no común en la literatura, es de una enorme potencia didáctica.
En su aparente sencillez permite familiarizarse rápidamente con conceptos de gran profundidad. El presente es la base estructural de un apunte de cátedra más completo.
Los alumnos llegan a esta parte de la materia con un manejo del concepto clásico de funciones recursivas.
El resultado principal que se ofrece es que este nuevo modelo “al menos” incluye al de las funciones recursivas.
El tema que sigue (que se esboza brevemente al final de este trabajo) es la presentación de las máquinas de Turing y la demostración de la capacidad de estas de “contemplar” entre sus posibilidades las funciones recursivas de listas.
La clásica demostración de que las máquinas de Turing pueden ser “representadas” por las funciones recursivas, cierra en belleza la presentación de estos tres modelos de cálculo, mostrando su equivalencia profunda.Analisis de errores sistematicos detectados en el proceso de aprendizaje de la algoritmicaRosso, A.Daniele, Marcelahttp://sedici.unlp.edu.ar:80/handle/10915/242202018-12-05T20:03:19Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
La enseñanza de la algorítmica nunca resultó una tarea fácil, ymenos aún cuando no se usaba técnicas y metodologías que apuntaran a la correcta definición, interpretación y posterir planteo de la o las soluciones posibles par aun problema dado.
Hasta hace poco tiempo, -y es un actualidad para algunos centros de educación enseñar a programar consistía en mostrarle al educando un lenguaje de programación, en lo posible estructurado, con todas sus reglas sintácticas y semánticas, omitiendo o descuidado la enseñanza de métodos y técnicas que le permitiera a aquel reaccionar, interpretar y desarrollar soluciones a un problema planteado, independientemente del lenguaje que se utilizase.
De esta manera, encontrar la o las soluciones a cada problema dado, requiere un amplísimo esfuerzo por parte del programar: encontrar las líneas de código suficientes y correctas que arrojen alguna solución, pues está concentrado más en las reglas del lenguaje que en una verdadera y óptima interpretación y solución del problema
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
1996-11-01T00:00:00ZLa enseñanza de la algorítmica nunca resultó una tarea fácil, ymenos aún cuando no se usaba técnicas y metodologías que apuntaran a la correcta definición, interpretación y posterir planteo de la o las soluciones posibles par aun problema dado.
Hasta hace poco tiempo, -y es un actualidad para algunos centros de educación enseñar a programar consistía en mostrarle al educando un lenguaje de programación, en lo posible estructurado, con todas sus reglas sintácticas y semánticas, omitiendo o descuidado la enseñanza de métodos y técnicas que le permitiera a aquel reaccionar, interpretar y desarrollar soluciones a un problema planteado, independientemente del lenguaje que se utilizase.
De esta manera, encontrar la o las soluciones a cada problema dado, requiere un amplísimo esfuerzo por parte del programar: encontrar las líneas de código suficientes y correctas que arrojen alguna solución, pues está concentrado más en las reglas del lenguaje que en una verdadera y óptima interpretación y solución del problemaConformación de un espacio de aprendizaje para el abordaje computacional de problemas de la Física y otras disciplinasLara, Luis P.Navone, Hugo DanielTurner, Pablo A.http://sedici.unlp.edu.ar:80/handle/10915/242182019-11-05T19:00:20Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
El rol de los recursos informáticos en el de$arrollo de las diversas disciplinas científicas ha originado nuevos enfoques en el tratamiento y en la resolución de los problemas derivados de las mismas. Más aún, la complejidad de los distintos. sistemas que hoy se estudian exige una formulación, en muchos casos, estrictamente algorítmica. Pero este ,desarrollo en el campo profesional no ha modificado el abordaje de la enseñanza de las ciencias en general y de la físicos en particular. En este trabajo se presenta una experiencia en desarrollo cuyo objetivo es incorporar la formulación algorítmica en el análisis de los fenómenos físicos. En particular, se describe la conformación y características de un espacio de aprendizaje para el logro de este objetivo.
IV Ateneo de Profesores Universitarios de Computación y Sistemas
1996-11-01T00:00:00ZEl rol de los recursos informáticos en el de$arrollo de las diversas disciplinas científicas ha originado nuevos enfoques en el tratamiento y en la resolución de los problemas derivados de las mismas. Más aún, la complejidad de los distintos. sistemas que hoy se estudian exige una formulación, en muchos casos, estrictamente algorítmica. Pero este ,desarrollo en el campo profesional no ha modificado el abordaje de la enseñanza de las ciencias en general y de la físicos en particular. En este trabajo se presenta una experiencia en desarrollo cuyo objetivo es incorporar la formulación algorítmica en el análisis de los fenómenos físicos. En particular, se describe la conformación y características de un espacio de aprendizaje para el logro de este objetivo.Algoritmo distribuido de compresión de datos: Una experiencia comparativa con sockets y PVMRusso, Claudia CeciliaRamón, Hugo DionisioAnderson, AlfredoDirazar, DelioDe Giusti, Armando Eduardohttp://sedici.unlp.edu.ar:80/handle/10915/242142018-12-06T04:02:12Z1996-11-01T00:00:00ZObjeto de conferencia
II Congreso Argentino de Ciencias de la Computación
Es notoria la importancia actual de la compresión de datos en al transmisión de información en redes, especialmente información multimedial Aspectos como optimización del uso del canal, tiempos de repuesta, seguridad y reducción de tráfico, justifican las tareas de investigación y desarrollo en este tema, así como al evolución de los recursos tecnológicos disponibles para implementar nuevas técnicas. En este contexto, se presentan resultados experimentales obtenidos de un algoritmo de compresión de datos utilizando procesamiento distribuido a través de sockets y PVM, teniendo como último objetivo mejorar los modelos de compresión de imágenes incluidos en Khoros. Por último, se discuten las posibles implementaciones de estos algoritmos distribuidos sobre una verdadera arquitectura de procesamiento paralelo.
Eje: Redes de computadoras
1996-11-01T00:00:00ZEs notoria la importancia actual de la compresión de datos en al transmisión de información en redes, especialmente información multimedial Aspectos como optimización del uso del canal, tiempos de repuesta, seguridad y reducción de tráfico, justifican las tareas de investigación y desarrollo en este tema, así como al evolución de los recursos tecnológicos disponibles para implementar nuevas técnicas. En este contexto, se presentan resultados experimentales obtenidos de un algoritmo de compresión de datos utilizando procesamiento distribuido a través de sockets y PVM, teniendo como último objetivo mejorar los modelos de compresión de imágenes incluidos en Khoros. Por último, se discuten las posibles implementaciones de estos algoritmos distribuidos sobre una verdadera arquitectura de procesamiento paralelo.