Building temporal constraints into knowledge bases for process control: an examination [Reply to author's reply]

Reply to author's reply

Deforestation and the spatio-temporal distribution of savannah and forest members of the Simulium damnosum complex in southern Ghana and south-western Togo

Spatio-temporal data on cytotaxonomic identifications of larvae of different members of the Simulium damnosum complex collected from rivers in southern Ghana and south-western Togo from 1975 until 1997 were analysed. When the data were combined, the percentages of savannah blackflies (S. damnosum sensu stricto and S. sirbanum) in the samples were shown to have been progressively increasing since 1975. The increases were statistically significant (P < 0·001), but the rates of increase were not linear. Further analyses were conducted according to the collection seasons and locations of the samples, to account for possible biases such as savannah flies occurring further south in the dry season or a preponderance of later samples from northern rivers having more savannah flies. These analyses showed that the increasing trend was statistically significant (P< 0·0001) only during the periods April to June and October to December. The presence of adult savannah flies carrying infective larvae (L3) indistinguishable from those of Onchocerca volvulus in the study zone was confirmed by examinations of captured flies. The percentages of savannah flies amongst the human-biting populations and the percentages with L3s in the head were higher during dry seasons than wet seasons and the savannah species were found furthest south (5 °25′N) in the dry season. Comparisons of satellite images taken in 1973 and 1990 over a study area in south-western Ghana encompassing stretches of the Tano and Bia rivers demonstrated that there have been substantial increases in urban and savannah areas, at the expense of forest. This was so not only for the whole images but also for subsamples of the images taken at 1, 2, 4, 8 and 16 km distant from sites alongside the River Tano. At every distance from the river, the percentages of pixels classified as urban or savannah have increased in 1990 compared with 1973, while those classified as degraded or dense forest have decreased. The possibility that the proportionate increases in savannah forms of the vectors of onchocerciasis, and hence in the likelihood of the transmission of savannah strains of the disease in formerly forested areas, were related to the decreases in forest cover is discussed.

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.

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