Computing explanations for interactive constraint-based systems

Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.

The effect of variability in the powder/liquid ratio on the strength of zinc phosphate cement

Aim: To investigate (a) variability in powder/liquid proportioning (b) effect of the extremes of any such variability on diametral tensile strength (DTS), in a commercial zinc phosphate cement. Statistical analyses (a = 0.05) were by Student's t-test in the case of powder/liquid ratio and one-way ANOVA and Tukey HSD for for pair-wise comparisons of mean DTS. The Null hypotheses were that (a) the powder-liquid mixing ratios observed would not differ from the manufacturer's recommended ratio (b) DTS of the set cement samples using the extreme powder/liquid ratios observed would not differ from those made using the manufacturer's recommended ratio. Methodology: Thirty-four undergraduate dental students dispensed the components according to the manufacturer's instructions. The maximum and minimum powder/liquid ratios (m/m), together with the manufacturer's recommended ratio (m/m), were used to prepare cylindrical samples (n = 3 x 34) for DTS testing. Results: Powder/liquid ratios ranged from 2.386 to 1.018.The mean ratio (1.644 (341) m/m) was not significantly different from the manufacturer's recommended value of 1.718 (p=0.189). DTS values for the maximum and minimum ratios (m/m), respectively, were both significantly different from each other (p<0.001) and from the mean value obtained from the manufacturer's recommended ratio (m/m) (p<0.001). Conclusions: Variability exists in powder/liquid ratio (m/m) for hand dispensed zinc phosphate cement. This variability can affect the DTS of the set material.

Innovation in Ireland's 'high-technology' businesses: the roles of interaction and proximity

This thesis explores the drivers of innovation in Irish high-technology businesses and estimates, in particular, the relative importance of interaction with external businesses and other organisations as a source of knowledge for innovation at the business-level. The thesis also examines the extent to which interaction for innovation in these businesses occurs on a local or regional basis. The study uses original survey data of 184 businesses in the Chemical and Pharmaceutical, Information and Communications Technology and Engineering and Electronic Devices sectors. The study considers both product and process innovation at the level of the business and develops new measures of innovation output. For the first time in an Irish study, the incidence and frequency of interaction is measured for each of a range of agents, other group companies, suppliers, customers, competitors, academic-based researchers and innovation-supporting agencies. The geographic proximity between the business and each of the most important of each of each category of agent is measured using average one-way driving distance, which is the first time such a measure has been used in an Irish study of innovation. Utilising econometric estimation techniques, it is found that interaction with customers, suppliers and innovation-supporting agencies is positively associated with innovation in Irish high-technology businesses. Surprisingly, however, interaction with academic-based researchers is found to have a negative effect on innovation output at the business-level. While interaction generally emerges as a positive influence on business innovation, there is little evidence that this occurs at a local or regional level. Furthermore, there is little support for the presence of localisation economies for high-technology sectors, though some tentative evidence of urbanisation economies. This has important implications for Irish regional, enterprise and innovation policy, which has emphasised the development of clusters of internationally competitive businesses. The thesis brings into question the suitability of a cluster-driven network based approach to business development and competitiveness in an Irish context.

Hazard and early warning analysis based on domain specific modeling technologies

An aim of proactive risk management strategies is the timely identification of safety related risks. One way to achieve this is by deploying early warning systems. Early warning systems aim to provide useful information on the presence of potential threats to the system, the level of vulnerability of a system, or both of these, in a timely manner. This information can then be used to take proactive safety measures. The United Nation’s has recommended that any early warning system need to have four essential elements, which are the risk knowledge element, a monitoring and warning service, dissemination and communication and a response capability. This research deals with the risk knowledge element of an early warning system. The risk knowledge element of an early warning system contains models of possible accident scenarios. These accident scenarios are created by using hazard analysis techniques, which are categorised as traditional and contemporary. The assumption in traditional hazard analysis techniques is that accidents are occurred due to a sequence of events, whereas, the assumption of contemporary hazard analysis techniques is that safety is an emergent property of complex systems. The problem is that there is no availability of a software editor which can be used by analysts to create models of accident scenarios based on contemporary hazard analysis techniques and generate computer code that represent the models at the same time. This research aims to enhance the process of generating computer code based on graphical models that associate early warning signs and causal factors to a hazard, based on contemporary hazard analyses techniques. For this purpose, the thesis investigates the use of Domain Specific Modeling (DSM) technologies. The contributions of this thesis is the design and development of a set of three graphical Domain Specific Modeling languages (DSML)s, that when combined together, provide all of the necessary constructs that will enable safety experts and practitioners to conduct hazard and early warning analysis based on a contemporary hazard analysis approach. The languages represent those elements and relations necessary to define accident scenarios and their associated early warning signs. The three DSMLs were incorporated in to a prototype software editor that enables safety scientists and practitioners to create and edit hazard and early warning analysis models in a usable manner and as a result to generate executable code automatically. This research proves that the DSM technologies can be used to develop a set of three DSMLs which can allow user to conduct hazard and early warning analysis in more usable manner. Furthermore, the three DSMLs and their dedicated editor, which are presented in this thesis, may provide a significant enhancement to the process of creating the risk knowledge element of computer based early warning systems.

Broadening public input into science policy decision making: can the democratic model for science communication influence scientific, innovation and technological trajectories?

This PhD thesis investigates the potential use of science communication models to engage a broader swathe of actors in decision making in relation to scientific and technological innovation in order to address possible democratic deficits in science and technology policy-making. A four-pronged research approach has been employed to examine different representations of the public(s) and different modes of engagement. The first case study investigates whether patient-groups could represent an alternative needs-driven approach to biomedical and health sciences R & D. This is followed by enquiry into the potential for Science Shops to represent a bottom-up approach to promote research and development of local relevance. The barriers and opportunities for the involvement of scientific researchers in science communication are next investigated via a national survey which is comparable to a similar survey conducted in the UK. The final case study investigates to what extent opposition or support regarding nanotechnology (as an emerging technology) is reflected amongst the YouTube user community and the findings are considered in the context of how support or opposition to new or emerging technologies can be addressed using conflict resolution based approaches to manage potential conflict trajectories. The research indicates that the majority of communication exercises of relevance to science policy and planning take the form of a one-way flow of information with little or no facility for public feedback. This thesis proposes that a more bottom-up approach to research and technology would help broaden acceptability and accountability for decisions made relating to new or existing technological trajectories. This approach could be better integrated with and complementary to government, institutional, e.g. university, and research funding agencies activities and help ensure that public needs and issues are better addressed directly by the research community. Such approaches could also facilitate empowerment of societal stakeholders regarding scientific literacy and agenda-setting. One-way information relays could be adapted to facilitate feedback from representative groups e.g. Non-governmental organisations or Civil Society Organisations (such as patient groups) in order to enhance the functioning and socio-economic relevance of knowledge-based societies to the betterment of human livelihoods.