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 1995

Mostrando recursos 1 - 20 de 49

  1. Una implementación de disputación basada en lógica default

    Vaucheret, Claudio A.; Parra, Gerardo
    En [2] Gerhard Brewka realizó una reconstrucción de la Teoría de Disputación Formal de Nicholas Rescher [5]. En su trabajo, Brewka completó la formalización de la presentación de Dialectics: A Controversy-Oriented Approach to the Theory 01 Knowledge. El formalismo no..monótono que uti~izó para ello es una Logica Default con Especificidad)[l], denominada SDL, que es una variante de la Lógica Default de Reiter[4] que hace preferencia de reglas default más específicas sobre otras más generales. SDL genera un orden parcial entre las reglas default para modelar la especificidad, y lo utiliza para generar las extensiones de las teorías. Para una misma teoría, SDL...

  2. On the use of contexts for representing knowledge in defeasible argumentation

    Chesñevar, Carlos Iván
    The notion of context and its importance in knowledge representation and nonmonotonic reasoning was first discussed in Artificial Intelligence by John McCarthy. Ever since, contexts have found many applications in developing knowledge-based reasoning systems. Defeasible argumentation has gained wide acceptance within the Al community in the last years. Different argument-based frameworks have been proposed. In this respect, MTDR (Simari & Loui, 1992) has come to be one of the most successful. However, even though the formalism is theoretically sound, there exist sorne dialectical considerations involving argument construction and the inference mechanism, which impose a rather procedural approach, tightly interlocked with the system's logic. This...

  3. Un análisis sobre la lógica difusa como herramienta para la representación de conocimiento

    Fillottrani, Pablo Rubén
    El estudio y las aplicaciones de la lógica difusa han tenido en los últimos años un gran desarrollo. Sin embargo, se ha generado una polémica acerca de sus propiedades como herramienta para la Representación de Conocimiento. En este trabajo se presenta una clasificación de distintos sistemas de lógica difusa desde el punto de vista de un sistema formal, y en base a ello se estudian sus propiedades metalógicas. Esto permite analizar formalmente aspectos relevantes de distintos sistemas de Lógica Difusa en el campo de la Representación de Conocimiento dentro de la Inteligencia Artificial. Finalmente, se enumeran algunas posibles aplicaciones en este...

  4. Distinguishing ground from nonground information in defeasible argumentation

    Chesñevar, Carlos Iván; Simari, Guillermo Ricardo
    The problem of speeding up ínference has proved to be important in argumentative systems. When computing dialectical structures, several paths are searched (called argumentation lines), many of which will eventually prove useless. Morover, the performance of backward chainers degrades quickly as the size of the knowledge base increases. This is a major hindrance for argumentative systems, sínce backward chaining is applied at two different levels (arguments themselves resemble proof trees, and arguments are related to each other within a tree structure). This paper presents a novel approach for speeding up inference. We will work with arguments for nonground literaIs, on the...

  5. Una aproximación a la programación en lógica rebatible

    García, Alejandro Javier
    El objetivo de este trabajo es describir un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional. Para ello se utilizarán los programas lógicos rebatibles (PLR), los cuales están formados por dos tipos de cláusulas: las cláusulas de programa extendido [4] que permiten inferir tanto información positiva como negativa, y las cláusulas de programa rebatible [11] que a diferencia de las anteriores representan información tentativa que puede ser utilizada en la medida que no sea contradecida. Los PLR permiten la utilización de la negación clásica y la negación por falla, esto posibilita la representación...

  6. Pruning multi-extensions via exceptions

    Pequeno, Marcelino
    The main contribution of this paper is a method for pruning multi-extensions of a defeasible theory by using the exceptions to order the defeasible fonnulae. We construct a defeasible logic -- DEFEASIBLE WGIC WrrH EXCEFrIONS FIRST(DLEF) -- in which extensions are buílt taking into account the order on the defeasible fonnu1ae induced by the exceptions. This device prompts DLEF as a powerful tool to formalize common sense reasoning. It is on the formalization of the frame problem that we best evaluate the original features of DLEF. DLEF allows the formalization of the persistence axiom in the temporal projection problem in a stepwise...

  7. Cálculo lambda de primer orden con constraints y la propiedad church-rosser

    Crossley, John N.; Mandel, Luis; Wirsing, Martin
    En [2,3] fue presentada una extensión al tradicional cálculo lambda con constraints. Los constraints pueden ser usados con dos distintos propósitos: en una forma pasiva, restringiendo el rango de variables, o en forma activa comput.andp soluciones a determinados sistemas. Aquí presentamos una extensión de aquél cálculo, agregándole cuantificadores existenciales de modo de enfatizar las teorías de Henkin y para eliminar el problema de las variables compartidas. También definimos nuevas' reglas para la manipulación de los nuevos términos del lenguaje. La semántica denotacional del cálculo es presentada, así como también la demostración de la propiedad Church-Rosser (CR). Además probamos que las reglas...

  8. Teoría de cambio de creencias relación entre las funciones de contracción G-AGM y Kernel

    Fermé, Eduardo L.
    El modelo AGM provee una serie de postulados para modelar los cambios de creencias en teorías lógicas. Distintos autores han extendido este modelo para abarcar también conjuntos de creencias no cerrados bajo consecuencia lógica (Bases de Conocimiento). El objetivo de este trabajo es relacionar dos funciones de contracción orientadas a Bases de Conocimiento: G-AGM y Kernel.

  9. On the logic of theory change: wr contraction without recovery

    Fermé, Eduardo L.
    The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gardenfors and Makinson [AM82, AGM85, AM85, Mak87, Gar88] has been the one that more controversies provoked [Mak87, HAN91, see]. There are clearly cases in wich the recovery postulate seems to be contrary to intution.

  10. On the logic for utopia

    Areces, Carlos Eduardo; Becher, Verónica
    In this study we propose the standard modal logic KD43 as the logle governing expressions about Utopia. We define a formal construction corresponding to Utopian expressions In ordlnary language that we name utopian eonditionals. They possess the singular properties of admitting Strengthening of the Antecedent whlle possibly defeating the rule of Modus Ponens. Perhaps the most interesting aspect of this work is that, as far as the authors know, this is the first time a category of expressions in the ordinary language corresponding to these two singular properties is provided.

  11. Cálculo de la estructura de un texto en un sistema de procesamiento de lenguaje natural

    Saggion, Horacio; Carvalho, Ariadne
    Calcular la estructura lingüística de un texto es fundamental en cualquier sistema de procesamiento de lenguaje natural. Para eso, fenómenos más allá de la barrera de la sentencia deben ser considerados. En particular, dos estudios deben ser abordados en el procesamiento de un texto: la cohesión textual y la coherencia textual. En este trabajo definimos una representación para la estructura de un resumen en lengua portuguesa considerado como un fenómeno lingüístico. La representación fue obtenida a partir del estudio de resúmenes reales y de la verificación de relaciones entre sentencias en el texto. Consideramos que este tipo de representación pude...

  12. How to solve it by knowledge mining

    Sampaio, Pedro Rafael Falcone
    Frequently we become amazed with the increasing number of problems to be solved that fiourish while facing daily activities. Often, related to these problems we llave also an incredible amount oí data. Since we cannot allways afford time and resources to sol ve them, we keep on gathering and storing data in large databases, widening the gap between raw and interpreted data. At this point we should refiect about Polya's maxima "A great discovery solves a great problem" and realize that databases encompass the knowledge necessary for guiding the decision making process. The question that remains is how to organize...

  13. Matrix proof method in annotated paraconsistent logic

    Kaestner, Celso A. A.
    The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to the particular case of sorne annotated propositional paraconsistent logics. Further developments related to these ideas are also outlined.

  14. Similarity-based graded modal logic

    Garcia, Pere; Godo, Lluís; Rodríguez, Ricardo
    Within the approximate reasoning Cramework, several systems oC modallogic have been proposed to formalize several kinds oC reasoning models ([MP94], [HM92], [FH91]). In particular, in [EGG95] a Kripke model-like theory for a logic of graded necessity and possibility operators is presented to model similarity-based reasoning. In this paper, we propose an axiomatization for this logic and we show that it is sound and complete with respect to classes oC models based where the accesibility relation is defined in terms of fuzzy similarity relations on the set oC possible worlds. Finally, we indicate how this logic can be used to characterize...

  15. Equilibrios en una sociedad de razonadores racionales

    Tohmé, Fernando Abel
    Un conjunto de agentes racionales en interacción constituye un marco apropiado para solucionar problemas de Inteligencia Artificial particularmente el problema del razonamiento. Sin embargo, al tener cada uno de los agentes objetivos propios, los que trata de satisfacer, aparece el problema de la resolución de conflictos entre agentes. Conviene determinar pues una noción de equilibrio que permita caracterizar situaciones en que las elecciones individuales provean resultados globalmente aceptables. Para derivar dicha noción se apelará a una formulación tomada de la Teoría Económica y se la analizará con herramientas de la Teoría de Juegos. Se muestra que dicha solución requiere que...

  16. Una formalización del razonamiento hipotético e inductivo en teoría de la ciencia

    Delrieux, Claudio
    Se presenta una formalización del razonamiento hipotético adecuada para integrarse dentro del contexto del razonamiento científico. Dicha formalización está fundamentada en la importancia epistémica que se asigna a la información factual. Esto permite caracterizar los distintos tipos de conocimiento que se utilizan, es decir, el conocimiento lógico-deductivo, conocimiento tentativo proveniente de reglas default y el conocimiento proveniente de opiniones o hipótesis. Cada tipo de conocimiento tiene una importancia epistémica diferente. En [2] se presentó una correspondencia entre los aspectos formales de la teoría de la ciencia y un modelo de razonamiento revisable. El comportamiento de una teoría científica dentro del contexto...

  17. Una propuesta de curso interactivo multimedial para el ingreso a Informática en la UNLP

    Bertone, Rodolfo Alfredo; De Giusti, Armando Eduardo; Gorga, Gladys; Madoz, María Cristina
    Se presentan una serie de aspectos del aprendizaje de Programación de Computadoras por alumnos de un primer curso de Informática en la UNlP y se los relaciona con los contenidos del Curso de Ingreso, centrados en la asignatura Análisis y Expresión de Problemas.- Brevemente se analizan algunas· de las causas de la alta tasa de deserción de los alumnos en primer año, vinculando la misma con aspectos de motivación y adaptación del alumno. En este contexto se analiza la ventaja de incorporar recursos multimediales en el Ingreso. Por último, se discute la formulación de una herramienta multimedial como apoyo a dicho...

  18. Enseñanza introductoria y avanzada en computación gráfica

    Delrieux, Claudio; Castro, Silvia Mabel; Silvetti, Andrea
    Se presenta una discusión de los contenidos, requisitos y metodología de enseñanza en computación gráfica en varios niveles. El conjunto de cambios tecnológicos ocurridos en la última década determina que la enseñanza introductoria en computación gráfica deba replantearse sustancialmente. Recientemente, en el seno del Comité de Educación de la ACM SIGGRAPH se propuso una modificación sustancial a la currÍcula de los cursos de computación gráfica, enfatizando un acercamiento basado en los principios físicos de la luz. La propuesta recomienda utilizar software comercial y programas de distribución libre para plataformas convencionales (PC) para acelerar la comprensión de los principios fundamentales de...

  19. Imágenes gráficas: su contribución al aprendizaje de conceptos de cálculo para estudiantes de ciencias naturales

    Niel, Blanca I.
    El interrogante que dio origen e esta experiencia fue cómo hacer que nuestros sentidos perciban la maravilla de un concepto matemático básico. La respuesta tradicional es utilizar el pizarrón de la manera más clara posible, como medio para representaciones gráficas. Una manera alternativa consiste en combinar el uso de una pizarra con el monitor color de una Pe. De esta forma se resuelven múltiples ejercicios de Cálculo 11 aumentando la comprensión y visualización de los mismos por parte de los alumnos, quienes, además, logran generalizaciones y/o aplicaciones posteriores con mayor dinámica. El presente trabajo contiene la resolución de algunos ejercicios ,...

  20. Errores que se cometen al resolver un problema con estructuras de repetición

    Rosso, Ana María; Guazzone, Jorge O.
    Teniendo como objetivo lograr que los alumnos sean capaces de generar algoritmos que incluyan ciclos repetitivos sin errores es que se realizó un trabajo teórico previo para determinar los diferentes tipos de error que se cometen. Este estudio teórico nos permitió tipificar los errores más frecuentes en los ciclos estableciendo cinco tipos errores. Se analizó, además, como se distribuyen esos errores en la práctica cuando se dicta la asignatura. Para evitar cometer los errores tipificados se comenzó por concientizar a los docentes sobre las técnicas a utilizar para generar algoritmos correctos induciéndolos a reflexionar sobre las dificultades que la enseñanza del...

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.