Interval Temporal Logic is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents. Due to the logic's non-elementary complexity, efficient ITL-based verification tools have been difficult to develop, even for propositional subsets. MONA is an efficient implementation of an automata-based decision procedure for the logic WS1S. Despite the non-elementary complexity of WS1S, MONA has been successfully applied in problems such as hardware synthesis, protocol verification and theorem proving. Here (...) we consider a rich propositional subset of ITL, PITL, whose expressive power is equivalent to that of WS1S, and in turn to that of regular languages. PITL not only includes operators such as chop, star and projection, but also past operators such as previous, chop in the past and since. We provide an interpretation of PITL formulas in WS1S, which led us to a direct translation from PITL formulas to MONA specifications. We present the tool PITL2MONA as an implementation of such translation. With PITL2MONA acting as a front-end, MONA is used as a decision procedure for PITL. To our knowledge, this is one of the few implementations of a decision procedure for PITL, the first one based on automata, and the only one which handles both projection and past operators. We have tested our implementation on a number of examples; we show in this paper the application of PITL and its MONA-based decision procedure in solutions to the dining-philosophers and a multimedia synchronisation problem, together with some experimental results on these and some other examples. (shrink)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for (...) short). It combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then (...) reduced to “executing” the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method. (shrink)

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. (...) It may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

Is consolidation needed to account for retroactive interference in free recall? Interfering mental activity during the retention interval of a memory task impairs performance, in particular if the interference occurs in temporal proximity to the encoding of the to-be-remembered information. There are at least two rival theoretical accounts of this temporal gradient of retroactive interference. The cognitive neuroscience literature has suggested neural consolidation is a pivotal factor determining item recall. According to this account, interfering activity interrupts consolidation processes (...) that would otherwise stabilize the memory representations of TBR items post-encoding. Temporal distinctiveness theory, by contrast, proposes that the retrievability of items depends on their isolation in psychological time. According to this theory, information processed after the encoding of TBR material will reduce the temporal distinctiveness of the TBR information. To test between these accounts, implementations of consolidation were added to the SIMPLE model of memory and learning. We report data from two experiments utilizing a two-list free recall paradigm. Modeling results imply that SIMPLE was able to model the data and did not benefit from the addition of consolidation. It is concluded that the temporal gradient of retroactive interference cannot be taken as evidence for memory consolidation. (shrink)

The tidal-wave theory is inspired by the particular morphology of the cerebellar cortex. It elegantly attributes function to the anisotropy of the cerebellar wiring and the geometry of Purkinje cell dendrites. In this commentary, physiological considerations are used to elaborate temporal and spatial constraints of the tidal-wave theory. It is shown, first, that limitations of temporal precision in the cortical inputs to the mammalian cerebellum delimit the spatial resolution of an input sequence (i.e., the minimal distance along the (...) parallel fibers which can detect sequential input) to the range of a millimeter at best. Second, temporal characteristics of Purkinje cell postsynaptic potentials are argued to predict a distance of at least several millimeters along the parallel fiber beam in order to generate a sequence in the cerebellar output. It is concluded that the implementation of tidal waves as a general principle of cerebellar function is questionable as there exist cerebelli too small to match these constraints. (shrink)

The purpose of the study is to identify the influence of the temporality of Enlightenment on the genesis and evolution of classical ideologies of Modernity. The scientific novelty it consists in the fact that the classical ideologies of modernity are presented as competing strategies for the appropriation of time by collective subjects of historical dynamics. In conservatism, the object of appropriation is an idealized past, in liberalism – an intense present, in Marxism – a bright future. As a result, it (...) can be concluded that it was the presence of a trimodal ideology, which included conservatism, liberalism and Marxism, that created the prerequisites for the simultaneous existence and dynamic development of multiple Modernities implemented within the framework of a common cultural and civilizational project. (shrink)

This contribution intends to explore patients’ lived experience, with a focus on the temporal dimension. On the basis of a qualitative study that led me to interview persons with Parkinson’s disease (PD), caregivers, and medical professionals, I develop an empirical and philosophical investigation of the temporalities surrounding the implementation of deep brain stimulation (DBS) in Greece. I raise the issue of access to DBS medical care, and show how distinct temporalities are implied when the patients face such a matter: (...) that of linear time, linked with the medical discourse, the bureaucratic time linked to administrative and financial hurdles in the implementation and maintenance of DBS, and the technological time of the body/technology fusion. I consider initially the impact of technology and health care settings on the lived experience of patients and the enactment of multiple bodies which are interrelated with the social world. I then expand my analysis in order to show that this experience cannot be a solipsistic one, or specific to one physician/patient relationship. It is fully socially shaped. (shrink)

BackgroundTemporal interference (TI) stimulation is a novel technique that enables the non-invasive modulation of deep brain regions. However, the implementation of this technology in humans has not been well-characterized or examined, including its safety and feasibility.ObjectiveWe aimed to examine the feasibility, safety, and blinding of using TI on human participants in this pilot study.Materials and methodsIn a randomized, single-blinded, and sham-controlled pilot study, healthy young participants were randomly divided into four groups [TI and transcranial alternating current stimulation (tACS) targeting the (...) right frontoparietal region, TI-sham, and tACS-sham]. Each participant was asked to complete N-back (N = 1 to 3) tasks before, during, and after one session of stimulation to assess their working memory (WM). The side effects and blinding efficacy were carefully assessed. The accuracy, reaction time (RT), and inverse efficiency score (IES, reaction time/accuracy) of the N-back tasks were measured.ResultsNo severe side effects were reported. Only mild-to-moderate side effects were observed in those who received TI, which was similar to those observed in participants receiving tACS. The blinding efficacy was excellent, and there was no correlation between the severity of the reported side effects and the predicted type of stimulation that the participants received. WM appeared to be only marginally improved by TI compared to tACS-sham, and this improvement was only observed under high-load cognitive tasks. WM seemed to have improved a little in the TI-sham group. However, it was not observed significant differences between TI and TI-sham or TI and tACS in all N-back tests.ConclusionOur pilot study suggests that TI is a promising technique that can be safely implemented in human participants. Studies are warranted to confirm the findings of this study and to further examine the effects of TI-sham stimulation as well as the effects of TI on deeper brain regions. (shrink)

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The (...) key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

Cognitive neuroscientists are currently busy searching for the neural signatures of conscious experience. I shall argue that the notion of neural correlates of consciousness employed in much of this work is subject to two very different interpretations depending on how one understands the relation between the concepts of “state consciousness” and “creature consciousness”. Localist theories treat the neural correlates of creature consciousness as a kind of background condition that must be in place in order for the brain to realise particular (...) conscious experiences. Holists on the other hand take the neural correlates of creature consciousness to be a part of the core realiser of a particular conscious experience. My aim in this paper will be threefold. First I argue we should understand creature consciousness as a property of those creatures that have a minimal sense of self. Given this conception of creature consciousness I argue that the localist position is untenable: creature consciousness cannot simply be a background condition. Finally I argue that the minimal sense of self is a consequence of the temporal structure of consciousness. It follows that any theory of NCCs must explain how experiences with a complex temporal structure can be implemented in neural processing. (shrink)

This paper proposes a model for implementation of intrinsic natural language sentence meaning in a physical language understanding system, where 'intrinsic' is understood as 'independent of meaning ascription by system-external observers'. The proposal is that intrinsic meaning can be implemented as a point attractor in the state space of a nonlinear dynamical system with feedback which is generated by temporally sequenced inputs. It is motivated by John Searle's well known (Behavioral and Brain Sciences, 3: 417–57, 1980) critique of the then-standard (...) and currently still influential computational theory of mind (CTM), the essence of which was that CTM representations lack intrinsic meaning because that meaning is dependent on ascription by an observer_._ The proposed dynamical model comprises a collection of interacting artificial neural networks, and constitutes a radical simplification of the principle of compositional phrase structure which is at the heart of the current standard view of sentence semantics because it is computationally interpretable as a finite state machine. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between (...) time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. We define a translation from CAPSL models into interpreted systems, a popular semantics for temporal-epistemic logic, and rewrite CAPSL goals as temporal-epistemic specifications. We present a compiler that implements this translation. The compiler links to the symbolic model checker MCMAS. We evaluate the technique on protocols in the Clark-Jacobs library and in the SPORE repository against custom secrecy and authentication requirements.

Research investigating the brain basis of language comprehension has associated the left anterior temporal lobe with sentence-level combinatorics. Using magnetoencephalography, we test the parsing strategy implemented in this brain region. The number of incremental parse steps from a predictive left-corner parsing strategy that is supported by psycholinguistic research is compared with those from a less-predictive strategy. We test for a correlation between parse steps and source-localized MEG activity recorded while participants read a story. Left-corner parse steps correlated with activity (...) in the left ATL around 350–500 ms after word onset. No other correlations specific to sentence comprehension were observed. These data indicate that the left ATL engages in combinatoric processing that is well characterized by a predictive left-corner parsing strategy. (shrink)

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

Toxic plants have been used for years in agriculture to control major crop pests. However, the continuous exposure of targeted pests to toxins dramatically increases the rate of resistance evolution (Gassman et al. in Annu Rev Entomol 54:147–163, 2009a ; Tabashnik et al. Nat Biotechnol 26:199–202, 2008 ). To prevent or delay resistance, non toxic host plants can be used as refuges. Our study considers spatial and temporal refuges that are respectively implemented concurrently or alternatively a toxic crop. A (...) conceptual model based on impulsive differential equations is proposed to describe the dynamics of the susceptible and resistant pest populations over time. The mathematical study enlightens threshold values of the proportion of the spatial refuge and key parameters that should help to understand evolution of pest resistance to toxic crop. (shrink)

When we perceive the external world, our brain has to deal with the incompleteness and uncertainty associated with sensory inputs, memory and prior knowledge. In theoretical neuroscience probabilistic approaches have received a growing interest recently, as they account for the ability to reason with incomplete knowledge and to efficiently describe perceptive and behavioral tasks. How can the probability distributions that need to be estimated in these models be represented and processed in the brain, in particular at the single cell level? (...) We consider the basic function carried out by photoreceptor cells which consists in detecting the presence or absence of light. We give a system-level understanding of the process of phototransduction based on a bayesian formalism: we show that the process of phototransduction is equivalent to a temporal probabilistic inference in a Hidden Markov Model (HMM), for estimating the presence or absence of light. Thus, the biochemical mechanisms of phototransduction underlie the estimation of the current state probability distribution of the presence of light. A classical descriptive model describes the interactions between the different molecular messengers, ions, enzymes and channel proteins occurring within the photoreceptor by a set of nonlinear coupled differential equations. In contrast, the probabilistic HMM model is described by a discrete recurrence equation. It appears that the binary HMM has a general solution in the case of constant input. This allows a detailed analysis of the dynamics of the system. The biochemical system and the HMM behave similarly under steady-state conditions. Consequently a formal equivalence can be found between the biochemical system and the HMM. Numerical simulations further extend the results to the dynamic case and to noisy input. All in all, we have derived a probabilistic model equivalent to a classical descriptive model of phototransduction, which has the additional advantage of assigning a function to phototransduction. The example of phototransduction shows how simple biochemical interactions underlie simple probabilistic inferences. (shrink)

Because of the mechanism complexity, coupling, and time-space characteristic of alkali-surfactant-polymer flooding, common methods are very hard to be implemented directly. In this paper, an iterative dynamic programming based on a biorthogonal spatial-temporal Wiener modeling method is developed to solve the enhanced oil recovery for ASP flooding. At first, a comprehensive mechanism model for the enhanced oil recovery of ASP flooding is introduced. Then the biorthogonal spatial-temporal Wiener model is presented to build the relation between inputs and states, (...) in which the Wiener model is expanded on a set of spatial basis functions and temporal basis functions. After inferring the necessary condition of solutions, these basis functions are determined by the snapshot method. Furthermore, a theorem is proved to identify parameters in the Wiener model. Combined with the least square estimation, all unknown parameters are determined. In addition, the ARMA model is applied to build the model between states and outputs, whose parameters are identified by recursive least squares. Thus, the whole modeling process for ASP flooding is finished. At last, the IDP algorithm is applied to solve the enhanced oil recovery problem for ASP flooding based on the identification model to obtain the optimal injection strategy. Simulations on the ASP flooding with four injection wells and nine production wells show the accuracy and effectiveness of the proposed method. (shrink)

Preoperative mapping of language and declarative memory functions in temporal lobe epilepsy patients is essential since they frequently encounter deterioration of these functions and show variable degrees of cerebral reorganization. Due to growing evidence on language and declarative memory interdependence at a neural and neuropsychological level, we propose the GE2REC protocol for interactive language-and-memory network mapping. GE2REC consists of three inter-related tasks, sentence generation with implicit encoding and two recollection memory tasks: recognition and recall. This protocol has previously been (...) validated in healthy participants, and in this study, we showed that it also maps the LMN in the left TLE. Compared to healthy controls, left TLE showed widespread inter- and intra-hemispheric reorganization of the LMN through reduced activity of regions engaged in the integration and the coordination of this meta-network. We also illustrated how this protocol could be implemented in clinical practice individually by presenting two case studies of LTLE patients who underwent efficient surgery and became seizure-free but showed different cognitive outcomes. This protocol can be advantageous for clinical practice because it is short and easy to perform; allows brain mapping of essential cognitive functions, even at an individual level; engages language-and-memory interaction allowing to evaluate the integrative processes within the LMN; provides a more comprehensive assessment by including both verbal and visual modalities, as well as various language and memory processes. Based on the available postsurgical data, we presented preliminary results obtained with this protocol in LTLE patients that could potentially inform the clinical practice. This implies the necessity to further validate the potential of GE2REC for neurosurgical planning, along with two directions, guiding resection and describing LMN neuroplasticity at an individual level. (shrink)

Subjects estimated the time of intentions to perform an action, of the action itself, or of an auditory effect of the action. A perceptual attraction or binding effect occurred between actions and the effects that followed them. Judgements of intentions did not show this binding, suggesting they are represented independently of actions and their effects. In additional unpredictable judgement conditions, subjects were instructed only after each trial which of these events to judge, thus discouraging focussed attention to a specific event. (...) Stronger binding effects were found, with intention, action and effect fusing to a single central point in time. In a control task, subjects reported the time of the first or second tone in sequence. Tone sequences showed no binding at all when subjects knew in advance which tone to judge, but showed the same fusion as actions when the event to be judged was not predictable. Binding of actions and effects, but not of tone sequences, occurs pre-attentively, and automatically. The data are consistent with a reconstructive process, implemented after actions, which generates a coherent sense of agency. However, this process should only be triggered only when our actions make it appropriate. We suggest that this mechanism is triggered in advance by efferent processing. This conclusion was supported by a further study in deafferented subject IW. This subject showed the normal binding of a tone towards an action, although his experience of the action was of pre-motor, rather than peripheral origin. The experience of intentional action involves an interplay between pre-motor and reconstructive processes. (shrink)

Introduction -- Conceptual analysis of resolution -- Ontology development method -- Resolution of single observations -- Resolution of observation collections -- Ontology design patterns for resolution -- Ontology of resolution -- implementation stage -- Conclusion.

How do human infants learn the causal dependencies between events? Evidence suggests that this remarkable feat can be achieved by observation of only a handful of examples. Many computational models have been produced to explain how infants perform causal inference without explicit teaching about statistics or the scientific method. Here, we propose a spiking neuronal network implementation that can be entrained to form a dynamical model of the temporal and causal relationships between events that it observes. The network uses (...) spike-time dependent plasticity, long-term depression, and heterosynaptic competition rules to implement Rescorla–Wagner-like learning. Transmission delays between neurons allow the network to learn a forward model of the temporal relationships between events. Within this framework, biologically realistic synaptic plasticity rules account for well-known behavioral data regarding cognitive causal assumptions such as backwards blocking and screening-off. These models can then be run as emulators for state inference. Furthermore, this mechanism is capable of copying synaptic connectivity patterns between neuronal networks by observing the spontaneous spike activity from the neuronal circuit that is to be copied, and it thereby provides a powerful method for transmission of circuit functionality between brain regions. (shrink)

Stakeholder engagement and dialogue have a central role in defining the relations between organisations and their internal and external interlocutors. Drawing upon the analysis of dialogic motifs, power–conflict dynamics and sociopolitical perspectives, and based on a set of interviews with the stakeholders of a consumer-owned cooperative, the research explores the dialogic potential of stakeholder engagement. The analysis revealed a fragmented picture where the co-design and co-implementation aspects were mainly related to the non-business areas of cooperative life, while business logic dominated (...) the most central aspects. Stakeholder engagement was mainly related to consensus building, while dialogic engagement based on a pluralistic understanding was only partially considered and then neglected. The social capital in the local area, the growing size of the organisation and the related power structure embrace stakeholder engagement, influencing the orientation of the dialogic dynamic. The analysis indicates that a dialogic exchange is a relative concept which depends on the interests involved and the topics discussed. It also reveals that the key factors in the democratisation of stakeholder engagement are a mutual understanding and long-term opportunities. Common sociopolitical aspects are also important, but they do not necessarily guarantee the creation of dialogism paths. The research contributes to the critical dialogic literature in revealing whether and how stakeholder engagement has been implemented in a specific setting. It also shows the limitations of voluntarist stakeholder engagement initiatives. (shrink)

Previous studies on crisis know­ledge organization mostly focused on the categorization of crisis know­ledge without regarding its dynamic trend and temporal-spatial features. In order to emphasize the dynamic factors of crisis collaboration, a fine-grained crisis know­ledge model is proposed by integrating temporal-spatial analysis based on ontology, which is one of the commonly used methods for know­ledge organization. The reconstruction of ontology-based crisis know­ledge will be implemented through three steps: analyzing temporal-spatial features of crisis know­ledge, reconstructing crisis know­ledge (...) ontology, and verifying the temporal-spatial ontology. In the process of ontology reconstruction, the main classes and properties of the domain will be identified by investigating the crisis information resources. Meanwhile the fine-grained crisis ontology will be achieved at the level of characteristic representation of crisis know­ledge including temporal relationship, spatial relationship, and semantic relationship. Finally, we conducted case addition and system implementation to verify our crisis know­ledge model. This ontology-based know­ledge organization method theoretically optimizes the static organizational structure of crisis know­ledge, improving the flexibility of know­ledge organization and efficiency of emergency response. In practice, the proposed fine-grained ontology is supposed to be more in line with the real situation of emergency collaboration and management. Moreover, it will also provide the know­ledge base for decision-making during rescue process. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

Case-based reasoning has played an important role in legal reasoning systems. As one criteria for similarity of cases, temporal relationsamong affairs in legal cases should be compared. Thus far in many legalreasoning systems, cases have been described as sequences of pointwiseevents, or at best, simple time intervals, and they have been related bypredicates such as before, after, while,and so on. However, such relations may depend on each implementer'spersonal view, and also require much labor to write down by hand. In (...) this paper, we first propose a classification of affair types by their temporal features, and according to those types, we propose several assumption rules that prescribe the temporal relations between affair types. The temporal relations are automatically generated by these rules. Thereafter, we discuss how thesetemporal relations work in the comparison of similarity of cases. Inthe process of comparison, inadequate temporal relations need to beamended. For this purpose, we introduce revision rules, that refute theresults of assumption rules. (shrink)

ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; (...) changes can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed. (shrink)

This paper proposes that a core semantic property of temporal locating adverbs is the ability to introduce a new time discourse referent. The core data comes from that same day in narrative discourse. I argue that unlike other previously studied temporal locating adverbs—which introduce a new time discourse referent and relate it to the speech time or a salient time introduced into the discourse context—that same day is ‘twice anaphoric’, i.e. it retrieves two salient times from the input (...) context without introducing one of its own. Moreover, I argue that the adverb currently is like that same day in not introducing a new time discourse referent. Unlike that same day, however, currently has both a deictic and an anaphoric usage analogous to on Sunday. The analysis that I propose is implemented within Compositional Discourse Representation Theory. It illustrates how adverbial meaning can be integrated within a more general theory of temporal interpretation. (shrink)

RESUMEN Intentaremos continuar en este trabajo la propuesta de una solución a la paradoja de McTaggart a partir de la retoma de una línea de análisis que se remonta a Dummett, y su complementación con ciertas tesis de la fenomenología merleaupontyana. Para ello tendremos que profundizar las posiciones del autor de Truth and other enigmas en el sentido de la objeción contra una «descripción completa» de la realidad y que favorecen, por el contrario, de una pluralidad de «descripciones máximas». Nuestro (...) intento no debe, sin embargo, adoptar un «pluralismo» que se exponga a las objeciones de Nicholas Smith, a quien replicaremos a su vez apelando a la noción fenomenológica de «síntesis de transición». Concluiremos que el «pluralismo» de descripciones temporales que nos permite escapar a la paradoja de McTaggart no resulta incompatible con el requisito de «componibilidad» planteado por Smith.PALABRAS CLAVE TIME, MERLEAU-PONTY, MCTAGGART, DUMMETT, SMITHABSTRACTIn this paper we attempt to continue the proposal of a solution to McTaggart’s paradox on the basis of a return to a line of analysis traceable back to Dummett, and its implementation with certain tenets of Merleau-Pontyan phenomenology. With this aim, we have to deepen the positions of the author of Truth and other enigmas which point towards an objection against one “complete description” of reality and favour, on the contrary, a plurality of “maximal descriptions”. Our attempt must not, however, adopt a “pluralism” which can be targeted by Nicholas Smith’s objections, to whom, in turn, we reply by turning to the phenomenological notion of “synthesis of transition”. We conclude that the “pluralism” of temporal descriptions that allows us to escape from McTaggart’s paradox is not incompatible with the requisite of “compossibility” laid out by Smith.KEYWORDS TIME, MERLEAU-PONTY, MCTAGGART, DUMMETT, SMITH. (shrink)

As a sub-realm of Language Teacher Psychology, teachers’ professional agency has gained significant attention from educational practitioners and teachers. The aim is to better discern teachers’ professional development and teaching effectiveness with a view to ensuring the quality of language teaching. International literature concerning teachers’ professional agency has noted a shift from knowledge training to vocational development in relation to teachers’ experience in decision making. Yet, little research so far has scrutinized this specific issue in Chinese university settings, and the (...) real picture of teacher agency needs further exploration. Besides, the multidimensional and complex nature of agency identifies the overwhelming research work in understanding its contents in detail based on the previous perspectives from individuals, society, and time. To this end, the ecological understanding of professional agency reframed the theoretical basis of this study, prone to explore how teachers’ experience could be examined in relation to individual capacity, resources, and structural and contextual variables. The study was conducted in Chinese university settings in response to the research gap related to understanding professional agency. Quantitative and qualitative data from questionnaires, interviews, and classroom observations with 116 university teachers in China demonstrated that the enactment of professional agency rested on the interplay between temporal contexts, teacher capacity, and beliefs, especially in the instructional community. The findings revealed that university teachers at different stages of career development manifested variability in exercising their professional agency in relation to adapting or adopting existing teaching concepts, methods, or approaches. Mounting evidence revealed some enablers and constraints in relation to formative assessment, time impact, classroom interaction, and school culture. Emphasizing the interaction between individuals’ ability and their engagement with the professional environment, the findings provide insights into theoretical implications associated with ecological theory and enhance the practical discussion about promoting professional development for novice, mid-career, and veteran English teachers at the university level. (shrink)

The ability to process events in their temporal and sequential context is a fundamental skill made mandatory by constant interaction with a dynamic environment. Sequence learning studies have demonstrated that subjects exhibit detailed — and often implicit — sensitivity to the sequential structure of streams of stimuli. Current connectionist models of performance in the so-called Serial Reaction Time Task (SRT), however, fail to capture the fact that sequence learning can be based not only on sensitivity to the sequential associations (...) between successive stimuli, but also on sensitivity to the associations between successive responses, and on the predictive relationships that exist between these sequences of responses and their effects in the environment. In this paper, we offer an initial exploration of an alternative architecture for sequence learning, based on the principles of Forward Models. (shrink)

For achieving the sustainable development goals, green development has been raised to a high position for cities in China. The economic development in Northwest China is slow, the ecological environment is fragile, and the mineral resources are rich. Only through green development can we realize the comprehensive income of regional production development, rich life, and good ecology. This paper measures the green development efficiency of 30 prefecture-level cities in Northwest China by using DEA-SBM model of unexpected output, explores the differences (...) and causes of green development efficiency from the perspective of time and space through convergence coefficient, coordination matrix, GIS, and other methods, and empirically tests the impact of industrial structure, technological progress, and other driving factors on green development efficiency by using panel Tobit model. The results show that, on the whole, the efficiency of green development in Northwest China is low, path dependence is serious and unbalanced, the coordinated development effect of different regions is weak, and the spillover effect of core urban agglomerations has not been effectively exerted; from the perspective of driving factors, economic development, population density, traffic situation, and education investment can significantly improve the efficiency of urban green development, and the second is that the proportion of industries significantly hinders the improvement of green development efficiency, while the impact of scientific and technological innovation is not significant. Based on the empirical results, this paper believes that the harmonious development of natural environment and economic society can be realized only by improving the coordinated development effect among cities, implementing the optimization and upgrading of industrial structure, introducing excellent talents, and promoting the technological upgrading. (shrink)

Epistemology is about how we can know the various things we claim to know. Epistemology is driven by attempts to answer the question, “How do you know?” This gives rise to investigations on several different levels. At the lowest level, philosophers investigate particular kinds of knowledge claims. Thus we find theories of perceptual knowledge (“How do you know the things you claim to know directly on the basis of perception?”), theories of induction and abduction (“How do you know the general (...) truths you infer from observation of particular cases?”), theories of our knowledge of other minds, theories of mathematical knowledge, and so forth. At an intermediate level, topics are investigated that pertain to all or most of the specific kinds of knowledge discussed at the lowest level. Theories of reasoning, both deductive and defeasible, occur at this level. At the highest level we find general epistemological theories that attempt to explain how knowledge in general is possible. At this level we encounter versions of foundationalism, coherentism, probabilism, reliabilism, and direct realism. One can be doing epistemology by working at any of these levels. The levels cannot be isolated from each other, however. Work at any level tends to presuppose something about the other levels. For example, work on inductive reasoning at least presupposes that reasoning plays a role in the acquisition or justification of beliefs and normally presupposes something about the structure of defeasible reasoning. (shrink)

Linear temporal logic with Since and Until modalities is expressively equivalent, over the class of complete linear orders, to a fragment of first-order logic known as FOMLO. It turns out that LTL, under some basic assumptions, is expressively complete if and only if it has the property, called separation, that every formula is equivalent to a Boolean combination of formulas that each refer only to the past, present or future. Herein we present simple algorithms and their implementations to perform (...) separation of the LTL with Since and Until, over discrete and complete linear orders, and translation from FOMLO formulas into equivalent temporal logic formulas. We additionally show that the separation of a certain fragment of LTL results in at most a double exponential size growth. (shrink)

Concepts of space and time are widely developed in physics. However, there is a considerable lack of biologically plausible theoretical frameworks that can demonstrate how space and time dimensions are implemented in the activity of the most complex life-system – the brain with a mind. Brain activity is organized both temporally and spatially, thus representing space-time in the brain. Critical analysis of recent research on the space-time organization of the brain’s activity pointed to the existence of so-called operational space-time in (...) the brain. This space-time is limited to the execution of brain operations of differing complexity. During each such brain operation a particular short-term spatio-temporal pattern of integrated activity of different brain areas emerges within related operational space-time. At the same time, to have a fully functional human brain one needs to have a subjective mental experience. Current research on the subjective mental experience offers detailed analysis of space-time organization of the mind. According to this research, subjective mental experience (subjective virtual world) has definitive spatial and temporal properties similar to many physical phenomena. Based on systematic review of the propositions and tenets of brain and mind space-time descriptions, our aim in this review essay is to explore the relations between the two. To be precise, we would like to discuss the hypothesis that via the brain operational space-time the mind subjective space-time is connected to otherwise distant physical space-time reality. (shrink)

Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? (...) These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics. (shrink)

Unemployment is not just an economic category but is constituted by governmentality, most evidently by the increase of interventions into the lives of the unemployed through Active Labour Market Policies. Furthermore, the International Labour Organization definition of unemployment as being without work, available for work and seeking work is a shifting classification which categorises unemployment on multiple temporal horizons, with the passive element of being without work increasingly superseded by the emphasis on seeking work. Through biographical interviews with unemployed (...) in Ireland, spanning from 2012-2018, we trace this transformation of temporality empirically and conclude that governmentality constitutes multiple, contradictory, indefinite forms of time. Particularly, we offer an imaginative reading of two overlapping temporalities: Kairos, waiting, enduring, suffering nothingness in anticipation of transformation by getting a job, and Cronos, not cyclical time, but the devouring of time, where the days and leisure of the unemployed people are deliberately consumed by job-seeking. Ironically, states implement ALMPs in the kairotic hope of transforming their economy, yet these policies do little but make the experience of unemployment even harder to endure. (shrink)

Why does time seem to fly by when we are absorbed? The case of listening to music is of particular interest, given that listening to music itself requires experiencing time. In this paper, I argue that neither the prevailing psychological model nor some initially appealing alternative explanations can account for the experience of time flying by in cases where, like listening to music, the activity we are absorbed in itself requires experiencing time. I then put forward a novel view on (...) which the fragmentation of felt time is what best explains these cases. More specifically, I develop a view on which attentive engagement fragments felt time such that we experience the activity we are engaged in as if it is located in a temporally isolated branch or fragment of the main timeline. Time then seems to pass only in this branch, creating the sensation — upon integration — that less time has passed in the main timeline. In support of this proposal, I draw upon ideas in the empirical literature, and I suggest some underlying neuropsychological mechanisms that might serve to implement the model. I then extend the fragmentation model to cases where thinking about time makes it feel as though more of it passes. I end the paper by examining the possibility that an analogous model holds for the case of space. (shrink)

Inferences about spatial, temporal, and other relations are ubiquitous. This article presents a novel model-based theory of such reasoning. The theory depends on 5 principles. The structure of mental models is iconic as far as possible. The logical consequences of relations emerge from models constructed from the meanings of the relations and from knowledge. Individuals tend to construct only a single, typical model. They spontaneously develop their own strategies for relational reasoning. Regardless of strategy, the difficulty of an inference (...) depends on the process of integration of the information from separate premises, the number of entities that have to be integrated to form a model, and the depth of the relation. The article describes computer implementations of the theory and presents experimental results corroborating its main principle. (shrink)

In my dissertation I critically survey existing theories of time consciousness, and draw on recent work in neuroscience and philosophy to develop an original theory. My view depends on a novel account of temporal perception based on the notion of temporal qualities, which are mental properties that are instantiated whenever we detect change in the environment. When we become aware of these temporal qualities in an appropriate way, our conscious experience will feature the distinct temporal phenomenology (...) that is associated with the passing of time. The temporal qualities model of perception makes two predictions about the mechanisms of time perception; one that time perception is modality specific and the other that it can occur without awareness. My argument for this view partially depends on a number of psychophysical experiments that I designed and implemented myself and which investigate subjective time distortions caused by looming visual stimuli. These results show that the mechanisms of conscious experience of time are distinct from the mechanisms of time perception, as my theory of temporal qualities predicts. (shrink)

We describe a novel computational theory of how individuals segment perceptual information into representations of events. The theory is inspired by recent findings in the cognitive science and cognitive neuroscience of event segmentation. In line with recent theories, it holds that online event segmentation is automatic, and that event segmentation yields mental simulations of events. But it posits two novel principles as well: first, discrete episodic markers track perceptual and conceptual changes, and can be retrieved to construct event models. Second, (...) the process of retrieving and reconstructing those episodic markers is constrained and prioritized. We describe a computational implementation of the theory, as well as a robotic extension of the theory that demonstrates the processes of online event segmentation and event model construction. The theory is the first unified computational account of event segmentation and temporal inference. We conclude by demonstrating now neuroimaging data can constrain and inspire the construction of process-level theories of human reasoning. (shrink)

Recent theoretical and empirical work in cognitive science and neuroscience is brought into contact with the concept of the flow experience. After a brief exposition of brain function, the explicit–implicit distinction is applied to the effortless information processing that is so characteristic of the flow state. The explicit system is associated with the higher cognitive functions of the frontal lobe and medial temporal lobe structures and has evolved to increase cognitive flexibility. In contrast, the implicit system is associated with (...) the skill-based knowledge supported primarily by the basal ganglia and has the advantage of being more efficient. From the analysis of this flexibility/efficiency trade-off emerges a thesis that identifies the flow state as a period during which a highly practiced skill that is represented in the implicit system’s knowledge base is implemented without interference from the explicit system. It is proposed that a necessary prerequisite to the experience of flow is a state of transient hypofrontality that enables the temporary suppression of the analytical and meta-conscious capacities of the explicit system. Examining sensory-motor integration skills that seem to typify flow such as athletic performance, writing, and free-jazz improvisation, the new framework clarifies how this concept relates to creativity and opens new avenues of research. (shrink)

A growing body of evidence shows that brain oscillations track speech. This mechanism is thought to maximise processing efficiency by allocating resources to important speech information, effectively parsing speech into units of appropriate granularity for further decoding. However, some aspects of this mechanism remain unclear. First, while periodicity is an intrinsic property of this physiological mechanism, speech is only quasi-periodic, so it is not clear whether periodicity would present an advantage in processing. Second, it is still a matter of debate (...) which aspect of speech triggers or maintains cortical entrainment, from bottom-up cues such as fluctuations of the amplitude envelope of speech to higher level linguistic cues such as syntactic structure. We present data from a behavioural experiment assessing the effect of isochronous retiming of speech on speech perception in noise. Two types of anchor points were defined for retiming speech, namely syllable onsets and amplitude envelope peaks. For each anchor point type, retiming was implemented at two hierarchical levels, a slow time scale around 2.5 Hz and a fast time scale around 4 Hz. Results show that while any temporal distortion resulted in reduced speech intelligibility, isochronous speech anchored to P-centers (approximated by stressed syllable vowel onsets) was significantly more intelligible than a matched anisochronous retiming, suggesting a facilitative role of periodicity defined on linguistically motivated units in processing speech in noise. (shrink)

Research based on construal level theory (CLT) suggests that thinking about the distant future can prime people to solve problems by insight (i.e., an “aha” moment) while thinking about the near future can prime them to solve problems analytically. In this study, we used a novel method to elucidate the time-course of temporal priming effects on creative problem solving. Specifically, we used growth-curve analysis (GCA) to examine the time-course of priming while participants solved a series of brief verbal problems. (...) Participants were tested in two counterbalanced sessions in a within-subject experimental design; one session featured near-future priming and the other featured far-future priming. Our results suggest high-level construal may temporarily enhance analytical thinking; far-future priming caused transient facilitation of analytical solving while near-future priming induced weaker, transient facilitation of insightful solving. However, this effect is short-lived; priming produced no significant differences in the total number of insights and analytical solutions. Given the fleeting nature of these effects, future studies should consider implementing methodology that allows for aspects of the time-course of priming effects to be examined. A method such as GCA may reveal mild effects that would be otherwise missed using other types of analyses. (shrink)

The analysis of the temporal structure of canonical general relativity and the connected interpretational questions with regard to the role of time within the theory both rest upon the need to respect the fundamentally dual role of the Hamiltonian constraints found within the formalism. Any consistent philosophical approach towards the theory must pay dues to the role of these constraints in both generating dynamics, in the context of phase space, and generating unphysical symmetry transformations, in the context of a (...) hypersurface embedded within a solution. A first denial of time in the terms of a position of reductive temporal relationalism can be shown to be troubled by failure on the first count, and a second denial in the terms of Machian temporal relationalism can be found to be hampered by failure on the second. A third denial of time, consistent with both of the Hamiltonian constraints roles, is constituted by the implementation of a scheme for constructing observables in terms of correlations and leads to a radical Parmenidean timelessness. The motivation for and implications of each of these three denials are investigated. (shrink)

The medium‐independence of computational descriptions has shaped common conceptions of computational explanation. So long as our goal is to explain how a system successfully carries out its computations, then we only need to describe the abstract series of operations that achieve the desired input–output mapping, however they may be implemented. It is argued that this abstract conception of computational explanation cannot be applied to so‐called real‐time computing systems, in which meeting temporal deadlines imposed by the systems with which a (...) device interfaces are constitutive of the computing tasks that a device performs. Instead, real‐time computing reveals the need for alternative conceptions of computational explanation, as well as computational implementation, that eschew medium‐independence. (shrink)

The first debate in this article has to do with the very possibility of intergenerational justice beyond our obligations towards members of other generations while they coexist with us. Here, we ask ourselves whether we owe anything to people who either have died already, or are not yet born. Differences in temporal location mean that people may not exist at the same time — be it only during part of their life — which raises special ethical challenges. It is (...) one thing to decide whether we owe anything to the next generation(s). It is another to define what we owe them. Most standard theories of justice have tried to answer this difficult question. This article focuses on a comparison between a reciprocity-based and an egalitarian account of justice between generations. It then turns, on the one hand, to a brief discussion of alternative theories and, on the other hand, to implementation issues. (shrink)

The outbreak of SARS-CoV-2 has threatened ethnographic inquiry, undermining its quintessential characteristic. Participant observation, then, has been thoroughly dismembered by the radical measures implemented to prevent the spread of the virus. This phenomenon, in short, has dragged anthropologists to a liminal state within which ethnography is paradoxically caught in an onto-epistemological unstable vortex. The question of being here and not there, during the pandemic, is epitomised in the instability of different spatio-temporal contexts that overlap through technological mediations. Reflecting on (...) previous fieldwork experiences and current virtual inquiries with the Shuar of the Ecuadorian Amazon unfolds how COVID-19 has thoroughly reshaped how the author approaches subjects' socio-ecological settings. Against this background, the article argues that corporeal immersion remains a necessary condition for the anthropological scrutiny of multispecies relationalities amidst the challenging times of the Anthropocene. The article nevertheless demonstrates that the intellectual efforts to grasp the different material temporalities of virtual spaces embrace the ethical principles concerning the renunciation of fieldwork with vulnerable communities. Furthermore, a reflective and speculative stance is proposed to actualise the snapshots of faraway physicalities linking them to past embodied and multi-sensory experiences. It is ultimately theorised how these mnemonic devices operate as creative forms of inquiry that overcome the pandemic consequences, extra-stimulating our cognitive capabilities to reflect on prior and possible socio-material interactions. (shrink)