Memoria (licenciado en ciencias jurídicas y sociales) / No autorizada por el autor para ser publicada a texto completo / El tema principal de nuestro estudio está referido al denominado "principio del mal menor". Intentaremos establecer, a la luz de tradición jurídico-filosófica occidental, aquellos antecedentes que permitan dilucidar el conflicto que subyace tras la expresión mal menor, y su posible legitimidad y/o aplicación en el ámbio del derecho. Innecesario resulta referir la importancia práctica que tiene esta materia, principalmente dentro del derecho público, donde, legítima o ilegítimamente, la autoridad explica y justifica diversas actuaciones en virtud del principio del mal menor. A lo anterior se suma el hecho de que, tácitamente, pareciera reconocerse en semejantes prácticas un actuar ajustado a derecho e incluso, éticamente sancionado.

[EN] THE EXTENSION OF VAN HIELE'S MODEL TO THE CONCEPT OF AREA The extension of Van Hiele's model outside the geometrical sphere and of the basic educational levels has been an opened question up to the moment when Professor LLorens read his thesis in 1994 at the Polytechnic University of Valencia. Here the concept of local proximity was applied to one of its most visual and geometrical manifestations: the tangent line to a specific point in a curve. Some other possibilities were displayed there, together with a specific methodology to be used, in a similar or more interesting way than this present thesis. Even though a lot of works related to this topic were published and at least five doctoral theses were written, as a progressive extension of the previous one, there are some questions which are still considered to represent a high level of interest. One of these questions, maybe the most relevant for the A level teaching and its mathematical foundations, is represented by the title of this thesis, both for its direct interest and the concept of whole. We have extended Van Hiele's model to the concept of area by formulating the corresponding descriptors and proposing methodological actions which are in favour of the progress of the reasoning process. We have used the decomposition into areas of a mixtilinear trapezium, with visual and numerical components, as a mechanism to approach the first stage of the concept. The numerical component, related to the previous extensions, represents a breakdown. Using as a tool a Socratic interview, in the daily process of feedback of these interviews, we have reached a formulation of the descriptors which later on has been confirmed by means of a standard guideline answered in at least twenty interviews. Apart from that we have developed a written test, which lacks the precision of an interview but with other advantages represented by the use of accurate statistic tools. This test enabled us to verify the existence of two levels of reasoning, previously described, and the possibility to detect them. Hence this work has been able to prove that Van Hiele's model is able to describe the process of reasoning in other pillar of the mathematical analysis. Also it highlights that some educational routines do not favour the right learning of some concepts. There is a high number of students who, despite their academic results, have not reached the third stage. The emphasis in mechanical or algebraic topics decreases the possibility of realizing other type of work which may be more appropriate for a better comprehension. That is to say that, the skill in algebraic tools is not linked to a high level of reasoning. As a consequence, the use of visuals is reopened to debate in order to favour the create learning situations which lead to the increase in the level of reasoning. / [ES] EXTENSIÓN DEL MODELO DE VAN HIELE AL CONCEPTO DE ÁREA La extensión del modelo de van Hiele fuera del ámbito de la geometría y de los niveles educativos elementales fue una cuestión abierta hasta la tesis, leída en 1994 en la Universidad Politécnica de Valencia (UPV) por el prof. Llorens, en que se aplicaba al concepto de aproximación local en una de sus manifestaciones más visuales y geométrica: la recta tangente a una curva en un punto. En aquella memoria se sugerían otras posibilidades con tanto o más interés que la desarrollada y, además, se trazó una cierta "metodología" para abordarlas. Aunque se han publicado numerosos trabajos al respecto y, además, se han leído al menos cinco tesis doctorales que cabe considerar continuadoras -al menos, en parte- de aquella memoria, quedan aún pendientes no pocas cuestiones que podemos considerar del máximo interés. Una de ellas, quizá la de mayor repercusión en las cuestiones docentes del bachillerato y de los fundamentos de análisis matemático, tanto por su interés directo como por la relación con el concepto de integral, es la que da título a nuestra memoria. Hemos extendido el modelo de van Hiele al concepto de área formulando los descriptores correspondientes y sugiriendo acciones metodológicas que favorecen el progreso en el nivel de razonamiento. Asimismo, hemos analizado la relación con el proceso de enseñanza-aprendizaje de la integral. Todo ello con el esquema de trabajo que, como hemos dicho antes, se ha reiterado en las memorias de doctorado mencionadas. En concreto, hemos usado, como mecanismo para aproximarnos a la fase-1 del concepto, una descomposición en franjas para un trapecio mixtilíneo, con componente visual y numérica. Esa componente numérica supone toda una novedad respecto de las extensiones del modelo antes citadas. Utilizando como herramienta una entrevista socrática, en el habitual proceso de feed-back de estas entrevistas, hemos logrado llegar a la formulación de los descriptores que después se han corroborado usando el guion definitivo en una veintena de entrevistas. Además, hemos desarrollado una prueba escrita que, sin la precisión de la entrevista pero con otras ventajas evidentes, usando las herramientas estadísticas apropiadas, nos ha permitido verificar la existencia de los niveles de razonamiento previamente descritos y la posibilidad de detectarlos. Así pues, con este trabajo se ha probado que el modelo de van Hiele es capaz de describir el proceso de razonamiento en otro pilar más del análisis matemático. Y también evidencia que determinadas rutinas presentes en los sistemas educativos no favorecen el correcto aprendizaje de los conceptos. Hay demasiados estudiantes que no han alcanzado el nivel III pese a que por su nivel académico deberían haberlo hecho, pero el énfasis en cuestiones mecánicas o algebraicas merman la posibilidad de realizar otro tipo de trabajo más adecuado para que se produzca una buena comprensión. Es decir, se ha evidenciado que la destreza en las herramientas algebraicas no va ligada a un nivel de razonamiento elevado. En consecuencia, se vuelve a plantear el uso de la visualización para crear situaciones de aprendizaje que conduzcan al progreso en el nivel de razonamiento. / [CAT] EXTENSIÓ DEL MODEL DE VAN HIELE AL CONCEPTE D'ÀREA L'extensió del model de van Hiele fora de l'àmbit de la geometria i dels nivells educatius elementals va ser una qüestió oberta fins la tesi, llegida al 1994 en la Universitat Politècnica de València (UPV) pel prof. Llorens, en la qual s'aplicava al concepte d'aproximació local en una de les seues manifestacions més visuals i geomètrica: la recta tangent a una corba en un punt. A aquella memòria es suggerien altres possibilitats amb tant o més interés que la desenvolupada i, a més a més, es va dissenyar una certa "metodologia" per abordar-les. Encara que s'han publicat nombrosos treballs al respecte i a més a més s'han llegit al menys cinc tesis doctorals que es poden considerar continuadores -al menys, en part- d'aquella memòria, queden encara pendents no poques qüestions que podem considerar del màxim interés. Una d'elles, potser la de major repercussió en les qüestions docents del batxillerat i dels fonaments de l'anàlisi matemàtica, tant pel seu interés directe com per la relació amb el concepte d'integral, és la que dóna títol a la nostra memòria. Hem estés el model de van Hiele al concepte d'àrea formulant els descriptors corresponents i suggerint accions metodològiques que afavorisquen el progrés en el nivell de raonament. Així mateix, hem analitzat la relació amb el procés d'ensenyança-aprenentatge de la integral. Tot allò amb l'esquema de treball que, com hem dit abans, s'ha reiterat a les memòries de doctorat anomenades. En concret, hem fet ús, com mecanisme per aproximar-nos a la fase-1 del concepte, una descomposició en franjes per a un trapeci mixtiline, amb component visual i numèrica. Eixa component numèrica suposa tota una novetat respecte les extensions del model abans dites. Utilitzant com ferramenta una entrevista socràtica, en l'habitual procés de feed-back d'aquestes entrevistes, hem aconseguit arribar a la formulació dels descriptors que després hem corroborat fent ús del guió definitiu en unes vint entrevistes. A més a més, hem desenvolupat una prova escrita que, sense la precisió de l'entrevista però amb altres avantatges evidents, utilitzant les ferramentes estadístiques apropiades, ens han permés verificar l'existència dels nivells de raonament prèviament descrits i la possibilitat de detectar-los. Així, amb aquest treball ha quedat provat que el model de van Hiele pot descriure el procés de raonament en altre pilar més de l'anàlisi matemàtica. I també evidencia que determinades rutines presents als sistemes educatius no afavoreixen el correcte aprenentatge dels conceptes. Hi ha massa estudiants que no han aconseguit el nivell III encara que pel seu nivell acadèmic haurien d'haver-lo fet, però l'èmfasi en qüestions mecàniques o algebraiques disminueixen la possibilitat de realitzar altre tipus de treball més adequat per a que es produisca una bona comprensió. És a dir, s'ha evidenciat que la destresa amb les eines algebraiques no va lligada a un nivell de raonament elevat. En conseqüència, es torna a plantejar l'ús de la visualització per a crear situacions d'aprenentatge que conduisquen al progrés en el nivell de raonament. / Prat Villar, M. (2016). Extensión del modelo de Van Hiele al concepto de área [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/63246 / TESIS

Un área relativamente nueva en la Inteligencia Artificial es la argumentación rebatible, la cual modela el proceso de razona-miento en el cual se producen y se evalúan argumentos a fa-vor y en contra de una proposición para verificar la aceptabi-lidad de dicha proposición. Se han definido diferentes sistemas formales para argumentación rebatible como una forma de representar las características más interesantes del razona-miento de sentido común. La idea central de estos sistemas radica en que una determinada propuesta será aceptada, si el argumento que le da soporte se considera aceptable luego de realizado cierto análisis. Este análisis se realiza teniendo en cuenta a todos los contraargumentos disponibles.Por lo tanto, en el conjunto de los argumentos del sistema, algunos argu-mentos serán aceptables o justificados o garantizados, mien-tras que otros no lo serán. De esta manera, la argumentación rebatible permite razonar con información incompleta e incier-ta, y define una manera adecuada de razonar para el manejo de la inconsistencia presente en los sistemas basados en el conocimiento. Los sistemas argumentativos abstractos son formalismos para lograr razonamiento rebatible donde algunas componentes se mantienen sin especificar. En ellos la principal abstracción está en la estructura de los argumentos. En este tipo de sistemas, el énfasis está puesto en dilucidar cuestio-nes semánticas, tales como encontrar el conjunto de argu-mentos aceptados. La mayoría de ellos está basado en la no-ción abstracta de ataque, representada como una relación entre los miembros del conjunto de argumentos disponibles. Si dos argumentos (A; B) forman parte de una relación de ataque, la aceptación del argumento B depende de la acep-tación de A pero no al revés, i:e:, resulta necesario determi-nar si A es aceptado o no para aceptar a B, pero la aceptabi-lidad de A no depende de la aceptabilidad del argumento B. Aunque en la literatura se encuentran varios marcos de argu-mentación (o frameworksen Inglés) ninguno de ellos incluye la noción de tiempo, a pesar de tratarse de un concepto cotidia-no en el razonamiento de sentido común. La representación del tiempo es una tarea difícil pero necesaria para la resolu-ción de problemas de diversas tareas, tales como Basede Datos, Simulación, Sistemas Expertos e Inteligencia Artificial. El objetivo principal de esta Tesis es brindar una formalización para lograr razonamiento argumentativo temporal. Para ello se tomará como punto de partida alguno de los diversos sistemas argumentativos con diferentes grados de abstracción de-sarrollados. El más abstracto de todos es el sistema desarrolla-do por Dung, que ha sido el marco inicial para muchos otros desarrollos. El framework abstracto de Dung será el sistema de partida elegido para extenderlo y lograr el objetivo plantea-do. En esta Tesis se presentan dos sistemas argumentativos abstractos. Ambos se encuentran basados en el sistema argu-mentativo de Dung y lo extienden agregándole un dimensión temporal. El tiempo aparece asociado a los argumentos indi-cando cuando los mismos están disponibles o son relevantes como piezas de razonamiento. Los sistemas desarrollados utilizan la misma primitiva de representación pero sobre es-tructuras temporales diferentes y adoptan estrategias de disponibilidad con diferentes grados de exibilidad. Los resulta-dos obtenidos permiten contar con la caracterización formal de los sistemas y su vinculación al sistema clásico. En parti-cular, se definen semánticas para los sistemas argumenta-tivos, basadas en las semanticas tradicionales del área; com-parándose las mismas con las definidas para el framework de Dung. Estos resultados están vinculados a áreas relaciona-das de las ciencias de la computación tales como argumen-tación, razonamiento temporal, y razonamiento de sentido común. / Argumentation is a relatively new area in Artificial Intelligence, that models the process of reasoning in which arguments for and against a proposal are analyzed in order to verify the acceptability of the proposal. Diferent formal systems of de-feasible argumentation have been defined as forms of repre-senting interesting characteristics of practical or common sen-se reasoning. The central idea in these systems is that a pro-position will be accepted if there exists an argument that supports it, and this argument is regarded as acceptable with respect to an analysis performed considering all the available counterarguments. Therefore, in the set of arguments of the system, some of them will be acceptable or justified or warranted arguments, while others will be not. In this manner, defeasible argumentation allows reasoning with incomplete and uncertain information and is suitable to handle inconsis-tency in knowledge-based systems. Abstract argumentation systems are formalisms for defeasible reasoning where some components remain unspecified, being the structure of argu-ments the main abstraction. In this type of systems, the emphasis is put on elucidating semantic questions, such as finding the set of accepted arguments. Most of them are ba-sed on the single abstract notion of attack represented as a relation among the set of available arguments. If two argu-ments (A; B) are in the attack relation then in order to accept B it is necessary to find out if A is accepted or not, but not the other way around. From that relation, several argument extensions are dened as sets of possible accepted arguments. Although there are several argumentation frame-works in the literature, none of them includes the notion of time, which is an everyday factor of common sense reaso-ning.Time representation involves a hard but necessary task in knowledge representation and reasoning. Application in several areas required time formalizations, among them we can mention Data Bases, Simulation, Expert Systems and Artificial Intelligence. The main objective of this Thesis is to provide an abstract formalization to address temporal argumentative rea-soning. In order to achieve this objective one of the several argumentative frameworks developed is used as starting point. The most abstract of all was developed by Dung, and precisely for this feature has been the starting point for many other developments. The abstract framework of Dung is the chosen system for being extended in order to achieve our objective. In this Thesis we present two abstract argumenta-tive systems called Timed Argumentative Frameworks. Both are based on Dung argumentative system and are extended to include a time dimension. Time is associated to arguments, indicating when they are available or are relevant as part of reasoning. These systems use the same primitive for time representation but different temporal structures. The strate-gies for representing the availability of arguments have different degrees of exibility. We define several semantic notions for these novel timed argumentation systems. The semantics are based on the traditional, classic ones develo-ped in the area. these new semantics are compared with those dened for the basic framework of Dung. These results are linked to related areas of computer science such as reaso-ning, temporal reasoning and common sense reasoning.

Diseña un modelo de sistema utilizando el razonamiento basado en casos (RBC) como apoyo al médico, para diagnosticar enfermedades más comunes en pobladores de un centro rural, con la finalidad de paliar en parte las necesidades básicas de salud en aquellos lugares. / Tesis

La Programación Orientada a Aspectos (AOP) apunta a mejorar la modularidad y reusabilidad en sistemas de software al ofrecer un mecanismo de abstracción para manejar crosscutting concerns. Sin embargo, en la mayoría de los lenguajes orientados a aspectos; los aspectos tienen poder casi sin restricciones, lo que eventualmente entra en conflicto con las metas anteriores. En este trabajo presentamos EffectiveAspects: un nuevo enfoque para incorporar el modelo AOP de pointcut/advice en un lenguaje funcional estáticamente tipeado como Haskell. Como primera contribución, definimos una incorporación completa del modelo de pointcut/advice al lenguaje, usando mónadas. La coherencia de tipos se garantiza explotando el sistema de tipos subyacente, en particular phantom types y una nueva type class que implemente un algoritmo de anti-unificación. Los aspectos son de primera clase, pueden ser desplegados dinámicamente, y el lenguaje de pointcuts es extensible; por lo tanto combina la flexibilidad de lenguajes de aspectos dinámicamente tipeados con las garantías de un sistema de tipos estático. Las mónadas nos permiten razonar directamente sobre los efectos tanto en los aspectos como en los programas base mediante técnicas monádicas tradicionales. Con esto, extendemos la noción de Open Modules propuesta por Aldrich con efectos y con pointcuts protegidos, que son interfaces que restringen la aplicación externa de advice. Estas restricciones son enforzadas estáticamente usando el sistema de tipos. También, adaptamos las técnicas de EffectiveAdvice para razonar y enforzar propiedades del flujo de control; así como también adaptamos su enfoque basado en parametricidad para controlar la interferencia de efectos. Luego de mostrar que este último enfoque no es suficiente en presencia de múltiples aspectos, proponemos un nuevo enfoque basado en monad views, una nueva técnica para manejar mónadas, desarrollada por Schrijvers y Olivera. Nuestra segunda contribución se basa en un poderoso modelo para razonar sobre la composición de componentes basados en mixins que incorporan efectos computacionales. Este modelo se basa en razonamiento ecuacional, parametricidad y leyes algebráicas de las mónadas. Nuestra contribución es mostrar cómo razonar sobre interferencia en la presencia de cuantificación sin restricción, a través de pointcuts. Mostramos que el razonamiento global puede ser composicional, lo que es clave para la escalabilidad de nuestro enfoque en el contexto de grandes sistemas que evolucionan. Demostramos un teorema general de equivalencia que se basa en algunas condiciones que pueden ser establecidas, reutilizadas y adaptadas por separado a medida que el sistema evoluciona. El teorema está definido en términos de un modelo abstracto de AOP monádico. Este trabajo desarrolla técnicas de razonamiento de efectos, basadas en tipos, para el modelo pointcut/advice, en un modelo que es expresivo y extensible; y que permite el desarrollo de aplicaciones orientadas a aspecto robustas y la experimentación con nuevas semánticas de AOP.

El objetivo de nuestro estudio estuvo orientado a analizar si las sentencias emitidas por los Juzgados Penales de Primera Instancia del Distrito Judicial de Ayacucho reúnen las condiciones establecidas por el precedente Villasis, para lo cual se utilizó el enfoque cualitativo de la investigación en la medida que considera procesos interpretativos en el procesamiento de la información. La muestra considera el análisis y evaluación de expedientes emitidos por los juzgados penales de primera instancia referido a la comisión de diferentes delitos, por lo mismo el diseño de investigación utilizado corresponde al estudio de caso. La metodología empleada se ciñe a los procedimientos metodológicos del análisis de contenido y el procesamiento de la información apela a técnicas. Los resultados de nuestro estudio demuestran que las sentencias judiciales emitidas por los Juzgados Penales de Primera Instancia del Distrito Judicial de Ayacucho no reúnen las condiciones establecidas por el precedente Villasis, relacionados a los criterios de orden, claridad, coherencia, congruencia y adecuada fundamentación jurídica contenidos en la Ley de la Carrera Judicial. / The aim of our study was aimed to analyze whether the judgments issued by the Criminal Courts of First Instance of the Judicial District of Ayacucho meet the conditions set by the preceding Villasis, for which the qualitative research approach was used to the extent it considers interpretative processes in the information processing. The exhibition considers the analysis and evaluation of dossiers issued by criminal courts of first instance referred to the commission of various crimes, therefore the research design used corresponds to the case study. The methodology used is limited to the methodological procedures of content analysis and processing of information appeals to techniques. The results of our study show that judgments issued by the Criminal Courts of First Instance of the Judicial District of Ayacucho do not meet the conditions set by the Villasis above, related to the criteria of order, clarity, coherence, consistency and adequate legal basis content the Law on the Judiciary. / Tesis

No description available.

EL TRABAJO CONSISTE EN UNA INVESTIGACION METATEORICA ACERCA DE LAS NOCIONES DE RAZON, RAZON PARA LA ACCION Y RAZONAMIENTO PRACTICO Y SU UTILIZACION EN EL ANALISIS DE TRES PROBLEMAS DE LA TEORIA JURIDICA: LA NORMATIVIDAD DEL DERECHO, LA ACEPTACION DE NORMAS Y LA JUSTIFICACION DE DECISIONES JUDICIALES. SU PRETENSION PRINCIPAL ES MOSTRAR EL ERROR DE LAS TESIS QUE AFIRMAN QUE EL ENFOQUE OBTENIDO A TRAVES DE ESTAS NOCIONES, CONDUCE A UNA CONCEPCION IUSNATURALISTA DEL DERECHO. EN LA PRIMERA SECCION SE ENFATIZA SOBRE LA NECESIDAD DE DISTINGUIR 1) LOS PROBLEMAS EMPIRICOS RELACIONADOS CON UN CONCEPTO MOTIVACIONAL DE RAZON, 2) LOS PROBLEMAS NORMATIVOS VINCULADOS A UN CONCEPTO JUSTIFICATIVO-SUSTANTIVO DE LA MISMA EXPRESION Y 3) LOS PROBLEMAS LOGICOS ASOCIADOS A UNA NOCION, TAMBIEN JUSTIFICATIVA, PERO MERAMENTE FORMAL. EN LA SEGUNDA SECCION, RESPECTO DE LA NORMATIVIDAD DEL DERECHO, SE MUESTRA QUE LA CONCLUSION IUSNATURALISTA SOLO SE PUEDE OBTENER SI SE ADOPTAN UN SIGNIFICADO JUSTIFICATIVO-SUSTANTIVO DE "RAZON" Y UNA POSICION INTERNALISTA RESPECTO DE LA NOCION DE DEBER. EN RELACION A LA ACEPTACION DE NORMAS SE SEÑALA QUE SU PRESENCIA NO GARANTIZA LA CONEXION ENTRE DERECHO Y MORAL, A MENOS QUE SE LA DEFINA COMO NECESARIAMENTE APOYADA EN ESTADOS INVOLUNTARIOS COMO LAS CREENCIAS MORALES. POR ULTIMO, EN RELACION A LA JUSTIFICACION DE LA DECISION JUDICIAL, SE MUESTRA QUE LA CRITICA AL CARACTER NECESARIO Y SUFICIENTE DE LA JUSTIFICACION FORMAL SE SUSTENTA EN LA CONFUSION DE DISTINTOS CONCEPTOS DE RAZON. RESPECTO DE LA JUSTIFICACION DE LAS PREMISAS DE LA SENTENCIA JUDICIAL, SE PONE EN CUESTION EL PRINCIPIO DE UNIDAD DEL RAZONAMIENTO PRACTICO SOBRE EL QUE SE APOYA LA TESIS DE QUE LA JUSTIFICACION JURIDICA SOLO ES PARTE DE UNA JUSTIFICACION MORAL.

Sostiene que el desarrollo del razonamiento permite el ingreso a las universidades públicas de los estudiantes del tercer año de bachillerato de educación media del cantón Babahoyo en Ecuador, durante el año 2016. Es un estudio pre experimental que utiliza una muestra de 52 estudiantes. Aplica la T de Student para determinar la diferencia de medias entre el pre y pos test. Los resultados demuestran que entre las variables desarrollo del razonamiento y ingreso a las universidades públicas existe una diferencia de medias de 267.41 puntos. El análisis de la dimensión razonamiento lógico numérico y la variable ingreso a las universidades públicas resulta en una diferencia de medias de 88.58. Asimismo, esta misma variable es evaluada con las dimensiones razonamiento verbal y razonamiento abstracto y se obtiene una diferencia de medias de 75.55 y 61.14 puntos respectivamente. Concluye que el proceso de enseñanza y preparación intensiva de los estudiantes en relación a las dimensiones mencionadas influyeron de forma determinante para el ingreso a la universidad de la mayoría de los estudiantes de educación media de la muestra. / Tesis

RELME 34 - Modalidad virtual sincrónica. Evento académico realizado de 27 de junio al 02 de julio del 2021, en Quetzaltenango, Guatemala. / Hoy en día es común escuchar el término Competencias, pero qué significa y cómo desarrollar distintas competencias. Es importante mencionar que, desarrollar competencias nos es suficiente y que se debe tener en cuenta también la conducta, productos, resultados y creación de valor en todo lo que se hace. Hablar de Competencias Matemáticas no es sólo saber resolver problemas, el mundo está en constante cambio y presentando nuevos desafíos. Los estudiantes de hoy deben desarrollar y aplicar nuevos conocimientos, adaptarse a nuevas formas de hacer las cosas y desarrollar competencias como: La comunicación, la colaboración, el pensamiento crítico, la resolución de problemas, la creatividad, la gestión y la valoración de la diversidad y el aprender a aprender (Curiche, 2015).