Temporal structure and enablement representation for mutual wills: A Petri net approach

Those temporal formalisms that are sporadically found nowadays in the literature of AI & Law are based on temporal logic. We claim a revived role for another major class of temporal representation: Petri nets. This formalism, popular in computing from the 1970s, had its potential recognized on occasion in the literature of legal computing as well, but apparently the discipline has lost sight of it, and its practitioners on average need be tutored into this kind of representation. Asynchronous, concurrent processes—for which the approach is well‐suited—are found in the legal domain, in disparate contexts. We develop an example for Mutual Wills.

The UK 9/11 evacuation study: Analysis of survivors’ recognition and response phase in WTC1

The September 11th 2001 impact on the World Trade Centre (WTC) resulted in one of the most significant evacuations of a high-rise building in modern times. The UK High-rise Evacuation Evaluation Database (HEED) study aimed to capture and collate the experiences and behaviours of WTC evacuees in a database, which would facilitate and encourage future research, which in turn would influence the design construction and use of safer built environments. A data elicitation tool designed for the purpose comprised a pre-interview questionnaire followed by a one-to-one interview protocol consisting of free-flow narratives and semi-structured interviews of WTC evacuees. This paper, which is one in a series dealing with issues relating to the successful evacuations of towers 1 and 2, focuses on cue recognition and response patterns within WTC1. Results are presented by vertical floor clusters and include information regarding cues experienced, activities prior and subsequent to occupants first becoming aware that something was wrong, perceived personal risk, time taken to respond and the inter-relationships between them. The results indicate differences in occupant activities across the floor clusters and suggest that these differences can be explained in terms of the perception of risk and the nature and extent of cues received by the participants.

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.

Mutual information performance of differential MPSK detection over time-varying channels

This paper provides mutual information performance analysis of multiple-symbol differential WSK (M-phase shift keying) over time-correlated, time-varying flat-fading communication channels. A state space approach is used to model time correlation of time varying channel phase. This approach captures the dynamics of time correlated, time-varying channels and enables exploitation of the forward-backward algorithm for mutual information performance analysis. It is shown that the differential decoding implicitly uses a sequence of innovations of the channel process time correlation and this sequence is essentially uncorrelated. It enables utilization of multiple-symbol differential detection, as a form of block-by-block maximum likelihood sequence detection for capacity achieving mutual information performance. It is shown that multiple-symbol differential ML detection of BPSK and QPSK practically achieves the channel information capacity with observation times only on the order of a few symbol intervals