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.

SourceResearch connectionFrom yearThrough year

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

At least 55 records · Page 3Linked to original sources

PubMed2004

Toward a phenomenology of trance logic in posttraumatic stress disorder.

Some induction procedures result in trance logic as an essential feature of hypnosis. Trance logic is a voluntary state of acceptance of suggestions without the critical evaluation that would destroy the validity of the meaningfulness of the suggestion. Induction procedures in real and simulated conditions induce a conflict between two contradictory messages in experimental hypnosis. In military induction the conflict is much more subtle involving society's need for security and its need for ethics. Such conflicts are often construed by the subject as trance logic. Trance logic provides an opportunity for therapists using the phenomenology of "presence" to deal with the objectified concepts of "avoidance," "numbing" implicit in this kind of dysfunctional thinking in Posttraumatic Stress Disorder. An individual phenomenology of induction procedures and suggestions, which trigger trance logic, may lead to a resolution of logical fallacies and recurring painful memories. It invites a reconciliation of conflicting messages implicit in phobias and avoidance traumas. Such a phenomenological analysis of trance logic may well be a novel approach to restructure the meaning of trauma.

Combat Disorders↗

PubMed2002

Simultaneously multiply-configurable or superposed molecular logic systems composed of ICT (internal charge transfer) chromophores and fluorophores integrated with one- or two-ion receptors.

Integrated "ICT chromophore-receptor" systems show ion-induced shifts in their electronic absorption spectra. The wavelength of observation can be used to reversibly configure the system to any of the four logic operations permissible with a single input (YES, NOT, PASS 1, PASS 0), under conditions of ion input and transmittance output. We demonstrate these with dyes integrated into Tsien's calcium receptor, 1-2. Applying multiple ion inputs to 1-2 also allows us to perform two- or three-input OR or NOR operations. The weak fluorescence output of 1 also shows YES or NOT logic depending on how it is configured by excitation and emission wavelengths. Integrated "receptor(1)-ICT chromophore-receptor(2)" systems 3-5 selectively target two ions into the receptor terminals. The ion-induced transmittance output of 3-5 can also be configured via wavelength to illustrate several logic types including, most importantly, XOR. The opposite effects of the two ions on the energy of the chromophore excited state is responsible for this behaviour. INHIBIT and REVERSE IMPLICATION are two of the other logic types seen here. Integration of XOR logic with a preceding OR operation can be arranged by using three ion inputs. The fluorescence output of these systems can be configured via wavelength to display INHIBIT or NOR logic under two-input conditions. The superposition or multiplicity of logic gate configurations is an unusual consequence of the ability to simultaneously observe multiple wavelengths.

Journal Article↗

PubMed2004

Fuzzy branching temporal logic.

Intelligent systems require a systematic way to represent and handle temporal information containing uncertainty. In particular, a logical framework is needed that can represent uncertain temporal information and its relationships with logical formulae. Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy temporal events and fuzzy temporal states defined on a linear time model, was previously proposed for this purpose. However, many systems are best represented by branching time models in which each state can have more than one possible future path. In this paper, fuzzy branching temporal logic (FBTL) is proposed to address this problem. FBTL adopts and generalizes concurrent tree logic (CTL*), which is a classical branching temporal logic. The temporal model of FBTL is capable of representing fuzzy temporal events and fuzzy temporal states, and the order relation among them is represented as a directed graph. The utility of FBTL is demonstrated using a fuzzy job shop scheduling problem as an example.

Journal Article↗

PubMed1977

Computer test logics for automatic perimetry.

Using an automatic computerized perimeter developed by Heijl & Krakau (1975b) three different perimetric test logics, one simple (I) and two more complicated and time-consuming (II & III) were investigated in practical experiments on healthy normal test subjects and patients and in computer simulated tests. The patients either had a verified diagnosis of glaucoma or glaucoma was suspected. The best consistency in measured thresholds was obtained with test logic II, in which an averaging procedure is used. The variation of the results was larger in pathological than in normal visual fields. All test logics investigated readily detected the pathological field defects, but blind spots could easier pass unrecognized with the simplest logic than with the other two logics. The conclusion is drawn that a simple test logic can be used for perimetry in glaucoma suspects if no visual field defect has previously been documented. For the follow-up of pathological fields a fairly complicated test logic, e.g. using averaging, is preferable.

Adult↗

PubMed1998

Tools for immunization guideline knowledge maintenance. I. Automated generation of the logic "kernel" for immunization forecasting.

IMM/Def is a prototype computer program designed to facilitate the building and maintenance of a rule-based program which performs childhood immunization forecasting. An immunization forecasting program takes as input a child's immunization history and produces recommendations as to which vaccinations are due and which should be scheduled next. A significant amount of the knowledge required for immunization forecasting can be expressed in tabular form, including the parameters that indicate the minimum age when each dose may be given and the minimum intervals between doses. The choice of which of these sets of parameters apply to a particular case depends upon additional clinical logic. To perform forecasting, this logic must be applied in three temporal contexts: (1) a dose is due now, (2) a dose is not yet due, and (3) a dose must be scheduled to follow a dose which is due now. Building and maintaining this logic by hand is a formidable challenge. IMM/Def demonstrates how this task can be simplified by first defining immunization "definition logic" which can be automatically translated into if-then rules for each of the three contexts. The approach has been applied successfully to the six childhood vaccination series which are routinely administered. A key advantage is that IMM/Def allows one to have two specifications of the logic that can be examined independently and that can be cross-checked to help assure completeness, consistency, and accuracy of the logic. The paper describes how IMM/Def performs its translation and discusses several design issues and lessons learned.

Child↗

PubMed2006

Deoxyribozyme-based three-input logic gates and construction of a molecular full adder.

We have developed an array of seven deoxyribozyme-based molecular logic gates that behaves as a full adder in a single solution, with three oligonucleotides as inputs and two independent fluorogenic cleavage reactions as carry and sum outputs. The sum output consisted of four new deoxyribozyme-based logic gates: an ANDAND gate and three ANDNOTANDNOT gates. These gates required the design of a generic three-input deoxyribozyme-based logic gate that can use any three-way combination of activating or inactivating inputs. This generic gate design utilizes an additional inverting element that hybridizes to convert YES logic into NOT logic and vice versa. The system represents the first solution-phase, single test tube, enzymatic full adder and shows the complexity of control over molecular scale events that can be achieved with deoxyribozyme-based logic gates. Similar systems could be applied to control autonomous therapeutic and diagnostic devices.

Base Sequence↗

PubMed1991

Trance logic in hypnosis and imagination.

In 2 experiments we investigated trance logic, or the tolerance of logical incongruity, in age regression and hallucination. Experiment 1 tested 21 hypnotizable and 19 unhypnotizable subjects in an application of the real-simulating model of hypnosis. Experiment 2 tested 26 high and 19 low imagery ability subjects in an adaptation of the model to the imagination context. Subjects' experiences were investigated through the experiential analysis technique. More real than simulating subjects displayed trance logic during age regression, but they did not differ on the major measures of trance logic during hallucination. This pattern of responding occurred in both the hypnosis and the imagination contexts. Subjects' comments suggested that completeness of and belief in age regression or hallucination may play some role in trance logic. The importance of understanding trance logic from the subject's point of view is discussed.

Adolescent↗

PubMed2002

Logic modeling: a tool for improving educational programs.

PURPOSE: Palliative care education programs must be systematically designed and accurately evaluated in order to account for their impact on learners and learning communities. Logic modeling is a framework for designing educational programs and monitoring their influence. METHODS: We applied a logic modeling process to a Palliative Care Educational Program (PCEP), embedded within a required month-long geriatrics rotation for third-year general internal medicine residents at the VA Medical Center in Milwaukee, Wisconsin. Each of four main categories of a logic model and the process for applying the steps to the PCEP are described. The four logic model categories that form the basis of the analysis are: (1) inputs, the raw resources consumed by the program (human resources, money, and space); (2) outputs, program activities and the number and types of actual participants; (3) outcomes, what the program will achieve in the short term (knowledge, attitudes and behavior change); and (4) impact, the results that are of ultimate interest to program stakeholders, such as placement in medically underserved areas, improved health or more efficient care. RESULTS: The application of logic modeling to the PCEP exposed achievements (e.g., resident knowledge gains) and gaps (no evidence of long-term impact) in each of the model categories and has resulted in the design team's reassessment of each program component. DISCUSSION: Palliative care educators can improve their programs by using the logic model categories and process steps to explicitly define and assess the links between key program components.

Education, Medical↗

PubMedDate not supplied

Developmental and individual differences in conditional reasoning: effects of logic instructions and alternative antecedents.

In Study 1, 10-, 13-, and 16-year-olds were assigned to conditions in which they were instructed to think logically and provided alternative antecedents to the consequents of conditional statements. Providing alternatives improved reasoning on two uncertain logical forms, but decreased logical responding on two certain forms; logic instructions improved reasoning among adolescents. Correlations among inferences and verbal ability were found primarily when task conditions created conflict between automatic and controlled inferences. In Study 2, when the cognitive demands of the logic instructions were reduced, 10-year-olds made more logically correct inferences, but only when a conditional's consequents were strongly associated with alternative antecedents. Discussion focuses on the ability to inhibit invited inferences and the role of automatically activated memories.

Adolescent↗

PubMed2001

Application of fuzzy logic in automated cow status monitoring.

Sensors that measure yield, temperature, electrical conductivity of milk, and animal activity can be used for automated cow status monitoring. The occurrence of false-positive alerts, generated by a detection model, creates problems in practice. We used fuzzy logic to classify mastitis and estrus alerts; our objective was to reduce the number of false-positive alerts and not to change the level of detected cases of mastitis and estrus. Inputs for the fuzzy logic model were alerts from the detection model and additional information, such as the reproductive status. The output was a classification, true or false, of each alert. Only alerts that were classified true should be presented to the herd manager. Additional information was used to check whether deviating sensor measurements were caused by mastitis or estrus, or by other influences. A fuzzy logic model for the classification of mastitis alerts was tested on a data set from cows milked in an automatic milking system. All clinical cases without measurement errors were classified correctly. The number of false-positive alerts over time from a subset of 25 cows was reduced from 1266 to 64 by applying the fuzzy logic model. A fuzzy logic model for the classification of estrus alerts was tested on two data sets. The number of detected cases decreased slightly after classification, and the number of false-positive alerts decreased considerably. Classification by a fuzzy logic model proved to be very useful in increasing the applicability of automated cow status monitoring.

Animals↗

PubMedDate not supplied

[Processes of logical thought in a case of cerebral vascular lesion].

INTRODUCTION: Reasoning and logical thought processes have traditionally been attributed to frontal lobe function or,on the other hand, have been considered as diffuse functions of the brain. However, there is today evidence enough about the possibility to find dissociations in thought processes, depending on logical structure of the experimental tasks and referring to different areas of the brain, frontal and post rolandic ones. OBJECTIVE: To study possible dissociations between thought structures corresponding to categorical and relational logic, on one hand, and propositional logic on the other hand. CASE REPORT: The case of a brain injured patient with vascular etiology, localized in left frontal parietal cortex, is presented. A specific battery of reasoning tests has been administered. RESULTS: . A differential performance at some reasoning experimental tasks has been found depending on such logical conceptual structures. CONCLUSIONS: The possibility of establishing dissociations among certain logical thought and intelectual functions depending on localization of possible brain lesion (frontal versus temporal) is discussed.

Cognition Disorders↗

PubMed2004

[Fuzzy logic in urology. How to reason in inaccurate terms].

The Occidental thinking is basically binary, based on opposites. The classic logic constitutes a systematization of these thinking. The methods of pure sciences such as physics are based on systematic measurement, analysis and synthesis. Nature is described by deterministic differential equations this way. Medical knowledge does not adjust well to deterministic equations of physics so that probability methods are employed. However, this method is not free of problems, both theoretical and practical, so that it is not often possible even to know with certainty the probabilities of most events. On the other hand, the application of binary logic to medicine in general, and to urology particularly, finds serious difficulties such as the imprecise character of the definition of most diseases and the uncertainty associated with most medical acts. These are responsible for the fact that many medical recommendations are made using a literary language which is inaccurate, inconsistent and incoherent. The blurred logic is a way of reasoning coherently using inaccurate concepts. This logic was proposed by Lofti Zadeh in 1965 and it is based in two principles: the theory of blurred conjuncts and the use of blurred rules. A blurred conjunct is one the elements of which have a degree of belonging between 0 and 1. Each blurred conjunct is associated with an inaccurate property or linguistic variable. Blurred rules use the principles of classic logic adapted to blurred conjuncts taking the degree of belonging of each element to the blurred conjunct of reference as the value of truth. Blurred logic allows to do coherent urologic recommendations (i.e. what patient is the performance of PSA indicated in?, what to do in the face of an elevated PSA?), or to perform diagnosis adapted to the uncertainty of diagnostic tests (e.g. data obtained from pressure flow studies in females).

Fuzzy Logic↗

PubMed2003

[Continuity and transformation of body logic].

This article is concerned with two distinct corporeal logics. In the first, corporeality is founded on joints, tendons, and mobility; in the second, the envelope and its apertures are considered primordial. The first logic is extant in very few works. Although these texts (e.g. The Iliad, Beowulf) clearly share the same, very specific, conception of the body, they belong to different histories. The corporeal logic of the 'jointed body' (corps articulaire) cannot, therefore, be appraised in terms of longue durée. The texts represent, instead, a moment of transition between the psychodynamics of orality and literacy. A problem correlated to this fact is that readers (ancient and modern) no longer think using the same logic as that pertaining to the jointed body. They tend to translate information regarding the logic of the jointed body into data meaningful in their own logic.

Educational Status↗

PubMed2000

Intelligent DNA chips: logical operation of gene expression profiles on DNA computers.

We propose a new type of DNA chips with logical operations executable. In DNA computing researches, some methods have been developed to represent and evaluate Boolean functions on DNA strands. By employing the evaluation methods, we are able to deal with logical operations such as logical-and and logical-or for gene expressions. By combining with the DNA Coded Number method, we implement universal DNA chips which not only detect gene expressions but also find logical formulae of gene expressions. An important advantage of our intelligent DNA chip is that the intensity of the fluorescence at each element is not only proportional to the expression level of the genes in the sample but also proportional to the satisfiability level of the Boolean formula at the element with the gene expression pattern. These features of the intelligent DNA chip and the DCN method allow us more quantitative analyses of gene expression profiles and the logical operations.

Algorithms↗

PubMed2001

Access to deductive logic depends on a right ventromedial prefrontal area devoted to emotion and feeling: evidence from a training paradigm.

Does the human capacity for access to deductive logic depend on emotion and feeling? With positron emission tomography, we compared the brain networks recruited by two groups of subjects who were either able or not able to shift from errors to logical responses in a deductive reasoning task. They were scanned twice while performing the same task, before and after a training session. The error-to-logical shift occurred in a group that underwent logicoemotional training but not in the other group, trained in logic only-a "cold" kind of training. The intergroup comparison pointed out that access to deductive logic involved a right ventromedial prefrontal area known to be devoted to emotion and feeling.

Adult↗

PubMed2002

Fuzzy logic-based tumor-marker profiles improved sensitivity in the diagnosis of lung cancer.

BACKGROUND: The aim of this study was to improve the diagnostic efficiency of tumor markers in the diagnosis of lung cancer, by the mathematical evaluation of a tumor marker profile employing fuzzy logic modelling. METHODS: A panel of four tumor markers, i.e., carcinoembryonic antigen (CEA), cytokeratin 19 antibody (CYFRA 21-1), neuron-specific enolase (NSE), squamous cell carcinoma-related antigen (SCC) and, additionally, C-reactive protein (CRP), was measured in 175 newly diagnosed lung cancer patients with different histological types and stages. Results were compared with those in 120 control subjects, including 27 with chronic obstructive pulmonary diseases (COPD), 65 with pneumoconiosis, and 11 persons with acute inflammatory lung diseases. A classificator was developed using a fuzzy-logic rule-based system. RESULTS: Application of the fuzzy-logic rule-based system to the tumor marker values of CYFRA 21-1, NSE, and CRP yielded an increase in sensitivity of approximately 20%, i.e., 92%, compared with that of the best single marker, CYFRA 21-1(sensitivity, 72%). The corresponding specificity was 95%. The fuzzy classificator significantly improved the sensitivity of the tumor marker panel in stages I and IIIa for non-small-cell lung cancer, as well as in "limited disease" status for small-cell lung cancer. Also, the diagnosis of other stages of lung cancer was enhanced. CONCLUSION: Fuzzy-logic analysis was proven to be more powerful than the measurement of single markers alone or combinations using multiple logistic regression analysis of all markers. Therefore, fuzzy logic offers a promising diagnostic tool to improve tumor marker efficiency.

Aged↗

PubMed2004

Ambiguity, logic, simplicity, and dynamics: Wittgensteinian evaluative criteria in peer review of quantitative research on categorization.

Research on categorization has changed over time, and some of these changes resemble how Wittgenstein's views changed from his Tractatus Logico-Philosophicus to his Philosophical Investigations. Wittgenstein initially focused on unambiguous, abstract, parsimonious, logical propositions and rules, and on independent, static, "atomic facts." This approach subsequently influenced the development of logical positivism and thereby may have indirectly influenced method and theory in research on categorization: much animal research on categorization has focused on learning simple, static, logical rules unambiguously interrelating small numbers of independent features. He later rejected logical simplicity and rigor and focused instead on Gestalt ideas about figure-ground reversals and context, the ambiguity of family resemblance, and the function of details of everyday language. Contemporary contextualism has been influenced by this latter position, some features of which appear in contemporary empirical research on categorization. These developmental changes are illustrated by research on avian local and global levels of visual perceptual analysis, categorization of rectangles and moving objects, and artificial grammar learning. Implications are described for peer review of quantitative theory in which ambiguity, logical rigor, simplicity, or dynamics are designed to play important roles.

Artificial Intelligence↗

PubMed2001

When children are more logical than adults: experimental investigations of scalar implicature.

A conversational implicature is an inference that consists of attributing to a speaker an implicit meaning that goes beyond the explicit linguistic meaning of an utterance. This paper experimentally investigates scalar implicature, a paradigmatic case of implicature in which a speaker's use of a term like Some indicates that the speaker had reasons not to use a more informative term from the same scale, e.g. All; thus, Some implicates Not all. Pragmatic theorists like Grice would predict that a pragmatic interpretation is determined only after its explicit, logical meaning is incorporated (e.g. where Some means at least one). The present work aims to developmentally examine this prediction by showing how younger, albeit competent, reasoners initially treat a relatively weak term logically before becoming aware of its pragmatic potential. Three experiments are presented. Experiment 1 presents a modal reasoning scenario offering an exhaustive set of conclusions; critical among these is participants' evaluation of a statement expressing Might be x when the context indicates that the stronger Must be x is true. The conversationally-infelicitous Might be x can be understood logically (e.g. as compatible with Must) or pragmatically (as exclusive to Must). Results from 5-, 7-, and 9-year-olds as well as adults revealed that (a) 7-year-olds are the youngest to demonstrate modal competence overall and that (b) 7- and 9-year-olds treat the infelicitous Might logically significantly more often than adults do. Experiment 2 showed how training with the modal task can suspend the implicatures for adults. Experiment 3 provides converging evidence of the developmental pragmatic effect with the French existential quantifier Certains (Some). While linguistically-sophisticated children (8- and 10-year-olds olds) typically treat Certains as compatible with Tous (All), adults are equivocal. These results, which are consistent with unanticipated findings in classic developmental papers, reveal a consistent ordering in which representations of weak scalar terms tend to be treated logically by young competent participants and more pragmatically by older ones. This work is also relevant to the treatment of scalar implicatures in the reasoning literature.

Adolescent↗