A distributed, semiotic-inductive and human-Oriented approach to web-scale knowledge retrieval

Web-scale knowledge retrieval can be enabled by distributed information retrieval, clustering Web clients to a large-scale computing infrastructure for knowledge discovery from Web documents. Based on this infrastructure, we propose to apply semiotic (i.e., sub-syntactical) and inductive (i.e., probabilistic) methods for inferring concept associations in human knowledge. These associations can be combined to form a fuzzy (i.e.,gradual) semantic net representing a map of the knowledge in the Web. Thus, we propose to provide interactive visualizations of these cognitive concept maps to end users, who can browse and search the Web in a human-oriented, visual, and associative interface.

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Forcing for hat inductive definitions in arithmetic

By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

Two ways to common knowledge

It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towards such a system. We argue that the standard induction rule is not well suited to axiomatize evidence-based common knowledge. As an alternative, we study two different deductive systems for the logic of common knowledge. The first system makes use of an induction axiom whereas the second one is based on co-inductive proof theory. We show the soundness and completeness for both systems.

Periodic breathing during ascent to extreme altitude quantified by spectral analysis of the respiratory volume signal

High altitude periodic breathing (PB) shares some common pathophysiologic aspects with sleep apnea, Cheyne-Stokes respiration and PB in heart failure patients. Methods that allow quantifying instabilities of respiratory control provide valuable insights in physiologic mechanisms and help to identify therapeutic targets. Under the hypothesis that high altitude PB appears even during physical activity and can be identified in comparison to visual analysis in conditions of low SNR, this study aims to identify PB by characterizing the respiratory pattern through the respiratory volume signal. A number of spectral parameters are extracted from the power spectral density (PSD) of the volume signal, derived from respiratory inductive plethysmography and evaluated through a linear discriminant analysis. A dataset of 34 healthy mountaineers ascending to Mt. Muztagh Ata, China (7,546 m) visually labeled as PB and non periodic breathing (nPB) is analyzed. All climbing periods within all the ascents are considered (total climbing periods: 371 nPB and 40 PB). The best crossvalidated result classifying PB and nPB is obtained with Pm (power of the modulation frequency band) and R (ratio between modulation and respiration power) with an accuracy of 80.3% and area under the receiver operating characteristic curve of 84.5%. Comparing the subjects from 1(st) and 2(nd) ascents (at the same altitudes but the latter more acclimatized) the effect of acclimatization is evaluated. SaO(2) and periodic breathing cycles significantly increased with acclimatization (p-value < 0.05). Higher Pm and higher respiratory frequencies are observed at lower SaO(2), through a significant negative correlation (p-value < 0.01). Higher Pm is observed at climbing periods visually labeled as PB with > 5 periodic breathing cycles through a significant positive correlation (p-value < 0.01). Our data demonstrate that quantification of the respiratory volume signal using spectral analysis is suitable to identify effects of hypobaric hypoxia on control of breathing.

Can Andean medicine coexist with biomedical healthcare? A comparison of two rural communities in Peru and Bolivia

Background It is commonly assumed that indigenous medical systems remain strong in developing countries because biomedicine is physically inaccessible or financially not affordable. This paper compares the health-seeking behavior of households from rural Andean communities at a Peruvian and a Bolivian study site. The main research question was whether the increased presence of biomedicine led to a displacement of Andean indigenous medical practices or to coexistence of the two healing traditions. Methodology Open-ended interviews and free listing exercises were conducted between June 2006 and December 2008 with 18 households at each study site. Qualitative identification of households’ therapeutic strategies and use of remedies was carried out by means of content analysis of interview transcriptions and inductive interference. Furthermore, a quantitative assessment of the incidence of culture-bound illnesses in local ethnobiological inventories was performed. Results Our findings indicate that the health-seeking behavior of the Andean households in this study is independent of the degree of availability of biomedical facilities in terms of quality of services provided, physical accessibility, and financial affordability, except for specific practices such as childbirth. Preference for natural remedies over pharmaceuticals coexists with biomedical healthcare that is both accessible and affordable. Furthermore, our results show that greater access to biomedicine does not lead to less prevalence of Andean indigenous medical knowledge, as represented by the levels of knowledge about culture-bound illnesses. Conclusions The take-home lesson for health policy-makers from this study is that the main obstacle to use of biomedicine in resource-poor rural areas might not be infrastructural or economic alone. Rather, it may lie in lack of sufficient recognition by biomedical practitioners of the value and importance of indigenous medical systems. We propose that the implementation of health care in indigenous communities be designed as a process of joint development of complementary knowledge and practices from indigenous and biomedical health traditions.

The effect of enamel matrix proteins and deproteinized bovine bone mineral on heterotopic bone formation

To evaluate the osteoinductive potential of deproteinized bovine bone mineral (DBBM) and an enamel matrix derivative (EMD) in the muscle of rats. Sixteen rats were used in this study. The animals were divided in three groups. Group A: a pouch was created in one of the pectoralis profundis muscles of the thorax of the rats and DBBM particles (Bio-Oss) were placed into the pouch. Healing: 60 days. Group B: a small pouch was created on both pectoralis profundis muscles at each side of the thorax midline. In one side, a mixture of EMD (Emdogain) mixed with DBBM was placed into one of the pouches, whereas in the contralateral side of the thorax the pouch was implanted with DBBM mixed with the propylene glycol alginate (PGA--carrier for enamel matrix proteins of EMD). Healing: 60 days. Group C: the same procedure as group B, but with a healing period of 120 days. Qualitative histological analysis of the results was performed. At 60 days, the histological appearance of the DBBM particles implanted alone was similar to that of the particles implanted together with EMD or PGA at both 60 and 120 days. The DBBM particles were encapsulated into a connective tissue stroma and an inflammatory infiltrate. At 120 days, the DBBM particles implanted together with EMD or PGA exhibited the presence of resorption lacunae in some cases. Intramuscular bone formation was not encountered in any group. The implantation of DBBM particles alone, combined with EMD or its carrier (PGA) failed to exhibit extraskeletal, bone-inductive properties.

From text to codings: intercoder reliability assessment in qualitative content analysis

BACKGROUND: High intercoder reliability (ICR) is required in qualitative content analysis for assuring quality when more than one coder is involved in data analysis. The literature is short of standardized procedures for ICR procedures in qualitative content analysis. OBJECTIVE: To illustrate how ICR assessment can be used to improve codings in qualitative content analysis. METHODS: Key steps of the procedure are presented, drawing on data from a qualitative study on patients' perspectives on low back pain. RESULTS: First, a coding scheme was developed using a comprehensive inductive and deductive approach. Second, 10 transcripts were coded independently by two researchers, and ICR was calculated. A resulting kappa value of .67 can be regarded as satisfactory to solid. Moreover, varying agreement rates helped to identify problems in the coding scheme. Low agreement rates, for instance, indicated that respective codes were defined too broadly and would need clarification. In a third step, the results of the analysis were used to improve the coding scheme, leading to consistent and high-quality results. DISCUSSION: The quantitative approach of ICR assessment is a viable instrument for quality assurance in qualitative content analysis. Kappa values and close inspection of agreement rates help to estimate and increase quality of codings. This approach facilitates good practice in coding and enhances credibility of analysis, especially when large samples are interviewed, different coders are involved, and quantitative results are presented.

A Concept of Semantics Extraction from Web Data by Induction of Fuzzy Ontologies

Traditionally, ontologies describe knowledge representation in a denotational, formalized, and deductive way. In addition, in this paper, we propose a semiotic, inductive, and approximate approach to ontology creation. We define a conceptual framework, a semantics extraction algorithm, and a first proof of concept applying the algorithm to a small set of Wikipedia documents. Intended as an extension to the prevailing top-down ontologies, we introduce an inductive fuzzy grassroots ontology, which organizes itself organically from existing natural language Web content. Using inductive and approximate reasoning to reflect the natural way in which knowledge is processed, the ontology’s bottom-up build process creates emergent semantics learned from the Web. By this means, the ontology acts as a hub for computing with words described in natural language. For Web users, the structural semantics are visualized as inductive fuzzy cognitive maps, allowing an initial form of intelligence amplification. Eventually, we present an implementation of our inductive fuzzy grassroots ontology Thus,this paper contributes an algorithm for the extraction of fuzzy grassroots ontologies from Web data by inductive fuzzy classification.

Towards an Emergent Semantic Web

In his in uential article about the evolution of the Web, Berners-Lee [1] envisions a Semantic Web in which humans and computers alike are capable of understanding and processing information. This vision is yet to materialize. The main obstacle for the Semantic Web vision is that in today's Web meaning is rooted most often not in formal semantics, but in natural language and, in the sense of semiology, emerges not before interpretation and processing. Yet, an automated form of interpretation and processing can be tackled by precisiating raw natural language. To do that, Web agents extract fuzzy grassroots ontologies through induction from existing Web content. Inductive fuzzy grassroots ontologies thus constitute organically evolved knowledge bases that resemble automated gradual thesauri, which allow precisiating natural language [2]. The Web agents' underlying dynamic, self-organizing, and best-effort induction, enable a sub-syntactical bottom up learning of semiotic associations. Thus, knowledge is induced from the users' natural use of language in mutual Web interactions, and stored in a gradual, thesauri-like lexical-world knowledge database as a top-level ontology, eventually allowing a form of computing with words [3]. Since when computing with words the objects of computation are words, phrases and propositions drawn from natural languages, it proves to be a practical notion to yield emergent semantics for the Semantic Web. In the end, an improved understanding by computers on the one hand should upgrade human- computer interaction on the Web, and, on the other hand allow an initial version of human- intelligence amplification through the Web.

Trade-offs between voice and silence: a qualitative exploration of oncology staff's decisions to speak up about safety concerns

BACKGROUND Research suggests that "silence", i.e., not voicing safety concerns, is common among health care professionals (HCPs). Speaking up about patient safety is vital to avoid errors reaching the patient and thus to prevent harm and also to improve a culture of teamwork and safety. The aim of our study was to explore factors that affect oncology staff's decision to voice safety concerns or to remain silent and to describe the trade-offs they make. METHODS In a qualitative interview study with 32 doctors and nurses from 7 oncology units we investigated motivations and barriers to speaking up towards co-workers and supervisors. An inductive thematic content analysis framework was applied to the transcripts. Based on the individual experiences of participants, we conceptualize the choice to voice concerns and the trade-offs involved. RESULTS Preventing patients from serious harm constitutes a strong motivation to speaking up but competes with anticipated negative outcomes. Decisions whether and how to voice concerns involved complex considerations and trade-offs. Many respondents reflected on whether the level of risk for a patient "justifies" the costs of speaking up. Various barriers for voicing concerns were reported, e.g., damaging relationships. Contextual factors, such as the presence of patients and co-workers in the alarming situation, affect the likelihood of anticipated negative outcomes. Speaking up to well-known co-workers was described as considerably easier whereas "not knowing the actor well" increases risks and potential costs of speaking up. CONCLUSIONS While doctors and nurses felt strong obligation to prevent errors reaching individual patients, they were not engaged in voicing concerns beyond this immediacy. Our results offer in-depth insight into fears and conditions conducive of silence and voicing and can be used for educational interventions and leader reinforcement.

Combining Bottom-up and Top-down Generation of Interactive Knowledge Maps for Enterprise Search

Our research project develops an intranet search engine with concept- browsing functionality, where the user is able to navigate the conceptual level in an interactive, automatically generated knowledge map. This knowledge map visualizes tacit, implicit knowledge, extracted from the intranet, as a network of semantic concepts. Inductive and deductive methods are combined; a text ana- lytics engine extracts knowledge structures from data inductively, and the en- terprise ontology provides a backbone structure to the process deductively. In addition to performing conventional keyword search, the user can browse the semantic network of concepts and associations to find documents and data rec- ords. Also, the user can expand and edit the knowledge network directly. As a vision, we propose a knowledge-management system that provides concept- browsing, based on a knowledge warehouse layer on top of a heterogeneous knowledge base with various systems interfaces. Such a concept browser will empower knowledge workers to interact with knowledge structures.

Decision making in beach volleyball defense: Crucial factors derived from interviews with top-level experts

Objectives: In fast ball sports like beach volleyball, decision-making skills are a determining factor for excellent performance. The current investigation aimed to identify factors that influence the decisionmaking process in top-level beach volleyball defense in order to find relevant aspects for further research. For this reason, focused interviews with top players in international beach volleyball were conducted and analyzed with respect to decision-making characteristics. Design: Nineteen world-tour beach volleyball defense players, including seven Olympic or world champions, were interviewed, focusing on decision-making factors, gaze behavior, and interactions between the two. Methods: Verbal data were analyzed by inductive content analysis according to Mayring (2008). This approach allows categories to emerge from the interview material itself instead of forcing data into preset classifications and theoretical concepts. Results: The data analysis showed that, for top-level beach volleyball defense, decision making depends on opponent specifics, external context, situational context, opponent's movements, and intuition. Information on gaze patterns and visual cues revealed general tendencies indicating optimal gaze strategies that support excellent decision making. Furthermore, the analysis highlighted interactions between gaze behavior, visual information, and domain-specific knowledge. Conclusions: The present findings provide information on visual perception, domain-specific knowledge, and interactions between the two that are relevant for decision making in top-level beach volleyball defense. The results can be used to inform sports practice and to further untangle relevant mechanisms underlying decision making in complex game situations.

S-ketamine versus racemic ketamine in dogs: their relative potency as induction agents.

OBJECTIVE To determine the potency ratio between S-ketamine and racemic ketamine as inductive agents for achieving tracheal intubation in dogs. STUDY DESIGN Prospective, randomized, 'blinded', clinical trial conducted in two consecutive phases. ANIMALS 112 client-owned dogs (ASA I or II). METHODS All animals were premedicated with intramuscular acepromazine (0.02 mg kg(-1) ) and methadone (0.2 mg kg(-1) ). In phase 1, midazolam (0.2 mg kg(-1) ) with either 3 mg kg(-1) of racemic ketamine (group K) or 1.5 mg kg(-1) of S-ketamine (group S) was administered IV, for induction of anaesthesia and intubation. Up to two additional doses of racemic (1.5 mg kg(-1) ) or S-ketamine (0.75 mg kg(-1) ) were administered if required. In phase 2, midazolam (0.2 mg kg(-1) ) with 1 mg kg(-1) of either racemic ketamine (group K) or S-ketamine (group S) was injected and followed by a continuous infusion (1 mg kg minute(-1) ) of each respective drug. Differences between groups were statistically analyzed via t-test, Fisher exact test and ANOVA for repeated measures. RESULTS Demographics and quality and duration of premedication, induction and intubation were comparable among groups. During phase 1 it was possible to achieve tracheal intubation after a single dose in more dogs in group K (n = 25) than in group S (n = 16) (p = 0.046). A dose of 3 mg kg(-1) S-ketamine allowed tracheal intubation in the same number of dogs as 4.5 mg kg(-1) of racemic ketamine. The estimated potency ratio was 1.5:1. During phase 2, the total dose (mean ± SD) of S-ketamine (4.02 ±1.56 mg kg(-1) ) and racemic ketamine (4.01 ± 1.42) required for tracheal intubation was similar. CONCLUSION AND CLINICAL RELEVANCE Racemic and S-ketamine provide a similar quality of anaesthetic induction and intubation. S-ketamine is not twice as potent as racemic ketamine and, if infused, the potency ratio is 1:1.