Causation in AI and Law

Reasoning about causation in fact is an essential element of attributing legal responsibility. Therefore, the automation of the attribution of legal responsibility requires a modelling effort aimed at the following: a thorough understanding of the relation between the legal concepts of responsibility and of causation in fact; a thorough understanding of the relation between causation in fact and the common sense concept of causation; and, finally, the specification of an ontology of the concepts that are minimally required for (automatic) common sense reasoning about causation. This article offers a worked-out example of the indicated analysis. Such example consists of: a definition of the legal concept of responsibility (in terms of liability and accountability); a definition of the legal concept of causation in fact (in terms of the initiation of physical processes by an agent and of the provision of reasons and/or opportunities to other agents); CausatiOnt, an AI-like ontology of the common sense (causal) concepts that are minimally needed for reasoning about the legal concept of causation in fact (in particular, the concepts of category, dimension, object, agent, process, event and act).     

PRONTO: An ontology for comprehensive and consistent representation of product information

Nowadays, it is quite common for collaborating organizations (or even different areas within a company) to develop and maintain their own product model. This situation leads to information duplication and its associated problems. Besides, traditional product models do not properly handle the high number of variants managed in today competitive markets. In addition, there is a need for an integrated product model to be shared by all the organizations participating in global supply chains (SCs) or all the areas within a company. One way to reach an intelligent integration among product models is by means of an ontology. PRoduct ONTOlogy (PRONTO) is an ontology for the product modeling domain, able to efficiently handle product variants. It defines and integrates two hierarchies to represent product information: the abstraction hierarchy (AH) and the structural one (SH). This contribution presents a ConceptBase formal specification of PRONTO that focuses on the structural hierarchy of products. This hierarchy is a tool to handle product information associated with the multiple available recipes or processes to manufacture a particular product or a set of similar products. The formal specification presented in the paper also includes mechanisms to infer structural information from the explicit knowledge represented at each of the AH levels: Family, VariantSet and Product. This proposal efficiently handles a great number of variants and allows representing product information with distinct granularity degrees, which is a requirement for planning activities taking place at different time horizons. PRONTO easily manages crucial features that should be taken into account in a product representation, such as the efficient handling of product families and variants concepts, composition and decomposition structures and the possibility of specifying constraints. To demonstrate the semantic expressiveness of the proposed ontology a food industry related case-study is addressed and discussed in detail.     

Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling

In recent years, ontology-driven reference models have gained much attention in the literature due to their potential key role in activities such as complex information modeling and semantic interoperability. The engineering process of these conceptual models should account for different phases addressing different areas of concern. In an initial phase of conceptual domain modeling, the target modeling artifacts should be constructed with the goal of maximizing quality attributes such as expressivity and truthfulness to the represented domain in reality. In a subsequent development phase, the resulting domain models can be used to guide the design decisions in the construction of different implementation artifacts addressing different computational concerns. In this paper, we present a philosophically sound, cognitively-oriented and formally characterized foundational theory of objects and tropes (property-instances). Moreover, we use this theory to bring about engineering contributions to both the aforementioned phases of ontology-driven conceptual modeling. Firstly, we show how this theory has been used to (re)design a system of modeling primitives underlying the conceptual domain modeling language OntoUML. Furthermore, we provide precise directives on how to map conceptual domain models in this language to their implementation in less-expressive computationally-oriented codification languages. In particular, we address here a mapping strategy to OWL (Web Ontology Language) that partially preserves the modal-temporal semantics of OntoUML. Finally, we discuss computational support for the proposed approach in terms of conceptual model construction, automatic transformation and temporal querying.     

Methodology and intermediate layer for the automatic creation of ontology instances stored in relational databases

In this paper, we introduce our solution for mapping local ontologies to relational and object‐oriented representations. This solution is part of the GeoNis framework for the interoperability of geo‐information systems applications in a local community environment. The GeoNis framework is based on a hybrid ontology approach for data integration. Therefore, a very important subject in our research on semantic data integration is the creation of mapping between a spatial information source and its local ontology. We developed the OWL2RDB mapping language to create an intermediate layer between a relational database and the OWL ontology. This intermediate layer contains rules (expressed in the OWL2RDB language) for mapping between the structural elements of a relational database and the concepts of OWL ontologies. We also present a system that uses the OWL2RDB intermediate layer to create classes that can handle ontology instances stored in relational databases. We have developed a prototype for a tool that uses this proposed approach for the automatic generation of translator/wrapper components in the GeoNis interoperability environment. Copyright © 2012 John Wiley & Sons, Ltd.     

An EMG-study of work methods and equipment in crane coupling as a basis for job redesign

Previous studies have shown that physical strain is perceived as the main work environment problem for crane couplers. During one year, 70% of the crane couplers at two Swedish steelworks (n = 124) indicated complaints of the locomotor system. An experimental field study comprising seven healthy female crane couplers was therefore carried out to determine if crane coupling implies too high a physical strain for healthy individuals, and to suggest ergonomics solutions to such problems if they occur. The significance of using different methods and equipment for reducing physical strain was evaluated by vocational EMG (four shoulder/neck and arm muscles), heart rate and ratings of perceived exertion. The data suggest that crane coupling may have harmful effects on the shoulder/neck. The investigated changes in work methods and equipment reduced the peak loads. If the crane coupler also has to operate the crane by radio control, this implies a rationalisation as well as a reduction in strain.     

An algebraic criterion for detecting the fact and time a fault occurs in control systems of dynamic plants

This paper proposes a new algebraic criterion for fault detection in control systems of dynamic plants; this criterion uses only the measurements of input and output signals and is based on the solvability condition for the problem of identifying the mathematical model of a dynamic plant. To estimate the proposed criterion, it is compared with a criterion based on analyzing prediction errors in solving a fault detection problem for a stabilizer actuator.     

An accurate physical knowledge‐based model for behavioral modeling and digital predistortion of power amplifiers

The objective of this article is to present an accurate model for behavioral modeling and digital predistortion of power amplifiers (PAs) using physical knowledge. Starting with the physically meaningful block model, we present a novel approach to simplify the block model and propose a simplified physical knowledge‐based (SPK) model. The SPK model's performance was experimentally assessed by two types of PAs (a LDMOS Doherty PA and a GaN Doherty PA) and two signals (a single carrier 16QAM signal and a 2‐carrier WCDMA signal). All experimental results prove the superiority of the SPK model. Compared with the 1st‐dynamic deviation reduction (DDR) approach and the 2nd‐simplified DDR approach, the SPK approach achieves average ACPR improvements of 4.4 dB and 2.5 dB, respectively. © 2012 Wiley Periodicals, Inc. Int J RF and Microwave CAE 23: 682–689, 2013.     

Vessel motion thresholds for maintaining physical and cognitive performance: a study of naval personnel at sea

Methods and results are reported from a study of ships companies' exposure to low-frequency motions on three vessels of the Royal Navy. The aim of the study was to investigate relationships between deck accelerations and the incidence of problems such as difficulties with physical tasks, cognitive activities, motion sickness, and work effort. Ship motions were recorded continuously during sea patrols of 10-14 days. The data collected from the three vessels comprised 105 days of ship motions over 12 patrols, with 779 associated daily diaries from 78 participants. Problems most strongly associated with vessel motions were related to the difficulties with physical tasks. Some cognitive aspects of task performance and motion sickness were associated with vertical acceleration magnitudes, but the correlations were less strong than with physical tasks. Practitioner Summary: Little is known about the severity of ship motions that degrade physical and mental performance. The paper offers preliminary estimates of the motion threshold values below which the performance will not be degraded by motion.     

A comparison study of polyominoes explorations in a physical and virtual manipulative environment

This study develops virtual manipulative, polyominoes kits for junior high school students to explore polyominoes. The current work conducts a non‐equivalent group pretest–post‐test quasi‐experimental design to compare the performance difference between using physical manipulatives and virtual manipulatives in finding the number of polyominoes. Sixty eighth‐grade students from two different classes in a junior high school in Taipei County of Taiwan participated in this study. The current research randomly selected one class as the experiment group and the other as the control group. Students in the experiment group used virtual manipulatives to explore polyominoes and those in the control group used physical manipulatives. The results revealed that learning in the experiment group is as effective as that in the control group. This study identifies two obvious strategies (add one and reduce) among students in both groups. New ideas, including using new symbols to record the results and considering the influence of symmetry and rotation on the figures, occurred in the virtual manipulative group. Students in the virtual environment paid much more attention to exploring the polyomino problem.     

An investigation of myocardial aerobic capacity as a measure of both physical and cognitive workloads

With increased automation and supervisory control, the physical content of jobs has decreased while cognitive workload has increased. The cardiovascular system responds to both physical and cognitive stresses, and their combination, by causing an increase in both heart rate (HR) and blood pressure. The increase in HR and blood pressure cause an increase in myocardial contractility, which results in an increase in myocardial oxygen consumption (MV_O2). The rate–pressure product (RPP), given by the product of HR and systolic blood pressure, is a very reliable indirect measure of MV_O2. With this in mind, an experiment was conducted on 12 able-bodied male students from the University population. Subjects were required to perform three cognitive tasks (Stroop Incongruent Color-Word Test, simulated public speaking, and calculating task) under two physical conditions (riding a Schwinn Airdyne at a constant speed of 1/3 of their estimated maximum HR, and seated at rest on the Schwinn Airdyne). HR and blood pressure were monitored throughout the testing period. Results of the analysis of the randomized block design indicated that both cognitive and physical tasks had a significant effect on RPP. Additionally, the findings from this study indicated that RPP can be used as an objective measure to separate the components of cognitive workload and cognitive stress in combined tasks.

Relevance to industry

Rate–pressure product may be used as a measure of occupational workload, both cognitive and physical. It may be possible to use RPP measures to set limits on workloads and for establishing work allowance.     

Stimulated recall methodology for assessing work system barriers and facilitators in family-centered rounds in a pediatric hospital

Human factors and ergonomics methods are needed to redesign healthcare processes and support patient-centered care, in particular for vulnerable patients such as hospitalized children. We implemented and evaluated a stimulated recall methodology for collective confrontation in the context of family-centered rounds. Five parents and five healthcare team members reviewed video records of their bedside rounds, and were then interviewed using the stimulated recall methodology to identify work system barriers and facilitators in family-centered rounds. The evaluation of the methodology was based on a survey of the participants, and a qualitative analysis of interview data in light of the work system model of 30 and 35. Positive survey feedback from the participants was received. The stimulated recall methodology identified barriers and facilitators in all work system elements. Participatory ergonomics methods such as the stimulated recall methodology allow a range of participants, including parents and children, to participate in healthcare process improvement.     

“Damned if you do,damned if you don’t”: Media frames of responsibility and accountability in handling a wildfire

Previous research on media framing of wildfire has chiefly been concerned with the nature of wildfire in the context of climate change and with framing effects on policy and public opinion. Empirical studies on media content, hence what is mediated to crisis managers and the public concerning authorities’ and the public's response, seem to be largely missing. This is remarkable, given that the media represent main sources of information that may influence crisis management and shape public opinion. Thus, the aim of this study was to identify key media frames relating to portrayals of public and authority responses during and after a wildfire crisis. The study is based on media articles from two time periods: immediately after the fire and 1 year later. We used a thematic method of analysis (TA), thus an inductive, “bottom‐up” approach. A core frame, Responsibility/accountability is identified, underpinned by two sub‐themes. One sub‐theme relates to the causes of the fire and its escalation, revealing a number of different interrelated blame frames. The second sub‐theme refers to management of the crisis, reflecting both authorities’ and citizens’ responses. The deficiencies of the former are implicitly suggested to have forced citizens to act to compensate for their inadequacy. The main theoretical contribution is the identification of an interrelationship between frames in relation to different groups of individuals responding to a crisis, pointing to a more complex view of framing effects. In addition, results show how media tend to assess crisis management based on idealistic criteria, inevitably making the evaluation negative. This contributes to an understanding of how media blame frames, thus “blame games,” may unfold. Practical implications of these results are discussed.     

Laboratory study as basis of the development for a seat testing procedure in horizontal directions

Horizontal whole-body vibration (WBV) can have an influence on health and comfort of drivers. Driver seats with additional suspensions in x- and/or y-axis should reduce the influence of vibration on the driver. No standards or test procedures are available for testing seats with horizontal suspensions. A standard test procedure for seats with horizontal suspensions could be developed from a test protocol used in a recent inter-laboratory study. To reduce the variability of the results obtained by different laboratories or repetitions, the test procedures should carefully consider methodological aspects with relevance to the results. Specifications of typical signals obtained in practice, or well-defined random time series as a basis for generation of test signals, with defined signs of acceleration would enable identical excitations in time domain and could reduce the variability of results caused by the non-linearity of the seat–human system. Nine healthy subjects volunteered for the study to test a seat with suspensions in three directions. They were selected with regard to three groups of body mass (52.4–54.6, 75.5–77.1, 98–100.7 kg). A random signal and two signals obtained in practice (tractor and truck) were selected for excitations in x- and y-directions by a six DOF electro-hydraulic simulator (hexapod). The errors between the desired and measured accelerations were calculated. The error depends on the signal, the direction and the subject. In the time domain, the absolute value of the error ranged from 1.8% to 42.4%. The SEAT value generally depends on the body mass, but in some cases the SEAT value of a lighter subject was lower than the SEAT value of a heavy one. This indicates that only one heavy and one light subject are not suited to calculate reliable parameters for an evaluation and comparison of seats. The non-symmetric displacements of the seat frame in x-direction indicate the non-linear behaviour of the seat–subject system.

Relevance to industry

Driver seats with suspensions in horizontal directions can reduce the influence of WBV on the health-risk of drivers. Laboratory test procedures are helpful for the evaluation and design of seats, if the results obtained by different laboratories are comparable. The paper describes methodological aspects that affect the test results and their variability.     

A case study in use of framework technology as the basis for a software engineering environment

In order to investigate the capabilities of varous types of integration infrastructure, the CASE Environments project at the Software Engineering Institute has conducted a series of studies integrating a variety of tools using framework technologies. This paper discusses one of these studies, in which a Software Engineering Environment was first modeled using a number of process notations and then constructed using control- and data-oriented frameworks. Public domain, commercial, and custom tools were integrated in support of the defined process scenario.     

Little effect of transfer technique instruction and physical fitness training in reducing low back pain among nurses: a cluster randomised intervention study

The aim of this study was to evaluate the effect of a transfer technique education programme (TT) alone or in combination with physical fitness training (TTPT) compared with a control group, who followed their usual routine. Eleven clinical hospital wards were cluster randomised to either intervention (six wards) or to control (five wards). The intervention cluster was individually randomised to TT (55 nurses) and TTPT (50 nurses), control (76 nurses). The transfer technique programme was a 4-d course of train-the-trainers to teach transfer technique to their colleagues. The physical training consisted of supervised physical fitness training 1 h twice per week for 8 weeks. Implementing transfer technique alone or in combination with physical fitness training among a hospital nursing staff did not, when compared to a control group, show any statistical differences according to self-reported low back pain (LBP), pain level, disability and sick leave at a 12-month follow-up. However, the individual randomised intervention subgroup (transfer technique/physical training) significantly improved the LBP-disability (p = 0.001). Although weakened by a high withdrawal rate, teaching transfer technique to nurses in a hospital setting needs to be thoroughly considered. Other priorities such as physical training may be taken into consideration. The current study supports the findings of other studies that introducing transfer technique alone has no effect in targeting LBP. However, physical training seems to have an influence in minimising the LBP consequences and may be important in the discussion of how to prevent LBP or the recurrence of LBP among nursing personnel.     

一种适用于动态场景的运动目标提取新算法

在动态场景中提取运动目标是开展视频分析的关键问题,也是当前计算机视觉与图像处理技术领域中的热门课题。本文提出了一种适用于动态场景的运动目标提取新算法,算法先根据摄像机全局运动模型计算全局运动参数,再利用三帧差分法得到分割的前景。将分割为背景的像素点映射到邻近帧,求得各帧的像素点为背景时其高斯模型的均值及方差。最后利用粒子滤波预测出下一帧前景区域,计算各像素点为前景的概率,获得运动目标的视频分割结果。实验表明,本文算法有效地克服了由于全局运动模型参数估算偏差而导致的累积误差,能以更高精度实现跳水运动视频中的目标分割。     

An evaluation of the Wii Nunchuk as an alternative assistive device for people with intellectual and physical disabilities using switch controlled software

Many people with intellectual disabilities also have physical difficulties which prevent them from using standard computer control devices. Custom made alternative devices for those with special needs can be expensive and the low unit turnover makes the prospect unattractive to potential manufacturers. One solution is to explore the potential of devices used in contemporary gaming technology, such as the Nintendo Wii. The Wii Nunchuk has the potential to replace joystick functions with the advantages of not being surface bound and easier for some individuals to grasp. This study evaluated the feasibility of using the Nunchuk by comparing its performance as a switch with the participant’s usual switch. Twenty three volunteers aged between 17 and 21 with intellectual and physical disabilities completed a Single Switch Performance Test using the new device and their familiar device. For most functions of the switch, there was no significant difference between the participants’ performance using the Nunchuck and their familiar device. Additional analysis found that some participants’ performance did improve whilst using the Nunchuck, but this was not significantly related to physical or cognitive ability. Those whose performance was better with the Nunchuk were more likely to hold it in the conventional way than were those who had better performance with their familiar device. This merits it being offered as a possible alternative to currently available switches for those with physical difficulties affecting their grip.     

Using Signal Detection Theory and Time Window-based Human-In-The-Loop simulation as a tool for assessing the effectiveness of different qualitative shapes in continuous monitoring tasks

This paper provides a case study of Signal Detection Theory (SDT) as applied to a continuous monitoring dual-task environment. Specifically, SDT was used to evaluate the independent contributions of sensitivity and bias to different qualitative gauges used in process control. To assess detection performance in monitoring the gauges, we developed a Time Window-based Human-In-The-Loop (TWHITL) simulation bed. Through this test bed, we were able to generate a display similar to those monitored by console operators in oil and gas refinery plants. By using SDT and TWHITL, we evaluated the sensitivity, operator bias, and response time of flow, level, pressure, and temperature gauge shapes developed by Abnormal Situation Management^® (ASM^®) Consortium (www.asmconsortium.org). Our findings suggest that display density influences the effectiveness of participants in detecting abnormal shapes. Furthermore, results suggest that some shapes elicit better detection performance than others.     

FODA — the formal specification of ODA document structures and its use as a basis for conformance testing

The Office Document Architecture (ODA) is an International Standard which is developed by TC 97/sc 18 of the International Organization for Standardization (ISO) in close collaboration with CCITT's Study Group VIII and with ECMA. This paper describes the current state of a formal specification of the ODA document structures by mathematical means and its use for conformance specification and conformance testing.