61 resultados para Logic and Foundations


Relevância:

80.00% 80.00%

Publicador:

Relevância:

80.00% 80.00%

Publicador:

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Because the knowledge in the World Wide Web is continuously expanding, Web Knowledge Aggregation, Representation and Reasoning (abbreviated as KR) is becoming increasingly important. This article demonstrates how fuzzy ontologies can be used in KR to improve the interactions between humans and computers. The gap between the Social and Semantic Web can be reduced, and a Social Semantic Web may become possible. As an illustrative example, we demonstrate how fuzzy logic and KR can enhance technologies for cognitive cities. The underlying notion of these technologies is based on connectivism, which can be improved by incorporating the results of digital humanities research.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

It has become increasingly clear that desertification can only be tackled through a multi-disciplinary approach that not only involves scientists but also stakeholders. In the DESIRE project such an approach was taken. As a first step, a conceptual framework was developed in which the factors and processes that may lead to land degradation and desertification were described. Many of these factors do not work independently, but can reinforce or weaken one another, and to illustrate these relationships sustainable management and policy feedback loops were included. This conceptual framework can be applied globally, but can also be made site-specific to take into account that each study site has a unique combination of bio-physical, socio-economic and political conditions. Once the conceptual framework was defined, a methodological framework was developed in which the methodological steps taken in the DESIRE approach were listed and their logic and sequence were explained. The last step was to develop a concrete working plan to put the project into action, involving stakeholders throughout the process. This series of steps, in full or in part, offers explicit guidance for other organizations or projects that aim to reduce land degradation and desertification.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a ‘modus-ponens-like’ rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication–fusion fragments, while a basis for the admissible rules of the full multiplicative fragment requires an additional countably infinite set of rules. Indeed, this latter case provides an example of a three-valued logic with a finitely axiomatizable consequence relation that has no finite basis for its admissible rules.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Although the recycling of municipal wastewater can play an important role in water supply security and ecosystem protection, the percentage of wastewater recycled is generally low and strikingly variable. Previous research has employed detailed case studies to examine the factors that contribute to recycling success but usually lacks a comparative perspective across cases. In this study, 25 water utilities in New South Wales, Australia, were compared using fuzzy-set Qualitative Comparative Analysis (fsQCA). This research method applies binary logic and set theory to identify the minimal combinations of conditions that are necessary and/or sufficient for an outcome to occur within the set of cases analyzed. The influence of six factors (rainfall, population density, coastal or inland location, proximity to users; cost recovery and revenue for water supply services) was examined for two outcomes, agricultural use and "heavy" (i.e., commercial/municipal/industrial) use. Each outcome was explained by two different pathways, illustrating that different combinations of conditions are associated with the same outcome. Generally, while economic factors are crucial for heavy use, factors relating to water stress and geographical proximity matter most for agricultural reuse. These results suggest that policies to promote wastewater reuse may be most effective if they target uses that are most feasible for utilities and correspond to the local context. This work also makes a methodological contribution through illustrating the potential utility of fsQCA for understanding the complex drivers of performance in water recycling.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The strategic orientation of firms can take on many forms. Researchers most commonly distinguish between entrepreneurial, market, and learning orientations. In combination, strategic orientations represent a firm's value proposition in terms of the markets in which it operates, where it deploys its resources, and which behavioral patterns are established. This thesis provides insights into the effectiveness of strategic orientations by adopting multiple theoretical perspectives. The strategic orientations of entrepreneurial, market, learning, and innovation orientations are investigated in an isolated as well as interrelated manner. The first research article concentrates on entrepreneurial orientation as its conceptualization and operationalization is subject to several debates in the literature. This conceptual study shows how the challenges of the entrepreneurial orientation construct can be overcome in future research to arrive at a higher level of construct clarity. Thereby, the theoretical perspectives of entrepreneurial dominant logic and the theory of planned behavior are employed. The literature has predominantly focused on investigating the effectiveness of particular strategic orientations. Recently, scholars have stressed their synergetic impact on firm performance and, as such, the relevance of considering their combined role in creating superior value for firms. However, empirical research on their interrelatedness remains scant and dispersed, making it necessary to conduct further research on strategic orientations in an integrative manner. As such, the second research article demonstrates which interrelated roles are played by entrepreneurial, market, and learning orientations in their relationship to firm performance. The rich body of existing knowledge is synthesized by means of meta-analysis under the perspective of strategic coalignment as well as the resource-based view of the firm.

Relevância:

40.00% 40.00%

Publicador:

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Research for Sustainable Development is based on the experiences of a decade of inter- and transdisciplinary research in partnership in nine regions of the world. It presents 29 articles in which interdisciplinary teams reflect on the foundations of sustainability-oriented research, propose and illustrate concrete concepts, tools, and approaches to overcome the challenges of such research, and show how research practice related to specific issues of sustainable development has led to new thematic and methodological insights. The book seeks to stimulate the advancement of research towards more relevant, scientifically sound, and concrete contributions to realising the vision of sustainable development.