Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Chimpanzees Extract Social Information from Agonistic Screams

Chimpanzee (Pan troglodytes) agonistic screams are graded vocal signals that are produced in a context-specific manner. Screams given by aggressors and victims can be discriminated based on their acoustic structure but the mechanisms of listener comprehension of these calls are currently unknown. In this study, we show that chimpanzees extract social information from these vocal signals that, combined with their more general social knowledge, enables them to understand the nature of out-of-sight social interactions. In playback experiments, we broadcast congruent and incongruent sequences of agonistic calls and monitored the response of bystanders. Congruent sequences were in accordance with existing social dominance relations; incongruent ones violated them. Subjects looked significantly longer at incongruent sequences, despite them being acoustically less salient (fewer call types from fewer individuals) than congruent ones. We concluded that chimpanzees categorised an apparently simple acoustic signal into victim and aggressor screams and used pragmatics to form inferences about third-party interactions they could not see

Induced Cooperation to Access a Shareable Reward Increases the Hierarchical Segregation of Wild Vervet Monkeys

Until now cooperation experiments in primates have paid little attention to how cooperation can emerge and what effects are produced on the structure of a social group in nature. I performed field experiments with three groups of wild vervet monkeys in South Africa. I induced individuals to repeatedly approach and operate food containers. At least two individuals needed to operate the containers in order to get the reward. The recurrent partner associations observed before the experiment only partly predicted the forming of cooperative partnerships during the experiment. While most of the tested subjects cooperated with other partners, they preferred to do so with specific combinations of individuals and they tended not to mix with other group members outside these preferred partnerships. Cooperation therefore caused the relatively homogeneous networks I observed before the experiment to differentiate. Similar to a matching market, the food sharing partners selected each other limiting their choice. Interestingly neither sex nor age classes explained the specific partner matching. Kinship could not explain it either. Rather, higher ranking individuals cooperated with other higher ranking individuals, and lower ranking also matched among the same rank. This study reveals the key role dominance rank plays when food resources are patchy and can only be accessed through sharing with other individuals

Out of Sight but Not Out of Mind? Behavioral Coordination in Red-Tailed Sportive Lemurs (Lepilemur ruficaudatus)

Many animals are organized into social groups and have to synchronize their activities to maintain group cohesion. Although activity budgets, habitat constraints, and group properties may impact on behavioural synchrony, little is known regarding how members of a group reach a consensus on the timing of activities such as foraging bouts. Game theory predicts that pair partners should synchronize their activities when there is an advantage of foraging together. As a result of this synchronization, differences in the energetic reserves of the two players develop spontaneously and the individual with lower reserves emerges as a pacemaker of the synchrony. Here, we studied the behavioral synchrony of pair-living, nocturnal, red-tailed sportive lemurs (Lepilemur ruficaudatus). We observed 8 pairs continuously for ≥1 annual reproductive cycle in Kirindy Forest, Western Madagascar. During focal observations, one observer followed the female of a pair and, simultaneously, another observer followed the male. We recorded the location and behavioral state of the focal individual every 5 min via instantaneous sampling. Although behavioral synchrony of pair partners appeared to be due mainly to endogenous activity patterns, they actively synchronized when they were in visual contact (<10 m). Nevertheless, red-tailed sportive lemurs benefit from synchronizing their activity only for 15% of the time, when they are close together. The lack of an early warning system for predators and weak support for benefits via social information transfer in combination with energetic constraints may explain why red-tailed sportive lemurs do not spend more time together and thus reap the benefits of behavioral synchrony

Mother-male bond, but not paternity, influences male-infant affiliation in wild crested macaques

In promiscuous primates, interactions between adult males and infants have rarely been investigated. However, recent evidence suggests that male affiliation towards infants has an influence on several aspects of the infants’ life. Furthermore, affiliations may be associated with male reproductive strategy. In this study, we examined which social factors influenced male-infant affiliation initiated by either male or infant, in wild crested macaques (Macaca nigra). We combined behavioral data and genetic paternity analysis from 30 infants living in three wild groups in Tangkoko Reserve, Indonesia. Our results indicate that adult males and infants do not interact at random, but rather form preferential associations. The social factors with the highest influence on infant-initiated interactions were male rank and male association with the infant’s mother. While infants initiated affiliations with males more often in the absence of their mothers, adult males initiated more affiliations with infants when their mothers were present. Furthermore, males initiated affiliations more often when they were in the same group at the time the infant was conceived, when they held a high dominance rank or when they had a close relationship with the mother. Interestingly, paternity did not affect male-infant affiliation despite being highly skewed in this species. Overall, our results suggest that adult males potentially associate with an infant to secure future mating with the mother. Infants are more likely to associate with a male to receive better support, suggesting a strategy to increase the chance of infant survival in a primate society with high infant mortality

Detecting Instability in Animal Social Networks: Genetic Fragmentation Is Associated with Social Instability in Rhesus Macaques

The persistence of biological systems requires evolved mechanisms which promote stability. Cohesive primate social groups are one example of stable biological systems, which persist in spite of regular conflict. We suggest that genetic relatedness and its associated kinship structure are a potential source of stability in primate social groups as kinship structure is an important organizing principle in many animal societies. We investigated the effect of average genetic relatedness per matrilineal family on the stability of matrilineal grooming and agonistic interactions in 48 matrilines from seven captive groups of rhesus macaques. Matrilines with low average genetic relatedness show increased family-level instability such as: more sub-grouping in their matrilineal groom network, more frequent fighting with kin, and higher rates of wounding. Family-level instability in multiple matrilines within a group is further associated with group-level instability such as increased wounding. Stability appears to arise from the presence of clear matrilineal structure in the rhesus macaque group hierarchy, which is derived from cohesion among kin in their affiliative and agonistic interactions with each other. We conclude that genetic relatedness and kinship structure are an important source of group stability in animal societies, particularly when dominance and/or affilative interactions are typically governed by kinship

The potential to encode sex, age, and individual identity in the alarm calls of three species of Marmotinae

In addition to encoding referential information and information about the sender’s motivation, mammalian alarm calls may encode information about other attributes of the sender, providing the potential for recognition among kin, mates, and neighbors. Here, we examined 96 speckled ground squirrels (Spermophilus suslicus), 100 yellow ground squirrels (Spermophilus fulvus) and 85 yellow-bellied marmots (Marmota flaviventris) to determine whether their alarm calls differed between species in their ability to encode information about the caller’s sex, age, and identity. Alarm calls were elicited by approaching individually identified animals in live-traps. We assume this experimental design modeled a naturally occurring predatory event, when receivers should acquire information about attributes of a caller from a single bout of alarm calls. In each species, variation that allows identification of the caller’s identity was greater than variation allowing identification of age or sex. We discuss these results in relation to each species’ biology and sociality

Call Cultures in Orang-Utans?

BACKGROUND: Several studies suggested great ape cultures, arguing that human cumulative culture presumably evolved from such a foundation. These focused on conspicuous behaviours, and showed rich geographic variation, which could not be attributed to known ecological or genetic differences. Although geographic variation within call types (accents) has previously been reported for orang-utans and other primate species, we examine geographic variation in the presence/absence of discrete call types (dialects). Because orang-utans have been shown to have geographic variation that is not completely explicable by genetic or ecological factors we hypothesized that this will be similar in the call domain and predict that discrete call type variation between populations will be found. METHODOLOGY/PRINCIPAL FINDINGS: We examined long-term behavioural data from five orang-utan populations and collected fecal samples for genetic analyses. We show that there is geographic variation in the presence of discrete types of calls. In exactly the same behavioural context (nest building and infant retrieval), individuals in different wild populations customarily emit either qualitatively different calls or calls in some but not in others. By comparing patterns in call-type and genetic similarity, we suggest that the observed variation is not likely to be explained by genetic or ecological differences. CONCLUSION/SIGNIFICANCE: These results are consistent with the potential presence of 'call cultures' and suggest that wild orang-utans possess the ability to invent arbitrary calls, which spread through social learning. These findings differ substantially from those that have been reported for primates before. First, the results reported here are on dialect and not on accent. Second, this study presents cases of production learning whereas most primate studies on vocal learning were cases of contextual learning. We conclude with speculating on how these findings might assist in bridging the gap between vocal communication in non-human primates and human speech

Triadic awareness predicts partner choice in male–infant–male interactions in Barbary macaques

Social knowledge beyond one’s direct relationships is a key to successful maneuvering of the social world. Individuals gather information on the quality of social relationships between their group companions, which has been termed triadic awareness. Evidence of the use of triadic awareness in natural contexts is limited mainly to conflict management. Here we investigated triadic awareness in wild Barbary macaques (Macaca sylvanus) in the context of bridging interactions defined as male-infant-male interactions whereby a male (actor) presents an infant to another male (receiver) in order to initiate an affiliative interaction with that male. Analyses based on 1,263 hours of focal observations on ten infants of one wild social group in Morocco supported the hypothesis that males use their knowledge of the relationship between infants and other adult males when choosing a male as a partner for bridging interactions. Specifically, (i) the number of bridging interactions among initiator-infant-receiver triads was affected by the strength of the infant-receiver relationship and (ii) when two males were available as bridging partners, a male was more likely to be chosen as the receiver the stronger his social relationship with the infant in comparison to the other available male was. This demonstrates that non-human primates establish triadic awareness also of temporarily rather dynamic infant-male relationships and use it in naturally occurring affiliative context. Our results contribute to the discussion about the mechanism underlying the acquisition of triadic awareness and the benefits of its usage and lend support to hypotheses linking social complexity to the evolution of complex cognition