Search PubMed⌕ Search

SEARCH · Search PubMed

Results for “LOGIC”

Search indexed PubMed citations on genomics, clinical trials, systematic reviews and public health. Explore titles, authors and supplied subject terms, then open the PubMed record.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8Linked to original sources
PubMed2004

Logical support for terminological modeling.

Terminological modeling, in particular in medical domains, is difficult and has enjoyed growing attention over the recent past. In practice, logical reasoning can play a fundamental role to support the modeling process. Nevertheless, the development of the logical tools is usually driven by computational or theoretical criteria rather than by the direct needs of a modeler. In this paper we attempt to shift this balance and discuss a number of logical reasoning services to support the modeler of a (medical) terminology to construct a formally sound, complete and concise terminology. This modeling support is logical as it is based on reasoning services with respect to formally defined semantics. Practical results of this systematic discussion are formal definitions of several new reasoning tasks.

Information Science↗
PubMed2004

The VERB campaign logic model: a tool for planning and evaluation.

The VERB campaign uses a logic model as a tool to share information, to facilitate program planning, and to provide direction for evaluation. Behavior change and communication theories are incorporated to help hypothesize how behavior change might occur. Evaluation of the campaign follows the process of the logic model. The elements of the logic model are described and further explanation "pops up" as the reader rolls over the graphic of the logic model.

Adolescent↗
PubMedDate not supplied

Performance logic: a key to improving dental practice.

The efficient delivery of oral health services is heavily dependent on the process of intraoral performance used by the dental practitioner. Yet, little attention has been paid by practitioners, educators and researchers to this most basic aspect of dental practice. The study and application of the principles of Performance Logic is providing the dental community an opportunity to identify and apply an optimal process of oral care delivery. A primary objective of Performance Logic is optimal control of the task-at-hand while minimizing psycho-physiologic stress. This is accomplished through the proprioceptive self-derivation of an ideal posture and position and a complementary performance process from which a supporting practice environment is then specified. Through a worldwide network of collaborating research and practice sites, Performance Logic is being explored and applied to a variety of clinical settings. Performance Logic may alter and improve the way dentists work in the future.

Dental Care↗
PubMed1994

Using interval logic for order assembly.

Temporal logic, in particular, interval logic has been used to represent genome maps and to assist genome map constructions. However, interval logic itself appears to be limited in its expressive power because genome mapping requires various information such as partial order, distance and local orientation. In this paper, we first propose an integrated formalism based on a spatial-temporal logic where the concepts of metric information, local orientation and uncertainty are merged. Then, we present and discuss a deductive and object-oriented data model based on this formalism for a genetic deductive database, and the inference rules required. The formalism supports the maintenance of coarser knowledge of unordered, partially ordered and completely ordered genetic data in a relational hierarchy. We believe that this integrated formalism also provides a formal basis for designing a declarative query language.

Animals↗
PubMed2004

Molecular-scale logic gates.

Currently available approaches to molecular-scale logic gates are summarized and compared. These include: chemically-controlled fluorescent and transmittance-based switches concerned with small molecules, DNA oligonucleotides with fluorescence readout, oligonucleotide reactions with DNA-based catalysts, chemically-gated photochromics, reversibly denaturable proteins, molecular machines with optical and electronic signals, two-photon fluorophores and multichromophoric transient optical switches. The photochemical principles of electron and energy transfer are involved in several of these approaches. More complex molecular logic systems with reconfigurability and superposability provide contrasts with current semiconductor electronics. Integration of simple logic functions to produce more complex ones is also discussed in terms of recent developments.

Base Sequence↗
PubMed1999

Fuzzy logic alternative for analysis in the biomedical sciences.

Fuzzy logic brings new possibilities into control, modeling, data analysis, diagnostics, decision making, and other working fields in biomedical sciences. This paper presents how fuzzy logic can be used as an alternative or supplement to statistics in biomedical analysis. It shows an adaptive neuro-fuzzy inference computing in comparison with linear and curvilinear regression. The main goal of this presentation is to involve fuzzy logic in biomedical research. Thus, we carried out a mathematical treatment of the clinical sample, semen of infertile man, with the independent variable Concentration of spermatozoa and the dependent variable Number of spermatozoa by 230 observations.

Biometry↗
PubMed1993

The logic of the medical research article.

As do all forms of science, medical theories have a factual as well as a logical basis. New information is presented in medical research articles. These papers have three separate arguments: the argument of the hypothesis, the argument of the experimental protocol, and the argument of the hypothesis's judgement. These arguments may be examples of the hypothetico-deductive or confirmational model of scientific interference. The logical form of these arguments are informal and inductive rather than formal and deductive. Understanding the nature of the logic of the medical research article may help avoid erroneous conclusions.

Journalism, Medical↗
PubMed1998

Tumour markers in the diagnosis of bronchial carcinoma: new options using fuzzy logic-based tumour marker profiles.

The diagnosis of lung cancer and early knowledge of its histological type are very important; however, this is still a difficult subject for the physician. The aim of this study was to improve the diagnostic efficiency of tumour markers in the diagnosis of bronchial carcinoma by mathematical evaluation of a tumour marker profile employing fuzzy logic modeling. A panel of five tumour markers, including CYFRA 21-1, CEA, NSE, and five additional parameters was determined in 281 patients with confirmed primary diagnosis of bronchial carcinoma of different histology and stage. A further 131 persons, who had acute and chronic benign lung diseases, served as a control group. A classificator was developed using a fuzzy-logic rule-based system. The diagnostic value of the combined tumour markers was significantly better than that of the individual markers and of a combination of CYFRA 21-1, CEA, and NSE. The discrimination of malignant vs benign diseases was realized with a sensitivity of 87.5% and specificity of 85.5%. The rate of correct classification of small-cell vs non-small-cell lung carcinoma was 90.6% and 91.1%, respectively; for squamous cell carcinoma vs adenocarcinoma it was 76.8% and 78.8%, respectively. Our detailed analysis has shown that the fuzzy logic system improves diagnostic accuracy up to a rate of 20%, especially in early stages and in patients with all marker levels in the grey area. Our concept proved to be more powerful than measurement of single markers or the combination of CEA, CYFRA 21-1, and NSE. Its use may help in distinguishing between malignant and benign disease and make it possible to define different subgroups of patients earlier in the course of their disease.

Adolescent↗
PubMed1993

Logic-based integrity constraints and the design of dental prostheses.

This paper describes the ongoing development of a design assistant, RaPiD, for use in prosthetic dentistry. RaPiD integrates computed-aided design, knowledge-based systems and databases, employing a logic-based representation as the unifying medium. The user's manipulation of icons representing the developing design is interpreted as a set of transactions on a logic database of design components. The rules of design expertise are represented as constraints in first order predicate logic and design alterations are subject to the checking of the constraints. When design rules are contravened as the result of some proposed alteration, a suitable critique is presented to the user. RaPiD is being developed for use in both dental education and practice.

Artificial Intelligence↗
PubMed2005

Description logic-based methods for auditing frame-based medical terminological systems.

OBJECTIVE: Medical terminological systems (TSs) play an increasingly important role in health care by supporting recording, retrieval and analysis of patient information. As the size and complexity of TSs are growing, the need arises for means to audit them, i.e. verify and maintain (logical) consistency and (semantic) correctness of their contents. This is not only important for the management of TSs but also for providing their users with confidence about the reliability of their contents. Formal methods have the potential to play an important role in the audit of TSs, although there are few empirical studies to assess the benefits of using these methods. METHODS AND MATERIAL: In this paper we propose a method based on description logics (DLs) for the audit of TSs. This method is based on the migration of the medical TS from a frame-based representation to a DL-based one. Our method is characterized by a process in which initially stringent assumptions are made about concept definitions. The assumptions allow the detection of concepts and relations that might comprise a source of logical inconsistency. If the assumptions hold then definitions are to be altered to eliminate the inconsistency, otherwise the assumptions are revised. RESULTS: In order to demonstrate the utility of the approach in a real-world case study we audit a TS in the intensive care domain and discuss decisions pertaining to building DL-based representations. This case study demonstrates that certain types of inconsistencies can indeed be detected by applying the method to a medical terminological system. CONCLUSION: The added value of the method described in this paper is that it provides a means to evaluate the compliance to a number of common modeling principles in a formal manner. The proposed method reveals potential modeling inconsistencies, helping to audit and (if possible) improve the medical TS. In this way, it contributes to providing confidence in the contents of the terminological system.

Algorithms↗
PubMed2005

A logical circuit for the regulation of fission yeast growth modes.

Growth of fission yeast at the ends of its cylindrical cells switches from a monopolar to a bipolar mode, before it ceases during mitosis and cell division. Here we assume that these growth modes correspond to three stable states of an underlying regulatory circuit, which is a relatively simple and to a large degree autonomous subsystem of an otherwise complex cellular control system. We develop a switch-like logical circuit based on three elements defined as binary variables. Effects of circuit variables on each other are expressed in terms of logical operations. We analyse this circuit for its behavior ("phenotypes") after removing single or multiple operations ("mutants"). Known fission yeast polarity mutants such as those defective in the switch to bipolar growth can be classified based on these predicted 'phenotypes'. Differences in growth patterns between daughter cells in different bipolar growth mutants are also predicted by the circuit model. The model presented here should provide a useful framework to guide future experiments into mechanisms of cellular polarity. This paper illustrates the usefulness of simple logical circuits to describe and dissect features of complex regulatory processes such as the fission yeast growth patterns in both wild type and mutant cells.

Cell Cycle↗
PubMed2005

Fuzzy logic control for intracranial pressure via continuous propofol sedation in a neurosurgical intensive care unit.

The major goal of this paper is to provide automatically continuous propofol sedation for patients with severe head injury, unconsciousness, and mechanical ventilation in order to reduce the effect of agitation on intracranial pressure (ICP) using fuzzy logic control in a neurosurgical intensive care unit (NICU). Seventeen patients were divided into three groups in which control was provided with three different controllers. Experimental control periods were of 60min duration in all cases. Group A used a conventional rule-based controller (RBC), Group B a fuzzy logic controller (FLC), and Group C a self-organizing fuzzy logic controller (SOFLC). The performance of the controllers was analyzed by ICP pattern of sedation. The ICP pattern of errors was analyzed for mean and root mean square deviation (RMSD) for the entire duration of control (i.e., 1h). The results indicate that FLC can easily mimic the rule-base of human experts (i.e., neurosurgeons) to achieve stable sedation similar to the RBC group. Furthermore, the results also show that a SOFLC can provide more stable sedation of ICP pattern because it can modify the fuzzy rule-base to compensate for inter-patient variations.

Adult↗
PubMed2004

Differential diagnosis of pleural effusions by fuzzy-logic-based analysis of cytokines.

Pleural effusions can be caused by highly different underlying diseases and are characterized by complex interactions of various local and circulating cells as well as numerous soluble parameters like interleukins (IL). Knowledge about this complex network could help to indicate underlying disease. Therefore, we have investigated immunoreactive concentrations of IL-4, IL-6, IL-11, IL-15, IL-17, IL-18, and tumor necrosis factor-alpha (TNF-alpha) in pleural effusions and peripheral blood from patients with tuberculosis, bronchial carcinoma and other carcinomas as well as congestive heart failure (CHF) and pneumonias. To determine the value of cytokine measurement for differential diagnosis, statistical and fuzzy-logic methods were applied. Quantitative analysis showed high concentrations of IL-6 and IL-11 only in pleural effusions. IL-15, IL-17, IL-18 and TNF-alpha could be detected also in blood plasma. Lowest amounts were detected in CHF indicating the non-inflammatory origin of effusions. Statistical analysis did not provide evidence for diagnostic relevance of singular cytokines. Fuzzy-logic analysis was able to assign patients to the correct diseases with 80% accuracy using IL-6 and IL-15 measurement. Our results confirm the pathogenetic role of these cytokines in pleural effusions. Fuzzy-logic-based procedures may help to characterize and distinguish effusions of unknown origin even in small patient groups.

Adult↗
PubMed1999

Improving decisionmaking processes with the fuzzy logic approach in the epidemiology of sleep disorders.

Epidemiological studies can provide information not only on specific diagnostic entities but also on their underlying symptomatic constellations. For this purpose, an expert system was developed for the assessment of sleep disorders and endowed with the fuzzy logic capabilities necessary to determine the degree to which a given symptom corresponds to a specific diagnosis. Uncertainty is inherent in fields such as sleep medicine and psychiatry, and becomes evident in clinical practice at the stages of data collection and diagnostic formulation, when the clinician must determine whether a symptom is present and must choose from several diagnostic possibilities. The process involves a considerable degree of subjectivity on the part of the patient in trying to describe his or her symptoms, and of the clinician whose final diagnosis will depend on his or her clinical experience and interpretation of what is normal and what is pathological. Inferential models of the probabilistic or fuzzy logic type take into account such uncertainty. The Sleep-Eval system has been used in epidemiological and clinical studies involving 34,044 interviews collected by close to 300 interviewers. The diagnostic potential of these models is illustrated using data collected in an epidemiological study of the noninstitutionalized general population of Italy and underlines the advantages and limits of the binary, bayesian, and fuzzy logic methods and analyses.

Diagnosis, Computer-Assisted↗
PubMedDate not supplied

A survey of fuzzy logic monitoring and control utilisation in medicine.

Intelligent systems have appeared in many technical areas, such as consumer electronics, robotics and industrial control systems. Many of these intelligent systems are based on fuzzy control strategies which describe complex systems mathematical models in terms of linguistic rules. Since the 1980s new techniques have appeared from which fuzzy logic has been applied extensively in medical systems. The justification for such intelligent systems driven solutions is that biological systems are so complex that the development of computerised systems within such environments is not always a straightforward exercise. In practice, a precise model may not exist for biological systems or it may be too difficult to model. In most cases fuzzy logic is considered to be an ideal tool as human minds work from approximate data, extract meaningful information and produce crisp solutions. This paper surveys the utilisation of fuzzy logic control and monitoring in medical sciences with an analysis of its possible future penetration.

Artificial Intelligence↗
PubMed2003

Does opposition logic provide evidence for conscious and unconscious processes in artificial grammar learning?

The question of whether studies of human learning provide evidence for distinct conscious and unconscious influences remains as controversial today as ever. Much of this controversy arises from the use of the logic of dissociation. The controversy has prompted the use of an alternative approach that places conscious and unconscious influences on memory retrieval in opposition. Here we ask whether evidence acquired via the logic of opposition requires a dual-process account or whether it can be accommodated within a single similarity-based account. We report simulations using a simple neural network model of two artificial grammar learning experiments reported by that dissociated conscious and unconscious influences on classification. The simulations demonstrate that opposition logic is insufficient to distinguish between single- and multiple-system models.

Adult↗
PubMed1999

Detection of epileptiform discharges in the EEG by a hybrid system comprising mimetic, self-organized artificial neural network, and fuzzy logic stages.

OBJECTIVE: A multi-stage system for automated detection of epileptiform activity in the EEG has been developed and tested on pre-recorded data from 43 patients. METHODS: The system is centred on the use of an artificial neural network, known as the self-organising feature map (SOFM), as a novel pattern classifier. The role of the SOFM is to assign a probability value to incoming candidate epileptiform discharges (on a single channel basis). The multi-stage detection system consists of three major stages: mimetic, SOFM, and fuzzy logic. Fuzzy logic is introduced in order to incorporate spatial contextual information in the detection process. Through fuzzy logic it has been possible to develop an approximate model of the spatial reasoning performed by the electroencephalographer. RESULTS: The system was trained on 35 epileptiform EEGs containing over 3000 epileptiform events and tested on a different set of eight EEGs containing 190 epileptiform events (including one normal EEG). Results show that the system has a sensitivity of 55.3% and a selectivity of 82% with a false detection rate of just over seven per hour. CONCLUSIONS: Based on these initial results the overall performance is favourable when compared with other leading systems in the literature. This encourages us to further test the system on a larger population base with the ultimate aim of introducing it into routine clinical use.

Adult↗
PubMed2004

A multiple process solution to the logical problem of language acquisition.

Many researchers believe that there is a logical problem at the centre of language acquisition theory. According to this analysis, the input to the learner is too inconsistent and incomplete to determine the acquisition of grammar. Moreover, when corrective feedback is provided, children tend to ignore it. As a result, language learning must rely on additional constraints from universal grammar. To solve this logical problem, theorists have proposed a series of constraints and parameterizations on the form of universal grammar. Plausible alternatives to these constraints include: conservatism, item-based learning, indirect negative evidence, competition, cue construction, and monitoring. Careful analysis of child language corpora has cast doubt on claims regarding the absence of positive exemplars. Using demonstrably available positive data, simple learning procedures can be formulated for each of the syntactic structures that have traditionally motivated invocation of the logical problem. Within the perspective of emergentist theory (MacWhinney, 2001), the operation of a set of mutually supportive processes is viewed as providing multiple buffering for developmental outcomes. However, the fact that some syntactic structures are more difficult to learn than others can be used to highlight areas of intense grammatical competition and processing load.

Child Language↗