Informes técnico
Un Modelo Integrado de Razonamiento Lógico y Técnicas de Planificación en Inteligencia Artificial para la Composición Automática de Objetos de Investigación Basados en Protocolos Experimentales en el Área de la Ingeniería Civil
Fecha
2019-122019-12-27
Registro en:
AASHTO, A. A. o. S. H. a. T. (2001). AASHTO American Associaion of State Highway and Trasnprotation Officials System AASHTO. Washington
ACI, A. C. I. (2002). Instituto de Normas Técnicas y Certificación; AIS, Asociación de Ingeniería sísmica. Requisitos esenciales para concreto reforzado (para edificios de tamaño y altura limitados, con base en el ACI318S-02). Farmington Hills: International Publication Series IPS-1
Acuña L, Torre A, Moromi I, García F.,(2014). Información Tecnológica. Uso de las Redes Neuronales Artificiales en el Modelado del Ensayo de Resistencia a Compresión de Concreto de Construcción según la Norma ASTM C39/C 39M. Vol. 25(4), 3-12 (2014) doi: 10.4067/S0718-07642014000400002
Alper, P., Belhajjame, K., & Goble, C. (2013). Small Is Beautiful: Summarizing Scientific Workflows Using Semantic Annotations. Big Data
Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludäscher, B., & Kepler, S. M., . (2006). Towards a Grid-Enabled system for scientific workflows. The Workflow in Grid Systems Workshop in GGF10-The 10th Global Grid Forum, 10th, 5
Ambite, J. L. K., C.;McIlraith, S.; Papazoglou, M.P.; Srivastava, B.; Traverso, P. (2003). Proceedings of the 1st ICAPS International Workshop on Planning for Web Services (P4WS03).
Antanas, K. (2003). Semantic Annotation, Indexing, and Retrieval. Paper presented at the Human Language Technologies Workshop at the 2nd International Semantic Web Conference (ISWC2003), Florida, USA.
ASTM 2216. (2010). Standard Test Methods for Laboratory Determination of Water (Moisture) Content of Soil and Rock by Mas Soils (pp. 7). West Conshohocken, United States: ASTM International.
ASTM 4318, E. (2014). ASTM 4318, 10E Standard Test Methods for Liquid Limit, Plastic Limit, and Plasticity Index of Soils (pp. 16). West Conshohocken, Unitted Stated: ASTM
ASTM International. ASTM - American Society for Testing and Materials.(2016). www.iso.org (en inglés). Consultado el 23 de mayo de 2019.
Bacchus, F. K., F. . (1998). Planning for Temporally Extended Goals Annals of Mathematics and Artificial Intelligence (Vol. 22).
BCA, B. C. o. A. (2011). Guide to Standards Building and constructions. BCA, Building Code of Australian. Australian.
Barker A., Hemert J. (2008) Scientific Workflow: A Survey and Research Directions. In: Wyrzykowski R., Dongarra J., Karczewski K., Wasniewski J. (eds) Parallel Processing and Applied Mathematics. PPAM 2007. Lecture Notes in Computer Science, vol 4967. Springer, Berlin, Heidelberg
Bechhofer, S., Buchan, L., Roure, D. D., Missier, P., Ainsworth, J., & Bhagat, J. (2013). Why linked data is not enough for scientists. Future Generation Computer Systems, Vol 29, No. 12.
Belhajjame, K. (2007). Semantic replaceability of eScience web services. Third IEEE International Conference on e-Science and Grid Computing (e-Science 2007). 10-13 Dec. 2007. DOI: 10.1109/E-SCIENCE.2007.67
Belhajjame, K., Corcho, O., Garijo, D., & Zhao, J. (2012). Workflow-centric research objects: First class citizens in scholarly discourse. Conference: Second International Conference on the Future of Scholarly Communication and Scientific Publishing Sepublica2012
Belhajjame, K., & Goble, C. (2011). Fostering scientific workflow preservation through discovery of substitute services. 2011 IEEE Seventh International Conference on eScience. 5-8 Dec. 2011. DOI: 10.1109/eScience.2011.22
Berners-Lee, J. H., & Lassila, O. (2001). The Semantic Web. Scientific American, Vol. 5, 284.
Chen W., Silva R., Deelman E., Sakellariou R., (2013) “Balanced task clustering in scientific workflows”. IEEE 9th International Conference on e-Science, pp. 188–195, 2013
Da Silva L, Braga R, Campos F; (2012). Composer-Science: A semantic service based framework for workflow composition in e-Science projects. Information Sciences 186, pp. 186–208.
Deelman E., Vahia K., Juvea G., Ryngea M., Callaghanb S., Maechlingb P., Mayania R., Chena W., Ferreira R., Livnyc M., Wengerc K. (2015). "Pegasus, a workflow management system for science automation". Future Generation Computer Systems, Vol. 46 pp. 17-35. May 2015.
Fahringer T., Prodan R., Duan R., Hofer J., Nadeem F., Nerieri F., Podlipnig S., Qin J., Siddiqui M., Truong H., Villazon A., Wieczorek M. (2007). "ASKALON. A development and grid computing environment for scientific workflows". Taylor I.J., E. Deelman, D.B. Gannon, M. Shields M. (eds) Workflows for e-Science. Springer, pp. 450-471, London, Springer 2007.
Ghallab,M., Howe,A., Knoblock, , McDermott, D.; Ram, A., Veloso, M., Weld, D. y Wilkins , D. (1998). PDDL - the planning domain definition language. AIPS-98 Planning Committee, 1998.
Gheorghiu, S. C. B. (2014). An Ontological Approach for Specifying Provenance into SPARQL Service Descriptions. KSEM 2014, 8793, 12.
Gil, Y., Deelman, E., Blythe, J., Kesselman, C., & H, T. (2004). Artificial intelligence and grids: workflow planning and beyond. IEEE Intelligent Systems, 19(1), 7.
Giraldo, O. (2011). Manejo del Conocimiento en los cuadernos de laboratorio. (Tesis de Maestría), Universidad Nacional de Colombia, sede Palmira, Palmira, Colombia
Giraldo, O. (2014). SMART Protocols Ontology. 4th Workshop on Linked Science 2014- Making Sense Out of Data (LISC2014), 19th or 20th October 2014, Riva del Garda, Trentino, Italy.
Gray, J. (2009). The Fourth Paradigm Data-Intensive Scientific Discovery. Proceedings of the IEEE, Vol. 99 , Iss 8 , Aug. 2011. DOI: 10.1109/JPROC.2011.2155130
Gómez-Pérez, E. G.-C., Jun Zhao, Aleix Garrido, José Enrique Ruiz. (2013). How Reliable is Your workflow: Monitoring Decay in Scholarly Publications. Proceedings of the Third International Conference on the Future of Scholarly Communication and Scientific Publishing Sepublica 2013. Montpellier, France.
Guzmán J., D. , Orjuela A. (2009). XSPDDL: Un Lenguaje Basado en Xml para La Definicion de Dominios de Planificacion Orientados a La Web. Revista Colombiana de Tecnologías de Avanzada. Vol. 2 No. 14. pp. 9-16. 2009
Guzmán, J., & Ovalle, D. (2008). Composición de Servicios: Una Aplicación de la Web Semántica y las Técnicas de Planificación Automática. Revista Ingeniería e Investigación, 28(3), 5.
Haslum P. y Geffner H.(2000). Admissible heuristics for optimal planning. International Conference on AI Planning and Scheduling, pages 140-149, 2000
Hoheisel A., (2006)“User tools and languages for graph-based Grid workflows,” Concurrency Computation Practice and Experience, vol. 18, no. 10, pp. 1101–1113, August 2006.
INVIAS, C. d. l. R. (2010). Decreto 926 de 2010, 19 de marzo, NSR-10. Bogota DC: Diario Oficial
Lagoze, C. V. d. S., Herbert; Nelson, Michael; Warner,Simeon; Sanderson, Robert; Johnston, Pete. (2012). AWeb-based resource model for scholarship 2.0: object reuse & exchangeConcurrency and Computation: Practice and Experience. (Vol. 24, pp. 2221). USA: wileyonlinelibrary.co. DOI: 10.1002/cpe
Lee, K., Slattery, O., Lu, R., & Tang, X. (2002). The state of the art and practice in digital preservation: i The Journal of Research of NIST reports NIST research and development in metrology and related fields of physical science, engineering, applied mathematics, statistics, biotechnology, information technology. 2002 Jan-Feb; 107(1): 93–106. DOI: doi: 10.6028/jres.107.010.
Lima C, El- Diraby T., Stephens J. (2005). Ontology-Based Optimisation of Knowledge Management in E-Construction ITcon Vol. 10, 30-327.
Liu, X. D., Wanchun; ChenXiaoyu, Jinjun Yang. (2012). Orchestrating e-Science with the Workflow Paradigm: Task-Based Scientific Workflow Modeling and ExecutingResearch and Discovery, Computer Communications and Networks. Editors: Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (Eds.). London: Springer-Verlag.
Livny M. L. (2002). Condor A Hunter of Idle Workstations. Proceedings of the 8th International Confferences on Distribuited Computing System, New York.
Mayer A. , McGough S., Furmento N., L. William. (2003). ICENI Dataflow and Workflow: Composition and Scheduling in Space and Time. Proc UK e-Science All Hands Meeting 2003, EPSRC Septiember 2003, ISBN 1-904425-11-9
Medjahed B. y Bouguettaya A. (2002). A multilevel composability model for semantic web services. IEEE Transactions on Knowledge and Data Engineering, 17(7):954–968, July 2005.
Missier, P., Dey, S., Belhajjame, K., & Cuevas-Vicenttín, V. (2013). D-PROV: extending the PROV provenance model with workflow structure. Conference: Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance. April 2013.
N.J. Nilsson. (1994). Principles of Artificial Intelligence. Morgan Kaufmann Publishers, 1994.
NSR-10 (2010). Normas Sismo Resitentes. Decreto 926 del 19 de marzo de 2010. Bogotá.
NTC. (1975). NTC Normas Técnicas Colombianas Normas Técnicas Colombianas. Vol. 1000. Bogotá ICONTEC.
Palma, R., Corcho, Ó., Hotubowicz, P., Pérez, S.R., Page, K., & Mazurek, C. (2013). Digital libraries for the preservation of research methods and associated artifacts. DPRMA '13.
Penberthy J. S. y Weld D.S.. (1994). Temporal planning with continuous change. Proceedings of the Twelfth National Conference on Artificial Intelligence, 2:1010-1015, 1994.
Peng, D. (2017). Reusing Simulation Experiments for Model Composition and Extension. Disertación Doctoral thesis in Engineering, Electronic and Informatic Faculty, Universität Rostock. 2017.
Reiter, R. (2001). Knowledge in action: Logical foundations for specifying and implementing dynamical systems: The MIT Press.
Roure, D. D., Goble, C., Aleksejevs, S., & Bechhofer, S. (2009). The myexperiment open repository for scientific workflows. eprints.soton.ac.uk.
Santibañez, L. (2014). Interpretación de normas internacionales de distintos ordenamientos bajo el acuerdo de obstáculos técnicos al comercio de la OMC. Boletín mexicano de derecho comparado, 47, 140. Mexico, DF.
Soldatova, L. N., & King, R. D. (2006). An ontology of scientific experiments. Journal of the Royal Society Interface, 3(11), 8.
Soldatova L N, King R. (2006). An Ontology of Scientific Experiments, Journal of the Royal Society Interface, Vol. 3, No. 11, 2006, pp.795–803.
Staub-French S, Fischer M., Kunz J., Paulson B, Ishii K.,(2002). An Ontology for Relating Features of Building. Center For Integrated Facility Engineering (CIFE), July 2002, Stanford University. Product Models With Construction Activities to Support Cost Estimating.
Sun, Y. W., Lizhe; Jie, Wei; Fu, Cheng. (2011). Research in e-Science: Current Status and Future Directions. [Editorial]. International Journal of Computer Science and Engineering, 2011.
Szyperski, C; Gruntz, D. y Murer S. (2002). Component Software: Beyond Object-oriented Programming. ACM Press Series. ACM Press, 2002.
Talia D., (2013). Workflow Systems for Science: Concepts and Tools, ISRN Software Engineering, vol. 2013, Hindawi. pp. 1-15. 2013.
Taylor, I., Shields, M., Wang, I., & Harrison, A. (2007). T. The Triana workflow environment: Architecture and applications. Workflows for e-Science, pp. 320–339. Springer, 2007.
Tolosana-Calasanz R., Bañares Álvarez J. A., P., Ezpeleta J., Rana O. , An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows. Journal of Computer and System Sciences, vol. 76, no. 6, pp. 403–415, 2010
Van W. Der Aalst, Hee K. (2004). Workflow Management: Models, Methods, and Systems, Information Systems. Paperback. June, 2004
Verbraeck A. y Valentin E. C. (2008). Design guidelines for simulation building blocks. Proceedings of the 40th winter simulation conference, pages 923–932. Winter Simulation Conference, 2008.
Verdes-Montenegro, L. (2012). e-Science for the SKA, WF4Ever: Supporting Reuse and Reproducibility in Experimental Science RadioNet Advanced Radio Astronomy, Commissioning Skills and Preparation for the SKA Manchester: November 15th 2012
Von G., Laszewski M., Hategan M., and Kodeboyina D., (2007). Java CoG kit workflow. Workflows for e-Science, pp. 143-166, Springer, New York, 2007.
Wassermann B., Emmerich W., ButchartNick B., Liang C., Jignesh C. (2007). Sedna: A BPEL-Based Environment for Visual Scientific Workflow Modeling. Workflows for e-Science pp 428-449, SPRINGER, 2007
Weld, D. S. (1994). An introduction to least commitment planning. AI Magazine, 15(4).
Wilkins, D. E. (1988). Practical Planning: Extending the Classical AI Planning Paradigm. Ed. Morgan Kaufmann.London
Wolstencroft, K., Haines, R., Fellows, D., Williams, A., Withers, D., Owen, S., Belhajjame, K. (2013). The Taverna workflow suite: designing and executing workflows of Web Services on the desktop, web or in the cloud. Nucleic Acids Res, 64. DOI: 10.1093/nar/gkt328
Yang, X. W. Lizhe; Jie, Wei ((eds). (2011). Guide to e-Science Next Generation Scientific Research and Discovery. Springer, 2011. DOI: 0.1007/978-0-85729-439-5
Yildiz O, Ejarque J., Chan H, Sankaranarayanan S., Badia R. and Peterka T., "Heterogeneous Hierarchical Workflow Composition," in Computing in Science & Engineering, vol. 21, no. 4, pp. 76-86, 1 July-Aug. 2019. DOI: 10.1109/MCSE.2019.2918766
Yeoh, K. W., Chua, D., (2014). Representing Requirements of Construction from an IFC Model. Computing In Civil and Building Engineering ©ASCE 2014 331 -338.
Zhao, J., Klyne, G., Holubowicz, P., & Palma, R. (2012). RO-Manager: A Tool for Creating and Manipulating Research Objects to Support Reproducibility and Reuse in Sciences: ceur-ws.org
Autor
Torres-Pardo, Ingrid Durley
Institución
Resumen
Para garantizar el acceso a largo plazo de la actividad científica de un laboratorio, es necesario que las técnicas de conservación sean capaces de convertir todo el proceso experimental en un recurso estructurado y abierto (Bechhofer et al., 2013). Se trata, de encapsular ese conocimiento, en unos contenedores digitales, que lleven la descripción de toda la actividad científica, a través de la enumeración y la relación con los recursos, guarde la representación del comportamiento de los datos y las tareas como flujos de trabajo, asociados todos a un conjunto de anotaciones semánticas (Page, Palma, & Houbowicz, 2012). Tales contenedores, son comúnmente conocidos como research object u objetos de investigación - en español - (Bechhofer, Roure, & Gamble, 2010). Y es a través de ellos, que se han dado los primeros pasos para dar persistencia a la investigación científica experimental, para hacerla disponible, reutilizable y reproducible a lo largo del tiempo. Es de especial interés, al modelar objetos de investigación, concentrarse en conocer, representar e interpretar el intercambio global de la información científica, es decir, unificar las conceptualizaciones mentales y terminológicas, que puedan darse entre los distintos usuarios, uno productor – que genera la actividad - y uno o varios usuarios consumidores – que manifiestan interés, en consumir dicha actividad.
A la fecha, un número significativo de proyectos han comenzado a adoptar esta representación; es así como, los actuales avances se reportan en dominios como la bioinformática (PARSE.Insight, 2007), la astronomía (De Roure & Goble, 2007), la biología y la genética (Belhajjame, Corcho, Garrijo, & Zhao, 2012), dejando de manifiesto la necesidad de extender este modelo a otras áreas de la investigación. Sin embargo y pese a lo promisorio de esta representación, los objetos de investigación aún resultan altamente dependientes del contexto (Lee, Slattery, Lu, & Tang, 2002), razón por la cual incursionar en otros ámbitos, es una tarea compleja que demanda un alto consumo de esfuerzo humano, que considerando los valiosos beneficios frente al tiempo, bien pueden ser afrontados.
Uno de esos dominios candidatos a incursionar con la representación de los objetos de investigación, es el que corresponde a los protocolos de laboratorio llevados a cabo para alcanzar el conocimiento de las características físicas y/o mecánicas de materiales, que van a formar parte de una obra civil. Dentro de este contexto, se contemplan aquellos protocolos que cuentan con guías normalizadas de procedimientos para la ejecución de las prácticas de laboratorio. Pero, si bien la práctica del experimento puede ser guiada por la mencionada guía, el registro documentado de los hallazgos, resultados y demás información experimental, es comúnmente presentado bajo el criterio libremente adoptado del laboratorio, o de quien tenga a su cargo la práctica experimental. Actualmente, éste registro es documentado en hojas físicas que incorporan (en el mejor de los casos), algún contenido digital de gráficas o tablas como reportes anexos. Paralelamente, tales guías pueden ofertar diferentes formas de lograr el mismo fin, es decir las formas varían en: los equipos que usan, los pasos que realiza o en los propios cálculos matemáticos, los cuales describen ecuaciones necesarias para cuantificar las propiedades de un elemento. Incluso, en su mayoría, estos últimos cálculos, son realizados de manera manual por el laboratorista, quien debe registrar los valores significativos de los datos de entrada y de salida, de cada operación, en tablas escritas en papel o en archivos digitales, que luego son transcritos a calculadoras, ejecutados en formulas pregrabadas de Excel o en el mejor de los casos, pasados a un software, que tiene restringidas las operaciones permitidas. Para cerrar el escenario, una obra civil, puede requerir de la valoración de varios materiales que deben ser soportados por los correspondientes resultados de pruebas de laboratorio que caracterizan cada elemento, lo que constituye una mezcla de opciones realmente compleja. Por lo anterior, intentar actualmente consultar, interpretar, reproducir o reutilizar estos resultados experimentales, constituyen una tarea lenta y humanamente costosa.
Consientes de ese reto, está tesis propone representar, gestionar y divulgar los protocolos experimentales más relevantes del área de la ingeniería Civil, como objetos de investigación, a fin de que puedan ser reutilizados e interoperados, no solo por los humanos (como se ha realizado hasta ahora), sino a su vez por las componentes de software, alivianando ostensiblemente la tarea. En esencia, se propone representar unívocamente algunos de los principales protocolos experimentales del dominio de ingeniería civil, permitiendo luego interoperarlos en un proceso de composición automático, que usando una técnica de planificación en Inteligencia Artificial, logré la creación no anticipada de un nuevo objeto de investigación, conformado a partir de otros objetos previamente existentes (Guzmán & Ovalle, 2008). Este nuevo objeto de investigación, atenderá las necesidades específicas de un usuario consumidor (Garrido, Onaindía, & Sapena, 2009), en este caso formuladas como un nuevo requerimiento de investigación experimental. Lo anterior, en caso de que tal requerimiento no puede ser atendido por un solo objeto previamente existente, pero sí por una combinación de ellos.
Esta propuesta no solo considera representar mediante un vocabulario unívoco los principales elementos del dominio experimental de ingeniería Civil, a través de ontologías, sino que, a su vez potencializa el proceso de la reutilización de la información experimental, mediante un conjunto de reglas semánticamente enriquecidas, que ofrecen una forma de expresar restricciones. Este proceso se denominará razonamiento lógico (W3C, 2007) y permite tratar la eficiencia de las consultas, con tareas de inferencia, que mejor representan el requerimiento del usuario consumidor, formulado en el proceso de composición.