http://sedici.unlp.edu.ar:80/handle/10915/23786 Thu, 22 Oct 2026 08:14:31 GMT 2026-10-22T08:14:31Z http://sedici.unlp.edu.ar:80/handle/10915/24903 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Las teorías científicas pueden considerarse como extensiones de las teorías lógicas, en las que se incorpora un conjunto heterogéneo y posiblemente inconsistente de conocimiento tentativo (leyes empíricas, conjeturas, hipótesis auxiliares, etc.) Dicho conocimiento está organizado por medio de una jerarquía que representa una dimensión pragmática que tiene en cuenta los posibles beneficios en el uso de dicho conocimiento por medio de patrones de inferencia, englobados dentro de lo que usualmente se denomina método científico. Sin embargo, es esperable que a partir de un mismo conjunto disponible de conocimiento tentativo, diferentes investigadores adopten distintas jerarquías, por lo que el conjunto de conclusiones a que arriba cada uno es también diferente. Este fenómeno da origen a la coexistencia de dos o más teorías científicas dentro de una misma disciplina, donde cada miembro de la disciplina elije entre las diversas alternativas por medio de algún mecanismo de selección. En este trabajo se investiga un modelo de elección de teorías en los programas de investigación. En primera instancia se presenta un sistema de representación de conocimiento y razonamiento afín con los Programas de Investigación Científica de Lakatos, describiendo la formalización de los distintos procesos de predicción y explicación. Luego presentamos los mecanismos de elección de teorías dentro de un programa de investigación, es decir, el proceso dinámico por el cual las teorías surgen o son abandonadas. El mismo está basado en conceptos de Teoría de los Juegos. Para dichos mecanismos, se estudian las condiciones para la emergencia de equilibrios de Nash. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24903 1998-11-01T00:00:00Z Las teorías científicas pueden considerarse como extensiones de las teorías lógicas, en las que se incorpora un conjunto heterogéneo y posiblemente inconsistente de conocimiento tentativo (leyes empíricas, conjeturas, hipótesis auxiliares, etc.) Dicho conocimiento está organizado por medio de una jerarquía que representa una dimensión pragmática que tiene en cuenta los posibles beneficios en el uso de dicho conocimiento por medio de patrones de inferencia, englobados dentro de lo que usualmente se denomina método científico. Sin embargo, es esperable que a partir de un mismo conjunto disponible de conocimiento tentativo, diferentes investigadores adopten distintas jerarquías, por lo que el conjunto de conclusiones a que arriba cada uno es también diferente. Este fenómeno da origen a la coexistencia de dos o más teorías científicas dentro de una misma disciplina, donde cada miembro de la disciplina elije entre las diversas alternativas por medio de algún mecanismo de selección. En este trabajo se investiga un modelo de elección de teorías en los programas de investigación. En primera instancia se presenta un sistema de representación de conocimiento y razonamiento afín con los Programas de Investigación Científica de Lakatos, describiendo la formalización de los distintos procesos de predicción y explicación. Luego presentamos los mecanismos de elección de teorías dentro de un programa de investigación, es decir, el proceso dinámico por el cual las teorías surgen o son abandonadas. El mismo está basado en conceptos de Teoría de los Juegos. Para dichos mecanismos, se estudian las condiciones para la emergencia de equilibrios de Nash. http://sedici.unlp.edu.ar:80/handle/10915/24902 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Se presentó en [Je 95] un Algoritmo de Inferencia, el cual posee como entrada un conjunto finito de figuras o modelos, que se pueden representar como Grafos y como salida un tipo de Gramáticas de Grafos, llamadas Gramáticas de Reemplazo de Hiperlíneas. en [Je 96] se demostró que este Algoritmo es altamente no-determinístico. De manera que en este trabajo se presenta una generalización del Algoritmo de Inferencia y una alternativa semántica para restringir el flujo exponencial de gramáticas inferidas, la que se refiere a exigirle a los grafos ciertas propiedades, que llamaremos compatibles. En especial se considera un conjunto finito de ejemplos "negativos"que son análogos a los modelos ingresados, pero que en la generación del lenguaje de grafos no aparecen. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24902 1998-11-01T00:00:00Z Se presentó en [Je 95] un Algoritmo de Inferencia, el cual posee como entrada un conjunto finito de figuras o modelos, que se pueden representar como Grafos y como salida un tipo de Gramáticas de Grafos, llamadas Gramáticas de Reemplazo de Hiperlíneas. en [Je 96] se demostró que este Algoritmo es altamente no-determinístico. De manera que en este trabajo se presenta una generalización del Algoritmo de Inferencia y una alternativa semántica para restringir el flujo exponencial de gramáticas inferidas, la que se refiere a exigirle a los grafos ciertas propiedades, que llamaremos compatibles. En especial se considera un conjunto finito de ejemplos "negativos"que son análogos a los modelos ingresados, pero que en la generación del lenguaje de grafos no aparecen. http://sedici.unlp.edu.ar:80/handle/10915/24901 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming in the form of “classical” or “strong” negation. In view of such a diversity of semantics for negation in logic programs, Dix [7,5,6] proposed a method for classigying and characterizing them. In this paper we present an analysis of these approaches from the view-point of knowledge representation. We compare them with nonmonotonic formalisms such as default logic, circumscription, and autoepistemic logic, identifying some problems that are not preset in these logics. Then we suggest some alternatives, considering Dix’s formal properties. Finally we discuss the effect of allowing only one negative connective in the syntax of logic programs, whose semantics is defined by the programmer. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24901 1998-11-01T00:00:00Z Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming in the form of “classical” or “strong” negation. In view of such a diversity of semantics for negation in logic programs, Dix [7,5,6] proposed a method for classigying and characterizing them. In this paper we present an analysis of these approaches from the view-point of knowledge representation. We compare them with nonmonotonic formalisms such as default logic, circumscription, and autoepistemic logic, identifying some problems that are not preset in these logics. Then we suggest some alternatives, considering Dix’s formal properties. Finally we discuss the effect of allowing only one negative connective in the syntax of logic programs, whose semantics is defined by the programmer. http://sedici.unlp.edu.ar:80/handle/10915/24900 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y poscondicinoes, pero que no pueden usarse para construir funciones ejecutables, sino que su uso está limitado al proceso transformador. El sistema de transformación también se amplía para tratar restricciones e igualdades generales, resultando un sistema de cinco reglas, potente pero sencillo. Hemos estudiado principalmente su aplicación a la síntesis de funciones inversas de otras existentes. El sistema resulta especialmente útil y natural cuando se combina con una forma poderosa de especificar inversas de funciones, llamada patrones generalizados. En el papel ilustramos estas ideas con la aplicación del sistema a varios problemas, destacando la síntesis de una función que reconstruye un árbol binario a partir de sus recorridos en preorden y en inorde. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24900 1998-11-01T00:00:00Z Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y poscondicinoes, pero que no pueden usarse para construir funciones ejecutables, sino que su uso está limitado al proceso transformador. El sistema de transformación también se amplía para tratar restricciones e igualdades generales, resultando un sistema de cinco reglas, potente pero sencillo. Hemos estudiado principalmente su aplicación a la síntesis de funciones inversas de otras existentes. El sistema resulta especialmente útil y natural cuando se combina con una forma poderosa de especificar inversas de funciones, llamada patrones generalizados. En el papel ilustramos estas ideas con la aplicación del sistema a varios problemas, destacando la síntesis de una función que reconstruye un árbol binario a partir de sus recorridos en preorden y en inorde. http://sedici.unlp.edu.ar:80/handle/10915/24899 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automático de granulosidade na Programação em Lógica. O modelo Granlog necessita da análise estática de modos, tipos, medidas e dependências dos argumentos de um programa Prolog. Atualmente a análise de modos, tipos e medidas não é automática, o programador adiciona estas informações ao código fonte. A análise estática pode ser realizada através da técnica de Interpretação Abstrata. Esta técnica simula a execução de um programa segundo um domínio abstrato obtendo informações sobre o seu comportamento. O ParTy realiza a interpretação abstrata de tipos para os argumentos de um programa Prolog. A integração ParTy-Granlog torna automática a análise de tipos no modelo Granlog. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24899 1998-11-01T00:00:00Z Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automático de granulosidade na Programação em Lógica. O modelo Granlog necessita da análise estática de modos, tipos, medidas e dependências dos argumentos de um programa Prolog. Atualmente a análise de modos, tipos e medidas não é automática, o programador adiciona estas informações ao código fonte. A análise estática pode ser realizada através da técnica de Interpretação Abstrata. Esta técnica simula a execução de um programa segundo um domínio abstrato obtendo informações sobre o seu comportamento. O ParTy realiza a interpretação abstrata de tipos para os argumentos de um programa Prolog. A integração ParTy-Granlog torna automática a análise de tipos no modelo Granlog. http://sedici.unlp.edu.ar:80/handle/10915/24898 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebida como un “álgebra de la programación” [BdM97] o bien como un “cálculo de programas” [FBH 97], constituye uno de los elementos de mayor relevancia, en al medida que provee técnicas, métodos y, más aún, estrategias generales que posibilitan obtener programas correctos por construcción a partir de especificaciones formales o semiformales. En este trabajo se presentan Estrategias de Construcción de Programas basadas en la Teoría de Primer Orden de las Fork Álgebras. En este contexto se describen estrategias, usuales en la Programación en Lógica y Funcional, como “tupling” y “generalización” que resultan de gran utilidad tanto como herramientas de solución de problemas, como técnicas de diseño de algoritmos y también como métodos generales de optimización de programas recursivos. Se analizan condiciones suficientes para la aplicación de estas estrategias a expresiones algebraicas que caracterizan algoritmos genéricos (Es decir, clases de algoritmos) y se presentan varios ejemplos de aplicación de las mismas. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24898 1998-11-01T00:00:00Z La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebida como un “álgebra de la programación” [BdM97] o bien como un “cálculo de programas” [FBH 97], constituye uno de los elementos de mayor relevancia, en al medida que provee técnicas, métodos y, más aún, estrategias generales que posibilitan obtener programas correctos por construcción a partir de especificaciones formales o semiformales. En este trabajo se presentan Estrategias de Construcción de Programas basadas en la Teoría de Primer Orden de las Fork Álgebras. En este contexto se describen estrategias, usuales en la Programación en Lógica y Funcional, como “tupling” y “generalización” que resultan de gran utilidad tanto como herramientas de solución de problemas, como técnicas de diseño de algoritmos y también como métodos generales de optimización de programas recursivos. Se analizan condiciones suficientes para la aplicación de estas estrategias a expresiones algebraicas que caracterizan algoritmos genéricos (Es decir, clases de algoritmos) y se presentan varios ejemplos de aplicación de las mismas. http://sedici.unlp.edu.ar:80/handle/10915/24897 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación En este trabajo se realiza un análisis de situaciones de conflicto estratégico que se producen periódicamente y que se modelan como juegos repetidos, bajo supuestos de racionalidad acotada y usando implementaciones computacionales (estrategias implementadas por autómatas de tamaño 2). Sin estas restricciones hay típicamente infinitos equilibrios lo cual naturalmente dificulta la posibilidad de saber que tipo de conductas (todas razonables) podrán tomar los agentes. En este caso, se hace un estudio estadístico de los equilibrios de Nash en juegos bipersonales generados en forma aleatoria (aquí se relaja la condición de simetría impuesta por Quintas-Silvestri[1998]). Se observa que a diferencia de lo que podrían sugerir los juegos clásicos (Dilema de los Prisioneros y otros juegos de coordinación) en los supuestos arriba mencionados la cantidad de pagos en equilibrio es muy reducida (no así la cantidad de estrategias en equilibrio). Sin dominación o aplicando criterios de dominación fuerte la cantidad de pagos en equilibrio es típicamente uno o dos ( esto es menor que lo encontrado para juegos simétricos) . La dominación fuerte reduce ligeramente la cantidad de estrategias en equilibrios pero no la cantidad de pagos en equilibrio. Bajo criterios de dominación regular o débil, sí se observa una reducción de los pagos (y de las estrategias) de equilibro siendo el caso mas común el de equilibrio único. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24897 1998-11-01T00:00:00Z En este trabajo se realiza un análisis de situaciones de conflicto estratégico que se producen periódicamente y que se modelan como juegos repetidos, bajo supuestos de racionalidad acotada y usando implementaciones computacionales (estrategias implementadas por autómatas de tamaño 2). Sin estas restricciones hay típicamente infinitos equilibrios lo cual naturalmente dificulta la posibilidad de saber que tipo de conductas (todas razonables) podrán tomar los agentes. En este caso, se hace un estudio estadístico de los equilibrios de Nash en juegos bipersonales generados en forma aleatoria (aquí se relaja la condición de simetría impuesta por Quintas-Silvestri[1998]). Se observa que a diferencia de lo que podrían sugerir los juegos clásicos (Dilema de los Prisioneros y otros juegos de coordinación) en los supuestos arriba mencionados la cantidad de pagos en equilibrio es muy reducida (no así la cantidad de estrategias en equilibrio). Sin dominación o aplicando criterios de dominación fuerte la cantidad de pagos en equilibrio es típicamente uno o dos ( esto es menor que lo encontrado para juegos simétricos) . La dominación fuerte reduce ligeramente la cantidad de estrategias en equilibrios pero no la cantidad de pagos en equilibrio. Bajo criterios de dominación regular o débil, sí se observa una reducción de los pagos (y de las estrategias) de equilibro siendo el caso mas común el de equilibrio único. http://sedici.unlp.edu.ar:80/handle/10915/24896 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación En los lenguajes de programación orientados a objetos tradicionales el envío de mensajes es el único mecanismo de comunicación. El objeto que envía un mensaje (cliente) debe especificar explícitamente el objeto que lo recibe (servidor). El objetivo de este trabajo es plantear un modelo alternativo en el cual se considera al ambiente de ejecución como un mercado en donde se ofrecen y requieren servicios, y el programador no se ve forzado a fijar por anticipado el objeto con el cual se establecerá la comunicación. Cualquier modelo que pretenda brindar mecanismos para tal entorno debe contemplar un mediador que facilite a los clientes la búsqueda de información acerca de los servicios y sus proveedores. Esta funcionalidad es soportada en nuestro sistema por un componente denominado Trader. Los proveedores exportan sus servicios al Trader a través de ofertas de servicios. Por su parte, los potenciales usuarios comunican al Trader las características del servicio requerido. En función de este requerimiento, el Trader busca las ofertas que más se adecúan a lo solicitado y retorna referencias a los proveedores apropiados. Este modelo se aplicó al ambiente de programación de Samlltalk, incorporándolo como alternativa al envío tradicional de mensajes. Cuando se desea invocar una operación y se desconocen los objetos que la pueden llevar a cabo se solicita al Trader que encuentre el proveedor más adecuado. A partir de ese momento, la comunicación se realiza en forma directa entre el cliente y el servidor sin ningún tipo de intermediación Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24896 1998-11-01T00:00:00Z En los lenguajes de programación orientados a objetos tradicionales el envío de mensajes es el único mecanismo de comunicación. El objeto que envía un mensaje (cliente) debe especificar explícitamente el objeto que lo recibe (servidor). El objetivo de este trabajo es plantear un modelo alternativo en el cual se considera al ambiente de ejecución como un mercado en donde se ofrecen y requieren servicios, y el programador no se ve forzado a fijar por anticipado el objeto con el cual se establecerá la comunicación. Cualquier modelo que pretenda brindar mecanismos para tal entorno debe contemplar un mediador que facilite a los clientes la búsqueda de información acerca de los servicios y sus proveedores. Esta funcionalidad es soportada en nuestro sistema por un componente denominado Trader. Los proveedores exportan sus servicios al Trader a través de ofertas de servicios. Por su parte, los potenciales usuarios comunican al Trader las características del servicio requerido. En función de este requerimiento, el Trader busca las ofertas que más se adecúan a lo solicitado y retorna referencias a los proveedores apropiados. Este modelo se aplicó al ambiente de programación de Samlltalk, incorporándolo como alternativa al envío tradicional de mensajes. Cuando se desea invocar una operación y se desconocen los objetos que la pueden llevar a cabo se solicita al Trader que encuentre el proveedor más adecuado. A partir de ese momento, la comunicación se realiza en forma directa entre el cliente y el servidor sin ningún tipo de intermediación http://sedici.unlp.edu.ar:80/handle/10915/24895 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Historically Functional Programming FP for short has been associated with a small scope of applications mainly academic The computer science community did not pay enough attention to its potential perhaps due to the lack of e ciency of functional languages Now new theoretical developments in the eld of FP are emerging and better languages e g Haskell Concurrent and Parallel Haskell have been de ned and implemented Genetic algorithms GA are search and optimization techniques which work on a nature inspired principle the Darwinian evolution The corner idea of Darwin theory is that of natural selection The concept of natural selection is captured by GA Speci cally solutions to a given problem are codi ed in the so called chromosomes The evolution of chromosomes due to the action of crossover mutation and natural selection is simulated through computer code GA have been broadly applied and recognized as a robust search and optimization technique GA combined with a local search stage were called Memetic Algorithms after In this paper a functional framework for formal memetic algorithms is intro duced It can be easily extended by subclassi cation of the class hierarchy to provide genetic algorithm specialization memetic algorithm genetic algorithm with islands of possible solutions etc and additional genetic operators behavior To run the frame work over a particular problem a proper encoding of chromosomes should be provided with an instantiation of the genetic operators We claim that functional programming languages at least the one in which our framework has been developed Haskell have reached the necessary maturity to deal with combinatorial optimization problems Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24895 1998-11-01T00:00:00Z Historically Functional Programming FP for short has been associated with a small scope of applications mainly academic The computer science community did not pay enough attention to its potential perhaps due to the lack of e ciency of functional languages Now new theoretical developments in the eld of FP are emerging and better languages e g Haskell Concurrent and Parallel Haskell have been de ned and implemented Genetic algorithms GA are search and optimization techniques which work on a nature inspired principle the Darwinian evolution The corner idea of Darwin theory is that of natural selection The concept of natural selection is captured by GA Speci cally solutions to a given problem are codi ed in the so called chromosomes The evolution of chromosomes due to the action of crossover mutation and natural selection is simulated through computer code GA have been broadly applied and recognized as a robust search and optimization technique GA combined with a local search stage were called Memetic Algorithms after In this paper a functional framework for formal memetic algorithms is intro duced It can be easily extended by subclassi cation of the class hierarchy to provide genetic algorithm specialization memetic algorithm genetic algorithm with islands of possible solutions etc and additional genetic operators behavior To run the frame work over a particular problem a proper encoding of chromosomes should be provided with an instantiation of the genetic operators We claim that functional programming languages at least the one in which our framework has been developed Haskell have reached the necessary maturity to deal with combinatorial optimization problems http://sedici.unlp.edu.ar:80/handle/10915/24894 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Desde os primórdios da humanidade a raça humana busca compreender. A ciência, como instrumento de descobrimento do universo, vem alcançando contínuos sucessos. As descobertas científicas permitiram ao Homem criar um modelo bastante estável e previsível para a realidade na qual está inserido. Em grande parte, o sucesso da ciência basea-se na estratégia de fragmentação do conhecimento, ou seja, na criação de diversas áreas de especialização. A fragmentação é uma solução natural para resolver problemas complexos. No entanto, na medida em que a ciência estimula a fragmentação como abordagem para compreensão do universo, estimula também a visão fragmentária como paradigma (modelo, padrão, visão) do universo. Nos últimos anos, vários cientistas têm pesquisado essa realidade. Como principal argumento, afirmam que a fragmentação é um ótimo paradigma para, inicialmente, dominar a complexidade de um universo. No entanto, na medida em que os fragmentos se especializam, parece indispensável a sua unificação para dar continuidade a evolução do conhecimento. O crescente interesse científico pelo paradigma holístico demonstra a importância dessa abordagem para a evolução do conhecimento humano. Na Ciência da Computação o paradigma fragmentação/especialização vem sendo bastante utilizado para a solução de problemas. Atualmente, o desenvolvimento de sistemas computacionais destaca a fragmentação como instrumento de domínio da complexidade. A máxima "dividir para conquistar" pode ser encontrada em diversos textos da Engenharia de Software. Além disso, a aplicação do paradigma fragmentação/especialização na área de linguagens de programação vem estimulando a criação de diversos Paradigmas de Desenvolvimento de sistemas (por exemplo, desenvolvimento em lógica, imperativo/procedimental, funcional, orientado a objetos, orientado a agentes) e, em especial, a criação de uma quantidade enorme de linguagens. Esta ploriferação de paradigmas e linguagens fez com que a comunidade científica utiliza-se o termo Torre de Babel (como exemplo, veja a capa da revista Computer Languages) para descrever a situação atual. Nos últimos anos os cientistas da computação, em ressonância com o restante da comunidade científica, vêm buscando soluções permeadas pela visão holística. No universo de múltiplas linguagens e paradigmas surge a proposta Multiparadigma. Os pesquisadores do tema multiparadigma propõem a criação de modelos de desenvolvimento que unifiquem paradigmas já existentes. Durante essa tarefa, tentam explorar ao máximo as características consideradas benéficas em cada paradigma. O universo multiparadigma é uma área de pesquisa recente. Sendo assim, não foi criada ainda uma taxonomia para classificação dos modelos multiparadigma. A criação de uma taxonomia para os membros de um universo depende do estudo de suas características. Durante esse estudo, nomalmente surgem semelhanças que podem ser utilizadas para organização dos membros em grupos. Com base em estudos de caso e considerando os objetivos almejados pelos pesquisadores, o artigo propõe uma taxonomia para o universo multiparadigma e prevê os próximos passos da pesquisa nessa área. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24894 1998-11-01T00:00:00Z Desde os primórdios da humanidade a raça humana busca compreender. A ciência, como instrumento de descobrimento do universo, vem alcançando contínuos sucessos. As descobertas científicas permitiram ao Homem criar um modelo bastante estável e previsível para a realidade na qual está inserido. Em grande parte, o sucesso da ciência basea-se na estratégia de fragmentação do conhecimento, ou seja, na criação de diversas áreas de especialização. A fragmentação é uma solução natural para resolver problemas complexos. No entanto, na medida em que a ciência estimula a fragmentação como abordagem para compreensão do universo, estimula também a visão fragmentária como paradigma (modelo, padrão, visão) do universo. Nos últimos anos, vários cientistas têm pesquisado essa realidade. Como principal argumento, afirmam que a fragmentação é um ótimo paradigma para, inicialmente, dominar a complexidade de um universo. No entanto, na medida em que os fragmentos se especializam, parece indispensável a sua unificação para dar continuidade a evolução do conhecimento. O crescente interesse científico pelo paradigma holístico demonstra a importância dessa abordagem para a evolução do conhecimento humano. Na Ciência da Computação o paradigma fragmentação/especialização vem sendo bastante utilizado para a solução de problemas. Atualmente, o desenvolvimento de sistemas computacionais destaca a fragmentação como instrumento de domínio da complexidade. A máxima "dividir para conquistar" pode ser encontrada em diversos textos da Engenharia de Software. Além disso, a aplicação do paradigma fragmentação/especialização na área de linguagens de programação vem estimulando a criação de diversos Paradigmas de Desenvolvimento de sistemas (por exemplo, desenvolvimento em lógica, imperativo/procedimental, funcional, orientado a objetos, orientado a agentes) e, em especial, a criação de uma quantidade enorme de linguagens. Esta ploriferação de paradigmas e linguagens fez com que a comunidade científica utiliza-se o termo Torre de Babel (como exemplo, veja a capa da revista Computer Languages) para descrever a situação atual. Nos últimos anos os cientistas da computação, em ressonância com o restante da comunidade científica, vêm buscando soluções permeadas pela visão holística. No universo de múltiplas linguagens e paradigmas surge a proposta Multiparadigma. Os pesquisadores do tema multiparadigma propõem a criação de modelos de desenvolvimento que unifiquem paradigmas já existentes. Durante essa tarefa, tentam explorar ao máximo as características consideradas benéficas em cada paradigma. O universo multiparadigma é uma área de pesquisa recente. Sendo assim, não foi criada ainda uma taxonomia para classificação dos modelos multiparadigma. A criação de uma taxonomia para os membros de um universo depende do estudo de suas características. Durante esse estudo, nomalmente surgem semelhanças que podem ser utilizadas para organização dos membros em grupos. Com base em estudos de caso e considerando os objetivos almejados pelos pesquisadores, o artigo propõe uma taxonomia para o universo multiparadigma e prevê os próximos passos da pesquisa nessa área. http://sedici.unlp.edu.ar:80/handle/10915/24893 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación A través de los años los científicos de la computación han identificado diversas técnicas (estrategias) generales que a menudo producen algoritmos eficientes para la resolución de muchas clases de problemas. Este trabajo presenta un análisis de la estrategia dynamic programming (programación dinámica), a partir de su formalización mediante una regla en el cálculo transformacional desarrollado en el proyecto CIP [Bauer, 85] [Bauer, 87]. La técnica especificada es utilizada en la optimización de programas recursivos ineficientes, derivados, en general, por razonamientos divide and conquer. A partir del análisis de la resolución de problemas sobre dominios de distinta complejidad, siguiendo un proceso sistemático y formal, se plantea una generalización de la estrategia programación dinámica formalizada que hace explícitas las condiciones del orden involucrado sobre el dominio de un problema. Asimismo, se formula una regla que combina la técnica de operacionalización divide and conquer recursivo [Grinspan, 95a] con la de optimización programación dinámica. Programación dinámica evita calcular subproblemas más de una vez, invirtiendo el orden computacional y eliminando recursiones no lineales. No obstante puede conducir a que se resuelvan subproblemas innecesarios en el cómputo de ciertos problemas. Esto provoca que tanto la complejidad en tiempo como en espacio de almacenamiento resulten mayores a las deseadas. Existe una técnica conocida como memorización [Turner, 81] (tabulación exacta [Bird, 80]) que evita, por un lado, recomputar valores y por el otro, computar valores innecesarios. Sin embargo memorización no elimina recursiones no lineales, complicándose luego este proceso en el contexto de una metodología de desarrollo de software transformacional. Este trabajo plantea una regla que combina las ventajas de ambas técnicas, a través de un refinamiento de programación dinámica, en función al orden involucrado sobre el dominio del problema. Técnicas y conceptos inherentes a la rama de análisis de algoritmos sirven de herramientas en la formalización y deducción de las condiciones necesarias para la utilización de las reglas propuestas. Asimismo, en la evaluación de los resultados obtenidos como consecuencia de un proceso de optimización. Dos casos de estudio siguen el desarrollo del artículo: “cálculo de números combinatorios” y “multiplicación eficiente de n matrices”. Éstos destacan la relevancia de cada una de estrategias –puras, generalizadas o combinadas– que se formalizan. Eje: Teoría Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24893 1998-11-01T00:00:00Z A través de los años los científicos de la computación han identificado diversas técnicas (estrategias) generales que a menudo producen algoritmos eficientes para la resolución de muchas clases de problemas. Este trabajo presenta un análisis de la estrategia dynamic programming (programación dinámica), a partir de su formalización mediante una regla en el cálculo transformacional desarrollado en el proyecto CIP [Bauer, 85] [Bauer, 87]. La técnica especificada es utilizada en la optimización de programas recursivos ineficientes, derivados, en general, por razonamientos divide and conquer. A partir del análisis de la resolución de problemas sobre dominios de distinta complejidad, siguiendo un proceso sistemático y formal, se plantea una generalización de la estrategia programación dinámica formalizada que hace explícitas las condiciones del orden involucrado sobre el dominio de un problema. Asimismo, se formula una regla que combina la técnica de operacionalización divide and conquer recursivo [Grinspan, 95a] con la de optimización programación dinámica. Programación dinámica evita calcular subproblemas más de una vez, invirtiendo el orden computacional y eliminando recursiones no lineales. No obstante puede conducir a que se resuelvan subproblemas innecesarios en el cómputo de ciertos problemas. Esto provoca que tanto la complejidad en tiempo como en espacio de almacenamiento resulten mayores a las deseadas. Existe una técnica conocida como memorización [Turner, 81] (tabulación exacta [Bird, 80]) que evita, por un lado, recomputar valores y por el otro, computar valores innecesarios. Sin embargo memorización no elimina recursiones no lineales, complicándose luego este proceso en el contexto de una metodología de desarrollo de software transformacional. Este trabajo plantea una regla que combina las ventajas de ambas técnicas, a través de un refinamiento de programación dinámica, en función al orden involucrado sobre el dominio del problema. Técnicas y conceptos inherentes a la rama de análisis de algoritmos sirven de herramientas en la formalización y deducción de las condiciones necesarias para la utilización de las reglas propuestas. Asimismo, en la evaluación de los resultados obtenidos como consecuencia de un proceso de optimización. Dos casos de estudio siguen el desarrollo del artículo: “cálculo de números combinatorios” y “multiplicación eficiente de n matrices”. Éstos destacan la relevancia de cada una de estrategias –puras, generalizadas o combinadas– que se formalizan. http://sedici.unlp.edu.ar:80/handle/10915/24878 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Debido al creciente interés en diversas áreas de las Ciencias de la Computación en el estudio y manejo de nociones temporales, en los últimos años se han propuesto lenguajes de programación en lógica temporal. A pesar de esta diversidad de propuestas no hay implementaciones de las mismas accesibles públicamente. El objetivo dl presente trabajo es explicar los aspectos salientes de un nuevo lenguaje de programación en lógica temporal, que utiliza los operadores Since y Until, tanto en sus fundamentos como en lo concerniente a su implementación. Este nuevo lenguaje de programación, denominado SU-TP, se basa en el aspecto lógico en una lógica temporal presentada en [BFG+96] y en el aspecto algorítmico en una propuesta realizada por Dov Gabbay en [Gab87] para obtener una extensión a Prolog [SS86] denominada Temporal Prolog. La novedad de este trabajo con respecto a la presentación de Gabbay está en que se utilizan como operadores temporales básicos un conjunto de operadores más expresivos sobre estructuras lineales, que los que tomaron como básicos en la mencionada propuesta. Además se ha demostrado que este conjunto de operadores es completo sobre la clase de flujos lineales isomorfos a los enteros o a los reales (ver [Kam68] y [GHR87]). Si bien por limitaciones de espacio no se incluirá aquí el código, el mismo puede obtenerse de [Cob98]. No obstante explicaremos detalladamente los fundamentos lógicos de la propuesta, el algoritmo utilizado como base en la implementación y se brindarán ejemplos de su uso. Finalmente se realizarán comentarios relativos a la implementación tanto en lo que respecta a problemas solucionados como a aquellos aspectos que podrían constituir futuras mejoras. También se demostrará que el algoritmo computa una función total (siempre se detiene). Otro punto que es importante resaltar es que si bien no se conocen implementaciones de este tipo de lenguajes, como se mencionó previamente, este utiliza los operadores Since y Until usualmente citados en determinadas clases de problemas. Algunas áreas en las que se han propuesto lógicas temporales basadas en estos operadores incluyen: análisis de correctitud de programas, bases de datos deductivas temporales y generación de documentos multimediales ([Gal87]). V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24878 1998-11-01T00:00:00Z Debido al creciente interés en diversas áreas de las Ciencias de la Computación en el estudio y manejo de nociones temporales, en los últimos años se han propuesto lenguajes de programación en lógica temporal. A pesar de esta diversidad de propuestas no hay implementaciones de las mismas accesibles públicamente. El objetivo dl presente trabajo es explicar los aspectos salientes de un nuevo lenguaje de programación en lógica temporal, que utiliza los operadores Since y Until, tanto en sus fundamentos como en lo concerniente a su implementación. Este nuevo lenguaje de programación, denominado SU-TP, se basa en el aspecto lógico en una lógica temporal presentada en [BFG+96] y en el aspecto algorítmico en una propuesta realizada por Dov Gabbay en [Gab87] para obtener una extensión a Prolog [SS86] denominada Temporal Prolog. La novedad de este trabajo con respecto a la presentación de Gabbay está en que se utilizan como operadores temporales básicos un conjunto de operadores más expresivos sobre estructuras lineales, que los que tomaron como básicos en la mencionada propuesta. Además se ha demostrado que este conjunto de operadores es completo sobre la clase de flujos lineales isomorfos a los enteros o a los reales (ver [Kam68] y [GHR87]). Si bien por limitaciones de espacio no se incluirá aquí el código, el mismo puede obtenerse de [Cob98]. No obstante explicaremos detalladamente los fundamentos lógicos de la propuesta, el algoritmo utilizado como base en la implementación y se brindarán ejemplos de su uso. Finalmente se realizarán comentarios relativos a la implementación tanto en lo que respecta a problemas solucionados como a aquellos aspectos que podrían constituir futuras mejoras. También se demostrará que el algoritmo computa una función total (siempre se detiene). Otro punto que es importante resaltar es que si bien no se conocen implementaciones de este tipo de lenguajes, como se mencionó previamente, este utiliza los operadores Since y Until usualmente citados en determinadas clases de problemas. Algunas áreas en las que se han propuesto lógicas temporales basadas en estos operadores incluyen: análisis de correctitud de programas, bases de datos deductivas temporales y generación de documentos multimediales ([Gal87]). http://sedici.unlp.edu.ar:80/handle/10915/24877 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal model based. Sometimes real applications need to capture non minimal models, in spite of the fact that they contain redundant information. In representing disjunctive knowledge, for instance, minimal approaches capture exclusive disjunction but they cannot managed the inclusive meaning. The purpose of this paper is to analyze the expressive power of a special combination of disjunctive logic programming, negation as failure (NAF), and strong negation. This class of programs are syntactically uniform, since both kinds of negation are allowed to appear in the head and in the body of a rule, and its semantics allows non minimal models. We introduce a non injective syntactic transformation of disjunctive logic programs with NAF in head into disjunctive logic programs without NAF in head, in order to compare semantically both class of programs. Finally, we prove that the set of answer sets of the transformed disjunctive logic program is strictly included in the set of minimal answer sets of the original program and we discuss its consequences. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24877 1998-11-01T00:00:00Z Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal model based. Sometimes real applications need to capture non minimal models, in spite of the fact that they contain redundant information. In representing disjunctive knowledge, for instance, minimal approaches capture exclusive disjunction but they cannot managed the inclusive meaning. The purpose of this paper is to analyze the expressive power of a special combination of disjunctive logic programming, negation as failure (NAF), and strong negation. This class of programs are syntactically uniform, since both kinds of negation are allowed to appear in the head and in the body of a rule, and its semantics allows non minimal models. We introduce a non injective syntactic transformation of disjunctive logic programs with NAF in head into disjunctive logic programs without NAF in head, in order to compare semantically both class of programs. Finally, we prove that the set of answer sets of the transformed disjunctive logic program is strictly included in the set of minimal answer sets of the original program and we discuss its consequences. http://sedici.unlp.edu.ar:80/handle/10915/24876 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación La operación de semi-revisión de una base de creencias B por una sentencia a, denotada B?a, constituye una forma de cambio de creencias que no asigna ningún valor o prioridad especial a la nueva información a. De esta manera, se diferencia claramente de la operación de revisión de creencias del modelo AGM (Alchourrón, Gárdenfors y Makinson) que siempre incorpora la nueva información que es propuesta, asignándole de este modo un valor epistémico mayor con respecto a las creencias ya existentes. La semi-revisión de bases de creencias puede ser modelada como un procedimiento que consiste en incorporar la nueva información a y luego, en caso que a contradiga creencias previas, hacer consistente la nueva base de creencias resultante, ya sea eliminando a o alguna de las creencias originales. Esta última operación, denominada consolidation, puede implementarse mediante la selección de subconjuntos maximales consistentes (parcial meet consolidation) o mediante la selección de subconjuntos minimales inconsistentes (kernel consolidation). En este trabajo, el primero de una serie de dos, se propone una relación de preferencia basada en plausibilidad para la selección de subconjuntos maximales consistentes. Esto nos conduce de manera intuitiva a la definición de una operación de consolidación para la semi-revisión de bases de creencias. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24876 1998-11-01T00:00:00Z La operación de semi-revisión de una base de creencias B por una sentencia a, denotada B?a, constituye una forma de cambio de creencias que no asigna ningún valor o prioridad especial a la nueva información a. De esta manera, se diferencia claramente de la operación de revisión de creencias del modelo AGM (Alchourrón, Gárdenfors y Makinson) que siempre incorpora la nueva información que es propuesta, asignándole de este modo un valor epistémico mayor con respecto a las creencias ya existentes. La semi-revisión de bases de creencias puede ser modelada como un procedimiento que consiste en incorporar la nueva información a y luego, en caso que a contradiga creencias previas, hacer consistente la nueva base de creencias resultante, ya sea eliminando a o alguna de las creencias originales. Esta última operación, denominada consolidation, puede implementarse mediante la selección de subconjuntos maximales consistentes (parcial meet consolidation) o mediante la selección de subconjuntos minimales inconsistentes (kernel consolidation). En este trabajo, el primero de una serie de dos, se propone una relación de preferencia basada en plausibilidad para la selección de subconjuntos maximales consistentes. Esto nos conduce de manera intuitiva a la definición de una operación de consolidación para la semi-revisión de bases de creencias. http://sedici.unlp.edu.ar:80/handle/10915/24874 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24874 1998-11-01T00:00:00Z En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído. http://sedici.unlp.edu.ar:80/handle/10915/24872 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of a non-defeated argument A for q. In order to establish that A is a non-defeated argument, the system look for conterarguments that could be defeaters for A. Since defeaters are arguments, there may exist defeaters for the defeaters, an so on, thus requiring a complete dialectical analysis. The language of Deafeasible Logic Programming (an extension of logic programming) provides a knowledge representation language for defeasible argumentation. In Logic programming, different kinds o parallelism have been studied, OR-parallelism, indepedent an dependent AND-parallelism, an also unification parallelism. All of these type of parallelism are at the language level. In this work we introduce different kinds of parallelism that could de exploited at different levels in a defeasible argumentation system. At the language level, all types of parallelism identified for logic programming can be used. Besides, several arguments for a conclusion q can be constructed in parallel. Once an argument A for q is found, defeaters for A could be searched in parallel. Finally, several argumentation lines in the dialectical analysis between arguments and defeaters, could be explored in parallel. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24872 1998-11-01T00:00:00Z In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of a non-defeated argument A for q. In order to establish that A is a non-defeated argument, the system look for conterarguments that could be defeaters for A. Since defeaters are arguments, there may exist defeaters for the defeaters, an so on, thus requiring a complete dialectical analysis. The language of Deafeasible Logic Programming (an extension of logic programming) provides a knowledge representation language for defeasible argumentation. In Logic programming, different kinds o parallelism have been studied, OR-parallelism, indepedent an dependent AND-parallelism, an also unification parallelism. All of these type of parallelism are at the language level. In this work we introduce different kinds of parallelism that could de exploited at different levels in a defeasible argumentation system. At the language level, all types of parallelism identified for logic programming can be used. Besides, several arguments for a conclusion q can be constructed in parallel. Once an argument A for q is found, defeaters for A could be searched in parallel. Finally, several argumentation lines in the dialectical analysis between arguments and defeaters, could be explored in parallel. http://sedici.unlp.edu.ar:80/handle/10915/24868 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Os sistemas multiagentes reativos são um tema de estudo da inteligência artificial distribuída e têm sido usados em pesquisas e estudos ligados a campos importantes de aplicação, gerando o desenvolvimento de sistemas não apenas para a área acadêmica, mas também para atender às necessidades do mercado industrial. Este trabalho apresenta a definição e a implementação de um protótipo de um ambiente de simulação que possibilita o desenvolvimento de aplicações em sistemas multiagentes reativos. Este ambiente tem a finalidade de facilitar a criação de tais aplicações com o uso de agentes, atingindo um resultado satisfatório. O ambiente definido é o SIMULA, que possibilita ao usuário criar suas aplicações através de elementos de uma interface gráfica. O usuário, na interação com o ambiente, determina os agentes envolvidos no problema e como eles agirão no processo de resolução do mesmo. Apresenta-se, inicialmente, uma visão geral da área, seguida de breve descrição de três modelos de sistemas multiagentes reativos, com um quadro comparativo dos mesmos. A seguir, descreve-se, como objetivo principal, a definição do ambiente proposto para o desenvolvimento de aplicações baseadas neste paradigma, estabelecendo uma comparação com dois outros ambientes existentes. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24868 1998-11-01T00:00:00Z Os sistemas multiagentes reativos são um tema de estudo da inteligência artificial distribuída e têm sido usados em pesquisas e estudos ligados a campos importantes de aplicação, gerando o desenvolvimento de sistemas não apenas para a área acadêmica, mas também para atender às necessidades do mercado industrial. Este trabalho apresenta a definição e a implementação de um protótipo de um ambiente de simulação que possibilita o desenvolvimento de aplicações em sistemas multiagentes reativos. Este ambiente tem a finalidade de facilitar a criação de tais aplicações com o uso de agentes, atingindo um resultado satisfatório. O ambiente definido é o SIMULA, que possibilita ao usuário criar suas aplicações através de elementos de uma interface gráfica. O usuário, na interação com o ambiente, determina os agentes envolvidos no problema e como eles agirão no processo de resolução do mesmo. Apresenta-se, inicialmente, uma visão geral da área, seguida de breve descrição de três modelos de sistemas multiagentes reativos, com um quadro comparativo dos mesmos. A seguir, descreve-se, como objetivo principal, a definição do ambiente proposto para o desenvolvimento de aplicações baseadas neste paradigma, estabelecendo uma comparação com dois outros ambientes existentes. http://sedici.unlp.edu.ar:80/handle/10915/24866 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Argumentative systems [SL92, Vre93, Che96] are formalizations of defeasible reasoning [Pol87, Nut88]. An argument is a tentative piece of reasoning an intelligent agent can use to reach a given conclusion. In case there is information available supporting counterarguments which defeat the argument, its conclusion will no longer be valid. In order to determine whether a conclusion h is justified belief, it is necessary to consider a tree-like structure (having an argument A for h as its root), in which defeaters for A, defeaters for these defeaters, and so on, must be taken into account. If the argument A prevails over all its associated defeaters, then A is called a justification for h. Currently there exist several alternative formalizations of defeasible argumentation. recent work [PS96, KT96, BDKT97] has shown that defeasible argumentation constitutes a point of confluence for the characterization of different approaches to monotonic reasoning (NMR). from the early '90 ther have been several attempts to find a unified logical framework for NMR. In this aspect, the labelled deductive system [Gab96a] (or LDS) constitute an attractive approach, allowing to characterize different logics by introducing labels as part of the logic 's object language and keeping a single inference mechanism for all logics. This paper presents a formal approach for characterizing defeasible argumentation in terms of LDS. Inference rules are present in the style of natural deduction, and they capture the process of defeasible argumentation as defined in the MTDR framework [SL92, SCG94]. We contend that this approach make easier to state and prove properties and characteristics of defeasible argumentation within logical-deductive setting. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24866 1998-11-01T00:00:00Z Argumentative systems [SL92, Vre93, Che96] are formalizations of defeasible reasoning [Pol87, Nut88]. An argument is a tentative piece of reasoning an intelligent agent can use to reach a given conclusion. In case there is information available supporting counterarguments which defeat the argument, its conclusion will no longer be valid. In order to determine whether a conclusion h is justified belief, it is necessary to consider a tree-like structure (having an argument A for h as its root), in which defeaters for A, defeaters for these defeaters, and so on, must be taken into account. If the argument A prevails over all its associated defeaters, then A is called a justification for h. Currently there exist several alternative formalizations of defeasible argumentation. recent work [PS96, KT96, BDKT97] has shown that defeasible argumentation constitutes a point of confluence for the characterization of different approaches to monotonic reasoning (NMR). from the early '90 ther have been several attempts to find a unified logical framework for NMR. In this aspect, the labelled deductive system [Gab96a] (or LDS) constitute an attractive approach, allowing to characterize different logics by introducing labels as part of the logic 's object language and keeping a single inference mechanism for all logics. This paper presents a formal approach for characterizing defeasible argumentation in terms of LDS. Inference rules are present in the style of natural deduction, and they capture the process of defeasible argumentation as defined in the MTDR framework [SL92, SCG94]. We contend that this approach make easier to state and prove properties and characteristics of defeasible argumentation within logical-deductive setting. http://sedici.unlp.edu.ar:80/handle/10915/24864 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Se ofrece un sistema argumentativo que permite razonar temporalmente con las nociones de instante e intervalo. Anteriores propuestas [AS94] y [FA94], sólo podían ser utilizados o bien con instantes o con intervalos. Además, se analiza el problema que introduce el axioma de homogeneidad sobre propiedades en el proceso argumentativo, aspecto computacional no considerado en propuestas anteriores con una ontología basada en intervalos. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24864 1998-11-01T00:00:00Z Se ofrece un sistema argumentativo que permite razonar temporalmente con las nociones de instante e intervalo. Anteriores propuestas [AS94] y [FA94], sólo podían ser utilizados o bien con instantes o con intervalos. Además, se analiza el problema que introduce el axioma de homogeneidad sobre propiedades en el proceso argumentativo, aspecto computacional no considerado en propuestas anteriores con una ontología basada en intervalos. http://sedici.unlp.edu.ar:80/handle/10915/24859 Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Desde comienzos de la década de los '80 han aparecido un número significativo de formalismos que modelan, en ciertos aspéctos, el razonamiento de sentido común. El esfuerzo fué orientado a definir una clase de razonamiento que admitiese información incompleta y potencialmente inconsistente, fundamentalmente motivado por la intuición de que esta parece ser una característica distintiva de las decisiones tomadas por un agente inteligente. La plétora de sistemas ha generado un interés creciente por lograr criterios unificadores y hallar patrones comunes entre todos ellos que puedan ayudar a comprender mejor la situación. Existen dos niveles donde estos patrones pueden buscarse: a nivel de la máquina formal usada para razonar y a nivel de la inferencia en sí misma. Gabbay [Gab85] propuso concentrarse en el estudio a las propiedades formales de la relación de inferencia del sistema. Posteriormente, Makinson [Mak9O] en un trabajo de gran trascendencia realizó un estudio sobre varios sistemas, centrándose en dos propiedades importantes llamadas propiedades cumulativas. En [Sar98] se extiende este estudio a los sistemas argumentativos, en particular al sistema MTDR desarrollado por Simari y Loui [Sim92]. En aquel trabajo se desarrollan consideraciones con respecto a las propiedades cumulativas. Vreeswijk en [Vre92] realiza un estudio similar. En este artículo se prolonga el estudio realizado en [Sar98] explorando ahora algunas propiedades importantes que hablan de la "coherencia lógica" de un razonamiento. Condiciones tales como supraclasicalidad, absorción, equivalencia lógica a izquierda y debilitamiento a derecha, necesarias en un "buen razonamiento", evalúan la coherencia de un razonamiento. Terminaremos analizando tres propiedades no-Horn que no se verifican en casi ningún sistema no-monótono. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Sun, 01 Nov 1998 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24859 1998-11-01T00:00:00Z Desde comienzos de la década de los '80 han aparecido un número significativo de formalismos que modelan, en ciertos aspéctos, el razonamiento de sentido común. El esfuerzo fué orientado a definir una clase de razonamiento que admitiese información incompleta y potencialmente inconsistente, fundamentalmente motivado por la intuición de que esta parece ser una característica distintiva de las decisiones tomadas por un agente inteligente. La plétora de sistemas ha generado un interés creciente por lograr criterios unificadores y hallar patrones comunes entre todos ellos que puedan ayudar a comprender mejor la situación. Existen dos niveles donde estos patrones pueden buscarse: a nivel de la máquina formal usada para razonar y a nivel de la inferencia en sí misma. Gabbay [Gab85] propuso concentrarse en el estudio a las propiedades formales de la relación de inferencia del sistema. Posteriormente, Makinson [Mak9O] en un trabajo de gran trascendencia realizó un estudio sobre varios sistemas, centrándose en dos propiedades importantes llamadas propiedades cumulativas. En [Sar98] se extiende este estudio a los sistemas argumentativos, en particular al sistema MTDR desarrollado por Simari y Loui [Sim92]. En aquel trabajo se desarrollan consideraciones con respecto a las propiedades cumulativas. Vreeswijk en [Vre92] realiza un estudio similar. En este artículo se prolonga el estudio realizado en [Sar98] explorando ahora algunas propiedades importantes que hablan de la "coherencia lógica" de un razonamiento. Condiciones tales como supraclasicalidad, absorción, equivalencia lógica a izquierda y debilitamiento a derecha, necesarias en un "buen razonamiento", evalúan la coherencia de un razonamiento. Terminaremos analizando tres propiedades no-Horn que no se verifican en casi ningún sistema no-monótono.