Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

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.

Probabilistic approach in weighted Markov branching processes

This note provides a new probabilistic approach in discussing the weighted Markov branching process (WMBP) which is a natural generalisation of the ordinary Markov branching process. Using this approach, some important characteristics regarding the hitting times of such processes can be easily obtained. In particular, the closed forms for the mean extinction time and conditional mean extinction time are presented. The explosion behaviour of the process is investigated and the mean explosion time is derived. The mean global holding time and the mean total survival time are also obtained. The close link between these newly developed processes and the well-known compound Poisson processes is investigated. It is revealed that any weighted Markov branching process (WMBP) is a random time change of a compound Poisson process.

Narrating the archive and archiving narrative: the electronic book and the logic of the index

The creation of my hypermedia work Index of Love, which narrates a love story as an archive of moments, images and objects recollected, also articulated for me the potential of the book as electronic text. The book has always existed as both narrative and archive. Tables of contents and indexes allow the book to function simultaneously as linear narrative and non-linear, searchable database. The book therefore has more in common with the so-called 'new media' of the 21st century than it does with the dominant 20th century media of film, video and audiotape, whose logic and mode of distribution are resolutely linear. My thesis is that the non-linear logic of new media brings to the fore an aspect of the book - the index - whose potential for the production of narrative is only just beginning to be explored. When a reader/user accesses an electronic work, such as a website, via its menu, they simultaneously experience it as narrative and archive. The narrative journey taken is created through the menu choices made. Within the electronic book, therefore, the index (or menu) has the potential to function as more than just an analytical or navigational tool. It has the potential to become a creative, structuring device. This opens up new possibilities for the book, particularly as, in its paper based form, the book indexes factual work, but not fiction. In the electronic book, however, the index offers as rich a potential for fictional narratives as it does for factual volumes. [ABSTRACT FROM AUTHOR]

Probabilistic modeling of structural deterioration of reinforced concrete beams under saline environment corrosion

For existing reinforced concrete structures exposed to saline or marine conditions, there is an increasing engineering interest in their remaining safety and serviceability. A significant factor is the corrosion of steel reinforcement. At present there is little field experience and other data available. This limits the possibility for developing purely empirical models for strength and performance deterioration for use in structural safety and serviceability assessment. An alternative approach using theoretical concepts and probabilistic modeling is proposed herein. It is based on the evidence that the rate of diffusion of chlorides is influenced by internal damage to the concrete surrounding the reinforcement. This may be due to localized stresses resulting from external loading or through concrete shrinkage. Usually, the net effect is that the time to initiation of active corrosion is shortened, leading to greater localized corrosion and earlier reduction of ultimate capacity and structural stiffness. The proposed procedure is applied to an example beam and compared to experimental observations,including estimates of uncertainty in the remaining ultimate moment capacity and beam stiffness. Reasonably good agreement between the results of the proposed procedure and the experiment was found

Probabilistic Models to Describe the Dynamics of Migrating Microbial Communities

In all but the most sterile environments bacteria will reside in fluid being transported through conduits and some of these will attach and grow as biofilms on the conduit walls. The concentration and diversity of bacteria in the fluid at the point of delivery will be a mix of those when it entered the conduit and those that have become entrained into the flow due to seeding from biofilms. Examples include fluids through conduits such as drinking water pipe networks, endotracheal tubes, catheters and ventilation systems. Here we present two probabilistic models to describe changes in the composition of bulk fluid microbial communities as they are transported through a conduit whilst exposed to biofilm communities. The first (discrete) model simulates absolute numbers of individual cells, whereas the other (continuous) model simulates the relative abundance of taxa in the bulk fluid. The discrete model is founded on a birth-death process whereby the community changes one individual at a time and the numbers of cells in the system can vary. The continuous model is a stochastic differential equation derived from the discrete model and can also accommodate changes in the carrying capacity of the bulk fluid. These models provide a novel Lagrangian framework to investigate and predict the dynamics of migrating microbial communities. In this paper we compare the two models, discuss their merits, possible applications and present simulation results in the context of drinking water distribution systems. Our results provide novel insight into the effects of stochastic dynamics on the composition of non-stationary microbial communities that are exposed to biofilms and provides a new avenue for modelling microbial dynamics in systems where fluids are being transported.

Simultaneously multiply-configurable or superposed molecular logic systems composed of ICT (internal charge transfer) chromophores and fluorophores integrated with one- or two-ion receptors

Integrated "ICT chromophore-receptor" systems show ion-induced shifts in their electronic absorption spectra. The wavelength of observation can be used to reversibly configure the system to any of the four logic operations permissible with a single input (YES, NOT, PASS 1, PASS 0), under conditions of ion input and transmittance output. We demonstrate these with dyes integrated into Tsien's calcium receptor, 1-2. Applying multiple ion inputs to 1-2 also allows us to perform two- or three-input OR or NOR operations. The weak fluorescence output of 1 also shows YES or NOT logic depending on how it is configured by excitation and emission wavelengths. Integrated "receptor(1)-ICT chromophore-receptor(2)" systems 3-5 selectively target two ions into the receptor terminals. The ion-induced transmittance output of 3-5 can also be configured via wavelength to illustrate several logic types including, most importantly, XOR. The opposite effects of the two ions on the energy of the chromophore excited state is responsible for this behaviour. INHIBIT and REVERSE IMPLICATION are two of the other logic types seen here. Integration of XOR logic with a preceding OR operation can be arranged by using three ion inputs. The fluorescence output of these systems can be configured via wavelength to display INHIBIT or NOR logic under two-input conditions. The superposition or multiplicity of logic gate configurations is an unusual consequence of the ability to simultaneously observe multiple wavelengths.