Reasoning by analogy in the generation of domain acceptable ontology refinements

Refinements generated for a knowledge base often involve the learning of new knowledge to be added to or replace existing parts of a knowledge base. However, the justifiability of the refinement in the context of the domain (domain acceptability) is often overlooked. The work reported in this paper describes an approach to the generation of domain acceptable refinements for incomplete and incorrect ontology individuals through reasoning by analogy using existing domain knowledge. To illustrate this approach, individuals for refinement are identified during the application of a knowledge-based system, EIRA; when EIRA fails in its task, areas of its domain ontology are identified as requiring refinement. Refinements are subsequently generated by identifying and reasoning with similar individuals from the domain ontology. To evaluate this approach EIRA has been applied to the Intensive Care Unit (ICU) domain. An evaluation (by a domain expert) of the refinements generated by EIRA has indicated that this approach successfully produces domain acceptable refinements

Capture and Maintenance of Constraints in Engineering Design

The thesis investigates two domains, initially the kite domain and then part of a more demanding Rolls-Royce domain (jet engine design). Four main types of refinement rules that use the associated application conditions and domain ontology to support the maintenance of constraints are proposed. The refinement rules have been implemented in ConEditor and the extended system is known as ConEditor+. With the help of ConEditor+, the thesis demonstrates that an explicit representation of application conditions together with the corresponding constraints and the domain ontology can be used to detect inconsistencies, redundancy, subsumption and fusion, reduce the number of spurious inconsistencies and prevent the identification of inappropriate refinements of redundancy, subsumption and fusion between pairs of constraints.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Redesign Support Framework for Complex Technical Processes

Els processos industrials requereixen avaluacions periòdiques per a verificar la seva correcta operació en termes tècnics i econòmics. Aquestes avaluacions són necessàries a causa de els canvis en els mercats i en la legislació ambiental i de seguretat. Per a satisfer aquestes demandes és necessari investigar les alternatives dels processos que permetin l'ús òptim dels recursos existents amb la mínima inversió econòmica possible. Aquesta tasca es coneix com redisseny, que és un procediment per a determinar possibles canvis en un procés existent per a millorar-lo pel en alguna mètrica, tal com econòmica, ambiental, de seguretat, etc. En aquesta tesi es proposa un marc d'ajuda al redisseny per a processos tècnics. Aquest marc fa ús d'una representació jeràrquica de models múltiples del procés que es re dissenyarà en conjunció amb un motor que raonament basat en casos per a ajudar a decidir quins elements del procés han de ser modificats. El marc consisteix en quatre etapes principals: adquisició de la descripció del disseny, identificació de candidats, generació d'alternatives, i adaptació i avaluació d'alternatives.El procés original es modela jeràrquicament emprant conceptes de mitjans-fins i parts-tot. Així el coneixement sobre el comportament, l'estructura, la funció i l'objectiu de cadascuna de les parts del procés es genera i s'emmagatzema automàticament. Donat les noves especificacions o requisits que el procés ha de satisfer, el sistema troba les parts del procés que ha de ser redissenyades. S'utilitza una llibreria de casos per a obtenir seccions alternatives del procés que es puguin adaptar per a substituir parts del procés original. Per tant, el marc proposat permet modelar el procés, identificar els components de procés viables a redissenyar, obtenir components alternatius i finalment adaptar aquests components alternatius en el procés original. Aquest procediment es pot veure com activitat d'enginyeria inversa on es generen models abstractes en diversos nivells a partir d'una descripció detallada d'un procés existent per a reduir la seva complexitat. El marc ha estat implementat i provat en el domini d'Enginyeria Química.Los procesos industriales requieren evaluaciones periódicas para verificar su correcta operación en términos técnicos y económicos. Estas evaluaciones son necesarias debido a los cambios en los mercados y en la legislación ambiental y de seguridad. Para satisfacer estas demandas es necesario investigar las alternativas de los procesos que permitan el uso óptimo de los recursos existentes con la mínima inversión económica posible. Esta tarea se conoce como rediseño, que es un procedimiento para determinar posibles cambios en un proceso existente para mejorarlo con respecto a alguna métrica, tal como económica, ambiental, de seguridad, etc.En esta tesis se propone un marco de ayuda al rediseño para procesos técnicos. Este marco emplea una representación jerárquica de modelos múltiples del proceso que se rediseñará en conjunción con un motor que razonamiento basado en casos para ayudar a decidir qué elementos del proceso deben ser modificados. El marco consiste en cuatro etapas principales: adquisición de la descripción del diseño, identificación de candidatos, generación de alternativas, y adaptación y evaluación de alternativas. El proceso original se modela jerárquicamente empleando conceptos de medios-fines y partes-todo. Así el conocimiento sobre el comportamiento, la estructura, la función y el objetivo de cada una de las parte del proceso se genera y se almacena automáticamente. Dado las nuevas especificaciones o requisitos que el proceso debe satisfacer, el sistema encuentra las partes del proceso que debe ser rediseñadas. Se utiliza una librería de casos para obtener secciones alternativas del proceso que se puedan adaptar para sustituir partes del proceso original. Por lo tanto, el marco propuesto permite modelar el proceso, identificar los componentes de proceso viables a rediseñar, obtener componentes alternativos y finalmente adaptar estos componentes alternativos en el proceso original. Este procedimiento se puede ver como actividad de ingeniería inversa donde se generan modelos abstractos en diversos niveles a partir de una descripción detallada de un proceso existente para reducir su complejidad. El marco ha sido implementado y probado en el dominio de Ingeniería Química.Industrial processes require periodic evaluations to verify their correct operation, both in technical and economical terms. These evaluations are necessary due to changes in the markets, and in safety and environmental legislation. In order to satisfy these demands it is necessary to investigate process alternatives that allow the optimal use of existing resources with the minimum possible investment. This task is known as redesign, which is a procedure to determine possible changes to an existing process in order to improve it with respect to some metric, such as economical, environmental, safety, etc.A redesign support framework for technical processes is proposed in this thesis. This framework employs a multiple-model hierarchical representation of the process to be redesigned together with a case-based reasoning engine that helps to decide which elements of the process should be modified. The framework consists of four main stages: acquisition of the design description, identification of candidates, generation of alternatives, and adaptation and evaluation of alternatives.The original process is modelled hierarchically exploiting means-end and part-whole concepts, and thus knowledge about the behaviour, structure, function and intention of each part of the process is automatically generated and stored. Given the new specifications or requirements that the process must fulfil, the system finds the parts of the process which must be redesigned and a case library is used to obtain alternative process sections which can be adapted to substitute parts of the original process. Therefore, the proposed framework allows to model the process, to identify process components suitable for redesign, to obtain alternative components, and finally, to adapt these components into the original process. This procedure can be seen as a reverse engineering activity where abstract models at different levels are generated from a detailed description of an existing process to reduce its complexity. The framework has been implemented and tested on the Chemical Engineering domain.Postprint (published version

Information and Design: Book Symposium on Luciano Floridi’s The Logic of Information

Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – Floridi’s PI, including this latest publication, is of interest to LIS scholars, and much insight can be gained by exploring this connection. It seems also that LIS has the potential to contribute to PI’s further development in some respects. Research implications – Floridi’s PI work is technical philosophy for which many LIS scholars do not have the training or patience to engage with, yet doing so is rewarding. This suggests a role for translational work between philosophy and LIS. Originality/value – The book symposium format, not yet seen in LIS, provides forum for sustained, multifaceted and generative dialogue around ideas

Analogical Matching Using Device-Centric and Environment-Centric Representations of Function

Design is hard and needs to be supported by software. One of the ways software can support designers is by providing analogical reasoning. To make analogical reasoning work well, the software makers need to know how to create a knowledge representation that will facilitate the kind of analogies that the designers want. This thesis will inform software makers by experimenting with two kinds of knowledge representations, called device-centric (DC) and environment-centric (EC), and to try to determine the relative benefits of using either one of them for analogical matching. We performed computational experiments, using Structure Mapping Engine for matching, to determine the quantity and quality of analogical matches that are produced when the representation is varied. We conducted a limited human experiment, using questionnaires and repertory grids, to determine if any of the computational results were novel, and to determine if the human similarity ratings between devices correlated with the computer results. We show that design software should use DC representations to produce a few focused matches which have high average weight. It should use EC representations to produce many matches some of high weight and some of low weight. Based on our human experiment, design software can use either DC or EC representations to produce novel matches. Our experiments also show that human matches correlate most strongly with a combined DC and EC representation and that their similarity reasons are more EC than DC. This suggests that designers tend to think more in EC terms than in DC terms