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.

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]

Drug calculations part 2: alternative strategies to the formula

Drug calculations are an essential skill for nurses. The clinical skill of performing a drug calculation has come under recent scrutiny,resulting in the development of essential skills clusters inwhich pre-registration nurses must be competent before qualifying (Nursing and Midwifery Council 2007). The focuson drug calculation skills places renewed emphasis on how these skills are taught in higher education institutions and how they are learned by students theoretically and in clinical practice.

Drug calculations part 1: a critique of the formula used by nurses

The role of mathematics is integral to nursing practice, and careful and accurate calculations are important to help prevent medication errors. This two-part article examines different methods for solving drug calculation problems. The first part critiques the commonly taught nursing drug calculation formula. Part 2, to be published next week, explores a range of other methods that are used in practice to calculate drug dosages.

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.

Fusion rules for merging uncertain information

In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports. Structured news reports are XML documents, where the textentries are restricted to individual words or simple phrases, such as names and domain-specific terminology, and numbers and units. We assume structured news reports do not require natural language processing. Fusion rules are a form of scripting language that define how structured news reports should be merged. The antecedent of a fusion rule is a call to investigate the information in the structured news reports and the background knowledge, and the consequent of a fusion rule is a formula specifying an action to be undertaken to form a merged report. It is expected that a set of fusion rules is defined for any given application. In this paper we extend the approach to handling probability values, degrees of beliefs, or necessity measures associated with textentries in the news reports. We present the formal definition for each of these types of uncertainty and explain how they can be handled using fusion rules. We also discuss the methods of detecting inconsistencies among sources.