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.

Muscle activation patterns in shoulder impingement patients

Introduction: Shoulder impingement is one of the most common presentations of shoulder joint problems 1. It appears to be caused by a reduction in the sub-acromial space as the humerus abducts between 60o -120o – the 'painful arc'. Structures between the humeral head and the acromion are thus pinched causing pain and further pathology 2. Shoulder muscle activity can influence this joint space but it is unclear whether this is a cause or effect in impingement patients. This study aimed to observe muscle activation patterns in normal and impingement shoulder patients and determine if there were any significant differences. Method: 19 adult subjects were asked to perform shoulder abduction in their symptomatic arm and non-symptomatic. 10 of these subjects (age 47.9 ± 11.2) were screened for shoulder impingement, and 9 subjects (age 38.9 ± 14.3) had no history of shoulder pathology. Surface EMG was used to collect data for 6 shoulder muscles (Upper, middle and lower trapezius, serratus anterior, infraspinatus, middle deltoids) which was then filtered and fully rectified. Subjects performed 3 smooth unilateral abduction movements at a cadence of 16 beats of a metronome set at 60bpm, and the mean of their results was recorded. T-tests were used to indicate any statistical significance in the data sets. Significance was set at P<0.05. Results: There was a significant difference in muscle activation with serratus anterior in particular showing a very low level of activation throughout the range when compared to normal shoulder activation patterns (<30%). Middle deltoid recruitment was significantly reduced between 60-90o in the impingement group (30:58%).Trends were noted in other muscles with upper trapezius and infraspinatus activating more rapidly and erratically (63:25%; 60:27% respectively), and lower trapezius with less recruitment (13:30%) in the patient group, although these did not quite reach significance. Conclusion: There appears to be some interesting alterations in muscle recruitment patterns in impingement shoulder patients when compared against their own unaffected shoulders and the control group. In particular changes in scapula control (serratus anterior and trapezius) and lateral rotation (infraspinatus), which have direct influence on the sub-acromial space, should be noted. It is still not clear whether these alterations are causative or reactionary, but this finding gives a clear indication to the importance of addressing muscle reeducation as part of a rehabilitation programme in shoulder impingement patients.

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.

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.

Using historical data to detect temporal changes in the abundances of intertidal species on Irish shores

An historical data set, collected in 1958 by Southward and Crisp, was used as a baseline for detecting change in the abundances of species in the rocky intertidal of Ireland. In 2003, the abundances of each of 27 species was assessed using the same methodologies (ACFOR [which stands for the categories: abundant, common, frequent, occasional and rare] abundance scales) at 63 shores examined in the historical study. Comparison of the ACFOR data over a 45-year period, between the historical survey and re-survey, showed statistically significant changes in the abundances of 12 of the 27 species examined. Two species (one classed as northern and one introduced) increased significantly in abundance while ten species (five classed as northern, one classed as southern and four broadly distributed) decreased in abundance. The possible reasons for the changes in species abundances were assessed not only in the context of anthropogenic effects, such as climate change and commercial exploitation, but also of operator error. The error or differences recorded among operators (i.e. research scientists) when assessing species abundance using ACFOR categories was quantified on four shores. Significant change detected in three of the 12 species fell within the margin of operator error. This effect of operator may have also contributed to the results of no change in the other 15 species between the two census periods. It was not possible to determine the effect of operator on our results, which can increase the occurrence of a false positive (Type 1) or of a false negative (Type 2) outcome