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.

Quasispin graded-fermion formalism and gl(m vertical bar n)down arrow osp(m vertical bar n) branching rules

The graded-fermion algebra and quasispin formalism are introduced and applied to obtain the gl(m\n)down arrow osp(m\n) branching rules for the two- column tensor irreducible representations of gl(m\n), for the case m less than or equal to n(n > 2). In the case m < n, all such irreducible representations of gl(m\n) are shown to be completely reducible as representations of osp(m\n). This is also shown to be true for the case m=n, except for the spin-singlet representations, which contain an indecomposable representation of osp(m\n) with composition length 3. These branching rules are given in fully explicit form. (C) 1999 American Institute of Physics. [S0022-2488(99)04410-2].

The role of colour in signalling and male choice in the agamid lizard Ctenophorus ornatus

Bright coloration and complex visual displays are frequent and well described in many lizard families. Reflectance spectrometry which extends into the ultraviolet (UV) allows measurement of such coloration independent of our visual system. We examined the role of colour in signalling and mate choice in the agamid lizard Ctenophorus ornatus. We found that throat reflectance strongly contrasted against the granite background of the lizards' habitat. The throat may act as a signal via the head-bobbing and push-up displays of C. ornatus. Dorsal coloration provided camouflage against the granite background, particularly in females. C. ornatus was sexually dichromatic for all traits examined including throat UV reflectance which is beyond human visual perception. Female throats were highly variable in spectral reflectance and males preferred females with higher throat chroma between 370 and 400 nm. However, female throat UV chroma is strongly correlated to both throat brightness and chest UV chroma and males may choose females on a combination of these colour variables. There was no evidence that female throat or chest coloration was an indicator of female quality. However, female brightness significantly predicted a female's laying date and, thus, may signal receptivity. One function of visual display in this species appears to be intersexual signalling, resulting in male choice of females.

Modelling socially optimal land allocations for sugar cane growing in North Queensland: a linked mathematical programming and choice modelling study

A modelling framework is developed to determine the joint economic and environmental net benefits of alternative land allocation strategies. Estimates of community preferences for preservation of natural land, derived from a choice modelling study, are used as input to a model of agricultural production in an optimisation framework. The trade-offs between agricultural production and environmental protection are analysed using the sugar industry of the Herbert River district of north Queensland as an example. Spatially-differentiated resource attributes and the opportunity costs of natural land determine the optimal tradeoffs between production and conservation for a range of sugar prices.

No evidence of female choice for a condition-dependent trait in the agamid lizard, Ctenophorus ornatus

Female choice has rarely been documented in reptiles. In this study we examined the variation, condition-dependence and female preference for a range of male morphological and colour traits in the agamid lizard, Ctenophorus ornatus. Colour traits were measured with reflectance spectrophotometry which allows the accurate quantification of colour traits independent of the human visual system. All the colour traits varied greatly in brightness but only the throat showed high variation in the spectral shape. For the morphological traits, chest patch size showed the highest amount of variation and was also condition-dependent. Males with a larger chest patch also had a patch which was a darker black. Female mate choice trials were conducted on male chest patch size and body size, which is the trait females have preferred in other lizard species. Females showed no preference, measured as spatial association, for larger males or males with bigger chest patches. In post-hoc tests females did not prefer males with brighter throats or darker chests, Our findings suggest that females show no spatial discrimination between males on the basis of a range of traits most expected to influence female choice.

Production under uncertainty and choice under uncertainty in the emergence of generalized expected utility theory

This paper presents a personal view of the interaction between the analysis of choice under uncertainty and the analysis of production under uncertainty. Interest in the foundations of the theory of choice under uncertainty was stimulated by applications of expected utility theory such as the Sandmo model of production under uncertainty. This interest led to the development of generalized models including rank-dependent expected utility theory. In turn, the development of generalized expected utility models raised the question of whether such models could be used in the analysis of applied problems such as those involving production under uncertainty. Finally, the revival of the state-contingent approach led to the recognition of a fundamental duality between choice problems and production problems.

An agent-based approach to modelling driver route choice behaviour under the influence of real-time information

This paper presents an agent-based approach to modelling individual driver behaviour under the influence of real-time traffic information. The driver behaviour models developed in this study are based on a behavioural survey of drivers which was conducted on a congested commuting corridor in Brisbane, Australia. Commuters' responses to travel information were analysed and a number of discrete choice models were developed to determine the factors influencing drivers' behaviour and their propensity to change route and adjust travel patterns. Based on the results obtained from the behavioural survey, the agent behaviour parameters which define driver characteristics, knowledge and preferences were identified and their values determined. A case study implementing a simple agent-based route choice decision model within a microscopic traffic simulation tool is also presented. Driver-vehicle units (DVUs) were modelled as autonomous software components that can each be assigned a set of goals to achieve and a database of knowledge comprising certain beliefs, intentions and preferences concerning the driving task. Each DVU provided route choice decision-making capabilities, based on perception of its environment, that were similar to the described intentions of the driver it represented. The case study clearly demonstrated the feasibility of the approach and the potential to develop more complex driver behavioural dynamics based on the belief-desire-intention agent architecture. (C) 2002 Elsevier Science Ltd. All rights reserved.

The stability of the equilibrium outcomes in the admission games induced by stable matching rules

A stable matching rule is used as the outcome function for the Admission game where colleges behave straightforwardly and the students` strategies are given by their preferences over the colleges. We show that the college-optimal stable matching rule implements the set of stable matchings via the Nash equilibrium (NE) concept. For any other stable matching rule the strategic behavior of the students may lead to outcomes that are not stable under the true preferences. We then introduce uncertainty about the matching selected and prove that the natural solution concept is that of NE in the strong sense. A general result shows that the random stable matching rule, as well as any stable matching rule, implements the set of stable matchings via NE in the strong sense. Precise answers are given to the strategic questions raised.

Decision rules for egg recognition are related to functional roles and chemical cues in the queenless ant Dinoponera quadriceps

The capacity to distinguish colony members from strangers is a key component in social life. In social insects, this extends to the brood and involves discrimination of queen eggs. Chemical substances communicate colony affiliation for both adults and brood; thus, in theory, all colony members should be able to recognize fellow nestmates. In this study, we investigate the ability of Dinoponera quadriceps workers to discriminate nestmate and non-nestmate eggs based on cuticular hydrocarbon composition. We analyzed whether cuticular hydrocarbons present on the eggs provide cues of discrimination. The results show that egg recognition in D. quadriceps is related to both age and the functional role of workers. Brood care workers were able to distinguish nestmate from non-nestmate eggs, while callow and forager workers were unable to do so.

'You can criticise because you care': How attributions affect responses to ingroup and outgroup critics

There are times when people feel compelled to stand up and articulate their group's shortcomings, an act that carries with it enormous social risks. Indeed, a mechanistic reading of social identity theory might lead one to believe that ingroup critics are doomed to face hostility because they are attacking a fundamental part of people's self-concept. But often ingroup critics are doing more than attacking their group — they are trying to incite positive change. Criticism is the cornerstone of protest, and it is difficult to imagine how a group can be reinvigorated, reinvented, or reformed without some process of critical self-reflection. Thus, although the ingroup critic might create tension within the group, it is possible that internal criticism could be seen by other group members as beneficial in terms of promoting positive change and stimulating innovation, creativity, and flexibility in decision making. In this talk I examine the 'identity rules' that ingroup critics need to follow to avoid defensiveness, and look at empirical evidence of how factors such as language, the intergroup context, and choice of audience shape people's attributions regarding criticism and their subsequent evaluations of critics.

Choice of macroinvertebrate metrics to evaluate stream conditions in Atlantic Forest, Brazil

The development of biomonitoring programs based on the macroinvertebrate community requires the understanding of species distribution patterns, as well as of the responses of the community to anthropogenic stressors. In this study, 49 metrics were tested as potential means of assessing the condition of 29 first- and second-order streams located in areas of differing types of land use in So Paulo State, Brazil. Of the sampled streams, 15 were in well-preserved regions in the Atlantic Forest, 5 were among sugarcane cultivations, 5 were in areas of pasture, and 4 were among eucalyptus plantations. The metrics were assessed against the following criteria: (1) predictable response to the impact of human activity; (2) highest taxonomic resolution, and (3) operational and theoretical simplicity. We found that 18 metrics were correlated with the environmental and spatial predictors used, and seven of these satisfied the selection criteria and are thus candidates for inclusion in a multimetric system to assess low-order streams in So Paulo State. These metrics are family richness; Ephemeroptera, Plecoptera and Trichoptera (EPT) richness; proportion of Megaloptera and Hirudinea; proportion of EPT; Shannon diversity index for genus; and adapted Biological Monitoring Work Party biotic index.