An Adversarial Interpretation of Information-Theoretic Bounded Rationality

Recently, there has been a growing interest in modeling planning with information constraints. Accordingly, an agent maximizes a regularized expected utility known as the free energy, where the regularizer is given by the information divergence from a prior to a posterior policy. While this approach can be justified in various ways, including from statistical mechanics and information theory, it is still unclear how it relates to decision-making against adversarial environments. This connection has previously been suggested in work relating the free energy to risk-sensitive control and to extensive form games. Here, we show that a single-agent free energy optimization is equivalent to a game between the agent and an imaginary adversary. The adversary can, by paying an exponential penalty, generate costs that diminish the decision maker's payoffs. It turns out that the optimal strategy of the adversary consists in choosing costs so as to render the decision maker indifferent among its choices, which is a definining property of a Nash equilibrium, thus tightening the connection between free energy optimization and game theory.Comment: 7 pages, 4 figures. Proceedings of AAAI-1

BDEF : the behavioral design data exchange format

BDDB is a Behavioral Design Data Base that manages the design data produced and consumed by different behavioral synthesis tools. These different design tools retrieve design data from BDDB, manipulate the data, and then store the results back into the data base. BDDB thus needs to address the following two issues: (1) a design data exchange approach and (2) customized design data interfaces. To address the first issue, we have developed a textual description format for describing design data objects and relationships. This language, referred to as the Behavioral Design Data Exchange Format (BDEF), is used as common format for exchanging design data between BDDB and the design tools in the behavioral synthesis environment. To address the second issue, we have developed a behavioral object type description language (generally referred to as schema definition language) for describing the global data structures required by design tools as well as the desired design subviews of this global BDDB design information. One design view class, namely, BDEF, is the topic of this report.In this report we give a formal definition of the BDEF format. Then we describe a comprehensive example of applying BDEF to the behavioral synthesis domain. That is, we present the complete BDEF syntax for the Extended Control/Data Flow Graph Model (ECDFG), which is the design representation model used by most behavioral synthesis tools in the UCI CADLAB synthesis system. We also present several example descriptions of designs using this ECDFG model. A parser/graph compiler from BDEF into the generalized ECDFG design representation as well as a BDEF generator from the ECDFG data structures into the BDEF format have been implemented

Predatory Insects and Spiders From Suburban Lawns in Lexington, Kentucky

Predatory arthropods were caught in pitfall traps in suburban lawns in Lexington, Kentucky. The relative abundance of species of Lycosidae, Carabidae, and Staphylinidae was compared in Kentucky bluegrass and tall fescue turf. Nine species of Lycosidae were collected from both the bluegrass and tall fescue lawns. More species or phena of Carabidae were collected from bluegrass than from tall fescue turf. More than 40 species or phena of staphylinids were collected from each grass habitat. Both Kentucky bluegrass and tall fescue are inhabited by an abundant and diverse array of predatory arthropods

Curvature and torsion in growing actin networks

Intracellular pathogens such as Listeria monocytogenes and Rickettsia rickettsii move within a host cell by polymerizing a comet-tail of actin fibers that ultimately pushes the cell forward. This dense network of cross-linked actin polymers typically exhibits a striking curvature that causes bacteria to move in gently looping paths. Theoretically, tail curvature has been linked to details of motility by considering force and torque balances from a finite number of polymerizing filaments. Here we track beads coated with a prokaryotic activator of actin polymerization in three dimensions to directly quantify the curvature and torsion of bead motility paths. We find that bead paths are more likely to have low rather than high curvature at any given time. Furthermore, path curvature changes very slowly in time, with an autocorrelation decay time of 200 seconds. Paths with a small radius of curvature, therefore, remain so for an extended period resulting in loops when confined to two dimensions. When allowed to explore a 3D space, path loops are less evident. Finally, we quantify the torsion in the bead paths and show that beads do not exhibit a significant left- or right-handed bias to their motion in 3D. These results suggest that paths of actin-propelled objects may be attributed to slow changes in curvature rather than a fixed torque

Duration judgements in patients with schizophrenia

Background. The ability to encode time cues underlies many cognitive processes. In the light of schizophrenic patients' compromised cognitive abilities in a variety of domains, it is noteworthy that there are numerous reports of these patients displaying impaired timing abilities. However, the timing intervals that patients have been evaluated on in prior studies vary considerably in magnitude (e.g. 1 s, 1 min, 1 h etc.). Method. In order to obviate differences in abilities in chronometric counting and place minimal demands on cognitive processing, we chose tasks that involve making judgements about brief durations of time (<1 s). Results. On a temporal generalization task, patients were less accurate than controls at recognizing a standard duration. The performance of patients was also significantly different from controls on a temporal bisection task, in which participants categorized durations as short or long. Although time estimation may be closely intertwined with working memory, patients' working memory as measured by the digit span task did not correlate significantly with their performance on the duration judgement tasks. Moreover, lowered intelligence scores could not completely account for the findings. Conclusions. We take these results to suggest that patients with schizophrenia are less accurate at estimating brief time periods. These deficits may reflect dysfunction of biopsychological timing processes

Output-input stability and minimum-phase nonlinear systems

This paper introduces and studies the notion of output-input stability, which represents a variant of the minimum-phase property for general smooth nonlinear control systems. The definition of output-input stability does not rely on a particular choice of coordinates in which the system takes a normal form or on the computation of zero dynamics. In the spirit of the ``input-to-state stability'' philosophy, it requires the state and the input of the system to be bounded by a suitable function of the output and derivatives of the output, modulo a decaying term depending on initial conditions. The class of output-input stable systems thus defined includes all affine systems in global normal form whose internal dynamics are input-to-state stable and also all left-invertible linear systems whose transmission zeros have negative real parts. As an application, we explain how the new concept enables one to develop a natural extension to nonlinear systems of a basic result from linear adaptive control.Comment: Revised version, to appear in IEEE Transactions on Automatic Control. See related work in http://www.math.rutgers.edu/~sontag and http://black.csl.uiuc.edu/~liberzo