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.

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.

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.

An Ethics Core Curriculum for Australasian Medical Schools

Teaching ethics incorporates teaching of knowledge as well as skills and attitudes. Each of these requires different teaching and assessment methods. A core curriculum of ethics knowledge must address both the foundations of ethics and specific ethical topics. Ethical skills teaching focuses on the development of ethical awareness, moral reasoning, communication and collaborative action skills. Attitudes that are important for medical students to develop include honesty, integrity and trustworthiness, empathy and compassion, respect, and responsibility, as well as critical self-appraisal and commitment to lifelong education.

Agents as multi-threaded logical objects

In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

The Limits of Rational Choice: New Institutionalism in the Test Bed of Central Banking Politics in Australia

This paper tests the explanatory capacities of different versions of new institutionalism by examining the Australian case of a general transition in central banking practice and monetary politics: namely, the increased emphasis on low inflation and central bank independence. Standard versions of rational choice institutionalism largely dominate the literature on the politics of central banking, but this approach (here termed RC1) fails to account for Australian empirics. RC1 has a tendency to establish actor preferences exogenously to the analysis; actors' motives are also assumed a priori; actor's preferences are depicted in relatively static, ahistorical terms. And there is the tendency, even a methodological requirement, to assume relatively simple motives and preference sets among actors, in part because of the game theoretic nature of RC1 reasoning. It is possible to build a more accurate rational choice model by re-specifying and essentially updating the context, incentives and choice sets that have driven rational choice in this case. Enter RC2. However, this move subtly introduces methodological shifts and new theoretical challenges. By contrast, historical institutionalism uses an inductive methodology. Compared with deduction, it is arguably better able to deal with complexity and nuance. It also utilises a dynamic, historical approach, and specifies (dynamically) endogenous preference formation by interpretive actors. Historical institutionalism is also able to more easily incorporate a wider set of key explanatory variables and incorporate wider social aggregates. Hence, it is argued that historical institutionalism is the preferred explanatory theory and methodology in this case.

Perceptions of evidence-based practice: A survey of Australian occupational therapists

Evidence-based practice (EBP) requires clinicians to access, appraise and integrate research literature with clinical experience and clients' perspectives. Currently, little is known about occupational therapists' attitudes to EBP, their perception of implementation barriers or their educational needs. A questionnaire reflecting these issues was sent to a proportionate random sample of 1491 members of the national professional occupational therapy association, OT AUSTRALIA. The questionnaire was completed by 649 (44%) participants. Occupational therapists were positive about EBP with most (96%) agreeing that EBP is important to occupational therapy. Although 56% used research to make clinical decisions, more relied on clinical experience (96%), information from continuing education (82%) and colleagues (80%). Lack of time, evidence and skills were identified as the main barriers to the implementation of EBP. Over half (52%) expressed strong interest in EBP skills training, and most (80%) indicated an interest in the availability of brief summaries of evidence. Targeted educational initiatives, resources and systems are needed to support EBP in occupational therapy.

But what if I don't want to wait forever?

We present an abstract model of the leader election protocol used in the IEEE 1394 High Performance Serial Bus standard. The model is expressed in the probabilistic Guarded Command Language. By formal reasoning based on this description, we establish the probability of the root contention part of the protocol successfully terminating in terms of the number of attempts to do so. Some simple calculations then allow us to establish an upper bound on the time taken for those attempts.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Learning about life and death in early childhood

Inagaki and Hatano (2002) have argued that young children initially understand biological phenomena in terms of vitalism, a mode of construal in which life or life-force is the central causal-explanatory concept. This study investigated the development of vitalistic reasoning in young children's concepts of life, the human body and death. Sixty preschool children between the ages of 3 years, 7 months and 5 years, 11 months participated. All children were initially given structured interviews to assess their knowledge of (1) human body function and (2) death. From this sample 40 children in the Training group were taught about the human body and how it functions to maintain life. The Control group (n = 20) received no training. All 60 children were subsequently reassessed on their knowledge of human body function and death. Results from the initial interviews indicated that young children who spontaneously appealed to vitalistic concepts in reasoning about human body functioning were also more sophisticated in their understanding of death. Results from the posttraining interviews showed that children readily learned to adopt a vitalistic approach to human body functioning, and that this learning coincided with significant development in their understanding of human body function, and of death. The overall pattern of results supports the claim that the acquisition of a vitalistic causal-explanatory framework serves to structure children's concepts and facilitates learning in the domain of biology. (C) 2003 Elsevier Science (USA). All rights reserved.

Introdu????o ?? cr??tica da raz??o desestatizante

O artigo compreende uma vis??o cr??tica sobre os processos de reestrutura????o do Estado baseados na l??gica neoliberal, que caracterizam as reformas minimalistas da d??cada de 80. O tema da reforma do Estado ?? visto como um dos grandes desafios intelectuais e pol??ticos deste fim de s??culo, devendo necessariamente ser contextualizado historicamente, uma vez que n??o existe uma ??nica crise do Estado, mas v??rias crises dos Estados espec??ficas e particulares, cujas solu????es n??o s??o ??nicas nem universais, mas dependentes do diagn??stico de cada caso. Entende-se que a raz??o desestatizante apresenta limita????es, reconhecidas at?? mesmo pelas institui????es financeiras internacionais que antes a defendiam. O cen??rio de um novo modo de atua????o estatal ?? apresentado como mais prov??vel, sendo o conceito de reestatiza????o mais adequado para as mudan??as que se fazem necess??rias.