Decision by sampling

We present a theory of decision by sampling (DbS) in which, in contrast with traditional models, there are no underlying psychoeconomic scales. Instead, we assume that an attribute's subjective value is constructed from a series of binary, ordinal comparisons to a sample of attribute values drawn from memory and is its rank within the sample. We assume that the sample reflects both the immediate distribution of attribute values from the current decision's context and also the background, real-world distribution of attribute values. DbS accounts for concave utility functions; losses looming larger than gains; hyperbolic temporal discounting; and the overestimation of small probabilities and the underestimation of large probabilities.     

Roger T. Kelleher, behavior analyst

Roger T. Kelleher, rightly known as one of the foremost contributors to behavioral pharmacology, also made many important contributions to the experimental analysis of behavior. He participated significantly in the development of the discipline, through both his research and his editorial contributions to thisjournal. This article summarizes his contributions to the field of behavior analysis. His most significant empirical and conceptual contributions to behavior analysis came in two domains-conditioned reinforcement and the power of schedules of reinforcement. His accomplishments in these two domains still serve as principal foundations for modern research and theory.     

Reactivity of Tic Observation Procedures to Situation and Setting

Tic frequency was assessed and compared across home and clinic as well as three experimentally-manipulated situations in order to assess the phenomenon of tic reactivity. Forty-three youngsters with chronic tic disorder recruited from two geographically-distinct sites were videotaped over three weekly laboratory visits under each of the following conditions: (1) alone/camera present, (2) other present/camera present, and (3) alone/camera hidden. Contrary to expectation, more tics were observed during overt as compared to covert observation, while the presence of another person had no overall impact on tic expression. Mean tic counts obtained from clinic observation did not significantly differ from those obtained at home collected either one day before or after. Tic frequency counts were remarkably stable over the three weekly assessments both at home and clinic. Study findings are consistent with past observations that tic expression can be influenced by environmental factors and suggest the stability of tic frequency may exhibit greater temporal and setting stability than previously thought. The clinical and research implications of these results are discussed.     

A cheap telemetric system for analyzing gait.

This study presents a technique for gait analysis, developed for the assessment of footfall timing and speed. The system in question consists of a transmitter, a receiver, a conductive walkway and a PC with the appropriate software.The technique was first tested for accuracy and repeatability with known signals, and was validated with a group of 20 healthy male adults (mean age = 34 years, S.D. = 5.5). The results thus obtained were similar to those reported in the literature for corresponding groups. Then, measurements on 10 children suffering from cerebral palsy (spastic hemiplegia) were performed. Gait analysis was carried out just before surgery and one year post-operatively. The results confirm the validity of the technique for measurements on orthopedic patients and its efficiency for functional evaluation of gait improvement after surgery.     

A Mixed λ-calculus

The aim of this paper is to define a λ-calculus typed in aMixed (commutative and non-commutative) Intuitionistic Linear Logic. The terms of such a calculus are the labelling of proofs of a linear intuitionistic mixed natural deduction NILL, which is based on the non-commutative linear multiplicative sequent calculus MNL [RuetAbrusci 99]. This linear λ-calculus involves three linear arrows: two directional arrows and a nondirectional one (the usual linear arrow). Moreover, the -terms are provided with seriesparallel orders on free variables. We prove a normalization theorem which explicitly gives the behaviour of the order during the normalization procedure. Special Issue Categorial Grammars and Pregroups Edited by Wojciech Buszkowski and Anne Preller     

Equivocation as a Point of Order

Equivocation, or multiple meaning, is explained through the introduction of an additional response, the distinction, to points of order in formal dialogue objecting to immediate inconsistency.     

Rhesus monkeys (<Emphasis Type="Italic">Macaca mulatta</Emphasis>) succeed on a computerized test designed to assess conservation of discrete quantity

Conservation of quantity occurs through recognition that changes in the physical arrangement of a set of items do not change the quantity of items in that set. Rhesus monkeys (Macaca mulatta) were presented with a computerized quantity judgment task. Monkeys were rewarded for selecting the greater quantity of items in one of two horizontal arrays of items on the screen. On some trials, after a correct selection, no reward was given but one of the arrays was manipulated. In some cases, this manipulation involved moving items closer together or farther apart to change the physical arrangement of the array without changing the quantity of items in the array. In other cases, additional items were added to the initially smaller array so that it became quantitatively larger. Monkeys then made another selection from the two rows of items. Monkeys were sensitive to these manipulations, changing their selections when the number of items in the rows changed but not when the arrangement only was changed. Therefore, monkeys responded on the basis of the quantity of items, and they were not distracted by non-quantitative manipulations of the sets.Electronic Supplementary Material Supplementary material is available for this article at     

Cogex: A semantically and contextually enriched logic prover for question answering

This paper presents the architecture and functionality of a logic prover designed for question answering. The approach transforms questions and answer passages into logic representations based on syntactic, semantic and contextual information. World knowledge supplements the linguistic, ontological, and temporal axioms supplied to the prover which renders a deep understanding of the relationship between the question and answer text. The trace of the proofs provides a basis for generating human comprehensible answer justifications. The results show that the prover boosts the performance of the Question Answering system on TREC 2004 questions by 12%.