The Complexity of Non-Iterated Probabilistic Justification Logic

The logic PJ is a probabilistic logic defined by adding (noniterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic PJ. The main result of the paper is that the complexity of the derivability problem in PJ remains the same as the complexity of the derivability problem in the underlying logic J, which is π[p/2] -complete. This implies that the probability operators do not increase the complexity of the logic, although they arguably enrich the expressiveness of the language.

VISUAL MEMORY PROCESSING BY PRIMATES AND AVIANS IN A RELATIONAL TASK

Three rhesus monkeys (Macaca mulatta) and four pigeons (Columba livia) were trained in a visual serial probe recognition (SPR) task. A list of visual stimuli (slides) was presented sequentially to the subjects. Following the list and after a delay interval, a probe stimulus was presented that could be either from the list (Same) or not from the list (Different). The monkeys readily acquired a variable list length SPR task, while pigeons showed acquisition only under constant list length condition. However, monkeys memorized the responses to the probes (absolute strategy) when overtrained with the same lists and probes, while pigeons compared the probe to the list in memory (relational strategy). Performance of the pigeon on 4-items constant list length was disrupted when blocks of trials of different list lengths were imbedded between the 4-items blocks. Serial position curves for recognition at variable probe delays showed better relative performance on the last items of the list at short delays (0-0.5 seconds) and better relative performance on the initial items of the list at long delays (6-10 seconds for the pigeons and 20-30 seconds for the monkeys and a human adolescent). The serial position curves also showed reliable primacy and recency effects at intermediate probe delays. The monkeys showed evidence of using a relational strategy in the variable probe delay task. The results are the first demonstration of relational serial probe recognition performance in an avian and suggest similar underlying dynamic recognition memory mechanisms in primates and avians. ^

The illness experiences of African Americans residing in an inner city community, Houston, Texas

This dissertation documents health and illness in the context of daily life circumstances and structural conditions faced by African American families living in Clover Heights (pseudonym), an inner city public housing project in the Third Ward, Houston, Texas. Drawing from Kleinman's (1980) model of culturally defined health care systems and using the holistic-content approach to narrative analysis (Lieblich, Tuval- Mashiach, & Zilber, 1998) the purpose of this research was to explore the ways in which social and health policy, economic mobility, the inner city environment, and cultural beliefs intertwined with African American families' health related ideas, behaviors, and practices. I recruited six families using a convenience sampling method (Schensul, Schensul, & LeCompte, 1999) and followed them for fourteen months (2010–2011). Family was defined as a household unit, or those living in the same residence, short or long-term. Single, African American women ranging in age from 29–80 years headed all families. All but one family included children or grandchildren 18 years of age and younger, or children or other relative 18 years of age and older. I also recruited six residents with who I became acquainted over the course of the project. I collected data using traditional ethnographic methods including participant-observation, archive review, field notes, mapping, free-listing, in-depth interviews, and life history interviews. ^ Doing ethnography afforded the families who participated in this project the freedom to construct their own experiences of health and illness. My role centered on listening to, learning from, and interpreting participants' narratives, exploring similarities and differences within and across families' experiences. As the research progressed, a pattern concerning diagnosis and pharmacotherapy for children's behavioral and emotional problems, particularly attention-deficit hyperactivity disorder (ADHD) and pediatric bipolar disorder (PBD), emerged from my formal interactions with participants and my informal interactions with residents. The findings presented in this dissertation document this pattern, focusing on how mothers and families interpreted, organized, and ascribed meaning to their experiences of ADHD and PBD. ^ In the first manuscript presented here, I documented three mothers' narrative constructions of a child's diagnosis with and pharmacotherapy for ADHD or PBD. Using Gergen's (1997) relational perspective I argued that mothers' knowledge and experiences of ADHD and PBD were not individually constructed, but were linguistically and discursively constituted through various social interactions and relationships, including family, spirituality and faith, community norms, and expert systems of knowledge. Mothers' narratives revealed the complexity of children's behavioral and emotional problems, the daily trials of living through these problems, how they coped with adversity and developed survival strategies, and how they interacted with various institutional authorities involved in evaluating, diagnosing, and encouraging pharmaceutical intervention for children's behavior. The findings highlight the ways in which mothers' social interactions and relationships introduced a scientific language and discourse for explaining children's behavior as mental illness, the discordances between expert systems of knowledge and mothers' understandings, and how discordances reflected mothers' ‘microsources of power’ for producing their own stories and experiences. ^ In the second manuscript presented here, I documented the ways in which structural factors, including gender, race/ethnicity, and socioeconomic status, coupled with a unique cultural and social standpoint (Collins, 1990/2009) influenced the strategies this group of African American mothers employed to understand and respond to ADHD or PBD. The most salient themes related to mother-child relationships coalesced around mothers' beliefs about the etiology of ADHD and PBD, ‘conceptualizing responsibility,’ and ‘protection-survival.’ The findings suggest that even though mothers' strategies varied, they were in pursuit of a common goal. Mothers' challenged the status quo, addressing children's behavioral and emotional problems in the ways that made the most sense to them, specifically protecting their children from further marginalization in society more so than believing these were the best options for their children.^

Energy, Complexity and Strategies of Evolution. En: Avá, nº 14

Cultural evolution has long been among the themes of anthropology but it has never ranked high. It is left mainly to archaeologists because they have to make sense of how society works and survives through time–a concern that has pretty much been abandoned by many cultural anthropologists. Anthropologists today seem little motivated to find out how society works, but rather to make the world a better place to live in for a particular population. The challenges of atmospheric change, nuclear proliferation, environmental degradation and resource exhaustion, the emergence of life threatening species–these challenges of contemporary evolution have awakened less interest in anthropology. The concern with cultural evolution seems to be of greater interest to non-anthropologists, such as in the work of Jarrod Diamond (2005), a biologist, and the genre that as emerged as Big History, with the works of David Christian (2005) and others. Among the few contemporary anthropologists who have sought the dynamics of cultural evolution, the work of Joseph Tainter (1996) stands out.

Environmental policy and knowledge. Copying with complexity through inclusive management

Scholars agree that governance of the public environment entails cooperation between science, policy and society. This requires the active role of public managers as catalysts of knowledge co-production, addressing participatory arenas in relation to knowledge integration and social learning. This paper deals with the question of whether public managers acknowledge and take on this task. A survey accessing Directors of Environmental Offices (EOs) of 64 municipalities was carried out in parallel for two regions - Tuscany (Italy) and Porto Alegre Metropolitan Region (Brazil). The survey data were analysed using the multiple correspondence method. Results showed that, regarding policy practices, EOs do not play the role of knowledge co-production catalysts, since when making environmental decisions they only use technical knowledge. We conclude that there is a gap between theory and practice, and identify some factors that may hinder local environmental managers in acting as catalyst of knowledge co-production, raising a further question for future research.

Prácticas de lectura en bibliotecas virtuales en contextos didácticos diversos

Este trabajo se propone examinar los procesos cognitivos de alumnos de escuelas primaria en las prácticas de lectura en bibliotecas virtuales en el contexto de dos situaciones didácticas contrastantes. La perspectiva teórica adoptada considera los aportes de la tradición socio-histórica vigotskiana y del constructivismo relacional piagetiano. El diseño metodológico se inscribe en un estudio cualitativo de casos en el que se realiza el seguimiento de las prácticas de lectura de los alumnos mediante observaciones de aula donde se registran minuciosamente las acciones de un grupo frente a la pantalla y los intercambios con sus compañeros y el docente. Estos datos se complementan con encuestas realizadas previamente y entrevistas clínicas individuales, administradas a posteriori de la observación. Los resultados evidencian que los estudiantes parten de ideas provenientes de una historia socio-cognitivo-cultural que guían sus representaciones acerca de las bibliotecas virtuales. Estas ideas entran en constante contradicción con las formas organizativas y los contenidos que las bibliotecas les presentan. Las condiciones e intervenciones didácticas tienen un papel constitutivo en el desarrollo de las prácticas y saberes altamente complejos que requieren las búsquedas. La comparación permite avanzar sobre las situaciones que generan una mayor autonomía de los alumnos.

Prácticas de lectura en bibliotecas virtuales en contextos didácticos diversos

Este trabajo se propone examinar los procesos cognitivos de alumnos de escuelas primaria en las prácticas de lectura en bibliotecas virtuales en el contexto de dos situaciones didácticas contrastantes. La perspectiva teórica adoptada considera los aportes de la tradición socio-histórica vigotskiana y del constructivismo relacional piagetiano. El diseño metodológico se inscribe en un estudio cualitativo de casos en el que se realiza el seguimiento de las prácticas de lectura de los alumnos mediante observaciones de aula donde se registran minuciosamente las acciones de un grupo frente a la pantalla y los intercambios con sus compañeros y el docente. Estos datos se complementan con encuestas realizadas previamente y entrevistas clínicas individuales, administradas a posteriori de la observación. Los resultados evidencian que los estudiantes parten de ideas provenientes de una historia socio-cognitivo-cultural que guían sus representaciones acerca de las bibliotecas virtuales. Estas ideas entran en constante contradicción con las formas organizativas y los contenidos que las bibliotecas les presentan. Las condiciones e intervenciones didácticas tienen un papel constitutivo en el desarrollo de las prácticas y saberes altamente complejos que requieren las búsquedas. La comparación permite avanzar sobre las situaciones que generan una mayor autonomía de los alumnos.

Prácticas de lectura en bibliotecas virtuales en contextos didácticos diversos

Este trabajo se propone examinar los procesos cognitivos de alumnos de escuelas primaria en las prácticas de lectura en bibliotecas virtuales en el contexto de dos situaciones didácticas contrastantes. La perspectiva teórica adoptada considera los aportes de la tradición socio-histórica vigotskiana y del constructivismo relacional piagetiano. El diseño metodológico se inscribe en un estudio cualitativo de casos en el que se realiza el seguimiento de las prácticas de lectura de los alumnos mediante observaciones de aula donde se registran minuciosamente las acciones de un grupo frente a la pantalla y los intercambios con sus compañeros y el docente. Estos datos se complementan con encuestas realizadas previamente y entrevistas clínicas individuales, administradas a posteriori de la observación. Los resultados evidencian que los estudiantes parten de ideas provenientes de una historia socio-cognitivo-cultural que guían sus representaciones acerca de las bibliotecas virtuales. Estas ideas entran en constante contradicción con las formas organizativas y los contenidos que las bibliotecas les presentan. Las condiciones e intervenciones didácticas tienen un papel constitutivo en el desarrollo de las prácticas y saberes altamente complejos que requieren las búsquedas. La comparación permite avanzar sobre las situaciones que generan una mayor autonomía de los alumnos.

Modeling soil system: complexity under your feet

A clear statement in these lines textually cited (Byers et al., 1938) defines the framework of this special issue: “True soil is the product of the action of climate and living organism upon the parent material, as conditioned by the local relief. The length of time during which these forces are operative is of great importance in determining the character of the ultimate product. Drainage conditions are also important and are controlled by local relief, by the nature of the parent material or underlying rock strata, or by the amount of precipitation in relation to rate of percolation and runoff water. There are, therefore, five principal factors of soil formation: Parent material, climate, biological activity, relief and time. These soil forming factors are interdependent, each modifying the effectiveness of the others.” Due to these various processes associated to its formation and genesis soil dynamics reveals high complexity that creates several levels of structure using this term in a broad sense

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Training project management complexity in postgraduate and continuing education programs: a learning strategy in the eshe (European Space of Higher Education) framework

The objective of this paper is to address the methodological process of a teaching strategy for training project management complexity in postgraduate programs. The proposal is made up of different methods —intuitive, comparative, deductive, case study, problem-solving Project-Based Learning— and different activities inside and outside the classroom. This integration of methods motivated the current use of the concept of “learning strategy”. The strategy has two phases: firstly, the integration of the competences —technical, behavioral and contextual—in real projects; and secondly, the learning activity was oriented in upper level of knowledge, the evaluating the complexity for projects management in real situations. Both the competences in the learning strategy and the Project Complexity Evaluation are based on the ICB of IPMA. The learning strategy is applied in an international Postgraduate Program —Erasmus Mundus Master of Science— with the participation of five Universities of the European Union. This master program is fruit of a cooperative experience from one Educative Innovation Group of the UPM -GIE-Project-, two Research Groups of the UPM and the collaboration with other external agents to the university. Some reflections on the experience and the main success factors in the learning strategy were presented in the paper