Recursos de colección

Universidad Nacional de La Plata (74.783 recursos)

Este servicio se brinda en el marco del Proyecto de Enlace de Bibliotecas (PrEBi) y significa una novedosa iniciativa en pos de la difusión a través de Internet, dentro y fuera del ámbito de la Universidad, de los conocimientos que en ella se generan para servir como vehículo de promoción y jerarquización. Los objetivos que se han planteados para SeDiCI son sumamente ambiciosos e incluyen la difusion electrónica de tesis, tesinas y disertaciones pero también de otros tipos de creaciones intelectuales, pretendiendo abarcar la ciencia, la tecnología y el arte buscando modos de presentación no solo de objetos en forma de documentos de texto sino también otros medios multimediales aptos para creaciones no documentales.

CACIC 1998

Mostrando recursos 1 - 20 de 123

  1. Teoría de los juegos y selección de teorías

    Tohmé, Fernando Abel; Delrieux, Claudio
    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...

  2. Generalización de un algoritmo de inferencia basado en gramáticas de grafos

    Jeltsch F., Eric
    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...

  3. Negation in logic programs: is it necessary two connectives?

    Fillottrani, Pablo Rubén; Simari, Guillermo Ricardo
    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,...

  4. Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales

    Pareja-Flores, Cristóbal; Arcas-Guijarro, Miguel; Velázquez-Iturbide, J. Angel
    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...

  5. Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica

    Barbosa, Jorge L. V.; Geyer, Cláudio Fernando Resin; Castro, Luis Fernando Pias de; Azevedo, Silvana Campos de
    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...

  6. Construcción y optimización de programas en Fork Álgebras

    Baum, Gabriel Alfredo; Frias, Marcelo F.; Aguirre, Nazareno Matías; Medel, Ricardo
    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...

  7. Un análisis estadístico del equilibrio de nash en juegos repetidos usando implementaciones computacionales

    Necco, Claudia Mónica; Quintas, Luis Guillermo
    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...

  8. Un mecanismo de comunicación entre objetos basado en Trading

    Michalczewsky, Erika; Fuxman, Ariel; Fillottrani, Pablo Rubé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...

  9. A runnable functional formal memetic algorithm framework

    Krasnogor, Natalio; Mocciola, Pablo Andrés; Pelta, David Alejandro; Ruiz, Germán Esteban; Russo, Wanda Mariana
    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...

  10. Uma taxonomia para modelos multiparadigma

    Barbosa, Jorge L. V.; Geyer, Cláudio Fernando Resin
    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,...

  11. Optimización del orden de evaluación de programas recursivos

    Luna, Carlos Daniel; Baum, Gabriel Alfredo
    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...

  12. Programación en lógica temporal basada en los operadores Since y Until

    Cobo, María Laura; Augusto, Juan Carlos
    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...

  13. Disjunctive logic programming with negation as failure in the head

    Cecchi, Laura; Fillottrani, Pablo Rubén; Simari, Guillermo Ricardo
    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...

  14. Una operación de consolidación basada en plausibilidad

    Parra, Gerardo; Simari, Guillermo Ricardo
    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...

  15. Un operador general de contracción para programas lógicos

    Vaucheret, Claudio A.; Simari, Guillermo Ricardo
    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.

  16. Sources of parallelism in defeasible argumentation

    García, Alejandro Javier; Simari, Guillermo Ricardo
    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...

  17. SIMULA - Ambiente de Simulação em Sistemas Multiagentes Reativos

    Frozza, Rejane; Sorio, Frederico; Alvares, Luis Otávio Campos
    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...

  18. A formalization of defeasible argumentation using labelled deductive systems

    Chesñevar, Carlos Iván; Simari, Guillermo Ricardo
    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...

  19. Un sistema argumentativo temporal basado en instantes e intervalos

    Augusto, Juan Carlos; Simari, Guillermo Ricardo
    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.

  20. Propiedades del operador de consecuencias argumentativo

    Sardiña, Sebastián; Simari, Guillermo Ricardo
    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...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.