Synchronization of Logics

Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction systems and provide a categorial characterization of the construction. We illustrate the technique in two cases: linear temporal logic versus equational logic; and linear temporal logic versus branching temporal logic. Finally, we lift the synchronization on formulae to the category of logics over consequences systems.     

Temporal perception in joint action: This is MY action

Here we investigated the temporal perception of self- and other-generated actions during sequential joint actions. Participants judged the perceived time of two events, the first triggered by the participant and the second by another agent, during a cooperative or competitive interaction, or by an unspecified mechanical cause. Results showed that participants perceived self-generated events as shifted earlier in time (anticipation temporal judgment bias) and non-self-generated events as shifted later in time (repulsion temporal judgment bias). This latter effect was observed independently from the kind of cause (i.e., agentive or mechanical) or interaction (i.e., cooperative or competitive). We suggest that this might represent a mental process which allows discriminating events that cannot plausibly be linked to one’s own action. When an event immediately follows a self-generated one, temporal judgment biases operate as self-serving biases in order to separate self-generated events from events of another physical causality.     

Temporal and causal order effects in thinking about what might have been

When people think counterfactually about what might have been different for a sequence of events, they are influenced by the order in which the events occurred. They tend to mentally undo the most recent event in a temporal sequence of two events. But they tend to mentally undo the first event in a causal sequence of four events. We report the results of two experiments that show that the temporal and causal order effects are not dependent on the number of events in the sequence. Our first experiment, with 300 participants, shows that the temporal order effect occurs for sequences with four events as well as for sequences with two events. Our second experiment, with 372 participants, shows that the causal order effect occurs for sequences with two events as well as for sequences with four events. We discuss the results in terms of the mental representations that people construct of temporal and causal sequences.     

Temporal construal

Construal level theory proposes that temporal distance changes people's responses to future events by changing the way people mentally represent those events. The greater the temporal distance, the more likely are events to be represented in terms of a few abstract features that convey the perceived essence of the events (high-level construals) rather than in terms of more concrete and incidental details of the events (low-level construals). The informational and evaluative implications of high-level construals, compared with those of low-level construals, should therefore have more impact on responses to distant-future events than near-future events. This article explores the implications of construal level theory for temporal changes in evaluation, prediction, and choice. The authors suggest that construal level underlies a broad range of evaluative and behavioral consequences of psychological distance from events.     

公众时间回溯式记忆的特点

采用事后回溯设计,考察了大学生公众时间回溯式记忆的特点。研究选取1995到2001年之间发生可辨别的新闻事件14项,要求被试对新闻事件的时序、时点和时距进行回忆。结果表明：（1）公众事件回溯式时点记忆的正确率随时间的远近发生变化,较远的时间回忆正确率低,而较近的时间回忆正确率较高,存在近因效应。（2）公众事件的回溯式时距估计受真实时距的影响,短时距容易被高估,长时距容易被低估。（3）公众事件的回溯式时序回忆存在近因效应和首因效应,被试对发生较远的事件总是倾向于估计得更远,对发生较近的事件也倾向于估计得较近。而对两者中间的事件的顺序估计较为混乱。（4）本实验研究的公众事件回溯式时间记忆符合时间的重构理论和分段综合模型。     

Remembering and imagining: the role of the self

This study investigated whether temporal clustering of autobiographical memories (AMs) around periods of self-development ( [Rathbone et al., 2008] and [Rathbone et al., 2009] ) would also occur when imagining future events associated with the self. Participants completed an AM task and future thinking task. In both tasks, memories and future events were cued using participant-generated identity statements (e.g., I am a student; I will be a mother). Participants then dated their memories and future events, and finally gave an age at which each identity statement was judged to emerge. Dates of memories and future events were recoded as temporal distance from the identity statement used to cue them. AMs and future events both clustered robustly around periods of self-development, indicating the powerful organisational effect of the self. We suggest that life narrative structures are used to organise future events as well as memories.     

The role of mental rotations in primate-inspired robot navigation

Scripts store the temporal order of component events of everyday activities as well as the temporal position of the events within the activity (early or late). When confronted with an activity, predictions are generated about how the component events will unfold. Thereby, an error-detection mechanism continuously monitors whether they unfold as anticipated or not in order to reveal errors in the unfolding activity. We investigated whether the temporal position “early” or “late” influenced the detection of errors using the pupillary response as an index of cognitive resource consumption. An event triplet consisting of three events was presented in a chronological or non-chronological temporal order. Crucially, the triplet focused either on the beginning (temporal position “early”) or the end (temporal position “late”) of an activity. We assumed that these position codes would be used to facilitate error detection when a non-chronological event was presented. Results showed that errors in the temporal order were detected more successfully in early than in late triplets. Results further suggest that strong predictions are formed about how an activity begins. Violations of this prediction must be overcome by zooming into the representation and allocating attention to the temporal position that consumes cognitive resources. Only after zooming in has taken place successfully may the position codes be used to anticipate temporal violations in unfolding event sequences.     

Temporal distance and veracity effects on the level of detail in statements about intentions

Construal level theory states that future events that are nearer in the future and events that are more likely to happen have lower construal levels, and therefore have less detail, than events that are further away and/or less likely to happen. Consistent with this theory, the number of details in a statement can be a moderately good cue to deception. If veracity and temporal distance both affect detail, detail may only be a good cue to deception about events that occur at certain temporal distances. This paper describes a study on whether temporal distance and veracity affect detail levels in statements about intentions. The results suggest that temporal distance and veracity do not affect detail levels in this dataset. Intentions that were completed also did not differ from uncompleted intentions. Overall, the study found no support for the hypothesised effects of temporal distance and veracity on level of detail.     

Emotional reaction to past and future events as a function of temporal distance

In three experiments with 30 Ss, imagined past and future events were used as stimuli. Scales were constructed by the ratio estimation method for (a) subjective temporal distance and (b) emotional reaction to the events. It was found (1) that subjective temporal distance was a power function of chronological distance, (2) that emotional reaction to past events could be described as an exponential function of subjective temporal distance; a simple relation thus exists between the two psychological variables, whereas emotional reaction is related in a more complicated way to the objective variable, and (3) that emotional reaction to future events could be described about as well by a power function as by an exponential function of both subjective and objective temporal distance.     

The use of time and trajectory forms as visual information about spatial scale in events

Spatial metrics are lost but temporal metrics are preserved in the mapping from events to optic flow. In marumate events governed by gravity, temporal scale is linked to spatial scale in ways specific to particular events. We tested whether time can be used as information about spatial scale in visually recognizable events. On average, observers were able to judge object size in event displays that eliminated information other than time and trajectory forms. However, judgment variability was substantial. After feedback on one event, observers judging distance performed better and generalized training to other events. Observers are sensitive to the general form of the scaling relation, but they require feedback to attune event-specific constants.     

动词的延续性特征及瞬时时间副词对时间转换事件表征的影响

为考察语篇阅读中,汉语动词的延续性特征以及瞬时时间副词对时间转换事件表征的影响,采用探测-判断的语篇实时阅读技术分别进行了两个实验。实验1的结果表明,当描述转换前事件的动词是延续性动词时,短时转换句与瞬时转换句的阅读时间无显著差异;而当描述转换前事件的动词是短暂性动词时,短时转换句的阅读时间明显长于瞬时转换句的阅读时间。实验2的结果表明,当不在时间转换句前添加瞬时时间副词时,长时与短时转换句前探测词的再认时间存在显著差异;而当在时间转换句前添加瞬时时间副词时,长时与短时转换句前探测词的再认时间无显著差异。两个实验结果分别说明,动词的延续性特征和时间转换短句的结合影响了时间转换事件的表征,在长时转换句的前面添加瞬时时间副词缩短了长时转换事件的表征时间。     

Back to the future: Temporal perspective in the explanation of events

Prospective hindsight involves generating an explanation for a future event as if it had already happened; i.e., one goes forward in time, and then looks back. In order to examine how shifts in perspective might influence people's perceptions of events, we investigated two possible factors: temporal perspective (whether an event is set in the future or past) and uncertainty (whether the event's occurrence is certain or uncertain). In the first experiment, temporal perspective showed little influence while outcome uncertainty strongly affected the nature of explanations for events. Explanations for sure events tended to be longer, to contain a higher proportion of episodic reasons, and to be expressed in past tense. Evidence from the second experiment supports the view that uncertainty mediates not the amount of time spent explaining, but rather subjects' choice of explanation type. The implications of these findings for the use of temporal perspective in decision aiding are discussed.     

Children's temporal judgments for autobiographical past and future events

We compared the performance of twenty 5-7-year-olds on two spatial-temporal judgment tasks. In a semantic task, children located temporal distances from today that were described using conventional, temporal terms on a spatial timeline. In an autobiographical task, children judged temporal distances on the same spatial timeline for events that they had experienced, or were going to experience, presented without explicit temporal references. Six-year-olds were equally accurate in judging temporal distances in the semantic and autobiographical tasks, but 7-year-olds were more accurate in the semantic task. Older children were more accurate than younger children in the semantic task, but no significant age differences were found for autobiographical events. Surprisingly, children were equally accurate in locating past and future events in time. Children at both ages were more accurate judging temporal distances up to one week away (both past and future) as compared to distances of two to four weeks across both tasks. Results suggest that knowledge of recurring time patterns and conventional time measurement systems is necessary, but not sufficient, for locating autobiographical events in time, and temporal distance plays an important role in children's temporal judgments.     

Constructing autobiographical events within a spatial or temporal context: a comparison of two targeted episodic induction techniques

ABSTRACT

Recalling and imagining autobiographical experiences involves constructing event representations within spatiotemporal contexts. We tested whether generating autobiographical events within a primarily spatial (where the event occurred) or temporal (the sequence of actions that occurred) context affected how the associated mental representation was constructed. We leveraged the well-validated episodic specificity induction (ESI) technique, known to influence the use of episodic processes on subsequent tasks, to develop variants that selectively enhance spatial or temporal processing. We tested the effects of these inductions on the details used to describe past and future autobiographical events. We first replicated the standard ESI effect, showing that ESI enhances generating episodic details, particularly those that are perception-based, when describing autobiographical events (Experiment 1). We then directly compared the effects of the spatial and temporal inductions (Experiment 2 and 3). When describing autobiographical events, spatial induction enhanced generating episodic details, specifically perception-based details, compared to the control or temporal inductions. A greater proportion of the episodic details generated after the temporal induction were gist-based than after the spatial induction, but this proportion did not differ from a control induction. Thus, using a spatial or temporal framework for autobiographical event generation alters the associated details that are accessed.     

Experiences of activity and causality in schizophrenia: When predictive deficits lead to a retrospective over-binding

In this paper I discuss an intriguing and relatively little studied symptomatic expression of schizophrenia known as experiences of activity in which patients form the delusion that they can control some external events by the sole means of their mind. I argue that experiences of activity result from patients being prone to aberrantly infer causal relations between unrelated events in a retrospective way owing to widespread predictive deficits. Moreover, I suggest that such deficits may, in addition, lead to an aberrant intentional binding effect i.e., the subjective compression of the temporal interval between an intentional action and its external effects (Haggard et al., 2002a, Haggard et al., 2002b). In particular, it might be that patient’s thoughts are bound to the external events they aimed to control producing, arguably, a temporal contiguity between these two components. Such temporal contiguity would reinforce or sustain the (causal) feeling that the patient mind is directly causally efficient.     

Children’s Memory for Temporal Information: The Roles of Temporal Language and Executive Function

Abstract

The ability to recall the temporal order of events develops much more slowly than the ability to recall facts about events. To explore what processes facilitate memory for temporal information, we tested 3- to 6-year-old children (N?=?40) for immediate memory of the temporal order of events from a storybook, using a visual timeline task and a yes/no recognition task. In addition, children completed tasks assessing their understanding of before and after and the executive functions of inhibition using the Day/Night Stroop task and cognitive shifting using the Dimensional Change Card Sort (DCCS) task. Older children (Mage?=?69.25?months) outperformed younger children (Mage?=?52.35?months) on all measures; however, the only significant predictor of memory for the temporal ordering of events was cognitive shifting. The findings suggest that the difficulty in memory for temporal information is related to development of a general cognitive ability, as indexed by the DCCS, rather than specific temporal abilities.     

A long time ago in a galaxy far,far away: How temporal are episodic contents?

A prominent feature of mental event (i.e. ‘episodic’) simulations is their temporal orientation: human adults can generate episodic representations directed towards the past or the future. Here, we investigated how the temporal orientation of imagined events relates to the contents of these events. Is there something intrinsically temporal about episodic contents? Or does their temporality rely on a distinct set of representations? In three experiments (N = 360), we asked participants to generate and later recall a series of imagined events differing in (1) location, (2) time of day, (3) temporal orientation, and (4) weekday. We then tested to what extent successful recall of episodic content (i.e. (1) and (2)) would predict recall of temporality and/or weekday information. Results showed that recall of temporal orientation was only weakly predicted by recall of episodic contents. Nonetheless, temporal orientation was more strongly predicted by content recall than weekday recall. This finding suggests that episodic simulations are unlikely to be intrinsically temporal in nature. Instead, similar to other forms of temporal information, temporal orientation might be determined from such contents by reconstructive post-retrieval processes. These results have implications for how the human ability to ‘mentally travel’ in time is cognitively implemented.     

Memories of a bicycle tour

One person's memories of a 47-day bicycle tour of Scandinavia were tested 3–4 months later. The tests assessed frequency, spatial, and temporal knowledge of events. Results indicated that frequency judgements were based on some combination of counts of discrete event memories and a general impression of the tour. Episodic memories showed clear variation as a function of where events had occurred, and judged and actual locations of episodes were strongly related. In fact, knowledge of the week in which something had happened appeared to hinge on where in a sequence of locations it was thought to have taken place. The apparent dependence of temporal judgements on spatial information is consistent with other findings in the literature indicating that temporal memories about past events are derived from a variety of other associated information, much of which is temporally referenced.     

Modality effects in the coding reproduction of rhythms

The temporal coding assumption is that time of presentation is coded more accurately for auditory events than for visual events. This assumption has been used to explain the modality effect, in which recall of recent auditory events is superior to recall of recent visual events. We tested the temporal coding assumption by examining the coding and reproduction of quintessentially temporal stimuli-rhythms. The rhythms were produced by sequences of short and long auditory stimuli or short and long visual stimuli; in either case, the task was to reproduce the temporal sequence. The results from four experiments demonstrated reproduction of auditory rhythms superior to that of visual rhythms. We conclude that speech-based explanations of modality effects cannot accommodate these findings, whereas the findings are consistent with explanations based on the temporal coding assumption.