Intuition: Myth or a Decision-making Tool?

Faced with today’s ill-structured business environment of fast-paced change and rising uncertainty, organizations have been searching for management tools that will perform satisfactorily under such ambiguous conditions. In the arena of managerial decision making, one of the approaches being assessed is the use of intuition. Based on our definition of intuition as a non-sequential information-processing mode, which comprises both cognitive and affective elements and results in direct knowing without any use of conscious reasoning, we develop a testable model of integrated analytical and intuitive decision making and propose ways to measure the use of intuition.

Variants of temporal defeasible logics for modelling norm modifications

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.

Strategic argumentation: A game theoretical investigation

Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of arguments that have actually been exchanged, and given the probability of the factual premises. The probability of a conclusion is calculated using a standard variant of Defeasible Logic, in combination with standard probability calculus. It is a new element of the present approach that the exchange of arguments is analysed with game theoretical tools, yielding a prescriptive and to some extent even predictive account of the actual course of play. A brief comparison with existing argument-based dialogue approaches confirms that such a prescriptive account of the actual argumentation has been almost lacking in the approaches proposed so far.

Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Gene-engineered T cells as a superior adjuvant therapy for metastatic cancer

The major limiting factor in the successful application of adjuvant therapy for metastatic disease is the lack of adjuvant specificity that leads to severe side effects. Reasoning that T cells of the immune system are highly specific, we generated tumor-specific T cells by genetic modification of mouse primary T cells with a chimeric receptor reactive with the human breast cancer-associated Ag erbB-2. These T cells killed breast cancer cells and secreted IFN-gamma in an Ag-specific manner in vitro. We investigated their use against metastatic breast cancer in mice in an adjuvant setting, and compared their effectiveness with the commonly applied adjuvants doxorubicin, 5-fluorouracil, and herceptin. Mice were inoculated orthotopically with the human erbB-2-expressing spontaneously metastatic mouse breast cancer 4T1.2 in mammary tissue, and the primary tumor was surgically removed 8 days later., Significant metastatic disease was demonstrated in lung and liver at the time of surgery on day 8 with increased tumor burden at later time points. T cell adjuvant treatment of day 8 metastatic disease resulted in dramatic increases in survival of mice, and this survival was significantly greater than that afforded by either doxorubicin, 5-fluorouracil, or herceptin.

Virtual models of the HLA class I antigen processing pathway

Antigen recognition by cytotoxic CD8 T cells is dependent upon a number of critical steps in MHC class I antigen processing including proteosomal cleavage, TAP transport into the endoplasmic reticulum, and MHC class 1 binding. Based on extensive experimental data relating to each of these steps there is now the capacity to model individual antigen processing steps with a high degree of accuracy. This paper demonstrates the potential to bring together models of individual antigen processing steps, for example proteosome cleavage, TAP transport, and MHC binding, to build highly informative models of functional pathways. In particular, we demonstrate how an artificial neural network model of TAP transport was used to mine a HLA-binding database so as to identify H LA-binding peptides transported by TAP. This integrated model of antigen processing provided the unique insight that HLA class I alleles apparently constitute two separate classes: those that are TAP-efficient for peptide loading (HLA-B27, -A3, and -A24) and those that are TAP-inefficient (HLA-A2, -B7, and -B8). Hence, using this integrated model we were able to generate novel hypotheses regarding antigen processing, and these hypotheses are now capable of being tested experimentally. This model confirms the feasibility of constructing a virtual immune system, whereby each additional step in antigen processing is incorporated into a single modular model. Accurate models of antigen processing have implications for the study of basic immunology as well as for the design of peptide-based vaccines and other immunotherapies. (C) 2004 Elsevier Inc. All rights reserved.

Ecology, values, and objectivity: Advancing the debate

We add to current discussions about the interface between ecology, values, and objectivity by reporting on a novel Delphi-based study of the scientific reasoning employed by a group of eight ecologists as they collectively considered current ecological thinking. We rely on contextual empiricism, with its features of multiple ways of relating theory to reality and science as a social activity, to provide a richer understanding of scientific objectivity. This understanding recognizes the place and contributions of values and, in so doing, moves the discussion beyond whether or not science is value neutral.

Mathematically gifted male adolescents activate a unique brain network during mental rotation

Mental rotation involves the creation and manipulation of internal images, with the later being particularly useful cognitive capacities when applied to high-level mathematical thinking and reasoning. Many neuroimaging studies have demonstrated mental rotation to be mediated primarily by the parietal lobes, particularly on the right side. Here, we use fMRI to show for the first time that when performing 3-dimensional mental rotations, mathematically gifted male adolescents engage a qualitatively different brain network than those of average math ability, one that involves bilateral activation of the parietal lobes and frontal cortex, along with heightened activation of the anterior cingulate. Reliance on the processing characteristics of this uniquely bilateral system and the interplay of these anterior/posterior regions may be contributors to their mathematical precocity.

Neuropsychological Outcome of Ventral Capsular/Ventral Striatal Gamma Capsulotomy for Refractory Obsessive-Compulsive Disorder: A Pilot Study

Five refractory obsessive-compulsive patients were assessed using a neuropsychological battery after a modified gamma knife capsulotomy. The surgical technique was not associated with profound cognitive deficits. The authors found improvements in attention, vocabulary, learning, abstract reasoning, and memory. (The journal of Neuropsychiatry and Clinical Neurosciences 2009; 21:393-397)

Mental evolution and development: Evidence for secondary representation in children, great apes, and other animals

Recent interest in the development and evolution of theory of mind has provided a wealth of information about representational skills in both children and animals, According to J, Perrier (1991), children begin to entertain secondary representations in the 2nd year of life. This advance manifests in their passing hidden displacement tasks, engaging in pretense and means-ends reasoning, interpreting external representations, displaying mirror self-recognition and empathic behavior, and showing an early understanding of mind and imitation. New data show a cluster of mental accomplishments in great apes that is very similar to that observed in 2-year-old humans. It is suggested that it is most parsimonious to assume that this cognitive profile is of homologous origin and that great apes possess secondary representational capacity. Evidence from animals other than apes is scant. This analysis leads to a number of predictions for future research.

Crystallization and preliminary X-ray diffraction studies of FHA domains of Dun1 and Rad53 protein kinases

Forkhead-associated (FHA) domains are modular protein–protein interaction domains of ~130 amino acids present in numerous signalling proteins. FHA-domain-dependent protein interactions are regulated by phosphorylation of target proteins and FHA domains may be multifunctional phosphopeptide-recognition modules. FHA domains of the budding yeast cell-cycle checkpoint protein kinases Dun1p and Rad53p have been crystallized. Crystals of the Dun1-FHA domain exhibit the symmetry of the space group P6122 or P6522, with unit-cell parameters a = b = 127.3, c = 386.3 Å; diffraction data have been collected to 3.1 Å resolution on a synchrotron source. Crystals of the N-terminal FHA domain (FHA1) of Rad53p diffract to 4.0 Å resolution on a laboratory X-ray source and have Laue-group symmetry 4/mmm, with unit-cell parameters a = b = 61.7, c = 104.3 Å.

Pyramidal neurones in macaque visual cortex: Interareal phenotypic variation of dendritic branching patterns

The basal dendritic arbors of over 500-layer III pyramidal neurones of the macaque cortex were compared by fractal analyses, which provides a measure of the space filling (or branching pattern) of dendritic arbors. Fractal values (D) of individual cells were compared between the cytochrome oxidase (CO)-rich blobs and CO-poor interblobs, of middle and upper layer III, and between sublaminae, in the primary visual area (Vi). These data were compared with those in the CO compartments in the second visual area (V2), and seven other extrastriate cortical areas. (V4, MT, LIP, 7a, TEO, TE and STP). There were significant differences in the fractal dimensions, and therefore the dendritic branching patterns, of cells in striate and extrastriate areas. Of the 55 possible pairwise comparisons of fractal dimension of neurones in different cortical areas (or CO compartments), 39 proved to be significantly different. The markedly different morphologies of pyramidal cells in the different cortical areas may be one of the features that determine the functional signatures of these cells by influencing the number of inputs received by, and propagation of potentials through, their dendritic arbors.