Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Local environmental knowledge: a key input for the sustainable development of Andean mountain communities

Local knowledge is crucial to both human development and environmental conservation. This is especially the case in mountain regions, where a combination of remoteness, harsh climatic conditions, rich cultural heritage, and high biological diversity has led to the development of complex local environmental knowledge systems. In the Andes for instance, rural populations mainly rely on their own environmental knowledge to ensure their food security and health. Recent studies conducted within Quechua communities in Peru and Bolivia showed that this knowledge was both persistent and dynamic, and that it responded to socio-economic and environmental changes through cultural resistance and adaptation. As this paper argues, combining local knowledge and so-called scientific knowledge – especially in development projects – can lead to innovative solutions to the socio-environmental challenges facing mountain communities in our globalized world. Based on experiences from the Andes, this paper will provide concrete recommendations to policymakers and practitioners for integrating local knowledge into development and natural resource management initiatives.

Ethics in science: enhancing the democratisation of knowledge production in transdisciplinary research partnerships for sustainable development

Better access to knowledge and knowledge production has to be reconsidered as key to successful individual and social mitigation and adaptation strategies for global change. Indeed, concepts of sustainable development imply a transformation of science towards fostering democratisation of knowledge production and the development of knowledge societies as a strategic goal. This means to open the process of scientific knowledge production while simultaneously empowering people to implement their own visions for sustainable development. Advocates of sustainability science support this transformation. In transdisciplinary practice, they advance equity and accountability in the access to and production of knowledge at the science–society interface. UNESCO points to advancements, yet Northern dominance persists in knowledge production as well as in technology design and transfer. Further, transdisciplinary practice remains experimental and hampered by inadequate and asymmetrically equipped institutions in the North and South and related epistemological and operational obscurity. To help identify clear, practicable transdisciplinary approaches, I recommend examining the institutional route – i.e., the learning and adaptation process – followed in concrete cases. The transdisciplinary Eastern and Southern Africa Partnership Programme (1998–2013) is a case ripe for such examination. Understanding transdisciplinarity as an integrative approach, I highlight ESAPP’s three key principles for a more democratised knowledge production for sustainable development: (1) integration of scientific and “non-scientific” knowledge systems; (2) integration of social actors and institutions; and (3) integrative learning processes. The analysis reveals ESAPP’s achievements in contributing to more democratic knowledge production and South ownership in the realm of sustainable development.

Knowledge as a resource: enhancing the democratisation of knowledge production in transdisciplinary research partnerships for sustainable development

Better access to knowledge and knowledge production has to be reconsidered as key to successful individual and social mitigation and adaptation strategies for global change. Indeed, concepts of sustainable development imply a transformation of science (Lubchenco 1998; WBGU 2011 and 2012) towards fostering democratisation of knowledge production as a contribution to the development of knowledge societies as a strategic goal (UNESCO 2005). This means to open the process of scientific knowledge production while simultaneously empowering people to implement their own visions for sustainable development. Advocates of sustainability science support this transformation. In transdisciplinary practice, they advance equity and accountability in the access to and production of knowledge at the science–society interface (Hirsch Hadorn et al 2006; Hirsch Hadorn et al 2008; Jäger 2009; Adger and Jordan 2009; KFPE 2012). UNESCO (2010) points to advancements, yet Northern dominance persists in knowledge production as well as in technology design and transfer (Standing and Taylor 2007; Zingerli 2010). Further, transdisciplinary practice remains experimental and hampered by inadequate and asymmetrically equipped institutions in the North and South and related epistemological and operational obscurity (Wiesmann et al 2011). To help identify clear, practicable transdisciplinary approaches, I recommend examining the institutional route (Mukhopadhyay et al 2006) – i.e., the learning and adaptation process – followed in concrete cases. The transdisciplinary Eastern and Southern Africa Partnership Programme (1998–2013) is a case ripe for such examination. Understanding transdisciplinarity as an integrative approach (Pohl et al 2008; Stock and Burton 2011), I highlight ESAPP’s three key principles for a more democratised knowledge production for sustainable development: (1) integration of scientific and “non-scientific” knowledge systems; (2) integration of social actors and institutions; and (3) integrative learning processes. The analysis reveals ESAPP’s achievements in contributing to more democratic knowledge production and South ownership in the realm of sustainable development.

Fuzzy knowledge representation in cognitive cities

This paper gives an insight into cognitive computing for smart cities, resulting in cognitive cities. Cognitive cities and cognitive computing research with the underlying concepts of knowledge graphs and fuzzy cognitive maps are presented and supported by existing tools (i.e., IBM Watson and Google Now) and intended tools (meta-app). The paper illustrates FCM as a suiting instrument to represent information/knowledge in a city environment driven by human-technology interaction, enforcing the concept of cognitive cities. A proposed paper prototype combines the findings of the paper and shows the next step in the implementation of the proposed meta-app.

Overthrowing the Tyranny of Alphabetical Ordering in Documentation Systems

Software developers are often unsure of the exact name of the API method they need to use to invoke the desired behavior. Most state-of-the-art documentation browsers present API artefacts in alphabetical order. Albeit easy to implement, alphabetical order does not help much: if the developer knew the name of the required method, he could have just searched for it in the first place. In a context where multiple projects use the same API, and their source code is available, we can improve the API presentation by organizing the elements in the order in which they are more likely to be used by the developer. Usage frequency data for methods is gathered by analyzing other projects from the same ecosystem and this data is used then to improve tools. We present a preliminary study on the potential of this approach to improve the API presentation by reducing the time it takes to find the method that implements a given feature. We also briefly present our experience with two proof-of-concept tools implemented for Smalltalk and Java.

Fortaleciéndo la soberanía alimentaria mediante la revalorización de saberes ecológicos locales: experiencia en los Andes bolivianos

Ethnobiology research contributes significantly to initiatives that aim to enhance food sovereignty among indigenous and/or traditional people. In Bolivia, one of the Latin-American countries that shows the highest poverty and undernourishment levels, the purpose of this research-action project was to enhance food sovereignty through the revitalization of the local ecological knowledge and to promote local technological innovation processes in the Andean community of Tallija-Confital. During a first step the endogenous knowledge and strategies related to food security and sovereignty were investigated, based on the principles and tools of the Revitalizing Participatory Research (RPR). In a second step local technical innovation processes were supported through a “knowledge dialogue” between exogenous and endogenous knowledge systems, focusing on the processing of the cañahua (Chenopodium pallidicaule Aellen) gluten. The research results demonstrate that Andean people have developed complex endogenous knowledge and strategies to adapt to socio-environmental changes that show a great potential to contribute to the enhancement of food sovereignty. Nevertheless, in the current globalized context that translates into new challenges for local communities, beyond the revitalization of local ecological knowledge, a dialogue between different knowledge systems can lead to important local technological innovation for the improvement of their well-being. Key words: food sovereignty, knowledge dialogue, endogenous development, technological innovation

The Emergence of Formal Control Specificity in Information Systems Outsourcing: A Process-View

Information systems (IS) outsourcing projects often fail to achieve initial goals. To avoid project failure, managers need to design formal controls that meet the specific contextual demands of the project. However, the dynamic and uncertain nature of IS outsourcing projects makes it difficult to design such specific formal controls at the outset of a project. It is hence crucial to translate high-level project goals into specific formal controls during the course of a project. This study seeks to understand the underlying patterns of such translation processes. Based on a comparative case study of four outsourced software development projects, we inductively develop a process model that consists of three unique patterns. The process model shows that the performance implications of emergent controls with higher specificity depend on differences in the translation process. Specific formal controls have positive implications for goal achievement if only the stakeholder context is adapted, while they are negative for goal achievement if in the translation process tasks are unintendedly adapted. In the latter case projects incrementally drift away from their initial direction. Our findings help to better understand control dynamics in IS outsourcing projects. We contribute to a process theoretic understanding of IS outsourcing governance and we derive implications for control theory and the IS project escalation literature.

Information Systems Outsourcing: Towards Sustainable Business Value

This book attempts to synthesize research that contributes to a better understanding of how to reach sustainable business value through information systems (IS) outsourcing. Important topics in this realm are how IS outsourcing can contribute to innovation, how it can be dynamically governed, how to cope with its increasing complexity through multi-vendor arrangements, how service quality standards can be met, how corporate social responsibility can be upheld and how to cope with increasing demands of internationalization and new sourcing models, such as crowdsourcing and platform-based cooperation. These issues are viewed from either the client or vendor perspective, or both. The book should be of interest to all academics and students in the fields of Information Systems, Management and Organization as well as corporate executives and professionals who seek a more profound analysis and understanding of the underlying factors and mechanisms of outsourcing.

Intuitionistic common knowledge or belief

Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intu- itionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.