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.

A regional chemostratigraphically-defined correlation framework for the late Triassic TAG-I Formation in Blocks 402 and 405a, Algeria

The Triassic Argilo-Gréseux Inférieur Formation (TAG-I) is one of the principal hydrocarbon reservoirs in the Berkine Basin of Algeria. Sedimentological studies have shown that it exhibits marked spatial and temporal facies variations on both a local field scale and a regional basinal scale. This variability, combined with a lack of diagnostic flora and fauna, makes regional correlation within the unit difficult. In turn, the lack of a consistent regional stratigraphic framework hampers the comparison of the various correlation schemes devised by operators in the basin. Contrasting the TAG-I in Blocks 402 and 405a exemplifies the problems encountered when attempting regionally to define a correlation framework for the interval. Between these two blocks, a distance of approximately 200 km, there are marked changes in the style of deposition from sand-dominated, proximal fluvial systems in the SW (Block 405a, MLN, MLC, KMD and MLNW fields) to a more distal, more clay-prone system in the NE (Block 402, ROD/BRSE/BSFN, SFNE and BSF fields). A chemostratigraphic study of the TAG-I in these two blocks has allowed a four-fold correlation framework to be defined, where each chemostratigraphic package has distinctive geochemical features. Chemostratigraphic Package 10, the oldest unit, lies above the Hercynian Unconformity, but beneath a geochemically identifiable hiatal surface. Chemostratigraphic Package 20 lies above the hiatal surface but is separated from the overlying packages by a mineralogical change identifiable in both claystone and sandstone geochemistry. Chemostratigraphic Packages 30 and 40 are chemically somewhat similar, but are separated by a regional event interpreted as a period of dolocrete and lacustrine development. By combining the geochemical differentiation of the units and recognition of their stratal boundaries, it is possible to define a correlation for the TAG-I between Blocks 402 and 405a. The proposed correlation between the two blocks suggests that the northern parts of Block 405a may have been occupied by a spur or subsidiary channel from the main SW–NE-trending fluvial system, resulting in one of the chemically defined packages being demonstrably absent in the MLNW, MLN, KMD and MLC fields when compared with the other areas of the study.

Spatial variability of air pollution in the vicinity of a permanent monitoring station in central Paris

The strong spatial and temporal variability of traffic-related air pollution detected at roadside locations in a number of European cities has raised the question of how representative the site and time period of air quality measurements actually can be. To address this question, a 7-month sampling campaign was carried out on a major road axis (Avenue Leclerc) leading to a very busy intersection (Place Basch) in central Paris, covering the surroundings of a permanent air quality monitoring station. This station has recorded the highest CO and NOx concentrations during recent years in the region of Paris. Diffusive BTX samplers as well as a mobile monitoring unit equipped with real-time CO, NOx and O3 analysers and meteorological instruments were used to reveal the small-scale pollution gradients and their temporal trends near the permanent monitoring station. The diffusive measurements provided 7-day averages of benzene, toluene, xylene and other hydrocarbons at different heights above the ground and distances from the kerb covering summer and winter periods. Relevant traffic and meteorological data were also obtained on an hourly basis. Furthermore, three semiempirical dispersion models (STREET-SRI, OSPM and AEOLIUS) were tested for an asymmetric canyon location in Av. Leclerc. The analysis of this comprehensive data set has helped to assess the representativeness of air quality monitoring information.

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.

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.