Un sistema de calidad de datos científicos para el instrumento GIADA dentro de la misión espacial Rosetta

• Autores: Rafael Morales Muñoz
• Directores de la Tesis: Olga Pons Capote (codir. tes.) , Julio Rodríguez Gómez (codir. tes.)
• Lectura: En la Universidad de Granada ( España ) en 2015
• Idioma: español
• Tribunal Calificador de la Tesis: Juan Miguel Medina Rodríguez (presid.) , Nicolás Marín Ruiz (secret.) , José Juan López Moreno (voc.) , Antonio C, Lopez Jimenez (voc.) , Joaquín Pizarro Junquera (voc.)
• Enlaces
  • Tesis en acceso abierto en: DIGIBUG
• Resumen

  • 1 Introducción Los cometas son, probablemente, los cuerpos celestes que más han cautivado a la humanidad desde la más remota antigüedad. El gran avance experimentado en el estudio de estos cuerpos durante los últimos treinta 30 años, se debe en gran parte, a la utilización de instrumentación a bordo de sondas espaciales. Una de estas sondas, es la que conforma la misión Rosetta de la Agencia Espacial Europea (ESA).

    Rosetta toma su nombre de la piedra basáltica hallada en 1799 por el soldado Pierre-François Bouchard durante la campaña francesa en Egipto. Esta piedra fue el elemento clave para poder descifrar la escritura jeroglífica egipcia, de la misma manera, se espera que Rosetta sea la llave que permita abrir la puerta de los ¿misterios¿ que entrañan los cometas. Las actuales hipótesis sobre las primeras etapas de la evolución del Sistema Solar, identifican a los cometas como restos de la formación de nuestro sistema planetario. Los cometas mantendrían un registro de las actividades físicas y químicas que acontecieron en estas etapas iniciales, dado que los únicos procesos que habrían alterado su composición serían los derivados de la radiación solar. En definitiva, el material cometario contendría una información única sobre las fuentes que contribuyeron a la nebulosa proto-solar, así como sobre los procesos de condensación que dieron a lugar a la formación de planetesimales y posteriormente a los planetas, incluyendo la Tierra, por lo que son objetivos de estudio de primer orden.

    El Instituto de Astrofísica de Andalucía (IAA) del Consejo Superior de Investigaciones Científicas (CSIC) ha participado en el diseño y la construcción de dos de los instrumentos embarcados en el orbital de Rosetta: OSIRIS (Optical, Spectroscopic and InfraRed Imaging System) y GIADA (Grain Impact Analyser and Dust Accumulator). La contribución del IAA al proyecto Rosetta, se conjuga en dos grandes vertientes, una a nivel científico, y otra a nivel de ingeniería, en concreto en la construcción de parte de los sistemas electrónicos (GIADA y OSIRIS) y de la totalidad del software embarcado (GIADA).

    Por otro lado, el área de investigación desarrollada en los últimos veinte años en el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Granada, dedicado al tratamiento de la información imprecisa (difusa) y deductiva, ha generado una evolución de modelos de base de datos que han ido heredando y acrecentando sus capacidades de forma progresiva.

    Esta memoria une estos campos de estudio, a priori alejados entre sí: el análisis de los datos científicos proporcionados por el cometa y los modelos de bases de datos difusos deductivos. Para ello se ha diseñado y construido el programa de computador GDB-GUI. Este programa permite almacenar, manipular y explotar los datos y el conocimiento adquiridos durante la construcción de GIADA, utilizando para ello una adaptación del modelo de base de datos difuso deductivo.

    2 Motivación y objetivos Los datos del cometa 67P/Churyumov-Gerasimenko, obtenidos in situ por la sonda espacial Rosetta y sus instrumentos, son una fuente extremadamente valiosa de información, no sólo por su repercusión científica sino también por el enorme esfuerzo internacional humano y económico que ha sido necesario para su obtención. Cualquier herramienta que permita analizar, explotar y validar estos datos, se convierte en un motivo loable y necesario que pone en valor el trabajo realizado durante la última década por ingenieros, científicos e instituciones.

    El objetivo principal de esta memoria, consiste en proporcionar una herramienta que permita representar el conocimiento experto acerca del instrumento GIADA. Esta herramienta será aplicada sobre los datos científicos obtenidos, permitiendo verificar y calificar los resultados, a fin de profundizar en el estudio de la dinámica del polvo cometario. Para realizar esta tarea, se han utilizado tres elementos principales: el software de GIADA, el modelo de base de datos y la interfaz GDB-GUI.

    Como primer elemento, se encuentra el trabajo realizado por el autor de esta memoria, centrado en el desarrollo de software del instrumento GIADA. Los detalles precisos de cómo se realiza la detección de partículas de polvo, servirán como fuente de conocimiento experto, que será representado mediante el modelo de base de datos y se utilizará posteriormente en la validación de GDB-GUI.

    El segundo elemento lo constituye un modelo de base de datos difuso deductivo. Este modelo teórico y su adaptación a las necesidades para la explotación de datos científicos de GIADA, constituye la herramienta de representación y explotación de todo el conocimiento experto de GIADA.

    La pieza que unifica, centraliza y hace accesible a un usuario los dos elementos anteriores es GDB-GUI, una interfaz para el modelo de base de datos difuso deductivo. Permite importar los datos de partículas cometaria (reales, simuladas o de calibración), expresar el conocimiento experto utilizando la reglas definidas por el modelo y crear conjuntos de datos de entrada controlados, que serán posteriormente utilizados en la validación de dicho conocimiento. Una vez almacenada la información, podrá ser consultada, permitiendo obtener nuevos datos. Tanto la consulta como el almacenamiento pueden llevarse a cabo en términos tanto difusos como precisos. Los resultados obtenidos, en el caso de incorporar componentes difusos, serán calificados numéricamente con un determinado grado de validez o ajuste, calculado a partir de las directrices del modelo.

    3 Conclusión El objetivo principal de esta memoria era disponer de una herramienta capaz de representar y explotar los datos y el conocimiento experto procedentes del instrumento GIADA, con el fin de profundizar en el estudio de la dinámica del polvo cometario.

    Se ha presentado GDB-GUI, un programa de computador multiusuario y multiplataforma que implementa una interfaz al modelo de base de datos GDB. Este modelo es una adaptación del modelo integrado de una base de datos relacional difusa deductiva, heredero de una evolución de modelos de bases de datos relacionales, lógicas y difusas.

    Para verificar GDB-GUI y el propio modelo, se ha utilizado conocimiento experto, en concreto, el del sistema de detección de partículas implementado por el software de GIADA. Se ha construido un conjunto de reglas relativas a la detección de eventos GDS+IS (los tipos de eventos con mayor interés científico), se ha calculado el resultado y se ha contrastado con el obtenido por GDB-GUI.

    Las reglas creadas han permitido identificar falsos positivos en la detección de eventos GDS+IS, revelar patrones de rebotes en el IS, así como descubrir y evaluar nueva información acerca de eventos GDS+IS no explícitamente identificados. Más aún, la combinación de ambas reglas ha establecido un procedimiento para reparar eventos GDS+IS detectados de forma defectuosa, que, inicialmente, deberían ser desechados. Se puede apreciar, por tanto, no sólo la capacidad de la herramienta para representar y manejar información, sino cómo su uso con conocimiento experto preciso ofrece resultados científicos relevantes.

    Las aplicaciones de la herramienta alcanzan otros campos de trabajo. Se puede utilizar como repositorio del conocimiento experto en cualquier área de trabajo de GIADA, ya que lo centraliza, lo hace accesible a usuarios dispersos geográficamente y mantiene su trazabilidad. También ayuda a la interpretación de los datos reales del comenta, a los obtenidos en la fase de calibración del instrumento e incluso a los datos descartados. El simulador de eventos, inicialmente diseñado para la verificación de consultas, posee el potencial necesario para ser utilizado en la simulación de flujos reales de partículas y producir conjuntos de datos diseñados para validar otras herramientas (distintas a GDB-GUI) dentro de la cadena de datos del instrumento.

    GDB-GUI ofrece a un usuario una interfaz capaz de realizar consultas clásicas a una base de datos relacional o bien crear reglas con componentes difusos, todo ello de forma visual y sin necesidad de conocer un lenguaje de consulta específico.

    La adaptación de GDB a otro sistema/instrumento es sencilla y requiere redefinir cuatro ficheros de texto, siendo uno de ellos opcional.

    El tratamiento de información difusa y deductiva que incorpora el modelo de base de datos, será especialmente útil en el análisis de los datos procedentes de GIADA. Las características propias del sistema de detección del instrumento, así como la degradación de los sensores durante una década de travesía espacial, implica que parte del conocimiento acerca del instrumento tienda hacia conceptos imprecisos: ¿eventos cercanos¿, ¿partículas lentas¿, ¿sensibilidad reducida¿. Las capacidades deductivas del sistema presentado, permitirán aportar nueva información sobre los datos ya procesados, con los que se podrá reevaluar los resultados obtenidos.

    4 Bibliografía [Aho86] A. V. Aho, R. Sethi and J. D. Ullman. ¿Compilers: principles, techniques and tools¿. Addison-Wesley, 1986.

    [Aho88] A. V. Aho, J. E. Hopcroft and J. D. Ullman. ¿Estructuras de datos y algoritmos¿. Addison-Wesley, 1988.

    [Alt15] K. Altwegg, H. Balsiger, A. Bar-Nun et al. ¿67P/Churyumov-Gerasimenko, a Jupiter family comet with a high D/H ratio¿. Science 23 January 2015. DOI:10.1126/science.1261952 [Bar93] A. Bar-Num et al. ¿Rosetta: comet rendezvous mission¿. ESA study report, Noordwijk, the Netherlands, 1993.

    [Bar92] R. Barker. ¿CASE*METHOD: Entity relationship modeling¿. Addison Wesley, 1992.

    [Bie02] J. Biele. ¿The experiments on board Rosetta Lander¿. Earth, Moon and Planets, vol 90, p 445-458 Addison Wesley, 2002.

    [Bla00] I. Blanco, J.C. Cubero, O. Pons y M. A. Vila. ¿An implementation for fuzzy deductive relational databases¿. Recent research issues on the management of fuzziness in database. pp. 183-207. Studies in fuzziness and soft computing, Physica-Verlag, 2000.

    [Bla0b] I. Blanco, N. Marín, O. Pons y M. A. Vila. ¿An extension of data description language (ddl) for fuzzy data handling¿. Flexible query answering systems, recent advances. Larsern, Kacprzyk, Zadrozny, Andreasen y Christiansen editors. Advances in soft computing. Physica-Verlag, 2000.

    [Bla01] I. Blanco. ¿Deducción en bases de datos relacionales difusas¿. Tesis doctoral. Departamento de Ciencias de la Computación e Inteligencia Artificial. Universidad de Granada, España, 2001.

    [Bow97] J.S. Bowman, S.L. Emerson and M. Darnovsky. ¿The practical SQL handbook¿. 3rd edition. Adisson-Wesley, 1997.

    [Boy71] R.S. Boyer. ¿Locking a restriction of resolution¿. Tesis doctoral, Universidad de Texas, Austin. E.E.U.U., 1971.

    [Buc82a] B.P. Buckles and F. E. Petry. ¿A fuzzy representation of data for relational databases¿. Fuzzy sets and systems, 7, pp.213-226, 1982.

    [Buc82b] B.P. Buckles and F. E. Petry. ¿Fuzzy databases and theirs applications¿. Fuzzy information and decision processes, Vol. 2, Eds. M. Gupta, E. Sánchez. North-Holand, Amsterdand, pp. 361-371, 1982.

    [Buc84] B.P. Buckles and F. E. Petry. ¿Extending the fuzzy database with fuzzy numbers¿. Information sciences 34, pp. 45-55, 1984.

    [Bus99] E. Bussoletti et al. ¿The GIADA experiment for Rosetta mission to comet 46P/Wirtanen: Design and performances¿. Advances in Space Research, 24, 1139-1148, 1999.

    [Bus00] E. Bussoletti et al. ¿The scientific goals of the Grain Impact Analyser and Dust Accumulator¿. Astron. Soc. Pacific, 2000.

    [Cer90] S. Ceri, G. Gottlob and L. Tanca. ¿Logic programming and databases¿. Surveys in computer science, Ed. Springer-Verlag, 1990.

    [Cha73] C. Chang and R. C. Lee. ¿Symbolic logic and mechanical theorem proving¿. Semantic Resolution and lock resolution, pp. 100-129. Computer Science Classics, Academic Press, 1973.

    [Cha74] D. D. Chamberlin. ¿SEQUEL: A structured english query language¿. Proc. ACM SIGMOD workshop on data description, access and control, 1974.

    [Cha76] D.D. Chamberlin et al. ¿SEQUEL 2: A unified approach to data definition, manipulation and control¿. IBM J. research and development, 20, num. 6, pp. 560-575, Nov 1976.

    [Clo81] S. F. Clocksin and C.S. Mellish. ¿Programming in Prolog¿. Ed. Springer-Verlag, 1981.

    [Che76] P.P-S. Chen. ¿The Entity-Relationship Model: Toward a Unified View of Data¿. ACM transactions on database systems, vol. 1, pp. 9-36, 1976.

    [Cod70] E.F. Codd. ¿A relational model of data for large shared data banks¿. Communications of the ACM, 13, pp. 377-387, June 1970.

    [Cod82] E.F. Codd. ¿Relational databases: a practical foundation for productivity¿. Communications of the ACM, 25(2), 1982.

    [Col04] L. Colangeli et al. ¿The GIADA experiment for the Rosetta mission¿. Kluwer Academic Publishers, pp. 271-280, Dordrecht, Netherlands, 2004.

    [Col06] L. Colangeli et al. ¿The grain impact analyzer and dust accumulator (GIADA) experiment for the Rosetta mission: design, performances and first results¿. Space Science Reviews, pp. 803-821, 2006.

    [Col07] L. Colangeli et al. ¿GIADA: the grain impact analyser and dust accumulator for the Rosetta space mission¿. Advances in space research 39, pp. 446-450, 2007.

    [Cri97] J. F. Crifo and A. V. Rodionov. ¿The Dependence of the Circumnuclear Coma Structure on the Properties of the Nucleus¿ . Icarus 127, pp. 319-353, 1997.

    [Dat85] C.J. Date. ¿An introduction to Database Systems¿. Vol. II, The Systems Programming series, Addison Wesley, 1985.

    [Dea74] A. Deaño. ¿Introdución a la lógica formal¿. Ed. Alianza Universidad, 1974.

    [Dub80] D. Dubois and H. Prade. ¿Fuzzy sets and systems: theory and applications¿. Academic Press, New York, 1980.

    [Dub85] D. Dubois and H. Prade. ¿Fuzzy number, an overview of the analysis of fuzzy information¿. J.C. Bezdek, CRS press, Boca Raton F1, USA, 1985.

    [Deg86] D. DeGroot and G. Lindstrom ¿Logic programming. Functions, relations and equations¿. Ed.Prentice Hall, Englewood Cliffs, New Yersey, USA, 1986.

    [Eco13] T. E. Economou, S. F. Green, D. E. Brownlee and B. C. Clark ¿Dust flux monitor instrument measurements during Startdust-NExT flyby of comet 9P/Tempel 1¿. Icarus 222, pp. 526-539, 2013.

    [ESA01a] ESA. "Rosetta OBDH Interface requeriments". RO-EST-RS-3009/EID B 2.7, Issue 2, 2001.

    [ESA01b] ESA. "Rosetta Experiment software and autonomous functions". RO-EST-RS-3009/EID B 2.8, Isuue 2, 2001.

    [Esp02] F. Esposito, L. Colangeli, V. Della Corte, P. Palumbo and the international GIADA team. "Physical aspect of an `impact sensor¿ for the detection of cometary dust momentum onboard the `Rosetta¿ space mission¿. Advances in space research 8, pp. 1159-1163. 2002.

    [Est80] F. Esteva y X. Domingo. ¿Sobre funciones de negación en [0,1]¿. Stochastica, IV(2):141-165, 1980.

    [Fro86] R. A. Frost. ¿Introduction to knowledge base systems¿. Ed. Collins, 1986.

    [Fuk79] S. Fukami, M. Umano, M. Muzimoto and H. Tanaka. ¿Fuzzy database retrieval and manipulation language¿. IEICE technical reports, vol. 8, nº 233, pp. 65-72, AL-78-85, 1979.

    [Ful95] M. Fulle, L. Colangeli, V. Mennella, A. Rotundi and E. Bussoletti. ¿The sensitivity of the size distribution to the grain dynamics: simulation of the dust flux measured by GIOTTO at 1P/Halley¿. Astronomy and astrophysics, 304, 622, 1995.

    [Ful99] M. Fulle, J. F. Crifo and A. V. Rodionov. ¿Numerical simulation of the dust flux on a spacecraft in orbit around an aspherical cometary nucleus¿. Astronomy and astrophysics, v.347, pp. 1009-1028 , 1999.

    [Ful10] M. Fulle et al. ¿Comet 67P/Churyumov-Gerasimenco: the GIADA dust environment model of the Rosetta mission target¿. Astronomy and astrophysics, 2010.

    [Kow79] R. Kowalski. ¿Logic for problem solving¿. North Holland Publishing Co., 1979.

    [Gal87] H. Gallaire, J. Minker and J. M. Nicolas ¿Logic and databases: a deductive approach¿. ACM computing surveys, vol. 16(2), pp. 153-185, 1987.

    [Gal98a] J. Galindo, J.M. Medina, O. Pons, M.A. Vila and J.C. Cubero. ¿A prototype for a fuzzy relational database¿. Demo session in the 6th International Conference on Extending Database Technology, EDBT¿98, Valencia (España), March 1998.

    [Gal98b] J. Galindo, J.M. Medina, O. Pons and J.C. Cubero. ¿A server for fuzzy SQL queries¿. In ¿Flexible query answering systems¿, eds. T. Andreasen, H. Christiansen and H.L. Larsen. Lecture notes in artificial intelligence (LNAI) 1495, pp. 164-174. Ed. Springer, 1998. International conference on flexible query answering systems, FQAS¿98, Roskilde (Dinamarca), May 1998.

    [Gal98c] J. Galindo, J.M. Medina, A. Vila and O. Pons, ¿Fuzzy comparators for flexible queries in databases¿. Iberoamerican conference on artificial intelligence, IBERAMIA¿98, Lisboa (Portugal), pp. 29-41, October 1998.

    [Gal99] J. Galindo. ¿Tratamiento de la imprecisión en bases de datos relacionales: extensión del modelo y adaptación a los SGBD actuales¿. Tesis doctoral. Departamento de Ciencias de la Computación e Inteligencia Artificial. Universidad de Granada, España, 1999.

    [Gia06] GIADA team. "GIADA FS experiment user manual RO-GIA-MA-007". Issue 4, 2006.

    [Gra80] J. Grant. ¿Incomplete information in a relational database¿. Fundamenta informaticae, 3, pp. 363-378, 1980.

    [Gra84] P. M. D. Gray. ¿Representing programs by clauses¿. Logic, algebra and databases, pp. 73-96, Ed. Meek, B.L. Londres, Reino Unido 1984.

    [Gre04] S. F. Green, J. A. M. McDonnell et al. ¿The dust mass distribution of comet 81P/Wild 2¿. Journal of geophysical research, 109, E12S04, 2004.

    [Hec99] M. Hechler. ¿Rosetta mission design¿. Advances in Space Research, volume 19, pp. 127-136. 1997.

    [Hog90] C. J. Hogger. ¿Essentials of logic programming¿. Eds. D.M. Gabay, C.L. Hanking and T.S. Maibaum. Clarendon press. Oxford, UK, 1990.

    [Ioa88] Y. E. Ioannidis and R. Ramakrishnan. ¿Effective closure algorithms¿. Proceedings of 14th VLDB Conference, pp. 382-394, Bancilhon and D. J. DeWitt Eds., Morgan Kaufmann, 1988.

    [Kow79] R. Kowalski. ¿Logic for problem solving¿. Ed. North Holland Publishing Co., 1979.

    [Kro03] M. Krolikowska. ¿67P/Churyumov-Gerasimenko potential target for the Rosetta mission¿. Acta astronautica, vol 53, pp. 195-209, 2003.

    [Li90] D. Li and D. Liu. ¿A fuzzy prolog database system¿. Computing systems series. John Wiley & Sons, 1990.

    [Lop00] A. López, J. Rodríguez, J. Sánchez and M. Herranz. ¿DPU peripheral description, memory and I/O map¿. RO-GIA-IAA-TN018, issue 2, revision 1, IAA, 2000.

    [Lop06] A. López. ¿Aplicación de dispositivos FPGA a la instrumentación espacial: los instrumentos GIADA y OSIRIS de la misión Rosetta¿. Tesis doctoral, Universidad de Granada, 2006.

    [Lov70] D. W. Loveland. ¿A linear format of resolution¿. Proceedings of IRIA symposium of automatic demonstration, pp. 147-162, Springer-Verlag, New York, USA, 1970.

    [Luc70] D. Luckham. ¿Refinements in resolution theory¿. Proceedings of IRIA symposium of automatic demonstration, pp. 163-190, Springer-Verlag, Versailes, Francia, 1970.

    [Maz02] E. Mazzotta et al. ¿The grain detections system for the GIADA instrument: design and expected performances¿. Adv. Space Res., 29:1165-1169, 2002.

    [McD81] J. A. M. McDonnell et al. ¿A Dust Impact Detection System (DIDSY) for the Giotto Halley Mission¿. Scientific and experimental aspects of the GIOTTO mission, ESA-SP-169. pp. 61-75, 1981.

    [Med94a] J.M. Medina, O. Pons and M.A. Vila. ¿GEFRED. A generalized model of fuzzy relational databases¿. Information Sciences, 76(1-2), 87-109, 1994.

    [Med94b] J.M. Medina. ¿Bases de datos relacionales difusas. Modelo teórico y aspectos de su implementación¿. Tesis doctoral. Universidad de Granada, España, Mayo 1994.

    [Med95a] J.M. Medina, J.C. Cubero, O. Pons and M.A. Vila. ¿Towards the implementation of a generalized fuzzy relational database model¿. Fuzzy sets and systems, 75, pp. 273-289, 1995.

    [Med95b] J.M. Medina, O. Pons and M.A. Vila. ¿FIRST. A fuzzy interface for relational systems¿. I International fuzzy systems association world congress (IFSA 1995). Sao Paulo, Brasil, 1995.

    [Med96] J.M. Medina, M.A. Vila, J.C. Cubero and M.A. Vila. ¿An architecture for a deductive fuzzy relational database¿. Lecture notes in artificial intelligence, Springer, tome 1079, pg. 491-500, 1996.

    [Med97] J.M. Medina, O. Pons and M.A. Vila. ¿FREDDI. A fuzzy relational deductive database interface¿. International journal of intelligent systems, pp. 597-613, 1997.

    [Min82] J. Minker. ¿On indefinite databases and the close world assumption¿. Proceedings of the sixth conference on automated deduction, Lecture notes in computer science, 38, pp. 292-308, 1982.

    [Mor01a] R. Morales. "GIADA user and software requirements document". RO-GIA-IAA-DD-002, issue 2, IAA, 2001.

    [Mor01b] R. Morales, I. Olivares. "GIADA software interface control document¿. RO-EST-RS-3009/EID B, issue 2, IAA, 2001.

    [Mor02a] R. Morales. "GIADA software design document". RO-GIA-IAA-DD-002, issue 2, IAA, 2002.

    [Mor02b] R. Morales. "GIADA software validation and verification plan". RO-GIA-IAA-DD-001, issue 2, IAA, 2002.

    [Mor02c] R. Morales. "GIADA FS software validation test results", issue 2, IAA, 2002.

    [Mor04] R. Morales. "GIADA-2 FS software user manual¿. RO-GIA-IAA-MA-009. issue 2, IAA, 2004.

    [Mor08] R. Morales, I. Blanco, O.Pons and J. Rodríguez, The International GIADA Team and IDBIS Research Group ¿GDB: A Tool to build deductive rules using a fuzzy relational database with space scientific data¿. Fuzzy Sets and Systems, vol. 159/12, pp. 1577-1596, 2008.

    [Nil87] N.J. Nilsson. ¿Principios de inteligencia artificial¿. Ed. Díaz Santos, 1987.

    [Pet96] F.E. Petry. ¿Fuzzy Databases: Principles and Applications¿. International series in intelligent technologies¿. Ed. H.-J. Zimmermann, Kluwer academic publishers, 1996.

    [Pon92] O. Pons y M. A. Vila. ¿Interface entre BD relacionales difusa y el entorno de Prolog¿. Proc. II Congreso español sobre tecnologías y lógica fuzzy, pp. 215-232, Madrid, España, 1992.

    [Pon94a] O. Pons, M. A. Vila y J.M. Medina ¿Handling imprecise medical information in the framework of logic fuzzy databases¿. Fuzzy systems and artificial intelligence, 3(1), 5-25, Ed. Academiei Romane, 1994.

    [Pon94b] O. Pons. ¿Representación lógica de bases de datos difusas. Fundamentos teóricos e implementación¿. Tesis doctoral. Departamento de Ciencias de la Computación e Inteligencia Artificial. Universidad de Granada, España, 1994.

    [Pon96] O. Pons., J.M. Medina, J.C. Cubero and M. A. Vila ¿An architecture for a deductive fuzzy relational database¿. Foundations of Intelligent Systems, Springer, 1996.

    [Pon97] O. Pons., J.M. Medina, J.C. Cubero and M. A. Vila ¿Flexible query answering systems¿. A fuzzy deductive relational database, Kluwer academic publishers, 1997.

    [Pra84a] H. Prade and C. Testemale. ¿Generalizating database relational algebra for the treatment of incomplete/uncertain information and vague queries¿. Information Sciences, 34, pp. 115-143, 1984.

    [Pra84b] H. Prade. ¿Lipski¿s approach to incomplete information databases restated and generalized in the setting of Zadeh¿s possibility theory¿. Information Systems, 9, pp. 27-42, 1984.

    [Pra87a] H. Prade and C. Testemale. ¿Fuzzy relational databases: representation issues and reduction using similarity measures¿. J. Am. Soc. Information Sciences 38(2), pp. 118-126, 1987.

    [Pra87b] H. Prade and C. Testemale. ¿Representation of soft constrains and fuzzy attribute values by means of possibility distributions in databases¿. Analysis of fuzzy information, Vol. II: artificial intelligence and decision systems. Ed. J. Bezdek, CRC press, pp. 213-229, 1987.

    [Rei78] R. Reiter. ¿On close world databases¿. Logic and databases, H. Gallaire and J. Minker, Eds., Plenum press, pp. 55-76, New York, 1978.

    [Rei80] R. Reiter. ¿Equality and domain closure in first-order databases¿. Journal of the ACM, 27(2):235-249, 1980.

    [Rei84] R. Reiter. ¿Towards a logical reconstruction of relational database theory¿. Conceptual modeling, Eds., Brodie, Mylopoulos y Schmidt, pp. 193-238, 1984.

    [Rob63] J. A. Robinson. ¿Theorem proving on the computer¿. Journal of the ACM, 10(2), pp. 163-74, 1963.

    [Rob65a] J. A. Robinson. ¿Automatic deduction with hyper-resolution¿. International journal of the computers mathematics, 1(3), pp. 227-234, 1965.

    [Rob65b] J. A. Robinson. ¿A machine oriented logic based on the resolution principle¿. Journal of the ACM, 12(1), pp. 23-41, 1965.

    [Rot12] A. Rotundi, V. Della Corte et al (including R. Morales). ¿State of health during the seven years of Rosetta cruise¿. European Planetary Science Congress, Vol. 7 EPSC2012-907, Madrid, España, 2012.

    [Rot15] A. Rotundi et al. ¿Dust measurements in the coma of comet 67P/Churyumov-Gerasimenko inbound to the sun¿. Science magazine, Vol 347, Issue 6220.aaa3905-1, 2015.

    [Sla67] J.R. Slage. ¿Automatic theorem proving with renamable and semantic resolution¿. Journal of the ACM,14(4):687-697, 1967.

    [Sche98] D. J. Scheeresa, F. Marzarib, L. Tomasellab and V. Vanzan. ¿Rosetta mission: satellite orbits around a cometary nucleus¿. Planetary and Space Science, volume 46, Issues 6-7, pages 649-671, 1998.

    [Sch99] G. Schwehm and R. Schulz. ¿Rosetta goes to comet Wirtanen¿. Space Science Reviews, vol 90, p. 313-319, 1999.

    [Sie15] H. Sierks. C. Barbieri. ¿On the nucleus structure and activity of comet 67P/Churyumov-Gerasimenko¿. Science aaa1044, 23 January 2015.

    [Smu95] R. M. Smullyan. ¿First-order logic¿. Dover publications Inc. New York, USA, 1995.

    [Ste86] C. Sterling and E. Shapiro. ¿The art of Prolog¿. Ed. MIT-press, 1986.

    [Tri79] E. Trillas. ¿Sobre funciones de negación de la teoría de conjuntos difusos¿. Stochastica, Vol. 3 nº1, pp. 47-59, 1979.

    [Tri80] E. Trillas. ¿Conjuntos borrosos¿. Ed. Vicens-Vives, 1980.

    [Ull82] J.D. Ullman. ¿Principles of database systems¿.Computer Science Press, 2nd edition, 1982.

    [Uma80] M. Umano, S. Fukami, M. Muzimoto and H. Tanaka. ¿Retrieval processing from fuzzy databases¿. Technical reports of IECE of Japan, Vol. 80, nº204, pp.45-54, L-80-50, 1980.

    [Uma82] M. Umano. ¿Freedom-0: a fuzzy database system¿. Fuzzy information and decision processes. Eds. M. Gupta, E. Sánchez, North-Holland, Amsterdam, Pub. Compartícula, pp. 339-347, 1982.

    [Uma83] M. Umano. ¿Retrieval from fuzzy database by fuzzy relational algebra¿. Fuzzy information, knowledge representation and decision analysis. Eds. M. Gupta, E. Sánchez, Pergamon press, New York, pp. 1-6, 1983.

    [Urm98] S. Urman. ¿Oracle 8:Programación PL/SQL¿. Oracle press & Osborne McGraw-Hill, 1998.

    [Vil92] M.A. Vila, J.C. Cubero, J.M. Medina and O. Pons. ¿A logical approach to fuzzy relational databases¿. Proc. IPMU, 1992.

    [Vil93] M.A. Vila, J.C. Cubero, J.M. Medina and O. Pons. ¿On the use of logical definition of fuzzy relational database¿. Proc. 2º IEEE Int. Conf. on fuzzy systems, vol. I, pp. 489-495, San Francisco. E.E.U.U, 1993.

    [Vil94] M.A. Vila, J.C. Cubero, J.M. Medina and O. Pons. ¿Logic and fuzzy relational databases: a new language and a new definition¿. Fuzzy sets and possibility theory in databases management systems, Bosc and J. Kacprzyk Eds. Physica-Verlag, Heidelberg, Alemania, 1994.

    [Vill97] P. Villefranche, J. Evans and F. Faye. ¿The ESA comet rendezvous mission¿. Acta astronautica, volume 40, Issue 12, pages 871-877, 1997.

    [Win84] P. H. Winston. ¿Artificial intelligence¿. Ed. Addison Wesley, 1984.

    [Yag80] R.R. Yager. ¿On a general class of fuzzy connectives¿. Fuzzy sets and systems, 3, pp. 235-242, 1980.

    [Yag82] R.R. Yager. ¿Fuzzy sets and possibility theory¿. Ed. R. Yager, Pergamon Press, 1982.

    [Zad65] L.A. Zadeh. ¿Fuzzy sets¿. Information and Control 8, pp. 338-353, 1965.

    [Zad71] L.A. Zadeh. ¿Similarity relations and and fuzzy orderings¿. Information Sciencies, vol. 3, pp. 177-200, 1971.

    [Zad75a] L.A. Zadeh. ¿The concept of linguistic variable and its application to approximate reasoning I¿. Information sciencies, vol. 8, pp. 199-249, 1975.

    [Zad75b] L.A. Zadeh. ¿The concept of linguistic variable and its application to approximate reasoning II¿. Information sciencies, vol. 8, pp. 301-357, 1975.

    [Zad76] L.A. Zadeh. ¿The concept of linguistic variable and its application to approximate reasoning III¿. Information Sciencies, vol. 9, pp. 43-80, 1976.

    [Zad78] L.A. Zadeh. ¿Fuzzy sets as a basis for a theory of possibility¿. Fuzzy sets and systems 1, pp. 3-28, 1978.

    [Zan84] C. Zaniolo ¿Prolog: a database query language for all seasons¿. Proc. First workshop on expert database systems, Kiawah, Islandia, 1984.

    [Zem84] M. Zemankova-Leech and A. Kandel. ¿Fuzzy relational databases - a key to expert systems¿. Köln, Germany, Verlag TÜV Rheinland, 1984.

    [Zem85] M. Zemankova-Leech and A. Kandel. ¿Implementing imprecision in information systems¿. Information sciences, 37, pp. 107-141, 1985.