Visualizing a temporal consistency checker

The notion of time plays a vital and ubiquitous role of a common universal reference. In knowledge-based systems, temporal information is usually represented in terms of a collection of statements, together with the corresponding temporal reference. This paper introduces a visualized consistency checker for temporal reference. It allows expression of both absolute and relative temporal knowledge, and provides visual representation of temporal references in terms of directed and partially weighted graphs. Based on the temporal reference of a given scenario, the visualized checker can deliver a verdict to the user as to whether the scenario is temporally consistent or not, and provide the corresponding analysis / diagnosis.

Ontological considerations of time, meta-predicates and temporal propositions

A natural approach to representing and reasoning about temporal propositions (i.e., statements with time-dependent truth-values) is to associate them with time elements. In the literature, there are three choices regarding the primitive for the ontology of time: (1) instantaneous points, (2) durative intervals and (3) both points and intervals. Problems may arise when one conflates different views of temporal structure and questions whether some certain types of temporal propositions can be validly and meaningfully associated with different time elements. In this paper, we shall summarize an ontological glossary with respect to time elements, and diversify a wider range of meta-predicates for ascribing temporal propositions to time elements. Based on these, we shall also devise a versatile categorization of temporal propositions, which can subsume those representative categories proposed in the literature, including that of Vendler, of McDermott, of Allen, of Shoham, of Galton and of Terenziani and Torasso. It is demonstrated that the new categorization of propositions, together with the proposed range of meta-predicates, provides the expressive power for modeling some typical temporal terms/phenomena, such as starting-instant, stopping-instant, dividing-instant, instigation, termination and intermingling etc.

A sound and complete reified temporal logic

There are mainly two known approaches to the representation of temporal information in Computer Science: modal logic approaches (including tense logics and hybrid temporal logics) and predicate logic approaches (including temporal argument methods and reified temporal logics). On one hand, while tense logics, hybrid temporal logics and temporal argument methods enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although current reified temporal logics provide greater expressive power, most of them lack of complete and sound axiomatic theories. In this paper, we propose a new reified temporal logic with a clear syntax and semantics in terms of a sound and complete axiomatic formalism which retains all the expressive power of the approach of temporal reification.

Characterizing the most general temporal constraint

This paper introduces a characterization of the so-called most general temporal constraint (GTC), which guarantees the common-sense assertion that "the beginning of the effect cannot precede the beginning of the cause". The formalism is based on general time theory which takes both points and intervals as primitive. It is shown that there are in fact 8 possible causal relationships which satisfy GTC, including cases where, on the one hand, effects start simultaneously with, during, immediately after, or some time after their causes, and on the other hand, events end before, simultaneously with, or after their causes. These causal relationships are versatile enough to subsume those representatives in the literature.

Deriving explanations from partial temporal information

The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human thinking, and to use the methods of human intelligence to underpin engineering solutions. In particular, in the domain of Artificial Intelligence, temporal knowledge may be uncertain and incomplete due to the unavailability of complete and absolute temporal information. This paper introduces an inferential framework for deriving logical explanations from partial temporal information. Based on a graphical representation which allows expression of both absolute and relative temporal knowledge in incomplete forms, the system can deliver a verdict to the question if a given set of statements is temporally consistent or not, and provide understandable logical explanation of analysis by simplified contradiction and rule based reasoning.

The completeness and soundness of temporal theories

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Ghost and self: Jung's paradigm shift and a response to Zinkin

Zinkin's lucid challenge to Jung makes perfect sense. Indeed, it is the implications of this `making sense' that this paper addresses. For Zinkin's characterization of the `self' takes it as a `concept' requiring coherence; a variety of abstract non-contextual knowledge that itself has a mythical heritage. Moreover, Zinkin's refinement of Jung seeks to make his work fit for the scientific paradigm of modernity. In turn, modernity's paradigm owes much to Newton's notion of knowledge via reductionism. Here knowledge or investigation is divided up into the smallest possible units with the aim of eventually putting it all together into `one' picture of scientific truth. Unfortunately, `reductionism' does not do justice to the resonant possibilities of Jung's writing. These look forward to a new scientific paradigm of the twenty-first century, of the interactive `field', emergence and complexity theory. The paper works paradoxically by discovering Zinkin's `intersubjective self' after all, in two undervalued narratives by Jung, his doctoral thesis and a short late ghost story. However, in the ambivalences and radical fictional experimentation of these fascinating texts can be discerned an-Other self, one both created and found. [From the Publisher]

Temporal pattern recognition in video clips detection

Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal information. Based on a formal characterization of time-series and state-sequences, this paper presents the computational technique and algorithm for matching state-based temporal patterns. As a case study of real-life applications, zone-defense pattern recognition in basketball games is specially examined as an illustrating example. Experimental results demonstrate that it provides a formal and comprehensive temporal ontology for research and applications in video events detection.

The influence of crank configuration on muscle activity and torque production during arm crank ergometry

This study investigated the effect of crank configuration on muscle activity and torque production during submaximal arm crank ergometry. Thirteen non-specifically trained male participants volunteered. During the research trials they completed a warm-up at 15 W before two 3-min exercise stages were completed at 50 and 100 W; subjects used either a synchronous or asynchronous pattern of cranking. During the final 30-s of each submaximal exercise stage electromyographic and torque production data were collected. After the data had been processed each parameter was analysed using separate 2-way ANOVA tests with repeated measures. The activity of all muscles increased in line with external workload, although a shift in the temporal pattern of muscle activity was noted between crank configurations. Patterns of torque production during asynchronous and synchronous cranking were distinct. Furthermore, peak, minimum and delta (peak-minimum) torque values were different (P < 0.05) between crank configurations at both workloads. For example, at 100 W, peak torque using synchronous [19.6 (4.3) Nm] cranking was higher (P < 0.05) compared to asynchronous [16.8 (1.6) Nm] cranking. In contrast minimum torque was lower (P < 0.05) at 100 W using synchronous [4.8 (1.7) Nm] compared to asynchronous [7.3 (1.2) Nm] cranking. There was a distinct bilateral asymmetry in torque production during asynchronous cranking with the dominant transmitting significantly more force to the crank arm. Taken together, these preliminary data demonstrate the complex nature of muscle activity during arm crank ergometry performed with an asynchronous or synchronous crank set-up. Further work is required to determine how muscle activity (EMG activity) and associated patterns of torque production influence physiological responses and functional capacity during arm crank ergometry.

When the shift hits the critical fan: a Foucauldian analysis

In the past 15 years in the UK, the state has acquired powers, which mark a qualitative shift in its relationship to higher education. Since the introduction and implementation of the Further and Higher Education Act 1992, the Teaching and Higher Education Act 1998 and the Higher Education Act 2004, a whole raft of changes have occurred which include the following: Widening participation; the development of interdisciplinary, experiential and workplace-based learning focused on a theory-practice dialogue; quality assurance; and new funding models which encompass public and private partnerships. The transformation of higher education can be placed in the context of New Labour’s overall strategies for overarching reform of public services, as set out in the Prime Minister’s Strategy Unit’s discussion paper The UK Government’s Approach to Public Service Reform (2006). An optimistic view of changes to higher education is that they simultaneously obey democratic and economic imperatives. There is an avowed commitment through the widening participation agenda to social inclusion and citizenship, and to providing the changing skills base necessary for the global economy. A more cynical view is that, when put under critical scrutiny, as well as being emancipatory, in some senses these changes can be seen to mobilise regulatory and disciplinary practices. This paper reflects on what kinds of teaching and learning are promoted by the new relationship between the state and the university. It argues that, whilst governmental directives for innovations and transformations in teaching and learning allegedly empower students and put their interests at the centre, reforms can also be seen to consist of supervisory and controlling mechanisms with regard both to our own practices as teachers and the knowledge/ learning we provide for the students.

Summarising spatial and temporal information in CPR data

The Continuous Plankton Recorder survey provides pan-oceanic data on geographic distribution, species composition, seasonal cycles of abundance, and long-term change during the last 70 years. In this paper we compare and contrast some of the historic data-analytic protocols of the survey, focusing primarily on the various means by which spatio-temporal information in CPR data has been exposed. Relative strengths and limitations are assessed, followed by suggestions for future approaches to the visualisation and summarising of CPR data.

A regime shift in the North Sea circa 1988 linked to changes in the North Sea horse mackerel fishery

After 1987, Phytoplankton Colour (a visual estimate of chlorophyll) measured on samples taken by the continuous plankton recorder (CPR) in the North Sea increased substantially, both in level and seasonal extent, compared to earlier years since 1946. Many species of phytoplankton and zooplankton showed marked changes in abundance at about the same time. These events coincided with a large increase in catches of the western stock of the horse mackerel (Trachurus trachurus L.) in the northern North Sea reflecting a northerly expansion of the stock along the shelf edge from the Bay of Biscay to the North Sea after 1987. Using a 3D hydrodynamic model, with input from measured wind parameters, monthly transport of oceanic water into the North Sea has been calculated for the period 1976–1994, integrated for a section from Orkney to Shetland to Norway. A substantial increase in oceanic inflow occurred in the winter months, December to March, from 1988. Higher sea surface temperatures were also measured after 1987 especially in spring and summer months. These biological and physical events may be a response to observed changes in pressure distribution over the North Atlantic. From 1988 onwards, the North Atlantic Oscillation (NAO) index, the pressure difference between Iceland and the Azores, increased to the highest positive level observed in this century. Positive NAO anomalies are associated with stronger and more southerly tracks of the westerly winds and higher temperatures in western Europe. These changing wind distributions may have led to an increase in the northerly advection of water along the western edge of the European shelf and may have assisted the migration of the horse mackerel. This study is possibly a unique demonstration of a correlation between three different trophic levels of a marine ecosystem and hydrographic and atmospheric events at decadal and regional scales. The results emphasise the importance of maintaining into the future long term programmes such as the CPR.

Interregional Biological Responses in the North Atlantic to Hydrometeorological Forcing

Using data from the CPR survey seven case studies are described that document different spatial and temporal responses in the plankton to hydroclimatic events. Long-term trends in the plankton of the eastern Atlantic and the North Sea over the last five decades are examined. Two of the examples revisit correlations that have been described between copepod abundance in the eastern Atlantic and North Sea and indices of atmospheric variability, the North Atlantic Oscillation index and the Gulf Stream North Wall index. Evidence for an increase in levels of Phytoplankton Colour (a visual index of chlorophyll) on the eastern and western sides of the Atlantic is presented. Changes in three trophic levels and in the hydrodynamics and chemistry of the North Sea circa 1988 are outlined as a regime shift. Two of the case studies emphasise the importance of variability in oceanic advection into shelf seas and the role of western and eastern margin currents at the shelf edge. The plankton appear to be integrating hydrometeorological signals and reflecting basin scale changes in circulation of surface, intermediate and deep waters in part associated with the NAO. The extent to which climatic variability may be contributing to the observed changes in the plankton is discussed with a forecast of potential future ecosystem effects in a climate change scenario.