TY - GEN
T1 - LOG-IDEAH
T2 - 28th International Conference on Logic Programming
AU - Novelli, V.
AU - De Vos, M.
AU - Padget, J.
AU - D'Ayala, D.
N1 - Technical Communications of the 28th International Conference on Logic Programming (ICLP’12).
PY - 2012/7/27
Y1 - 2012/7/27
N2 - To preserve our cultural heritage, it is important to preserve our architectonic assets, comprising buildings, their decorations and the spaces they encompass. In some geographical areas, occasional natural disasters, specifically earthquakes, damage these cultural assets. Perpetuate is a European Union funded project aimed at establishing a methodology for the classification of the damage to these buildings, expressed as "collapse mechanisms". Structural engineering research has identified 17 different collapse mechanisms for masonry buildings damaged by earthquakes. Following established structural engineering practice, paper-based decisions trees have been specified to encode the recognition process for each of the various collapse mechanisms. In this paper, we report on how answer set programming has been applied to the construction of a machineprocessable representation of these collapse mechanisms as an alternative for these decision-trees and their subsequent verification and application to building records from L'Aquila, Algiers and Rhodes. As a result, we advocate that structural engineers do not require the time-consuming and error-prone method of decisions trees, but can instead specify the properties of collapse mechanisms directly as an answer set program.
AB - To preserve our cultural heritage, it is important to preserve our architectonic assets, comprising buildings, their decorations and the spaces they encompass. In some geographical areas, occasional natural disasters, specifically earthquakes, damage these cultural assets. Perpetuate is a European Union funded project aimed at establishing a methodology for the classification of the damage to these buildings, expressed as "collapse mechanisms". Structural engineering research has identified 17 different collapse mechanisms for masonry buildings damaged by earthquakes. Following established structural engineering practice, paper-based decisions trees have been specified to encode the recognition process for each of the various collapse mechanisms. In this paper, we report on how answer set programming has been applied to the construction of a machineprocessable representation of these collapse mechanisms as an alternative for these decision-trees and their subsequent verification and application to building records from L'Aquila, Algiers and Rhodes. As a result, we advocate that structural engineers do not require the time-consuming and error-prone method of decisions trees, but can instead specify the properties of collapse mechanisms directly as an answer set program.
UR - http://www.scopus.com/inward/record.url?scp=84880244011&partnerID=8YFLogxK
UR - http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.393
U2 - 10.4230/LIPIcs.ICLP.2012.393
DO - 10.4230/LIPIcs.ICLP.2012.393
M3 - Chapter in a published conference proceeding
AN - SCOPUS:84880244011
SN - 9783939897439
T3 - Leibniz International Proceedings in Informatics (LIPIcs)
SP - 393
EP - 403
BT - Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
A2 - Dovier, A
A2 - Santos Costa, V
PB - Leibniz International Proceedings in Informatics
CY - Dagstuhl
Y2 - 4 September 2012 through 8 September 2012
ER -