A reified temporal logic

This paper presents a reified temporal logic for representing and reasoning about temporal and non-temporal relationships between non-temporal assertions. A clear syntax and semantics for the logic is formally provided. Three types of predicates, temporal predicates, non-temporal predicates and meta-predicates, are introduced. Terms of the proposed language are partitioned into three types, temporal terms, non-temporal terms and propositional terms. Reified propositions consist of formulae with each predicate being either a temporal predicate or a meta-predicate. Meta-predicates may take both temporal terms and propositional terms together as arguments or take propositional terms alone. A standard formula of the classical first-order language with each predicate being a non-temporal predicate taking only non-temporal terms as arguments is reified as just a propositional term. A general time ontology has been provided which can be specialized to a variety of existing temporal systems. The new logic allows one to predicate and quantify over propositional terms while according a special status of time; for example, assertions such as ‘effects cannot precede their causes’ is ensured in the logic, and some problematic temporal aspects including the delay time between events and their effects can be conveniently expressed. Applications of the logic are presented including the characterization of the negation of properties and their contextual sentences, and the expression of temporal relations between actions and effects.

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 framework for historical case-based reasoning

This paper presents a framework for Historical Case-Based Reasoning (HCBR) which allows the expression of both relative and absolute temporal knowledge, representing case histories in the real world. The formalism is founded on a general temporal theory that accommodates both points and intervals as primitive time elements. A case history is formally defined as a collection of (time-independent) elemental cases, together with its corresponding temporal reference. Case history matching is two-fold, i.e., there are two similarity values need to be computed: the non-temporal similarity degree and the temporal similarity degree. On the one hand, based on elemental case matching, the non-temporal similarity degree between case histories is defined by means of computing the unions and intersections of the involved elemental cases. On the other hand, by means of the graphical presentation of temporal references, the temporal similarity degree in case history matching is transformed into conventional graph similarity measurement.

Matching case history patterns in case-based reasoning

This paper introduces a mechanism for representing and recognizing case history patterns with rich internal temporal aspects. A case history is characterized as a collection of elemental cases as in conventional case-based reasoning systems, together with the corresponding temporal constraints that can be relative and/or with absolute values. A graphical representation for case histories is proposed as a directed, partially weighted and labeled simple graph. In terms of such a graphical representation, an eigen-decomposition graph matching algorithm is proposed for recognizing case history patterns.

An introduction to China's rail transport Part 1: History, present and future of China's railways

In this paper an introduction is given to the history, current situation and future plans of China's railway industry. The history of China's railway is divided into four development phases: the phase in Imperial China, the phase in the Republic of China and the phases before and after the economic rejuvenation of the People's Republic of China. An introduction to the current situation and future plans includes the major projects under construction and development trends of China's railways. The environment of China's railways is also presented. This is the first of two papers on the railway scene in China.

BSHM meetings: BMS History of Mathematics Splinter Group

Introduction to abstracts from papers given at BMS History of Mathematics Splinter Group, held 17 April 2007, in Swansea.

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.

[BSHM meetings] Topics in the history of financial mathematics: early commerce to chaos in modern stock markets

This account provides an overview of the study day, entitled 'Topics in the History of Financial Mathematics: Early commerce to chaos in modern stock markets,' held by the British Society for the History of Mathematics jointly with Gresham College, at Gresham College, London on 25th April 2008. The series of talks explored the development of mathematics and mathematical techniques in a commercial and financial context.

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]

Reality-experiential history documentaries: the Trench (BBC, 2002) and Britain's modern memory of the First World War

Culloden (BBC, 1964) The Great War (BBC, 1964) 1914-18 (BBC/KCET, 1996) Haig: the Unknown Soldier (BBC, 1996) Veterans: the Last Survivors of the Great War (BBC, 1998) 1900s House (Channel 4, 1999) The Western Front (BBC, 1999) History of Britain (BBC, 2000) 1940s House (Channel 4, 2001) The Ship (BBC, 2002) Surviving the Iron Age (BBC, 2001) The Trench (BBC, 2002) Frontier House (Channel 4, 2002) Lad's Army (BBC, 2002) Edwardian Country House (Channel 4, 2002) Spitfire Ace (Channel 4, 2003) World War One in Colour (Channel 5, 2003) 1914: the War Revolution (BBC, 2003) The First World War (Channel 4, 2003) Dunkirk (BBC, 2004) Dunkirk: The Soldier's Story (BBC, 2004) D-Day to Berlin (BBC, 2004) Bad Lad's Army (ITV, 2004) Destination D-Day: Raw Recruits (BBC, 2004) Bomber Crew (Channel 4, 2004) Battlefield Britain (BBC, 2004) The Last Battle (ARTE/ZDF, 2005) Who Do You Think You Are? (BBC, 2004, 2006) The Somme (Channel 4, 2005) [From the Publisher]