http://sedici.unlp.edu.ar:80/handle/10915/24263 I Congreso Argentina de Ciencias de la Computación Fri, 13 Nov 2026 22:11:48 GMT 2026-11-13T22:11:48Z http://sedici.unlp.edu.ar:80/handle/10915/24338 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 genera menos extensiones que la Lógica Default de Reiter pues el orden parcial entre las reglas restringe el número de extensiones posibles solo a aquellas que no violan el orden de especificidad entre las reglas. En este trabajo se describen sucesivamente la Lógica Default con Especificidad y las modificaciones introducidas reemplazando algunas de las definiciones de Brewka. Brevemente se describe la implementación del sistema resultante. El formalismo de Rescher se supone conocido y no será presentado aquí. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24338 1995-10-01T00:00:00Z 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 genera menos extensiones que la Lógica Default de Reiter pues el orden parcial entre las reglas restringe el número de extensiones posibles solo a aquellas que no violan el orden de especificidad entre las reglas. En este trabajo se describen sucesivamente la Lógica Default con Especificidad y las modificaciones introducidas reemplazando algunas de las definiciones de Brewka. Brevemente se describe la implementación del sistema resultante. El formalismo de Rescher se supone conocido y no será presentado aquí. http://sedici.unlp.edu.ar:80/handle/10915/24337 Objeto de conferencia I Congreso Argentino de Ciencias de la Computació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 paper discusses different uses of contexts for modelling the process of defeasible argumentation. We present an alternative view of MTDR using contexts. Our approach will allow us to discuss novel issues in MTDR, such as defining a set of moves and introducting an arbiter for regulating inference. As a result, protocols for argument generation as well as some technical considerations for speeding up inference will be kept apart from the logical machinery underlying MTDR. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24337 1995-10-01T00:00:00Z 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 paper discusses different uses of contexts for modelling the process of defeasible argumentation. We present an alternative view of MTDR using contexts. Our approach will allow us to discuss novel issues in MTDR, such as defining a set of moves and introducting an arbiter for regulating inference. As a result, protocols for argument generation as well as some technical considerations for speeding up inference will be kept apart from the logical machinery underlying MTDR. http://sedici.unlp.edu.ar:80/handle/10915/24336 Objeto de conferencia I Congreso Argentino de Ciencias de la Computació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 área. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24336 1995-10-01T00:00:00Z 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 área. http://sedici.unlp.edu.ar:80/handle/10915/24335 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 basis of some results presented by Levy [2]. As a result, most computations involving dialectical trees can be performed independently from the current groulld facts in the system 's knowledge base. The definition of abstraet dialectical tree will be introduced, which will account for aIl nonground queries for a given literal. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24335 1995-10-01T00:00:00Z 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 basis of some results presented by Levy [2]. As a result, most computations involving dialectical trees can be performed independently from the current groulld facts in the system 's knowledge base. The definition of abstraet dialectical tree will be introduced, which will account for aIl nonground queries for a given literal. http://sedici.unlp.edu.ar:80/handle/10915/24334 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 de diferentes formas de "CWA" como cláusulas de programa. En extensiones anteriores de la programación en lógica, al derivar dos literales complementarios se obtiene todo el lenguaje [4], o no hay forma de decidir entre ellos [5]. Para solucionar este tipo de problemas, nuestro desarrollo utiliza los conceptos de la argumentación rebatible para poder trabajar con información tentativa y potencialmente inconsistente. La noción de inferencia rebatible permite construir un argumento como un subconjunto de un PLR, para luego utilizar los conceptos de derrota y justificación de un sistema argumentativo como motor de inferencia del sistema. La semántica de un PLR queda caracterizada por los conjuntos de respuestas afirmativas, negativas, indecisas y desconocidas. Actualmente se encuentra en construcción una maquina abstracta para la ejecución de programas en lógica rebatible [3], basado en esta semántica, para lo cual se extenderá la máquina abstracta de Warren [15]. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24334 1995-10-01T00:00:00Z 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 de diferentes formas de "CWA" como cláusulas de programa. En extensiones anteriores de la programación en lógica, al derivar dos literales complementarios se obtiene todo el lenguaje [4], o no hay forma de decidir entre ellos [5]. Para solucionar este tipo de problemas, nuestro desarrollo utiliza los conceptos de la argumentación rebatible para poder trabajar con información tentativa y potencialmente inconsistente. La noción de inferencia rebatible permite construir un argumento como un subconjunto de un PLR, para luego utilizar los conceptos de derrota y justificación de un sistema argumentativo como motor de inferencia del sistema. La semántica de un PLR queda caracterizada por los conjuntos de respuestas afirmativas, negativas, indecisas y desconocidas. Actualmente se encuentra en construcción una maquina abstracta para la ejecución de programas en lógica rebatible [3], basado en esta semántica, para lo cual se extenderá la máquina abstracta de Warren [15]. http://sedici.unlp.edu.ar:80/handle/10915/24333 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 way. That is, the persistence axiom is applied locally after every action is performed. Thus, if no exception to sorne properties is present while an action is performed the persistence axiom is used to conclude that those properties will remain unaltered in the resulting situation. Therefore, no property at the present is changed just for the sake of not changing sorne other properties in the future. The only reason for changes in properties are explicit changes provoked by the action being perfonned at the moment. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24333 1995-10-01T00:00:00Z 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 way. That is, the persistence axiom is applied locally after every action is performed. Thus, if no exception to sorne properties is present while an action is performed the persistence axiom is used to conclude that those properties will remain unaltered in the resulting situation. Therefore, no property at the present is changed just for the sake of not changing sorne other properties in the future. The only reason for changes in properties are explicit changes provoked by the action being perfonned at the moment. http://sedici.unlp.edu.ar:80/handle/10915/24331 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 de reducción son correctas y que la función semántica está bien definida. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24331 1995-10-01T00:00:00Z 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 de reducción son correctas y que la función semántica está bien definida. http://sedici.unlp.edu.ar:80/handle/10915/24330 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24330 1995-10-01T00:00:00Z 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. http://sedici.unlp.edu.ar:80/handle/10915/24328 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24328 1995-10-01T00:00:00Z 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. http://sedici.unlp.edu.ar:80/handle/10915/24327 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24327 1995-10-01T00:00:00Z 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. http://sedici.unlp.edu.ar:80/handle/10915/24326 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 ser utilizada para otros textos, a que es definida en función de relaciones de cohesión y coherencia. El principal aspecto considerado en este trabajo para la construcción de la estructura textual es la cohesión a través de la resolución de anáforas definidas tanto pronominales como frases nominales definidas. Presentamos ejemplos de texto reales y su tratamiento en el marco teórico propuesto. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24326 1995-10-01T00:00:00Z 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 ser utilizada para otros textos, a que es definida en función de relaciones de cohesión y coherencia. El principal aspecto considerado en este trabajo para la construcción de la estructura textual es la cohesión a través de la resolución de anáforas definidas tanto pronominales como frases nominales definidas. Presentamos ejemplos de texto reales y su tratamiento en el marco teórico propuesto. http://sedici.unlp.edu.ar:80/handle/10915/24323 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 and explore this knowledge. This paper presents sorne approaches to knowledge discovery in databases íound in the literature, analyzing issues in classifying and clustering large data sets. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24323 1995-10-01T00:00:00Z 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 and explore this knowledge. This paper presents sorne approaches to knowledge discovery in databases íound in the literature, analyzing issues in classifying and clustering large data sets. http://sedici.unlp.edu.ar:80/handle/10915/24322 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 several graded entailments proposed in [DEG*95]. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24322 1995-10-01T00:00:00Z 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 several graded entailments proposed in [DEG*95]. http://sedici.unlp.edu.ar:80/handle/10915/24320 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24320 1995-10-01T00:00:00Z 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. http://sedici.unlp.edu.ar:80/handle/10915/24317 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 los agentes sigan un principio de elección al que denominamos cooperación condicional generalizada, que implica que los agentes operan con conocimiento común acera de las elecciones de los demás. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24317 1995-10-01T00:00:00Z 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 los agentes sigan un principio de elección al que denominamos cooperación condicional generalizada, que implica que los agentes operan con conocimiento común acera de las elecciones de los demás. http://sedici.unlp.edu.ar:80/handle/10915/24315 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 de explicación es visto como un caso particular de razonamiento no monotónico con importancia epistémica. El modelo de razonamiento hipotético e inductivo presentado aquí extiende dicha correspondencia al contexto de descubrimiento, dentro del cual una teoría es utilizada para generar y testear hipótesis experimentales. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24315 1995-10-01T00:00:00Z 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 de explicación es visto como un caso particular de razonamiento no monotónico con importancia epistémica. El modelo de razonamiento hipotético e inductivo presentado aquí extiende dicha correspondencia al contexto de descubrimiento, dentro del cual una teoría es utilizada para generar y testear hipótesis experimentales. http://sedici.unlp.edu.ar:80/handle/10915/24314 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 curso de Análisis y Expresión de Problemas que está en desarrollo en LlDI para utilizarse en la UNLP desde 1996. Eje: 3er. ateneo de profesores universitarios de computación y sistemas Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24314 1995-10-01T00:00:00Z 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 curso de Análisis y Expresión de Problemas que está en desarrollo en LlDI para utilizarse en la UNLP desde 1996. http://sedici.unlp.edu.ar:80/handle/10915/24312 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 la disciplina. En este trabajo se discuten los problemas que acarrea este último enfoque, y se propone una metodología que se considera más adecuada para la enseñanza introductoria y avanzada en computación gráfica. Eje: 3er. ateneo de profesores universitarios de computación y sistemas Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24312 1995-10-01T00:00:00Z 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 la disciplina. En este trabajo se discuten los problemas que acarrea este último enfoque, y se propone una metodología que se considera más adecuada para la enseñanza introductoria y avanzada en computación gráfica. http://sedici.unlp.edu.ar:80/handle/10915/24311 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 , destacándose en cada caso el concepto que se pretende hacer aprehender y las ventajas de la utilización del Mathematica o del Matlab a tal efecto. Los tópicos aquí explícitados son parametrización de curvas diferenciables, parametrización de superficies uniformes, determinación de curvas por intersección de superficies, curvas de nivel, campo gradiente, puntos críticos de funciones diferenciables de dos variables y representación gráfica de problemas sencillos de extremos condicionados. Eje: 3er. ateneo de profesores universitarios de computación y sistemas Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24311 1995-10-01T00:00:00Z 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 , destacándose en cada caso el concepto que se pretende hacer aprehender y las ventajas de la utilización del Mathematica o del Matlab a tal efecto. Los tópicos aquí explícitados son parametrización de curvas diferenciables, parametrización de superficies uniformes, determinación de curvas por intersección de superficies, curvas de nivel, campo gradiente, puntos críticos de funciones diferenciables de dos variables y representación gráfica de problemas sencillos de extremos condicionados. http://sedici.unlp.edu.ar:80/handle/10915/24308 Objeto de conferencia I Congreso Argentino de Ciencias de la Computación 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 concepto tiene. Eje: 3er. ateneo de profesores universitarios de computación y sistemas Sun, 01 Oct 1995 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/24308 1995-10-01T00:00:00Z 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 concepto tiene.