A completely Lorentz-invariant Bohmian model has been proposed recently for the case of a system of non-interacting spinless particles, obeying Klein-Gordon equations. It is based on a multi-temporal formalism and on the idea of treating the squared norm of the wave function as a space-time probability density. The particle’s configurations evolve in space-time in terms of a parameter σ with dimensions of time. In this work this model is further analyzed and extended to the case of an (...) interaction with an external electromagnetic field. The physical meaning of σ is explored. Two special situations are studied in depth: (1) the classical limit, where the Einsteinian Mechanics of Special Relativity is recovered and the parameter σ is shown to tend to the particle’s proper time; and (2) the non-relativistic limit, where it is obtained a model very similar to the usual non-relativistic Bohmian Mechanics but with the time of the frame of reference replaced by σ as the dynamical temporal parameter. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC (...) frames. (shrink)

Social interaction, especially for older people living alone is a challenge currently facing human-robot interaction (HRI). There has been little research on user preference towards HRI interfaces. In this paper, we took both objective observations and participants’ opinions into account in studying older users with a robot partner. The developed dual-modal robot interface offered older users options of speech or touch screen to perform tasks. Fifteen people aged from 70 to 89 years old, participated. We analyzed the spontaneous actions of (...) the participants, including their attentional activities and conversational activities, the temporal characteristics of these social behaviours, as well as questionnaires. It has been revealed that social engagement with the robot demonstrated by older people was no different from what might be expected towards a human partner. This study is an early attempt to reveal the social connections between human beings and a personal robot in real life. (shrink)

Face recognition is impaired in patients with prosopagnosia, which may occur as a side effect of neurosurgical procedures. Face selective regions on the ventral temporal cortex have been localized with electrical cortical stimulation, electrocorticography, and functional magnetic resonance imagining. This is the first group study using within-patient comparisons to validate face selective regions mapping, utilizing the aforementioned modalities. Five patients underwent surgical treatment of intractable epilepsy and joined the study. Subdural grid electrodes were implanted on their ventral temporal (...) cortices to localize seizure foci and face selective regions as part of the functional mapping protocol. Face selective regions were identified in all patients with fMRI, four patients with ECoG, and two patients with ECS. From 177 tested electrode locations in the region of interest, which is defined by the fusiform gyrus and the inferior temporal gyrus, 54 face locations were identified by at least one modality in all patients. fMRI mapping showed the highest detection rate, revealing 70.4% for face selective locations, whereas ECoG and ECS identified 64.8 and 31.5%, respectively. Thus, 28 face locations were co-localized by at least two modalities, with detection rates of 89.3% for fMRI, 85.7% for ECoG and 53.6 % for ECS. All five patients had no face recognition deficits after surgery, even though five of the face selective locations, one obtained by ECoG and the other four by fMRI, were within 10 mm to the resected volumes. Moreover, fMRI included a quite large volume artifact on the ventral temporal cortex in the ROI from the anatomical structures of the temporal base. In conclusion, ECS was not sensitive in several patients, whereas ECoG and fMRI even showed activation within 10 mm to the resected volumes. Considering the potential signal drop-out in fMRI makes ECoG the most reliable tool to identify face selective locations in this study. A multimodal approach can improve the specificity of ECoG and fMRI, while simultaneously minimizing the number of required ECS sessions. Hence, all modalities should be considered in a clinical mapping protocol entailing combined results of co-localized face selective locations. (shrink)

Cardiovascular modelling has been a major research subject for the last decade. Different cardiac models have been developed at a cellular level as well as at the whole organ level. Most of these models are defined by a comprehensive cellular modelling using continuous formalisms or by a tissue-level modelling often based on discrete formalisms. Nevertheless, both views still suffer from difficulties that reduce their clinical applications: the first approach requires heavy computational resources while the second one is not able to (...) reproduce certain pathologies.This paper presents an original methodology trying to gather advantages from both approaches, by means of a hybrid model mixing discrete and continuous formalisms. This method has been applied to define a hybrid model of cardiac action potential propagation on a 2D grid of endocardial cells, combining cellular automata and a set of cells defined by the Beeler-Reuter model. For simulations under physiological and ischemic conditions, results show that the action potential propagation as well as electrogram reconstructions are consistent with clinical diagnosis. Finally, the advantage of the proposed approach is discussed within the frame of cardiac modelling and simulation. (shrink)

Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation (...) in a system, is explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence. (shrink)

ObjectiveThis study aimed to develop a diagnostic model of multi-kinematic parameters for patients with amnestic mild cognitive impairment (aMCI).MethodIn this cross-sectional study, 94 older adults were included (33 cognitively normal, CN; and 61 aMCI). We conducted neuropsychological battery tests, such as global cognition and cognitive domains, and collected gait parameters by an inertial-sensor gait analysis system. Multivariable regression models were used to identify the potential diagnostic variables for aMCI. Receiver operating characteristic (ROC) curves were applied to assess the diagnostic (...) accuracy of kinematic parameters in discriminating aMCI from healthy subjects.ResultsMultivariable regression showed that multi-kinematic parameters were the potential diagnostic variables for aMCI. The multi-kinematic parameter model, developed using Timed Up and Go (TUG) time, stride length, toe-off/heel stride angles, one-leg standing (OLS) time, and braking force, showed areas under ROC (AUC), 0.96 [95% confidence interval (CI), 0.905–0.857]; sensitivity, 0.90; and specificity, 0.91. In contrast, a single kinematic parameter’s sensitivity was 0.26–0.95 and specificity was 0.21–0.90. Notably, the separating capacity of multi-kinematic parameters was highly similar to Montreal Cognitive Assessment (MoCA; AUC: 0.96 vs. 0.95). Compared to cognitive domain tests, the separating ability was comparable to Auditory Verbal Learning Test (AVLT) and Boston Naming Test (BNT; AUC: 0.96 vs. 0.97; AUC: 0.96 vs. 0.94).ConclusionWe developed one diagnostic model of multi-kinematic parameters for patients with aMCI in Foshan. (shrink)

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

Mīmāṁsā, an Indian hermeneutics provides an exhaustive methodology to interpret Vedic statements. A formalism namely, Mīmāṁsā Inspired Representation of Actions has already been proposed in a preliminary manner. This paper expands the formalism logically and includes Syntax and Semantics covering Soundness and Completeness. Here, several interpretation techniques from Mīmāṁsā have been considered for formalising the statements. Based on these, instructions that denote actions are categorized into positive and prohibitive unconditional imperatives and conditional imperatives that enjoin reason, temporal (...) action and goal. These instructions are evaluated to three values S, V and N. If the instruction is executed with the intention of goal, then it acquires the value of S; if the intention of goal is present and the instruction is not executed, then it assumes the value of V; and if there is no intention of goal, then the instruction is evaluated to N. This formalism has also been applied in different computational settings such as AI planning, Robotics, task analysis and classification of natural language instructions. An outline of these applications and the comparison of this formalism with other relevant theories are also presented in this paper. (shrink)

Humans communicate with different modalities. We offer an account of multi-modal meaning coordination, taking speech-gesture meaning coordination as a prototypical case. We argue that temporal synchrony (plus prosody) does not determine how to coordinate speech meaning and gesture meaning. Challenging cases are asynchrony and broadcasting cases, which are illustrated with empirical data. We propose that a process algebra account satisfies the desiderata. It models gesture and speech as independent but concurrent processes that can communicate flexibly with each other (...) and exchange the same information more than once. The account utilizes the ψ-calculus, allowing for agents, input-output-channels, concurrent processes, and data transport of typed λ-terms. A multi-modal meaning is produced integrating speech meaning and gesture meaning into one semantic package. Two cases of meaning coordination are handled in some detail: the asynchrony between gesture and speech, and the broadcasting of gesture meaning across several dialogue contributions. This account can be generalized to other cases of multi-modal meaning. (shrink)

Temporal binding is the phenomenon in which events related as cause and effect are perceived by humans to be closer in time than they actually are). Despite the fact that temporal binding experiments with humans have relied on verbal instructions, we argue that they are adaptable to nonhuman animals, and that a finding of temporal binding from such experiments would provide evidence of causal reasoning that cannot be reduced to associative learning. Our argument depends on describing and (...) theoretically motivating an intermediate level of representations between the lower levels of associations of sensory features and higher symbolic representations. This intermediate level of representations makes it possible to challenge arguments given by some comparative psychologists that animals lack higher-level abstract and explicit forms of causal reasoning because their cognitive capacities are limited to learning and reasoning at the basic level of perceptual associations. Our multi-level account connects time perception with causal reasoning and provides a philosophically defensible framework for experimental investigations that have not yet been pursued. We describe the structure of some possible experiments and consider the implications that would follow from a positive finding of temporal binding in nonhuman animals. Such a finding would provide evidence of explicit awareness of causal relationships and would warrant attribution of intermediate representations that are more abstract and sophisticated than the associations allowed by the lower level of the two-level account. (shrink)

We review some of the main implications of the free-energy principle (FEP) for the study of the self-organization of living systems – and how the FEP can help us to understand (and model) biotic self-organization across the many temporal and spatial scales over which life exists. In order to maintain its integrity as a bounded system, any biological system - from single cells to complex organisms and societies - has to limit the disorder or dispersion (i.e., the long-run entropy) (...) of its constituent states. We review how this can be achieved by living systems that minimize their variational free energy. Variational free energy is an information theoretic construct, originally introduced into theoretical neuroscience and biology to explain perception, action, and learning. It has since been extended to explain the evolution, development, form, and function of entire organisms, providing a principled model of biotic self-organization and autopoiesis. It has provided insights into biological systems across spatiotemporal scales, ranging from microscales (e.g., sub- and multicellular dynamics), to intermediate scales (e.g., groups of interacting animals and culture), through to macroscale phenomena (the evolution of entire species). A crucial corollary of the FEP is that an organism just is (i.e., embodies or entails) an implicit model of its environment. As such, organisms come to embody causal relationships of their ecological niche, which, in turn, is influenced by their resulting behaviors. Crucially, free-energy minimization can be shown to be equivalent to the maximization of Bayesian model evidence. This allows us to cast natural selection in terms of Bayesian model selection, providing a robust theoretical account of how organisms come to match or accommodate the spatiotemporal complexity of their surrounding niche. In line with the theme of this volume; namely, biological complexity and self-organization, this chapter will examine a variational approach to self-organization across multiple dynamical scales. (shrink)

This piece reconstructs and reflects upon the terms of the theoretical projection underlying Max Tomba’s book,Marx’s Temporalities, with particular reference to his use of the concepts of multiple temporalities and temporal layers. Tomba’s use of these concepts, it is argued, productively relocates Marx’s writings within the framework of the twentieth-century philosophy of time. However, Tomba’s dependence upon received versions of these concepts, untransformed, reproduces theoretical problems implicit within them, which have been intensified by recent developments within global capital. The (...) application of these concepts to an understanding of the historical present, understood as a situation of globally disjunctive contemporaneity, is seen to be, in part, vitiated by their embeddedness within an increasingly exhausted past. (shrink)

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal (...) frames, while preserving validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

Extreme formalism is a radical and important position in the aesthetics of inorganic nature. Zangwill offers a new formulation of what formal aesthetic properties are, according to which a formal aesthetic property of a thing is an aesthetic property that is determined merely by its appearance properties. An appearance property of a thing is the way it seems if perceived under certain conditions. With the notion of formal aesthetic properties formulated as such, extreme formalism, the claim that all (...) aesthetic properties of inorganic things are formal, says that all aesthetic properties of inorganic things are determined merely by their appearance properties. Recently, Zangwill defends extreme formalism by deflecting the famous counter-example of the cumulonimbus cloud given by Budd, and argues for extreme formalism by arguing against the idea of the existence of non-formal beauty in inorganic nature. In this paper, we argue that both his defense and positive arguments are not successful. If our arguments are right, the burden of proof is still on Zangwill’s side. (shrink)

The present paper describes a joint action paradigm in which individuals or pairs utilized two computer keys to keep a dot stimulus moving inside a larger rectangle. Members of a pair could neither see nor hear each other. This paradigm allowed us to combine the discrete-trial type dependent variables commonly utilized by representational theorists, with the continuous, temporal dependence variables utilized by dynamical theorists. Analysis revealed that individuals kept the dot in the rectangle longer than dyads and did so (...) by moving it back and forth within the rectangle. Dyads, however, pressed their individual buttons as quickly as possible in order to keep the dot near the middle of the rectangle. These findings indicate that joint action constitutes a multi-scale phenomena that is best investigated via multiple, complementary methodologies versus single-measure, competing theories. (shrink)

Cocreating meaning in collaboration is challenging. Success is often determined by people's abilities to coordinate their language to converge upon shared mental representations. Here we explore one set of low‐level linguistic behaviors, linguistic alignment, that both emerges from, and facilitates, outcomes of high‐level convergence. Linguistic alignment captures the ways people reuse, that is, “align to,” the lexical, syntactic, and semantic forms of others' utterances. Our focus is on the temporal change of multi‐level linguistic alignment, as well as how (...) alignment is related to communicative outcomes within a unique collaborative problem‐solving paradigm. The primary task, situated within a virtual educational video game, requires creative thinking between three people where the paths for possible solutions are highly variable. We find that over time interactions are marked by decreasing lexical and syntactic alignment, with a trade‐off of increasing semantic alignment. However, greater semantic alignment does not translate into better team performance. Overall, these findings provide greater clarity on the role of linguistic coordination within complex and dynamic collaborative problem‐solving tasks. (shrink)

The gap between the decision to engage in physical activity and subsequent behavioral enactment is considerable for many. Action control theories focus on this discordance in an attempt to improve the translation of intention into behavior. The purpose of this mini-review was to overview one of these approaches, the multi-process action control framework, which has evolved from a collection of previous works. The main concepts and operational structure of M-PAC was overviewed followed by applications of the framework in physical (...) activity, and concluded with unanswered questions, limitations, and possibilities for future research. In M-PAC, it is suggested that three layered processes build upon each other from the formation of an intention to a sustained profile of physical activity action control. Intention-behavior discordance is because of strategic challenges in goal pursuit and automatic tendencies. Regulatory processes are employed to hold the relationship between reflective processes and behavior concordant by countering these strategic challenges and automatic tendencies until the development of reflexive processes begin to co-determine action control. Results from 29 observational and preliminary experimental studies generally support the proposed M-PAC framework. Future research is needed to explore the temporal dynamic between reflexive and regulatory constructs, and implement M-PAC interventions in different forms, and at different levels of scale. (shrink)

The heart of my dissertation project is the proposal of a new updating rule for responding to learning experiences consisting of continuous streams of evidence. I suggest characterizing this kind of learning experience as a continuous stream of stipulated credal derivatives, and show that Continuous Probability Kinematics is the uniquely coherent response to such a stream which satisfies a continuous analogue of Rigidity – the core property of both Bayesian and Jeffrey conditionalization. In the first chapter, I define neighborhood norms (...) of rationality with reference to Kenny Easwaran’s definition of neighborhood properties. I summarize and comment on some of the key arguments in the dispute between time-slice epistemologists, who argue that there are no fundamentally diachronic norms of rationality, and the proponents of diachronic norms. I am sympathetic to two of the key motivations often given in support of the synchronist position: mentalist internalism and the idea that metaphysical disputes about the identity of persons in bizarre puzzle cases should not play a central role in epistemologists’ assessments of the rationality of agents. However, I argue that time-slice epistemology cannot adequately address the rationality of temporally-extended processes like reasoning and learning. Neighborhood norms present a viable third way between these two positions, capturing much of the spirit of the previously-discussed synchronist motivations while still providing just enough temporal structure to meaningfully guide and evaluate temporally-extended rational processes. Continuous Probability Kinematics is an example of one such neighborhood norm. In the second chapter, I develop my updating rule CPK and establish many of its core properties. Of special note here are the deep connections to Jeffrey’s Probability Kinematics, as well as some key differences. The net result of any CPK updating process will always be representable as a Jeffrey shift on the refined partition generated by the propositions that the agent is receiving direct evidence concerning. However, one crucial difference is that CPK provides an intuitive account of how to combine the effects of learning experiences that are each about fundamentally different underlying partitions. In CPK’s formalism, an agent can receive simultaneous evidence streams about an arbitrary (finite) number of propositions, which can themselves be evidentially related in any way. At any given instant, the result of the combination is a simple sum of the effects that learning about the individual propositions would have separately. CPK is concerned with a novel kind of learning experience and involves a novel characterization of evidence. The third and final chapter of this dissertation is concerned with explaining what this characterization of evidence means and with arguing that it can be the basis for genuine learning. I begin by characterizing learning experiences in terms of the Value of Information, and prove a Value of Information theorem for CPK learning experiences under the assumption of a Martingale constraint on the agent’s prior distribution over the signals that they might receive. I examine Timothy Williamson’s arguments that evidence must be propositional and express my skepticism. I then explore two different routes to model agents who update by CPK as if they are learning some propositional content and updating the rest of their credences by Bayesian conditionalization on this content. The second of these two routes provides a very interesting lens to reexamine the evidential commitments that underwrite updating by CPK, which I analyze. (shrink)

In his PhD proposal, now published as Seeing Sociological, Garfinkel [2006] formulated action in terms of a mutually constitutive structure—the Noesis-Noema Structures. This structure can be traced to Aaron Gurwitsch’s gestalt psychology and Law of Good Gestalt which theorises how participants prioritise functional Gestalts over other possible meanings of what is perceivable in their surroundings. While Gurwitsch illustrated his theory using images, in this paper we revisit Gurwitsch’s theory in light of the advances in recording real-time interaction to consider Gestalt (...) in spatio-temporality of real-time interaction. We consider the Law of Good Gestalt in terms of the dimensions of time and space, and postulate two analytical principles—the Principle of Good Momentary Gestalt and the Principle of Good Temporal Gestalt—for analysing a multi-angle video segment of a monologue taken from a training event. The analysis examines how the monologue was embedded in a multi-layer projection structure, so that during the time of the monologue, the trainer and trainees can be seen as achieving a transition between one activity to another while sustaining the frame of the training event. Through this, the analysis highlights the multi-layered structure of participants’ field of perception that constitutes their experience of the social activity, and explores a “method” to reconstruct such a structured field of perception through re-coupling meanings to the assemblages of multimodal resources recoverable on video. (shrink)

Brain processes and social processes are not as separated as many of our Social Psychology and Neuroscience departments. This paper discusses the potential contribution of social neuroscience to the development of a multi-level, dynamic, and context-sensitive approach to prejudice. Specifically, the authors review research on event related potentials during social bias, stereotypes, and social attitudes measurements, showing that electrophysiological methods are powerful tools for analyzing the temporal fine-dynamics of psychological processes involved in implicit and explicit prejudice. Meta-theoretical implications (...) are drawn regarding the social psychological modeling of social attitudes, and for the integration of social neuroscience into a multi-level account of cultural behavior. (shrink)

In this introductory article to the special issue on Multi-level semiosis we attempt to stage the background for qualifying the notion of “multi-levelness” when considering communication processes and semiosis in all life forms, i.e. from the cellular to the organismic level. While structures are organized hierarchically, communication processes require a kind of processual organization that may be better described as being heterarchical. Theoretically, the challenge arises in the temporal domain, that is, in the developmental and evolutionary dimension (...) of dynamic semiotic processes. We discuss the importance of this fundamental difference in order to explain how levels, domains and orders of magnitude, on the one hand, and synchronic and diachronic processes, on the other, contribute to the overall organization of every living being. To account for such multi-level organization, semiotic freedom is assumed to be a scalar property that endows living systems at different levels and domains with the capacity to ponder selectively the overall structural coherence and functional compatibility of their heterarchical processing, which is increasingly less conditioned by the underlying molecular determinism. (shrink)

We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known “action models” from Dynamic Epistemic Logic. Our “temporal action models” may be used to define a number of informational actions that can modify the “objective” temporal structure of a model along with the agents’ basic and higher-order knowledge and beliefs about this structure, including their beliefs (...) about the time. In essence, this approach provides one way to extend the domain of action model-style operations from atemporal Kripke models to temporal Kripke models in a manner that allows actions to control the flow of time. We present a number of examples to illustrate the subtleties involved in interpreting the effects of our extended action models on temporal Kripke models. We also study preservation of important epistemic-temporal properties of temporal Kripke models under temporal action model-induced operations, provide complete axiomatizations for two theories of temporal action models, and connect our approach with previous work on time in DEL. (shrink)

In this article I investigate several possibilities to define the concept of “temporal non-locality” within the standard framework of quantum theory. In particular, I analyze the notions of “temporally non-local states”, “temporally non-local events” and “temporally non-local observables”. The idea of temporally non-local events is already inherent in the standard formalism of quantum mechanics, and Basil Hiley recently defined an operator in order to measure the degree of such a temporal non-locality. The concept of temporally non-local states (...) enters as soon as “clock-representing states” are introduced in the context of special and general relativity. It is discussed in which way temporally non-local measurements may find an interesting application for experiments which test temporal versions of Bell inequalities. (shrink)

We argue that the temporal asymmetry of influence is not merely the result of thermodynamics: it is a consequence of the fact that modal structure of the universe must admit only processes which cannot give rise to contradictions. We appeal to the process matrix formalism developed in the field of quantum foundations to characterise processes which are compatible with local free will whilst ruling out contradictions, and argue that this gives rise to ‘consistent chaining’ requirements that explain the (...) temporal asymmetry of influence. We compare this view to the perspectival account of causation advocated by Price and Ramsey. (shrink)

The scarcity of abnormal data leads to imbalanced data in the field of monitoring tool wear conditions. In this paper, a novel multi-index generative adversarial network is proposed to detect the tool wear conditions subject to imbalanced signal data. First, the generator in the MI-GAN is trained to produce fake normal signals, and the discriminator computes scores of testing signals and generated signals. Next, the generator detects abnormal signals based on the performance of imitating testing signals, and the discriminator (...) will compute the scores of testing signals and generated signals. Subsequently, two indexes, i.e., L 2 -norm and temporal correlation coefficient, are put forward to measure the similarity between generated signals and testing signals. Finally, our decision-making function further combines L 2 -norm and CORT with two discriminator scores to determine the tool conditions. Experimental results show that our method obtains 97% accuracy in tool wear detection based on imbalanced data without manual feature extraction, which outperforms traditional machine learning methods. (shrink)

In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh (...) auxiliary atoms, obtaining an equivalent formula, modulo the original alphabet. (shrink)

In this paper we consider a claim that in the natural world there is no fact of the matter about the spatio-temporal separation of events. In order to make sense of such a notion and construct useful models of the world, it is proposed to use elements of a non-classical logic. Specifically, we focus here on causality, as a concept tightly related with the assumption of there being distinct, separate events, proposing a model according to which it can be (...) considered to be spatio-temporally graded. It is outlined how this can be described using the formalism of fuzzy sets theory, with the degree of causality varying between 1, that is no separation between causes and effects, and 0, that is perfect separation between causes and their effects as in classical ’billiard balls’ models of physical systems, namely such based on the notion of ideal mathematical point. Our model posits that subjective moments of time are like fuzzy sets, with their extension determined by local degrees of causality, resulting from information integration processes extended gradually in space and time. This, we argue, is how a notion of causality could be, to a certain degree, spared and reconciled with a variant of Bergsonian duration theory as formulated in the theory of continuous change. Relation of the proposed viewpoint to other theories, as well as possible solutions it suggests to various problems, in particular the measurement problem, are also discussed. (shrink)

More and more research on left ventricle quantification skips segmentation due to its requirement of large amounts of pixel-by-pixel labels. In this study, a framework is developed to directly quantify left ventricle multiple indices without the process of segmentation. At first, DenseNet is utilized to extract spatial features for each cardiac frame. Then, in order to take advantage of the time sequence information, the temporal feature for consecutive frames is encoded using gated recurrent unit. After that, the attention mechanism (...) is integrated into the decoder to effectively establish the mappings between the input sequence and corresponding output sequence. Simultaneously, a regression layer with the same decoder output is used to predict multi-indices of the left ventricle. Different weights are set for different types of indices based on experience, and l2-norm is used to avoid model overfitting. Compared with the state-of-the-art, our method can not only produce more competitive results but also be more flexible. This is because the prediction results in our study can be obtained for each frame online while the SOTA only can output results after all frames are analyzed. (shrink)

In this paper, we continued the preparatory works of Jingde Cheng in conjunction with spatio-temporal relevant logics, and proposed several epistemic spatio-temporal relevant logics as basic logics for Mobile Multi-Agent Systems (MMAS). To establish an inference system, important elements are: semantics and syntax appropriate to it include a language, axioms and inference rules. By proving the meta-logical properties such as soundness and consistency, completeness and decidability and etc., we have a method to test the reliability of the (...) systems. Finally, we will have models and algorithms for the application of these logics in the MMAS. (shrink)

This article examines the fourteen conditions constituting Levinson and Alperson’s taxonomy of conditions for temporal arts. It claims that some of the conditions and several of the lists of arts exemplifying them need revision. It recommends adding a new condition concerned with the effects of the passage of time on gardens, environmental sculpture, and outdoor installations. The article concludes that gardens may be a model for understanding and appreciating other arts sharing the same bi-(multi-) modality.

Quality Space Theory is a holistic model of qualitative states. On this view, individual mental qualities are defined by their locations in a space of relations, which reflects a similar space of relations among perceptible properties. This paper offers an extension of Quality Space Theory to temporal perception. Unconscious segmentation of events, the involvement of early sensory areas, and asymmetries of dominance in multi-modal perception of time are presented as evidence for the view.

The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend |$\textbf {PTEL}$| to axiomatize the corresponding first-order logic.

What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages inside the formal model of an grammar of applicative, cognitive and enunciative operations , using the applicative formalism, functional types of categorial grammars and combinatory logic . In the enunciative theory and following , an utterance can be decomposed into two components: a modus and (...) a dictum . In GRACE, the modus is a complex operator applied to a proposition and is generated from more elementary operators of the categories of tense, aspect, and modality. The dictum is a proposition generated by a predicative relation. In this way, we can attribute a semantic meaning to different grammatical aspecto-temporal operators. The applicative expressions of CL can be easily translated into a functional programming language such as HASKELL or CAML. (shrink)

It is a common thought that our experience of self in time plays a crucial role in living a good human life. This idea is seen both in views that say we must think of our lives as temporally extended wholes to live well and those that say living well requires living in the moment. These opposing views share the assumption that a person’s interests must be identified with either a temporally extended or temporally local perspective. David Velleman has argued (...) that both perspectives are necessary parts of human experience, and each has its own independent interests. I agree with Velleman that our experience is inherently multi-perspectival but argue that there are more than two relevant perspectives and reject the claim that these perspectives have independent interests. Expanding his metaphor of narrative, I describe the way in which these perspectives continuously influence and affect one another, and suggest that living well can be understood in terms of skillful management of the perspectives that make up this complex form of temporal self-experience. (shrink)

Morphogenesis is a key process in developmental biology. An important issue is the understanding of the generation of shape and cellular organisation in tissues. Despite of their great diversity, morphogenetic processes share common features. This work is an attempt to describe this diversity using the same formalism based on a cellular description. Tissue is seen as a multi-cellular system whose behaviour is the result of all constitutive cells dynamics. Morphogenesis is then considered as a spatiotemporal organization of cells (...) activities. We show how this formalism relies on Reaction–Diffusion/Positional Information approach and how it permits to generalize its modelling possibilities. Three quite different applications for concrete morphogenetic processes are presented. The first one is a model for epithelial invagination, the second is a model of cellular differentiation by local cell–cell signalling. The last example is the secondary radial growth of conifer trees. From the mathematical point of view, different modelling tools are used according to the specificity of each process. (shrink)

This paper presents a framework for exploring the temporal and behavioral aspects of the responses of various involved parties that may lead to governmental intervention in situations involving exposure of the public to hazardous substances. The activities of key individuals are closely scrutinized. Relevance of the framework to agricultural and food concerns is also indicated. The exemplary case is the contamination of livestock in Michigan that began in 1973, but other cases are discussed that conform closely to the pattern (...) described by the framework. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 44.4 (2006) 599-622 MuseSearchJournalsThis JournalContents[Access article in PDF]The Purposiveness of Form: A Reading of Kant's Aesthetic FormalismRachel ZuckertIn the "critique of aesthetic judgment," Kant claims that when we find an object beautiful, we are appreciating its "purposive form." Many of Kant's readers have found this claim one of his least interesting and most easily criticized claims about aesthetic experience. Detractors hold up his (...) aesthetics as a paradigmatic case of narrow formalism; 1 and even many admirers of Kant's aesthetics take Kant's claims about form to be problematic, but argue that they are inessential to his aesthetics (which includes more interesting, defensible claims). 2 Though these critics come to differing evaluations of Kant's aesthetics as a whole, they agree on two points. First, interpretively: that when Kant claims that it is the "form" of an object we find beautiful, he means that in aesthetic appreciation, we find certain spatial and/or temporal properties (such as proportion, line, shape) aesthetically pleasing—and that such properties are exclusively responsible for an object's beauty. Second, evaluatively: that Kant is wrong, at least about this.In this paper, I shall propose that we need not endorse either claim. I shall argue that one may interpret Kant's formalism as a claim that in aesthetic experience 3 [End Page 599] we appreciate the object as an individual, as comprising all (or indeterminately many) of its sensible properties as inextricably interrelated or unified to make the object what it is; in other words, we appreciate what has been called an object's 'individual form.' This reading, I shall suggest, allows us not only to understand Kant's aesthetics as intimately connected to his project in the Critique of Judgment (hereafter, CJ) as a whole, but also to see Kant's aesthetics, in general, as providing a richer, more plausible description of our aesthetic engagement with an object, or as less narrowly subjectivist than is frequently believed.I shall proceed by presenting Kant's claims about form, and the standard criticisms thereof, and then turn to defend this alternative reading. Before I do so, however, I wish to make some preliminary remarks about aesthetic formalism in general. Contemporary discussion of formalism often takes aesthetic formalism to be instantiated by the views of the twentieth-century art critics, Clive Bell and Roger Fry, 4 and Kant's formalism is often implicitly equated with theirs (or the kind of position attributed to them). I wish to resist that equation in this essay; to that end, I start here by giving a wider sense of what formalism might be, drawing especially on historical positions that were available to Kant. 5Broadly speaking, "formalism" is the view that, in aesthetic appreciation of an object (usually a work of art), we do and ought to pay attention not to the object's representational content, emotional expressiveness, historical, institutional, or social context (whether conditions for the production of the object or its effects), but only to its form. Formalism is characterized in some sense, then, by what it excludes, viz. considerations taken to be external to the object. But it does specify positively (if vaguely) that the form of an object is what makes it beautiful. 6'Form,' however, can mean a number of different things, all of which (in some sense) are the design or arrangement of an object's parts, often of its sensible properties. I wish to draw attention to three somewhat distinct ways in which one may understand such form or arrangement of properties, which I shall call 'property-formalism,' 'kind-formalism,' and 'whole-formalism.' Property-formalism is the view that the form of an object can be described in terms of a set of specific spatial or temporal properties that characterize the relations that hold among different parts of the object, and that these properties are responsible for the beauty of the object. Hogarth's view that the serpentine line is the most beautiful line, responsible... (shrink)

The paper aims at providing the multi-modal propositional logic LTK with a sound and complete axiomatisation. This logic combines temporal and epistemic operators and focuses on m odeling the behaviour of a set of agents operating in a system on the background of a temporal framework. Time is represented as linear and discrete, whereas knowledge is modeled as an S5-like modality. A further modal operator intended to represent environment knowledge is added to the system in order to (...) achieve the expressive power sufficient to describe the piece of information available to the agents at each moment in the flow of time. (shrink)

In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In multi-agent (...) domains, an additional uncertainty arises from the fact that other agents can act in the world, causing changes that are not instigated by the agent itself. For an agent to successfully construct and execute plans in an uncertain environment, the most widely used formalism in the literature on automated planning is “belief states”: sets of different alternatives for the current state of the world. Epistemic logic is a significantly more expressive and theoretically better founded method for representing knowledge and ignorance about the world. Further, epistemic logic allows for planning according to the knowledge (and iterated knowledge) of other agents, allowing the specification of a more complex class of planning domains, than those simply concerned with simple facts about the world. We show how to model multi-agent planning problems using Kripke-models for representing world states, and event models for representing actions. Our mechanism makes use of slight modifications to these concepts, in order to model the internal view of agents, rather than that of an external observer. We define a type of planning domain called epistemic planning domains, a generalisation of classical planning domains, and show how epistemic planning can successfully deal with partial observability, nondeterminism, knowledge and multiple agents. Finally, we show epistemic planning to be decidable in the single-agent case, but only semi-decidable in the multi-agent case. (shrink)

Might time be multi‐dimensional? In exploring this question, this paper uses a thought‐experiment about dimensionality, H. G. Wells' ‘The Plattner Story’. Plattner has his left and right sides transposed after a trip through a fourth spatial dimension, a change with independent empirical consequences. This example is then generalised to reversals of the directions of time and entropy. Finally, this thought‐experiment is related to relativistic theories of time and the possibility of preserving causality in a temporally multi‐dimensional framework.