Graded Cube of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic
Ontology highlight
ABSTRACT:
SUBMITTER: Lesot M
PROVIDER: S-EPMC7274674 | biostudies-literature | 2020 Jan
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:The article investigates important semantic properties of fuzzy quantifiers, namely restriction and living on a (fuzzy) set. These properties are introduced in the novel frame of fuzzy quantifiers over fuzzy universes.
| S-EPMC7274717 | biostudies-literature
Project description:The purpose of this paper is to present a general view of the current applications of fuzzy logic in medicine and bioinformatics. We particularly review the medical literature using fuzzy logic. We then recall the geometrical interpretation of fuzzy sets as points in a fuzzy hypercube and present two concrete illustrations in medicine (drug addictions) and in bioinformatics (comparison of genomes).
| S-EPMC1559939 | biostudies-literature
Project description:In polyploid genomes, homoeologs are a specific subtype of homologs, and can be thought of as orthologs between subgenomes. In Orthologous MAtrix, we infer homoeologs in three polyploid plant species: upland cotton (Gossypium hirsutum), rapeseed (Brassica napus), and bread wheat (Triticum aestivum). While we can typically recognize the features of a "good" homoeolog prediction (a consistent evolutionary distance, high synteny, and a one-to-one relationship), none of them is a hard-fast criterion. We devised a novel fuzzy logic-based method to assign confidence scores to each pair of predicted homoeologs. We inferred homoeolog pairs and used the new and improved method to assign confidence scores, which ranged from 0 to 100. Most confidence scores were between 70 and 100, but the distribution varied between genomes. The new confidence scores show an improvement over our previous method and were manually evaluated using a subset from various confidence ranges.
| S-EPMC6330999 | biostudies-literature
Project description:This paper continues the research in formal theory of intermediate quantifiers. We present some new properties, introduce intermediate quantifiers of type
| S-EPMC7274773 | biostudies-literature
Project description:The numerous interconnected biochemical pathways that make up the metabolism of a living cell comprise a fuzzy logic system because of its high level of complexity and our inability to fully understand, predict, and model the many activities, how they interact, and their regulation. Each cell contains thousands of proteins with changing levels of expression, levels of activity, and patterns of interactions. Adding more layers of complexity is the number of proteins that have multiple functions. Moonlighting proteins include a wide variety of proteins where two or more functions are performed by one polypeptide chain. In this article, we discuss examples of proteins with variable functions that contribute to the fuzziness of cellular metabolism.
| S-EPMC7435893 | biostudies-literature
Project description:BackgroundTo date, only a limited number of transcriptional regulatory interactions have been uncovered. In a pilot study integrating sequence data with microarray data, a position weight matrix (PWM) performed poorly in inferring transcriptional interactions (TIs), which represent physical interactions between transcription factors (TF) and upstream sequences of target genes. Inferring a TI means that the promoter sequence of a target is inferred to match the consensus sequence motifs of a potential TF, and their interaction type such as AT or RT is also predicted. Thus, a robust PWM (rPWM) was developed to search for consensus sequence motifs. In addition to rPWM, one feature extracted from ChIP-chip data was incorporated to identify potential TIs under specific conditions. An interaction type classifier was assembled to predict activation/repression of potential TIs using microarray data. This approach, combining an adaptive (learning) fuzzy inference system and an interaction type classifier to predict transcriptional regulatory networks, was named AdaFuzzy.ResultsAdaFuzzy was applied to predict TIs using real genomics data from Saccharomyces cerevisiae. Following one of the latest advances in predicting TIs, constrained probabilistic sparse matrix factorization (cPSMF), and using 19 transcription factors (TFs), we compared AdaFuzzy to four well-known approaches using over-representation analysis and gene set enrichment analysis. AdaFuzzy outperformed these four algorithms. Furthermore, AdaFuzzy was shown to perform comparably to 'ChIP-experimental method' in inferring TIs identified by two sets of large scale ChIP-chip data, respectively. AdaFuzzy was also able to classify all predicted TIs into one or more of the four promoter architectures. The results coincided with known promoter architectures in yeast and provided insights into transcriptional regulatory mechanisms.ConclusionAdaFuzzy successfully integrates multiple types of data (sequence, ChIP, and microarray) to predict transcriptional regulatory networks. The validated success in the prediction results implies that AdaFuzzy can be applied to uncover TIs in yeast.
| S-EPMC2797023 | biostudies-literature
Project description:Metapopulation theory considers that the populations of many species are fragmented into patches connected by the migration of individuals through an interterritorial matrix. We applied fuzzy set theory and environmental favorability (F) functions to reveal the metapopulational structure of the 222 butterfly species in the Iberian Peninsula. We used the sets of contiguous grid cells with high favorability (F ≥ 0.8), to identify the favorable patches for each species. We superimposed the known occurrence data to reveal the occupied and empty favorable patches, as unoccupied patches are functional in a metapopulation dynamics analysis. We analyzed the connectivity between patches of each metapopulation by focusing on the territory of intermediate and low favorability for the species (F < 0.8). The friction that each cell opposes to the passage of individuals was computed as 1-F. We used the r.cost function of QGIS to calculate the cost of reaching each cell from a favorable patch. The inverse of the cost was computed as connectivity. Only 126 species can be considered to have a metapopulation structure. These metapopulation structures are part of the dark biodiversity of butterflies because their identification is not evident from the observation of the occurrence data but was revealed using favorability functions.
| S-EPMC8145449 | biostudies-literature
Project description:In an attempt to chart parallel sensory streams passing through the visual thalamus, we acquired a 100-trillion-voxel electron microscopy (EM) dataset and identified cohorts of retinal ganglion cell axons (RGCs) that innervated each of a diverse group of postsynaptic thalamocortical neurons (TCs). Tracing branches of these axons revealed the set of TCs innervated by each RGC cohort. Instead of finding separate sensory pathways, we found a single large network that could not be easily subdivided because individual RGCs innervated different kinds of TCs and different kinds of RGCs co-innervated individual TCs. We did find conspicuous network subdivisions organized on the basis of dendritic rather than neuronal properties. This work argues that, in the thalamus, neural circuits are not based on a canonical set of connections between intrinsically different neuronal types but, rather, may arise by experience-based mixing of different kinds of inputs onto individual postsynaptic cells.
| S-EPMC4808248 | biostudies-literature
Project description:Among emerging non-volatile storage technologies, redox-based resistive switching Random Access Memory (ReRAM) is a prominent one. The realization of Boolean logic functionalities using ReRAM adds an extra edge to this technology. Recently, 7-state ReRAM devices were used to realize ternary arithmetic circuits, which opens up the computing space beyond traditional binary values. In this manuscript, we report realization of multi-valued and fuzzy logic operators with a representative application using ReRAM devices. Multi-valued logic (MVL), such as ?ukasiewicz logic generalizes Boolean logic by allowing more than two truth values. MVL also permits operations on fuzzy sets, where, in contrast to standard crisp logic, an element is permitted to have a degree of membership to a given set. Fuzzy operations generally model human reasoning better than Boolean logic operations, which is predominant in current computing technologies. When the available information for the modelling of a system is imprecise and incomplete, fuzzy logic provides an excellent framework for the system design. Practical applications of fuzzy logic include, industrial control systems, robotics, and in general, design of expert systems through knowledge-based reasoning. Our experimental results show, for the first time, that it is possible to model fuzzy logic natively using multi-state memristive devices.
| S-EPMC5758575 | biostudies-literature
Project description:The current ventilatory care goal for acute respiratory distress syndrome (ARDS) and the only evidence-based approach for managing ARDS is to ventilate with a tidal volume (VT) of 6 mL/kg predicted body weight (PBW). However, it is not uncommon for some caregivers to feel inclined to deviate from this strategy for one reason or another. To accommodate this inclination in a rationalized manner, we previously developed an algorithm that allows for VT to depart from 6 mL/kg PBW based on physiological criteria. The goal of the present study was to test the feasibility of this algorithm in a small retrospective study.Current values of peak airway pressure, positive end-expiratory pressure (PEEP), and arterial oxygen saturation are used in a fuzzy logic algorithm to decide how much VT should differ from 6 mL/kg PBW and how much PEEP should change from its current setting. We retrospectively tested the predictions of the algorithm against 26 cases of decision making in 17 patients with ARDS.Differences between algorithm and physician VT decisions were within 2.5 mL/kg PBW, except in 1 of 26 cases, and differences between PEEP decisions were within 2.5 cm H2O, except in 3 of 26 cases. The algorithm was consistently more conservative than physicians in changing VT but was slightly less conservative when changing PEEP.Within the limits imposed by a small retrospective study, we conclude that our fuzzy logic algorithm makes sensible decisions while at the same time keeping practice close to the current ventilatory care goal.
| S-EPMC4061256 | biostudies-literature