TYPICAL: A Knowledge Representation System for Automated Discovery and Inference

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are generated by an extensible combinator language from either existing types or primitive terminals. These generated types are located in a lattice of predicate subsumption which captures necessary entailment between types; if satisfaction of one type necessarily entail satisfaction of another, the first type is below the second in the lattice. The inferences make by TYPICAL computes the position of the new definition within the lattice and establishes it there. This information is then accessible to both later inferences and other programs (reasoning systems, code analyzers, etc) which may need the information for their own purposes. TYPICAL was developed as a representation language for the discovery program Cyrano; particular examples are given of TYPICAL's application in the Cyrano program.

Knowledge based strategy: appraising knowledge creation capability in organisations.

This thesis sets out a journey which culminates in the development of an analytical framework, the "Organisational Creativity Appraisal" which is intended to assist organisations in evaluating their ability to support and develop creativity. This framework is derived from the common thread of the thesis, which is drawn from a range of research and consultancy projects, and the resulting published work, spanning an eight year period, centring on the role of knowledge and creativity in the strategy and performance of organisations. The literature of strategy, learning and creativity increasingly recognises that organisational context is critical to the formation of strategy, to the content of the strategy and to its successful implementation. The thesis explores the ways in which learning and creativity, the basis of knowledge-based strategy, are influenced by organisational context or social architecture. The research explores the ways in which managers can gain greater understanding of the social architectures of their organisations so as to assist in supporting their strategic development. The central core of the thesis is the nine published papers upon which it is based but it also derives from the broader perspective of my published work in the form of both articles and books. The thesis further draws upon my own experience as a leader and manager in the context of university business schools and as a consultant, researcher and developer in the context of a range of international private and public sector organisations. The work is based upon a premise that theory should inform practice and that practice should inform theory. The "Organisational Creativity Appraisal" framework is informed by both theory and practice and is intended to assist in management practice. There is no assumption that management research can arrive at prescriptions for managerial and organisational behaviour. On the other hand management research can usefully inform management and organisational behaviour, as long as it is employed in a critically reflective manner. The "Organisational Creativity Appraisal" presented in this work should be regarded as the framework in its present form which is likely to develop further as my research progresses in the future.

Trade & Cap: A Customer-Managed, Market-Based System for Trading Bandwidth Allowances at a Shared Link

We propose Trade & Cap (T&C), an economics-inspired mechanism that incentivizes users to voluntarily coordinate their consumption of the bandwidth of a shared resource (e.g., a DSLAM link) so as to converge on what they perceive to be an equitable allocation, while ensuring efficient resource utilization. Under T&C, rather than acting as an arbiter, an Internet Service Provider (ISP) acts as an enforcer of what the community of rational users sharing the resource decides is a fair allocation of that resource. Our T&C mechanism proceeds in two phases. In the first, software agents acting on behalf of users engage in a strategic trading game in which each user agent selfishly chooses bandwidth slots to reserve in support of primary, interactive network usage activities. In the second phase, each user is allowed to acquire additional bandwidth slots in support of presumed open-ended need for fluid bandwidth, catering to secondary applications. The acquisition of this fluid bandwidth is subject to the remaining "buying power" of each user and by prevalent "market prices" – both of which are determined by the results of the trading phase and a desirable aggregate cap on link utilization. We present analytical results that establish the underpinnings of our T&C mechanism, including game-theoretic results pertaining to the trading phase, and pricing of fluid bandwidth allocation pertaining to the capping phase. Using real network traces, we present extensive experimental results that demonstrate the benefits of our scheme, which we also show to be practical by highlighting the salient features of an efficient implementation architecture.

A knowledge management system to optimise comfort throughout the building life-cycle

Comfort is, in essence, satisfaction with the environment, and with respect to the indoor environment it is primarily satisfaction with the thermal conditions and air quality. Improving comfort has social, health and economic benefits, and is more financially significant than any other building cost. Despite this, comfort is not strictly managed throughout the building lifecycle. This is mainly due to the lack of an appropriate system to adequately manage comfort knowledge through the construction process into operation. Previous proposals to improve knowledge management have not been successfully adopted by the construction industry. To address this, the BabySteps approach was devised. BabySteps is an approach, proposed by this research, which states that for an innovation to be adopted into the industry it must be implementable through a number of small changes. This research proposes that improving the management of comfort knowledge will improve comfort. ComMet is a new methodology proposed by this research that manages comfort knowledge. It enables comfort knowledge to be captured, stored and accessed throughout the building life-cycle and so allowing it to be re-used in future stages of the building project and in future projects. It does this using the following: Comfort Performances – These are simplified numerical representations of the comfort of the indoor environment. Comfort Performances quantify the comfort at each stage of the building life-cycle using standard comfort metrics. Comfort Ratings - These are a means of classifying the comfort conditions of the indoor environment according to an appropriate standard. Comfort Ratings are generated by comparing different Comfort Performances. Comfort Ratings provide additional information relating to the comfort conditions of the indoor environment, which is not readily determined from the individual Comfort Performances. Comfort History – This is a continuous descriptive record of the comfort throughout the project, with a focus on documenting the items and activities, proposed and implemented, which could potentially affect comfort. Each aspect of the Comfort History is linked to the relevant comfort entity it references. These three components create a comprehensive record of the comfort throughout the building lifecycle. They are then stored and made available in a common format in a central location which allows them to be re-used ad infinitum. The LCMS System was developed to implement the ComMet methodology. It uses current and emerging technologies to capture, store and allow easy access to comfort knowledge as specified by ComMet. LCMS is an IT system that is a combination of the following six components: Building Standards; Modelling & Simulation; Physical Measurement through the specially developed Egg-Whisk (Wireless Sensor) Network; Data Manipulation; Information Recording; Knowledge Storage and Access.Results from a test case application of the LCMS system - an existing office room at a research facility - highlighted that while some aspects of comfort were being maintained, the building’s environment was not in compliance with the acceptable levels as stipulated by the relevant building standards. The implementation of ComMet, through LCMS, demonstrates how comfort, typically only considered during early design, can be measured and managed appropriately through systematic application of the methodology as means of ensuring a healthy internal environment in the building.

An entirely cell-based system to generate single-chain antibodies against cell surface receptors.

The generation of recombinant antibodies (Abs) using phage display is a proven method to obtain a large variety of Abs that bind with high affinity to a given antigen. Traditionally, the generation of single-chain Abs depends on the use of recombinant proteins in several stages of the procedure. This can be a problem, especially in the case of cell-surface receptors, because Abs generated and selected against recombinant proteins may not bind the same protein expressed on a cell surface in its native form and because the expression of some receptors as recombinant proteins is problematic. To overcome these difficulties, we developed a strategy to generate single-chain Abs that does not require the use of recombinant protein at any stage of the procedure. In this strategy, stably transfected cells are used for the immunization of mice, measuring Ab responses to immunization, panning the phage library, high-throughput screening of arrayed phage clones, and characterization of recombinant single-chain variable regions. This strategy was used to generate a panel of single-chain Abs specific for the innate immunity receptor Toll-like receptor 2. Once generated, individual single-chain variable regions were subcloned into an expression vector allowing the production of recombinant Abs in insect cells, thus avoiding the contamination of recombinant Abs with microbial products. This cell-based system efficiently generates Abs that bind to native molecules on the cell surface, bypasses the requirement of recombinant protein production, and avoids risks of microbial component contamination.

SMARTFIRE: an integrated computational fluid dynamics code and expert system for fire field modelling

SMARTFIRE, an open architecture integrated CFD code and knowledge based system attempts to make fire field modeling accessible to non-experts in Computational Fluid Dynamics (CFD) such as fire fighters, architects and fire safety engineers. This is achieved by embedding expert knowledge into CFD software. This enables the 'black-art' associated with the CFD analysis such as selection of solvers, relaxation parameters, convergence criteria, time steps, grid and boundary condition specification to be guided by expert advice from the software. The user is however given the option of overriding these decisions, thus retaining ultimate control. SMARTFIRE also makes use of recent developments in CFD technology such as unstructured meshes and group solvers in order to make the CFD analysis more efficient. This paper describes the incorporation within SMARTFIRE of the expert fire modeling knowledge required for automatic problem setup and mesh generation as well as the concept and use of group solvers for automatic and manual dynamic control of the CFD code.