Deductive, inductive and analogical reasoning in legal decision support systems

In this paper we provide an overview of a number of fundamental reasoning formalisms in artificial intelligence which can and have been used in modelling legal reasoning. We describe deduction, induction and analogical reasoning formalisms, and show how they can be used separately to model legal reasoning. We argue that these formalisms can be used together to model legal reasoning more accurately, and describe a number of attempts to integrate the approaches.

Using communicative ecology theory to scope the emerging role of social media in the evolution of urban food systems

Urban agriculture plays an increasingly vital role in supplying food to urban populations. Changes in Information and Communications Technology (ICT) are already driving widespread change in diverse food-related industries such as retail, hospitality and marketing. It is reasonable to suspect that the fields of ubiquitous technology, urban informatics and social media equally have a lot to offer the evolution of core urban food systems. We use communicative ecology theory to describe emerging innovations in urban food systems according to their technical, discursive and social components. We conclude that social media in particular accentuate fundamental social interconnections normally effaced by conventional industrialised approaches to food production and consumption.

Built heritage management systems : the framework of a digital tool for the conservation of Brisbane City Hall

Brisbane City Hall (BCH) is arguably one of Brisbane’s most notable and iconic buildings. Serving as the public’s central civic and municipal building since 1930, the importance of this heritage listed building to cultural significance and identity is unquestionable. This attribute is reflected within the local government, with a simplified image of the halls main portico entrance supplying Brisbane City Council with its insignia and trademark signifier. Regardless of these qualities, this building has been neglected in a number of ways, primarily in the physical sense with built materials, but also, and just as importantly, through inaccurate and undocumented works. Numerous restoration and renovation works have been undertaken throughout BCH’s lifetime, however the records of these amendments are far and few between. Between 2010 and 2013, BCH underwent major restoration works, the largest production project undertaken on the building since its initial construction. Just prior to this conservation process, the full extent of the buildings deterioration was identified, much of which there was little to no original documentation of. This has led to a number of issues pertaining to what investigators expected to find within the building, versus what was uncovered (the unexpected), which have resulted directly from this lack of data. This absence of record keeping is the key factor that has contributed to the decay and unknown deficiencies that had amassed within BCH. Accordingly, this raises a debate about the methods of record keeping, and the need for a more advanced process that is able to be integrated within architectural and engineering programs, whilst still maintaining the ability to act as a standalone database. The immediate objective of this research is to investigate the restoration process of BCH, with focus on the auditorium, to evaluate possible strategies to record and manage data connected to building pathology so that a framework can be developed for a digital heritage management system. The framework produced for this digital tool will enable dynamic uses of a centralised database and aims to reduce the significant data loss. Following an in-depth analysis of this framework, it can be concluded that the implementation of the suggested digital tool would directly benefit BCH, and could ultimately be incorporated into a number of heritage related built form.

Design of light gauge steel roofing systems subject to high wind forces

Light gauge steel roofing systems made of thin profiled roof sheeting and battens are used commonly in residential, industrial and commercial buildings. Their critical design load combination is that due to wind uplift forces that occur during high wind events such as tropical cyclones and thunderstorms. However, premature local failures at their screw connections have been a concern for many decades since cyclone Tracy that devastated Darwin in 1974. Extensive research that followed cyclone Tracy on the pull-through and pull-out failures of roof sheeting to batten connections has significantly improved the safety of roof sheeting. However, this has made the batten to rafter/truss connection the weakest, and recent wind damage investigations have shown the failures of these connections and the resulting loss of entire roof structures. Therefore an experimental research program using both small scale and full scale air-box tests is currently under way to investigate the pull-through failures of thin-walled steel battens under high wind uplift forces. Tests have demonstrated that occurrence of pull-through failures in the bottom flanges of steel batttens and the need to develop simple test and design methods as a function of many critical parameters such as steel batten geometry, thickness and grade, screw fastener sizes and other fastening details. This paper presents the details of local failures that occur in light fauge roofing systems, a review of the current design and test methods for steel battens and associated short comings, and the test results obtained to date on pull-through failures of battens from small scale and full scale tests. Finally, it proposes the use of suitable small scale test methods that can be used by both researchers and manufacturers of such screw-fastened light gauge steel batten systems.

Systematic differences in membrane acyl composition associated with varying body mass in mammals occur in all phospholipid classes : an analysis of kidney and brain

The acyl composition of membrane phospholipids in kidney and brain of mammals of different body mass was examined. It was hypothesized that reduction in unsaturation index (number of double bonds per 100 acyl chains) of membrane phospholipids with increasing body mass in mammals would be made-up of similar changes in acyl composition across all phospholipid classes and that phospholipid class distribution would be regulated and similar in the same tissues of the different-sized mammals. The results of this study supported both hypotheses. Differences in membrane phospholipid acyl composition (i. e. decreased omega-3 fats, increased monounsaturated fats and decreased unsaturation index with increasing body size) were not restricted to any specific phospholipid molecule or to any specific phospholipid class but were observed in all phospholipid classes. With increase in body mass of mammals both monounsaturates and use of less unsaturated polyunsaturates increases at the expense of the long-chain highly unsaturated omega-3 and omega-6 polyunsaturates, producing decreases in membrane unsaturation. The distribution of membrane phospholipid classes was essentially the same in the different-sized mammals with phosphatidylcholine (PC) and phosphatidylethanolamine (PE) together constituting similar to 91% and similar to 88% of all phospholipids in kidney and brain, respectively. The lack of sphingomyelin in the mouse tissues and higher levels in larger mammals suggests an increased presence of membrane lipid rafts in larger mammals. The results of this study support the proposal that the physical properties of membranes are likely to be involved in changing metabolic rate.

On evaluation of robust autonomy for uninhabited vehicles and systems

This paper discusses a method to quantify robust autonomy of Uninhabited Vehicles and Systems (UVS) in aerospace, marine, or land applications. Based on mission-vehicle specific performance criteria, we define an system utility function that can be evaluated using simulation scenarios for an envelope of environmental conditions. The results of these evaluations are used to compute a figure of merit or measure for operational efectiveness (MOE). The procedure is then augmented to consider faults and the performance of mechanisms to handle these faulty operational modes. This leads to a measure of robust autonomy (MRA). The objective of the proposed figures of merit is to assist in decision making about vehicle performance and reliability at both vehicle development stage (using simulation models) and at certification stage (using hardware-in-the-loop testing). Performance indices based on dynamic and geometric tasks associated with vehicle manoeuvring problems are proposed, and an example of a two- dimensional y scenario is provided to illustrate the use of the proposed figures of merit.

Parameter estimation of thrust models of uninhabited airborne systems

This paper presents a method for the estimation of thrust model parameters of uninhabited airborne systems using specific flight tests. Particular tests are proposed to simplify the estimation. The proposed estimation method is based on three steps. The first step uses a regression model in which the thrust is assumed constant. This allows us to obtain biased initial estimates of the aerodynamic coeficients of the surge model. In the second step, a robust nonlinear state estimator is implemented using the initial parameter estimates, and the model is augmented by considering the thrust as random walk. In the third step, the estimate of the thrust obtained by the observer is used to fit a polynomial model in terms of the propeller advanced ratio. We consider a numerical example based on Monte-Carlo simulations to quantify the sampling properties of the proposed estimator given realistic flight conditions.

Effective channel state information (CSI) feedback for MIMO systems in wireless broadband communications

This research has analysed both reciprocity and feedback mechanisms in multi-antenna wireless systems. It has presented the basis of an effective CSI feedback mechanism that efficiently provides the transmitter with the minimum information to allow the accurate knowledge of a rapidly changing channel. The simulations have been conducted using MATLAB to measure the improvement when the channel is estimated at the receiver in a 2 X 2 multi-antenna system and compared to the case of perfect channel knowledge at the receiver.

Effect of joint mechanism on vehicle redirectional capability of water-filled road safety barrier systems

Portable water-filled barriers (PWFBs) are roadside appurtenances that prevent vehicles from penetrating into temporary construction zones on roadways. PWFBs are required to satisfy the strict regulations for vehicle re-direction in tests. However, many of the current PWFBs fail to re-direct the vehicle at high speeds due to the inability of the joints to provide appropriate stiffness. The joint mechanism hence plays a crucial role in the performance of a PWFB system at high speed impacts. This paper investigates the desired features of the joint mechanism in a PWFB system that can re-direct vehicles at high speeds, while limiting the lateral displacement to acceptable limits. A rectangular “wall” representative of a 30 m long barrier system was modeled and a novel method of joining adjacent road barriers was introduced through appropriate pin-joint connections. The impact response of the barrier “wall” and the vehicle was obtained and the results show that a rotational stiffness of 3000 kNm/rad at the joints seems to provide the desired features of the PWFB system to re-direct impacting vehicles and restrict the lateral deflection. These research findings will be useful to safety engineers and road barrier designers in developing a new generation of PWFBs for increased road safety.

Developing transactive memory systems : theoretical contributions from a social identity perspective

Transactive memory system (TMS) theory explains how expertise is recognized and coordinated in teams. Extending current TMS research from a group information-processing perspective, our article presents a theoretical model that considers TMS development from a social identity perspective. We discuss how two features of communication (quantity and quality) important to TMS development are linked to TMS through the group identification mechanism of a shared common team identity. Informed by social identity theory, we also differentiate between intragroup and intergroup contexts and outline how, in multidisciplinary teams, professional identification and perceived equality of status among professional subgroups have a role to play in TMS development. We provide a theoretical discussion of future research directions aimed at testing and extending our model.

Activation of matrix metalloproteinase-2 (MMP-2) by membrane type 1 matrix metalloproteinase through an artificial receptor for ProMMP-2 generates active MMP-2

The suggested model for pro-matrix metalloproteinase-2 (proMMP-2) activation by membrane type 1 MMP (MT1-MMP) implicates the complex between MT1-MMP and tissue inhibitor of MMP-2 (TIMP-2) as a receptor for proMMP-2. To dissect this model and assess the pathologic significance of MMP-2 activation, an artificial receptor for proMMP-2 was created by replacing the signal sequence of TIMP-2 with cytoplasmic/transmembrane domain of type II transmembrane mosaic serine protease (MSP-T2). Unlike TIMP-2, MSP-T2 served as a receptor for proMMP-2 without inhibiting MT1-MMP, and generated TIMP-2-free active MMP-2 even at a low level of MT1-MMP. Thus, MSP-T2 did not affect direct cleavage of the substrate testican-1 by MT1-MMP, whereas TIMP-2 inhibited it even at the level that stimulates proMMP-2 processing. Expression of MSP-T2 in HT1080 cells enhanced MMP-2 activation by endogenous MT1-MMP and caused intensive hydrolysis of collagen gel. Expression of MSP-T2 in U87 glioma cells, which express a trace level of endogenous MT1-MMP, induced MMP-2 activation and enhanced cell-associated protease activity, activation of extracellular signal-regulated kinase, and metastatic ability into chick embryonic liver and lung. MT1-MMP can exert both maximum MMP-2 activation and direct cleavage of substrates with MSP-T2, which cannot be achieved with TIMP-2. These results suggest that MMP-2 activation by MT1-MMP potentially amplifies protease activity, and combination with direct cleavage of substrate causes effective tissue degradation and enhances tumor invasion and metastasis, which highlights the complex role of TIMP-2. MSP-T2 is a unique tool to analyze physiologic and pathologic roles of MMP-2 and MT1-MMP in comparison with TIMP-2.

Tyrosine phosphorylation mediates ConA-induced membrane type 1-matrix metalloproteinase expression and matrix metalloproteinase-2 activation in MDA-MB-231 human breast carcinoma cells

ConA-induced cell surface activation of pro-matrix metalloproteinase-2 (pro-MMP-2) by MDA-MB-231 human breast cancer cells is apparently mediated by up-regulation of membrane type 1 MMP (MT1-MMP) through transcriptional and posttranscriptional mechanisms. Here, we have explored the respective roles of cell surface clustering and protein tyrosine phosphorylation in the ConA- induction effects. Treatment with succinyl-ConA, a variant lacking significant clusterability, partially stimulated MT1-MMP mRNA and protein levels but did not induce MMP-2 activation, suggesting that clustering contributes to the transcriptional regulation by ConA but appears to be critical for the nontranscriptional component. We further found that genistein, an inhibitor of tyrosine phosphorylation, blocked ConA-induced pro-MMP-2 activation and ConA-induced MT1-MMP mRNA level in a dose-dependent manner, implicating tyrosine phosphorylation in the transcriptional aspect. This was confirmed by the dose-dependent promotion of pro-MMP-2 activation by sodium orthovanadate in the presence of suboptimal concentrations of ConA (7.5 μg/ml), with optimal effects seen at 25 μg/g orthovanadate. Genistein did not inhibit the ConA potentiation of MMP-2 activation in MCF-7 cells, in which transfected MT1-MMP is driven by a heterologous promoter, supporting the major implication of phosphotyrosine in the transcriptional component of ConA regulation. These data describe a major signaling event upstream of MT1- MMP induction by ConA and set the stage for further analysis of the nontranscriptional component.

Complex regulation of membrane-type matrix metalloproteinase expression and matrix metalloproteinase-2 activation by concanavalin A in MDA-MB-231 human breast cancer cells

Matrix Metalloproteinase-2 (MMP-2) is secreted as a zymogen, the activation of which has been associated with metastatic progression in human breast cancer (HBC). Concanavalin A (Con A) has been found to induce activation of MMP-2 in invasive HBC cell lines. Con A effects on the expression of mRNA for membrane-type matrix metalloproteinase (MT-MMP), a newly described cell surface-associated MMP, showed a close temporal correlation with induction of MMP-2 activation. It is surprising that MT-MMP mRNA is constitutively present in the uninduced MDA-MB-231 cell, despite a lack of MMP-2 activation. We have used actinomycin D to demonstrate a partial requirement for de novo gene expression in the induction of MMP-2 activation by Con A in MDA-MB-231 HBC cells. Furthermore, this transcriptional response to Con A appeared to require the continued presence of Con A for its manifestation. The nontranscriptional component of the Con A induction manifests rapidly, is quite substantial, and persists strongly despite actinomycin D abrogation of both constitutive and Con A-induced MT-MMP. Cycloheximide analyses suggest that protein synthesis may be involved in this rapid transcription-independent response. These studies suggest that Con A induces MMP-2-activation in part by up-regulation of MT-MMP expression but has a more complicated mode of action, involving additional nontranscriptional effects, which apparently require protein synthesis.