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.

Knowledge for sustainable development in the Tajik Pamir Mountains

The paper presents the results of a multi-year baseline study project in which 10 sectors ranging from agriculture to natural hazards were assessed by a transdisciplinary Swiss–Tajik research team. This knowledge base was enhanced in a development strategy workshop that brought together stakeholders from the local to the international levels. The methodology applied was found appropriate to initiate a broad reflection and negotiation process among various stakeholder groups, leading to a joint identification of possible measures to be taken. Knowledge—and its enhancement through the involvement of all stakeholder levels— appeared to be an effective carrier of innovation and changes of attitudes, thus containing the potential to effectively contribute to sustainable development in marginalized and resource-poor mountain areas.

Building up and sharing knowledge for better decision making on soil and water conservation in a changing mountain environment - the WOCAT experience

For successful implementation of any soil and water conservation (SWC) or sustainable land management practice, it is essential to have a proper understanding of the natural and human environment in which these practices are applied. This understanding should be based on comprehensive information concerning the application of the technologies and not solely on the technological details. The World Overview of Conservation Approaches and Technologies (WOCAT) is documenting and evaluating SWC practices worldwide, following a standardised methodology that facilitates exchange and comparison of experiences. Notwithstanding this standardisation, WOCAT allows flexible use of its outputs, adapted to different users and different environments. WOCAT offers a valuable tool for evaluating the strengths and weaknesses of SWC practices and their potential for application in other areas. Besides collecting a wealth of information, gaps in available information are also exposed, showing the need for more research in those fields. Several key issues for development- oriented research have been identified and are being addressed in collaboration with a research programme for mitigating syndromes of global change.

An Application-Layer RESTful Sleepy Nodes Implementation For Internet of Things Systems

Two of the main issues in wireless industrial Internet of Things applications are interoperability and network lifetime. In this work we extend a semantic interoperability platform and introduce an application-layer sleepy nodes protocol that can leverage on information stored in semantic repositories. We propose an integration platform for managing the sleep states and an application layer protocol based upon the Constraint Application Layer protocol. We evaluate our system on windowing based task allocation strategies, aiming for lower overall energy consumption that results in higher network lifetime.

Cognitive Cities: An Application for Nairobi. Text Message Participation of Slum Inhabitants to Improve Sanitary Facilities

Population growth is always increasing, and thus the concept of smart and cognitive cities is becoming more important. Developed countries are aware of and working towards needed changes in city management. However, emerging countries require the optimization of their own city management. This chapter illustrates, based on a use case, how a city in an emerging country can quickly progress using the concept of smart and cognitive cities. Nairobi, the capital of Kenya, is chosen for the test case. More than half of the population of Nairobi lives in slums with poor sanitation, and many slum inhabitants often share a single toilet, so the proper functioning and reliable maintenance of toilets are crucial. For this purpose, an approach for processing text messages based on cognitive computing (using soft computing methods) is introduced. Slum inhabitants can inform the responsible center via text messages in cases when toilets are not functioning properly. Through cognitive computer systems, the responsible center can fix the problem in a quick and efficient way by sending repair workers to the area. Focusing on the slum of Kibera, an easy-to-handle approach for slum inhabitants is presented, which can make the city more efficient, sustainable and resilient (i.e., cognitive).