III Congreso Argentino de Ciencias de la Computación http://sedici.unlp.edu.ar:80/handle/10915/23878 2026-11-03T08:35:00Z 2026-11-03T08:35:00Z Karlsen, Einar W. http://sedici.unlp.edu.ar:80/handle/10915/24136 2018-12-07T04:04:01Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación In this paper we describe how existing interactive tools can be integrated using Concurrent Haskell and synchronous events. The base technology is a higher-order approach to concurrency as in CML extended with a framework for handling external events of the environment. These events are represented as first class synchronous events to achieve a uniform, composable approach to event handling. Adaptors are interposed between the external event sources and the internal set of listening agents to achieve this degree of abstraction. A substantially improved integration framework compared to existing technology (such as for example the combination of Tcl/Tk with expect) is then provided. With this basis it is for example possible to wrap a GUI around the hugs interpreter with very little work required. Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z In this paper we describe how existing interactive tools can be integrated using Concurrent Haskell and synchronous events. The base technology is a higher-order approach to concurrency as in CML extended with a framework for handling external events of the environment. These events are represented as first class synchronous events to achieve a uniform, composable approach to event handling. Adaptors are interposed between the external event sources and the internal set of listening agents to achieve this degree of abstraction. A substantially improved integration framework compared to existing technology (such as for example the combination of Tcl/Tk with expect) is then provided. With this basis it is for example possible to wrap a GUI around the hugs interpreter with very little work required. Cueva Lovelle, Juan Manuel Labra Gayo, Jose Emilio Oliveira Rodríguez, Luis Ángel http://sedici.unlp.edu.ar:80/handle/10915/24134 2018-12-07T04:03:57Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación En este artículo se describe HARMONY: un sistema que integra las fases que intervienen en la creación de una composición musical. El sistema contempla la generación automática de melodías mediante fractales y algoritmos genéticos, la armonización de las melodías generadas, la asignación de instrumentos a cada voz y la ejecución en formato MIDI. El núcleo del sistema, desarrollado en lenguaje Haskell, permite armonizar melodías según las reglas de la teoría musical clásica. Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z En este artículo se describe HARMONY: un sistema que integra las fases que intervienen en la creación de una composición musical. El sistema contempla la generación automática de melodías mediante fractales y algoritmos genéticos, la armonización de las melodías generadas, la asignación de instrumentos a cada voz y la ejecución en formato MIDI. El núcleo del sistema, desarrollado en lenguaje Haskell, permite armonizar melodías según las reglas de la teoría musical clásica. Blanco, Javier Martínez López, Pablo E. Mocciola, Pablo Andrés http://sedici.unlp.edu.ar:80/handle/10915/24133 2018-12-07T04:03:53Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Muchas aplicaciones y o algoritmos se expresan de manera más sencilla utilizando lenguajes con estructuras o primitivas de concurrencia. En este tipo de problemas es necesaria la presencia y manipulación de variables o estructuras de estados las cuales se utilizan como mecanismos de sincronización y comunicación entre los procesos Los semáforos son herramientas utilizadas para solucionar problemas de secciones críticas e implementar protocolos de sincronización en programación concurrente Los lenguajes funcionales son her ramientas propicias para expresar paralelismo Concurrent Haskell es una extensión concurrente del lenguaje funcional puro y lazy Haskell. En este trabajo se presentan varias implementaciones de semáforos en Concurrent Haskell y se propone una generalización de las técnicas y mecanismos de sincronización y comunicación de procesos utilizando funciones de alto orden como así también la posibilidad de expresar nuevas estructuras de manipulación de concurrencia como tipo de datos abstractos Un punto importante es estudiar la posibilidad de utilizar lógicas aptas para la concurrencia en la verificación de programas funcionales concurrentes De esta manera se muestra que la programación funcional presenta una alternativa para el desarrollo de aplicaciones concurrentes . Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z Muchas aplicaciones y o algoritmos se expresan de manera más sencilla utilizando lenguajes con estructuras o primitivas de concurrencia. En este tipo de problemas es necesaria la presencia y manipulación de variables o estructuras de estados las cuales se utilizan como mecanismos de sincronización y comunicación entre los procesos Los semáforos son herramientas utilizadas para solucionar problemas de secciones críticas e implementar protocolos de sincronización en programación concurrente Los lenguajes funcionales son her ramientas propicias para expresar paralelismo Concurrent Haskell es una extensión concurrente del lenguaje funcional puro y lazy Haskell. En este trabajo se presentan varias implementaciones de semáforos en Concurrent Haskell y se propone una generalización de las técnicas y mecanismos de sincronización y comunicación de procesos utilizando funciones de alto orden como así también la posibilidad de expresar nuevas estructuras de manipulación de concurrencia como tipo de datos abstractos Un punto importante es estudiar la posibilidad de utilizar lógicas aptas para la concurrencia en la verificación de programas funcionales concurrentes De esta manera se muestra que la programación funcional presenta una alternativa para el desarrollo de aplicaciones concurrentes . Cardoso, Marco A. http://sedici.unlp.edu.ar:80/handle/10915/24132 2018-12-07T04:02:18Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Las lógicas modales son utilizadas en una gran variedad de campos relacionados con las ciencias de la computaci ón Entre ellos se encuentran la veri ficaci ón de programas la concurrencia la teor ía de aut ómatas los operadores de punto jo y los sistemas de comunicaci ón distribu dos El objetivo de este trabajo es describir la implementaci ón en Haskell de un veri ficador de modelos gen erico para l ógicas modales y analizar su comportamiento ven tajas y desventajas con respecto a posibles implementaciones basadas en lenguajes imperativos Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z Las lógicas modales son utilizadas en una gran variedad de campos relacionados con las ciencias de la computaci ón Entre ellos se encuentran la veri ficaci ón de programas la concurrencia la teor ía de aut ómatas los operadores de punto jo y los sistemas de comunicaci ón distribu dos El objetivo de este trabajo es describir la implementaci ón en Haskell de un veri ficador de modelos gen erico para l ógicas modales y analizar su comportamiento ven tajas y desventajas con respecto a posibles implementaciones basadas en lenguajes imperativos Martínez López, Pablo E. http://sedici.unlp.edu.ar:80/handle/10915/24130 2018-12-07T04:02:15Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Parsing combinators are a well known technique to the functional programming com munity Several de nitions of them were proposed and each one has its own advantages From the programmer point of view this wide range of possibilities implies that she needs to mantain several di erent modules with several di erent namespaces but all aimed to solve the same problem Type classes and constructor classes were introduced in Functional Programming as a mean to provide overloading that is sharing of names between functions of di erent types Several design decisions can be made when implementing class systems In particular multi parameter type classes is a di cult feature to add and its addition makes sense only if extra expressiveness is achieved with them This paper proposes the use of the class system extended with multi parameter type classes to unify the de nition of parsing combinators The advantage is that di erent solutions can share their interfaces thus simplifying the programmer s activity She uses this common interface and the actual implementation is decided only changing the type signature Moreover this use of the class system is an example of the usefulness of multi parameter type classes Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z Parsing combinators are a well known technique to the functional programming com munity Several de nitions of them were proposed and each one has its own advantages From the programmer point of view this wide range of possibilities implies that she needs to mantain several di erent modules with several di erent namespaces but all aimed to solve the same problem Type classes and constructor classes were introduced in Functional Programming as a mean to provide overloading that is sharing of names between functions of di erent types Several design decisions can be made when implementing class systems In particular multi parameter type classes is a di cult feature to add and its addition makes sense only if extra expressiveness is achieved with them This paper proposes the use of the class system extended with multi parameter type classes to unify the de nition of parsing combinators The advantage is that di erent solutions can share their interfaces thus simplifying the programmer s activity She uses this common interface and the actual implementation is decided only changing the type signature Moreover this use of the class system is an example of the usefulness of multi parameter type classes Caffa, Angel Rosa, Sylvia da http://sedici.unlp.edu.ar:80/handle/10915/24129 2018-12-07T04:02:13Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación En este trabajo se dise na e implementa en el lenguaje funcional Haskell un algoritmo gen erico para solucionar ecuaciones no lineales y sistemas de ecuaciones lineales El dise no del algoritmo se basa en que los m etodos num ericos usados en la resoluci on de ecuaciones y sistemas presentan el mismo esquema de iteraci on lo cual permite abstraer el m etodo y obtener cada algoritmo de resoluci on por un m etodo determinado como una instancia del algoritmo general Uno de los aspectos m as detacables del uso de Haskell en la implementaci on radica en la posibilidad de lograr el nivel de abstracci on requerido de niendo una funci on sobre el dominio de los m etodos iterativos para representar el algoritmo gen erico donde cada instancia se implementa como una aplicaci on de la funci on Interesa resaltar tambi en el poder que brinda para la implementaci on de funciones sobre objetos in nitos la sem antica perezosa de Haskell Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z En este trabajo se dise na e implementa en el lenguaje funcional Haskell un algoritmo gen erico para solucionar ecuaciones no lineales y sistemas de ecuaciones lineales El dise no del algoritmo se basa en que los m etodos num ericos usados en la resoluci on de ecuaciones y sistemas presentan el mismo esquema de iteraci on lo cual permite abstraer el m etodo y obtener cada algoritmo de resoluci on por un m etodo determinado como una instancia del algoritmo general Uno de los aspectos m as detacables del uso de Haskell en la implementaci on radica en la posibilidad de lograr el nivel de abstracci on requerido de niendo una funci on sobre el dominio de los m etodos iterativos para representar el algoritmo gen erico donde cada instancia se implementa como una aplicaci on de la funci on Interesa resaltar tambi en el poder que brinda para la implementaci on de funciones sobre objetos in nitos la sem antica perezosa de Haskell Koch, Juan E. http://sedici.unlp.edu.ar:80/handle/10915/24127 2018-12-06T04:05:02Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación We show how to translate a call by value functional language to a RISC architecture in a uniform way that encompasses register alloca tion and spill code placement avoids unnecessary copy instructions provides short circuit translation of Boolean expressions and can make use of inter procedural information The translation is directed by the source language structure It uses higher order functional programming extensively Prelimi nary measurements suggest that this method can compete with graph colouring the framework in which most contemporary register allocators are cast The translation is implemented in the ML Kit a region inference based SML compiler On average our back end compiles our benchmarks to code that runs in of the time of the code generated by SML NJ version. Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z We show how to translate a call by value functional language to a RISC architecture in a uniform way that encompasses register alloca tion and spill code placement avoids unnecessary copy instructions provides short circuit translation of Boolean expressions and can make use of inter procedural information The translation is directed by the source language structure It uses higher order functional programming extensively Prelimi nary measurements suggest that this method can compete with graph colouring the framework in which most contemporary register allocators are cast The translation is implemented in the ML Kit a region inference based SML compiler On average our back end compiles our benchmarks to code that runs in of the time of the code generated by SML NJ version. Krasnogor, Natalio Martínez López, Pablo E. Mocciola, Pablo Andrés Pelta, David Alejandro http://sedici.unlp.edu.ar:80/handle/10915/24126 2018-12-06T04:04:58Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Protein Folding is an important open problem in the eld of Computational Biology Due to its com binatorial nature exact polynomial algorithms to solve it could not exist and so approximation algorithms and heuristics has to be used In this paper a new heuristic is studied based on the approach that considers that the folding process is coded into the protein One important aspect of this work is that the algorithm was implemented using functional programming resulting in advantages for the understanding of the problem The results obtained are comparable with the ones obtained for classical algorithms . Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z Protein Folding is an important open problem in the eld of Computational Biology Due to its com binatorial nature exact polynomial algorithms to solve it could not exist and so approximation algorithms and heuristics has to be used In this paper a new heuristic is studied based on the approach that considers that the folding process is coded into the protein One important aspect of this work is that the algorithm was implemented using functional programming resulting in advantages for the understanding of the problem The results obtained are comparable with the ones obtained for classical algorithms . Gonzalía, Carlos José http://sedici.unlp.edu.ar:80/handle/10915/24125 2018-12-06T04:04:55Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Los lenguajes funcionales con r egimen de evaluaci on perezosa presentan di ficultades para el an alisis de la complejidad asint otica de los algoritmos programados en ellos Las t ecnicas de an alisis amortizado permiten en muchos casos an alisis accesibles y utiles sobre el comportamiento de una estructura de datos en dichos lenguajes En este trabajo se da un panorama de estas cuestiones y se analiza la estructura de datos de montí culo sesgado implementada en Haskell como un ejemplo de la utilidad de dichas t ecnicas para el programador funcional . Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z Los lenguajes funcionales con r egimen de evaluaci on perezosa presentan di ficultades para el an alisis de la complejidad asint otica de los algoritmos programados en ellos Las t ecnicas de an alisis amortizado permiten en muchos casos an alisis accesibles y utiles sobre el comportamiento de una estructura de datos en dichos lenguajes En este trabajo se da un panorama de estas cuestiones y se analiza la estructura de datos de montí culo sesgado implementada en Haskell como un ejemplo de la utilidad de dichas t ecnicas para el programador funcional . Marcos, Daniel H. Martínez López, Pablo E. Risi, Walter A. Gallego Sagastume, Ignacio http://sedici.unlp.edu.ar:80/handle/10915/24124 2018-12-06T04:04:50Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación En este art ículo se presentan un conjunto de herramientas constru idas sobre el lenguaje funcional lazy Haskell para describir documentos hypermediales El trabajo consiste en el dise ño e implementaci ón de un conjunto de funciones y tipos que permitan describir los elementos b asicos de un documento hypermedial nodos links componentes multimediales y la interacci on entre ellos La construcci on de los documentos de hypermedia se realiza utilizando unametodolog a composicional en la que componentes de hypermedia complejos se construyen combinando repetidamente otros m as simples Esta metodolog ía puede utilizarse tambi en para crear componentes gen ericos y reusables Otro aspecto interesante es que los documentos descritos con estas herramientas no dependen de construcciones espec ífi cas de una plataforma de hypermedia en particular Consecuentemente los documentos constru ídos de esta forma pueden ser trasladados luego a diferentes plataformas de hypermedia como HTML o Ayuda de Windows sin necesidad de efectuar modi caciones Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z En este art ículo se presentan un conjunto de herramientas constru idas sobre el lenguaje funcional lazy Haskell para describir documentos hypermediales El trabajo consiste en el dise ño e implementaci ón de un conjunto de funciones y tipos que permitan describir los elementos b asicos de un documento hypermedial nodos links componentes multimediales y la interacci on entre ellos La construcci on de los documentos de hypermedia se realiza utilizando unametodolog a composicional en la que componentes de hypermedia complejos se construyen combinando repetidamente otros m as simples Esta metodolog ía puede utilizarse tambi en para crear componentes gen ericos y reusables Otro aspecto interesante es que los documentos descritos con estas herramientas no dependen de construcciones espec ífi cas de una plataforma de hypermedia en particular Consecuentemente los documentos constru ídos de esta forma pueden ser trasladados luego a diferentes plataformas de hypermedia como HTML o Ayuda de Windows sin necesidad de efectuar modi caciones Martínez López, Pablo E. http://sedici.unlp.edu.ar:80/handle/10915/24123 2018-12-06T20:03:50Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Functional Programming was historically considered a toy for re searchers but recent developments in the eld show that its area of ap plication is wider The Hierarchical N Body method is an iterative method used in as trophysics to simulate the gravitational evolution of collisionless matter in order to understand the formation of galaxies In this work functional programming is used as a tool for the descrip tion and prototipation of the Hierarchical N Body method in an attempt to show that it is a suited tool for expressing problems mantaining a good understanding of them and allowing a great degree of abstraction and generalization and with a reasonable e ciency for a prototype . Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z Functional Programming was historically considered a toy for re searchers but recent developments in the eld show that its area of ap plication is wider The Hierarchical N Body method is an iterative method used in as trophysics to simulate the gravitational evolution of collisionless matter in order to understand the formation of galaxies In this work functional programming is used as a tool for the descrip tion and prototipation of the Hierarchical N Body method in an attempt to show that it is a suited tool for expressing problems mantaining a good understanding of them and allowing a great degree of abstraction and generalization and with a reasonable e ciency for a prototype . Campos, M. Lins, R. http://sedici.unlp.edu.ar:80/handle/10915/24122 2018-12-07T04:02:11Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving Aerts, Kris De Vlaminck, Karel http://sedici.unlp.edu.ar:80/handle/10915/24120 2018-12-06T20:03:48Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions mainly because of unfamiliarity with the functional programming FP paradigm We are very open to these reactions and even more performed two surveys This article discusses the answers We believe to be the rst to actually concentrate on the students opinion This may be of particular interest to any teacher considering the move to Scheme or any other functional language but also to the general FP community In the beginning students especially those with advance knowledge of other programming languages are quite sceptic and even negative but the appreciation improves as the course moves on Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z Since the rst programming language taught to students of the faculty of Applied Sciences is Scheme We brie y describe our preference for Scheme and give an overview of the course The controversial language choice induced a lot of reactions mainly because of unfamiliarity with the functional programming FP paradigm We are very open to these reactions and even more performed two surveys This article discusses the answers We believe to be the rst to actually concentrate on the students opinion This may be of particular interest to any teacher considering the move to Scheme or any other functional language but also to the general FP community In the beginning students especially those with advance knowledge of other programming languages are quite sceptic and even negative but the appreciation improves as the course moves on Oliveira, J. N. Almeida, J. J. Barbosa, L. S. Neves, F. L. http://sedici.unlp.edu.ar:80/handle/10915/24119 2018-12-06T04:04:48Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of them addresses a particular topic in the area requirement analysis and generic systems design in the rst case speci cation and implementation development in the second Camila the common framework to both experiences animates a set based language extended with a mild use of category theory which can be reasoned upon for program calculation and classi cation purposes The project a liates itself to but is not restricted to the research in exploring Functional Programming as a rapid prototyping environment for formal software models Its kernel is fully connectable to external applications and equipped with a component repository and distribution facilities The paper explains how Camila is being used in the educational practice as a tool to think with providing a kind of cross fertilization between students under standing of di erent parts of the curriculum Furthermore it helps in developing a number of engineering skills namely the ability to analyze and classify infor mation problems and models and to resort to the combined use of di erent programming frameworks in approaching them. Eje: Conferencia latinoamericana de programación funcional

1997-01-01T00:00:00Z This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of them addresses a particular topic in the area requirement analysis and generic systems design in the rst case speci cation and implementation development in the second Camila the common framework to both experiences animates a set based language extended with a mild use of category theory which can be reasoned upon for program calculation and classi cation purposes The project a liates itself to but is not restricted to the research in exploring Functional Programming as a rapid prototyping environment for formal software models Its kernel is fully connectable to external applications and equipped with a component repository and distribution facilities The paper explains how Camila is being used in the educational practice as a tool to think with providing a kind of cross fertilization between students under standing of di erent parts of the curriculum Furthermore it helps in developing a number of engineering skills namely the ability to analyze and classify infor mation problems and models and to resort to the combined use of di erent programming frameworks in approaching them. Silvetti, Andrea Delrieux, Claudio Castro, Silvia Mabel http://sedici.unlp.edu.ar:80/handle/10915/24117 2018-12-07T04:02:07Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación La interpolación es el más intuitivo de los esquemas de representación geométrica o algebraica de curvas a partir de puntos de control. Al mismo tiempo, en muchos problemas de ingeniería o arquitectura es necesario garantizar que las curvas resultantes pasen por localizaciones específicas, probablemente también con una tangente determinada. Sin embargo, los métodos de interpolación tienen una desventaja fatal, dado que la interpolación con trozos de curvas polinomiales solamente garantizan un orden de continuidad C, es decir, curvas continuas y derivables, pero discontinuas en su segunda derivada. En este trabajo proponemos un método de interpolación, denominado T-Splines, que supera dicha deficiencia, garantizando curvas cuya segunda derivada geométrica es continua. El mismo se basa en encontrar un grafo de control auxiliar, sobre el que se realiza una parametrización no uniforme de la curva, de modo que se satisfagan las restricciones geométricas que garanticen que el B-Spline no uniforme que aproxima a dicho grafo auxiliar interpola al mismo tiempo los puntos de control con las derivadas especificadas. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial

1997-01-01T00:00:00Z La interpolación es el más intuitivo de los esquemas de representación geométrica o algebraica de curvas a partir de puntos de control. Al mismo tiempo, en muchos problemas de ingeniería o arquitectura es necesario garantizar que las curvas resultantes pasen por localizaciones específicas, probablemente también con una tangente determinada. Sin embargo, los métodos de interpolación tienen una desventaja fatal, dado que la interpolación con trozos de curvas polinomiales solamente garantizan un orden de continuidad C, es decir, curvas continuas y derivables, pero discontinuas en su segunda derivada. En este trabajo proponemos un método de interpolación, denominado T-Splines, que supera dicha deficiencia, garantizando curvas cuya segunda derivada geométrica es continua. El mismo se basa en encontrar un grafo de control auxiliar, sobre el que se realiza una parametrización no uniforme de la curva, de modo que se satisfagan las restricciones geométricas que garanticen que el B-Spline no uniforme que aproxima a dicho grafo auxiliar interpola al mismo tiempo los puntos de control con las derivadas especificadas. Corrêa, Edgard de Faria Friedrich, Luis Fernando http://sedici.unlp.edu.ar:80/handle/10915/24115 2018-12-06T04:04:46Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Diversas áreas de pesquisa buscam atualmente conquistar a padronização em suas respectivas tecnologias. Em Sistemas Operacionais o desejo de padronização deve-se, principalmente, á questão da portabilidade, possibilitando a independência dos programas em relações aos sistemas operacionais e á s máquinas onde são executados. No âmbito do tempo-real isso se torna mais crucial pelo fato da necessidade de se ter previsibilidade, ou seja, a garantia de que determinado evento ou tarefa aconteça dentro de um intervalo de tempo especificado ou até um certo tempo limite. Muitas vezes Sistemas Operacionais para Tempo-Real apresentam características específicas de uma determinada aplicação e, portanto, são ainda mais difíceis de serem padronizados, levando a uma maior complexidade e diversidade de soluções para cada aspecto a ser considerado. Em geral, tem-se como objetivo determinante, a padronização do mecanismo utilizado para garantir as características de tempo-real. Uma questão a ser levantada é a possibilidade de se garantir a existência de um padrão de direito e de fato, e se isso garantirá a portabilidade e a previsibilidade. O presente artigo analisa os diversos aspectos propostos no padrão POSIX.4 (1003.1b) e POSIX.4a (1003.1c), tais como: comunicação entre processos; compartilhamento de memória; sincronização; escalonamento e threads, traçando também um comparativo com sistemas operacionais de tempo-real conhecidos, tanto aqueles considerados comerciais quanto os acadêmicos. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial

1997-01-01T00:00:00Z Diversas áreas de pesquisa buscam atualmente conquistar a padronização em suas respectivas tecnologias. Em Sistemas Operacionais o desejo de padronização deve-se, principalmente, á questão da portabilidade, possibilitando a independência dos programas em relações aos sistemas operacionais e á s máquinas onde são executados. No âmbito do tempo-real isso se torna mais crucial pelo fato da necessidade de se ter previsibilidade, ou seja, a garantia de que determinado evento ou tarefa aconteça dentro de um intervalo de tempo especificado ou até um certo tempo limite. Muitas vezes Sistemas Operacionais para Tempo-Real apresentam características específicas de uma determinada aplicação e, portanto, são ainda mais difíceis de serem padronizados, levando a uma maior complexidade e diversidade de soluções para cada aspecto a ser considerado. Em geral, tem-se como objetivo determinante, a padronização do mecanismo utilizado para garantir as características de tempo-real. Uma questão a ser levantada é a possibilidade de se garantir a existência de um padrão de direito e de fato, e se isso garantirá a portabilidade e a previsibilidade. O presente artigo analisa os diversos aspectos propostos no padrão POSIX.4 (1003.1b) e POSIX.4a (1003.1c), tais como: comunicação entre processos; compartilhamento de memória; sincronização; escalonamento e threads, traçando também um comparativo com sistemas operacionais de tempo-real conhecidos, tanto aqueles considerados comerciais quanto os acadêmicos. Chesñevar, Carlos Iván Simari, Guillermo Ricardo http://sedici.unlp.edu.ar:80/handle/10915/24081 2018-12-06T04:04:41Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación Los sistemas argumentativos [SL92, Vre93, Che96] constituyen una formalización del razonamiento rebatible. Un argumento A para un literal h es una pieza de razonamiento que permite a un agente inteligente explicar h de manera tentativa. Para determinar si h es finalmente aceptable (o justificable) es necesario llevar a cabo un análisis para determinar si existe un argumento A que sea una justificación. El análisis precedente resulta en la construcción de un árbol dialéctico, en el cual se parte d ela suposición de que h es literal básico. La construcción de dicho árbol es computacionalmente costosa, incidiendo en la perfomance de un sistema argumentativo. En este trabajo se aborda la argumentación rebatible con información no básica, introduciéndose el concepto de forma argumental. Las formas argumentales están relacionadas entre sí por la relación de conflicto, la cual constituye una generalización de la noción de contraargumentación. También se establecerá una generalización de la noción de contraargumentación. También se establecerá una generalización de la noción de árbol dialéctico utilizando formas argumentales, estudiándose la determinación de justificaciones en términos de estos últimos. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial

1997-01-01T00:00:00Z Los sistemas argumentativos [SL92, Vre93, Che96] constituyen una formalización del razonamiento rebatible. Un argumento A para un literal h es una pieza de razonamiento que permite a un agente inteligente explicar h de manera tentativa. Para determinar si h es finalmente aceptable (o justificable) es necesario llevar a cabo un análisis para determinar si existe un argumento A que sea una justificación. El análisis precedente resulta en la construcción de un árbol dialéctico, en el cual se parte d ela suposición de que h es literal básico. La construcción de dicho árbol es computacionalmente costosa, incidiendo en la perfomance de un sistema argumentativo. En este trabajo se aborda la argumentación rebatible con información no básica, introduciéndose el concepto de forma argumental. Las formas argumentales están relacionadas entre sí por la relación de conflicto, la cual constituye una generalización de la noción de contraargumentación. También se establecerá una generalización de la noción de contraargumentación. También se establecerá una generalización de la noción de árbol dialéctico utilizando formas argumentales, estudiándose la determinación de justificaciones en términos de estos últimos. García, Alejandro Javier Simari, Guillermo Ricardo http://sedici.unlp.edu.ar:80/handle/10915/24080 2018-12-06T20:03:45Z 1997-01-01T00:00:00Z

Objeto de conferencia III 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 entre metas contradictorias. El objetivo de este trabajo es presentar un compilador que se desarrolló para los programas lógicos rebatibles, Dicho compilador toma como entrada un PLR, y produce como salida un programa en instrucciones de una máquina abstracta para la programación rebatible llamada JAM. Para realizar este trabajo, se combinaron técnicas convencionales de compilación, como el análisis recursivo descendente, con técnicas especiales para la programación en lógica. De esta forma, cada cláusula de programa puede compilarse por separado e integrarse a un único código ejecutable. Esto permite que el programa este dividido en varios archivos, o agregar nuevas cláusulas al programa sin necesidad de recompilar el programa entero. El compilador además permite la generación de código para predicados predefinidos del lenguaje. El compilador construido puede utilizarse también para traducir programas en Prolog a códigoWAM (Warren’s Abstract Machine), y podría modificarse fácilmente para producir compiladores para otras extensiones de la programación en lógica. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial

1997-01-01T00:00:00Z 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 entre metas contradictorias. El objetivo de este trabajo es presentar un compilador que se desarrolló para los programas lógicos rebatibles, Dicho compilador toma como entrada un PLR, y produce como salida un programa en instrucciones de una máquina abstracta para la programación rebatible llamada JAM. Para realizar este trabajo, se combinaron técnicas convencionales de compilación, como el análisis recursivo descendente, con técnicas especiales para la programación en lógica. De esta forma, cada cláusula de programa puede compilarse por separado e integrarse a un único código ejecutable. Esto permite que el programa este dividido en varios archivos, o agregar nuevas cláusulas al programa sin necesidad de recompilar el programa entero. El compilador además permite la generación de código para predicados predefinidos del lenguaje. El compilador construido puede utilizarse también para traducir programas en Prolog a códigoWAM (Warren’s Abstract Machine), y podría modificarse fácilmente para producir compiladores para otras extensiones de la programación en lógica. Cecchi, Laura http://sedici.unlp.edu.ar:80/handle/10915/24079 2018-12-06T20:03:42Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación In spite of the NP-completeness of the satisfiability decision problem (SAT problem), many researchers have been attracted by it because SAT has many applications in Artificial Intelligence. This paper presents a randomized David-Putnam based algorithm (RSAT) which solves this problem. Instead of selecting the next literal to be set true or false through a heuristic selection rule, RSAT does it through a random algorithm. RSAT not only improves the well-know Davis-Putnam Procedure that has been implemented with a heuristic selection rule, but avoids the incompleteness problem of the local search algorithms as well. RSAT is described in detail and it is compared with the heuristic based Davis-Putnam algorithm HDPP. We discuss the main features of the RSAT implementation and we especially analyze the random number generator features. Although the scope of the experiment is bound by the number of variables, our results indicate that the heuristic can be guessed by a random number generator and even improved. Empirical analysis that support the final conclusions are shown. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial

1997-01-01T00:00:00Z In spite of the NP-completeness of the satisfiability decision problem (SAT problem), many researchers have been attracted by it because SAT has many applications in Artificial Intelligence. This paper presents a randomized David-Putnam based algorithm (RSAT) which solves this problem. Instead of selecting the next literal to be set true or false through a heuristic selection rule, RSAT does it through a random algorithm. RSAT not only improves the well-know Davis-Putnam Procedure that has been implemented with a heuristic selection rule, but avoids the incompleteness problem of the local search algorithms as well. RSAT is described in detail and it is compared with the heuristic based Davis-Putnam algorithm HDPP. We discuss the main features of the RSAT implementation and we especially analyze the random number generator features. Although the scope of the experiment is bound by the number of variables, our results indicate that the heuristic can be guessed by a random number generator and even improved. Empirical analysis that support the final conclusions are shown. Fillottrani, Pablo Rubén Simari, Guillermo Ricardo http://sedici.unlp.edu.ar:80/handle/10915/24078 2018-12-07T04:03:50Z 1997-01-01T00:00:00Z

Objeto de conferencia III Congreso Argentino de Ciencias de la Computación This is the second in a series of two papers in which we intend to study the formal properties of the semantics of Circumscriptive Logic Programs [6, 7]. The first one [8] was devoted to the strong properties [3], so called after its counterparts in nonmonotonic consequence relations [13, 20]. In this work we apply to this semantics the weak properties [4], specifically defined an extension of these principles to extended logic programs (they were originally defined for normal logic programs) and prove that the semantics of Circumscriptive Logic Programs is well-behaved [4, 5] in the sense it satisfies all “reasonable” principles. Eje: Workshop sobre Aspectos Teoricos de la Inteligencia Artificial

1997-01-01T00:00:00Z This is the second in a series of two papers in which we intend to study the formal properties of the semantics of Circumscriptive Logic Programs [6, 7]. The first one [8] was devoted to the strong properties [3], so called after its counterparts in nonmonotonic consequence relations [13, 20]. In this work we apply to this semantics the weak properties [4], specifically defined an extension of these principles to extended logic programs (they were originally defined for normal logic programs) and prove that the semantics of Circumscriptive Logic Programs is well-behaved [4, 5] in the sense it satisfies all “reasonable” principles.