A Logic Programming Approach to the Conservation of Buildings Based on an Extension of the Eindhoven Classification Model

 

Guida Gomes¹, Henrique Vicente², Joaquim Macedo³, Victor Alves³, and José Neves³

 

¹ Department of Informatics, University of Minho, Braga, Portugal (e-mail: mguida.mgomes@gmail.com).

² Department of Chemistry & Evora Chemistry Centre, University of Evora, Evora, Portugal (e-mail: hvicente@uevora.pt).

³ Department of Informatics, University of Minho, Braga, Portugal (e-mail: macedo@di.uminho.pt, valves@di.uminho.pt, jneves@di.uminho.pt).

 

Manuscript received on August 6, 2013.
Accepted for publication on September 30, 2013.

 

Abstract

The identification, classification and recording of events that may lead to the deterioration of buildings are crucial for the development of appropriate repair strategies. This work presents an extension of the Eindhoven Classification Model to sort adverse events root causes for Building Conservation. Logic Programming was used for knowledge representation and reasoning, letting the modelling of the universe of discourse in terms of defective data, information and knowledge. Indeed, a systematization of the evolution process of the body of knowledge in terms of a new factor, the Quality of Information one, embedded in the Root Cause Analysis was accomplished, i.e., the system proposed led to a process of Quality of Information quantification that permit the study of the event's root causes, on time.

Key words: Building conservation, Eindhoven classification model, knowledge representation and reasoning, logic programming, quality of information.

  

DESCARGAR ARTÍCULO EN FORMATO PDF

 

Acknowledgments

This work is funded by ERDF—European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT—Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-028980.

 

References

[1] H. Adeli, "Neural Networks in Civil Engineering: 1989-2000," Computer-Aided Civil and Infrastructure Engineering, vol. 16, pp. 126-142, 2001.         [ Links ]

[2] P. Lu, S. Chen and Y. Zheng "Artificial Intelligence in Civil Engineering," Mathematical Problems in Engineering, vol. 2012. [Online]. Available: http://www.hindawi.com/journals/mpe/2012/145974/        [ Links ]

[3] D. Dukic, M. Trivunic and A. Starcev-Curcin, "Computer-Aided Building Maintenance with "BASE-FM" Program," Automation in Construction, vol. 30, 57-69, 2013.         [ Links ]

[4] I. Motawa and A. Almarshad, "A Knowledge-Based BIM System for Building Maintenance," Automation in Construction, vol. 29, 173-182, 2013.         [ Links ]

[5] T. W. van der Schaaf, "Near Miss Reporting in the Chemical Process Industry: An Overview," Microelectronics Reliability, vol. 35, 1233-1243, 1995.         [ Links ]

[6] T. W.van der Schaaf and M. Habraken, "PRISMA-Medical: A Brief Description," Eindhoven University of Technology, Faculty of Technology Management, Patient Safety Systems, 2005. [Online]. Available: http://www.who.int/patientsafety/taxonomy/PRISMA_Medical.pdf        [ Links ]

[7] S. Rodrigues, P. Brandao, L. Nelas, J. Neves, and V. Alves, "A Logic Programming Approach to Medical Errors in Imaging," International Journal of Medical Informatics, vol. 80, 669-679, 2011.         [ Links ]

[8] F. Sheridan, "A Survey of Techniques for Inference under Uncertainty," Artificial Intelligent Review, vol. 5, 89-119, 1991.         [ Links ]

[9] M. L. Ginsberg, Readings in Nonmonotonic Reasoning. San Francisco: Morgan Kauffman Publishers Inc, 1987.         [ Links ]

[10] J. Neves, "A logic interpreter to handle time and negation in logic data bases," in Proceedings of the 1984 annual conference of the ACM on the fifth generation challenge, R. L. Muller and J. J. Pottmyer, Eds. New York: Association for Computing Machinery, 1984, pp. 50-54.         [ Links ]

[11] U. Hustadt, "Do we need the Closed-World Assumption in Knowledge Representation?," in Working Notes of the KI'94 Workshop -Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), F. Baader, M. Buchheit, M. A. Jeusfeld and W. Nutt, Eds. Saarbriiken: German Research Center for Artificial Intelligence, 1994, pp. 24-26.         [ Links ]

[12] I. Bratko, PROLOG Programming for Artificial Intelligence. Toronto: Pearson Education Canada, 2011.         [ Links ]