Uso da Inteligência Artifical na elaboração e interpretação de requisitos em linguagem natural para lógica formal
DOI:
https://doi.org/10.46421/sbtic.v5i00.7494Palabras clave:
Verificación Automatizada de Conformidad, Inteligencia Artificial, Lógica Formal, BIM, PMCMVResumen
RESUMEN
El relanzamiento del Programa Mi Casa Mi Vida (PMCMV), a través de la Portaría nº 725/2023, trajo una ampliación significativa de los requisitos normativos para proyectos habitacionales. La verificación manual de estos requisitos ha demostrado ser lenta y propensa a errores, especialmente debido a la complejidad y ambigüedad del lenguaje natural presente en las normas técnicas. Este estudio explora el uso de herramientas de inteligencia artificial (IA), con énfasis en el Procesamiento de Lenguaje Natural (PLN), para apoyar la etapa inicial de la Verificación Automatizada de Conformidad (VAC): la interpretación y estructuración de requisitos en lógica formal. Se sometieron oraciones de la Portaría a tres modelos de IA (ChatGPT, Gemini y DeepSeek), y sus resultados fueron analizados en cuanto a fidelidad, coherencia y ambigüedad. Las pruebas demostraron que pequeñas modificaciones en la redacción normativa pueden mejorar significativamente la calidad de la formalización lógica. Se concluye que la IA puede ser una aliada en la elaboración de normas más claras y verificables, contribuyendo a una mayor eficiencia y transparencia en el proceso de conformidad.
Descargas
Citas
ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS. NBR 15575-1 Edificações habitacionais Desempenho: Parte 1: Requisitos Gerais. 6º. ed. Rio de Janeiro: ABNT, 2024.
ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS. NBR ISO 19650-1 Organização e digitização da informação sobre edifícios e obras de engenharia civil, incluindo modelagem da informação da construção (BIM) - Gestão da informação usando modelagem da informação da construção: Parte 1: Conceitos e princípios. 2ª. ed. Rio de Janeiro: ABNT, v. 1, 2024a.
AZENHA, M. et al. Webinar Regulatory Room: Licenciamento Municipal e OpenBIM. BuildingSmart Portugal, Lisboa, 22 fev. 2023. 1 video (91 min: 9 seg). [Webinar]. Disponivel em: <https://www.youtube.com/watch?v=aGTraM2vZVs>. Acesso em: 09 mar. 2023.
BARBOSA, A.; COSTA, D. Verificação Automática de Requisitos de Projetos de Saídas de Emergência com uso de BIM e Programação Visual. In: Encontro Nacional de Tecnologia do Ambiente Construído. Maceió. Anais... Porto Alegre: ANTAC, v. 18, 2020. p. 1-8. Disponivel em: <https://eventos.antac.org.br/index.php/entac/article/view/942>. Acesso em: 20 nov. 2024.
BARCELOS, K. A. Método para avaliação de projetos de Habitação Social: Mobiliamento, espaciosidade e funcionalidade. 2011. Dissertação (mestrado em Construção Civil) – Faculdade de Arquitetura, Engenharia e Tecnologia, Universidade Federal de Mato Grosso, Cuiabá, 2011.Disponível em: https://www.academia.edu/14070748/M%C3%89TODO_PARA_AVALIA%C3%87%C3%83O_DE_PROJETOS_DE_HABITA%C3%87%C3%83O_SOCIAL_MOBILIAMENTO_ESPACIOSIDADE_E_FUNCIONALIDADE_K%C3%81TIA_ALVES_BARCELOS_CUIAB%C3%81_MT. Acesso em 2025 jan. 20
BRASIL. MINISTÉRIO DA CIÊNCIA, TECNOLOGIA E INOVAÇÃO. Estratégia Brasileira de Inteligência Artificial EBIA. Brasília: [s.n.], 2021. Disponivel em: <https://www.gov.br/mcti/pt-br/acompanhe-o-mcti/transformacaodigital/arquivosinteligenciaartificial/ebia-diagramacao_4-979_2021.pdf>. Acesso em: 25 fev. 2025.
BRASIL. MINISTÉRIO DAS CIDADES. Portaria MCID Nº 725, de 15 de junho de 2023. gov.br, Brasília, 15 jun. 2023. Disponivel em: <https://www.gov.br/cidades/pt-br/acesso-a-informacao/acoes-e-programas/habitacao/programa-minha-casa-minha-vida/portarias-far-2023>. Acesso em: 20 mar. 2025.
BUILDINGSMART INTERNATIONAL. Information Delivery Specification IDS. BuildingSmart.org, fev. 2023. Disponivel em: <https://technical.buildingsmart.org/projects/information-delivery-specification-ids/>. Acesso em: 09 ago. 2023.
CAIXA ECONÔMICA FEDERAL. MInha Casa MInha Vida (cartilha). Brasília: Caixa Econômica Federal, 2009.
CAIXA ECONÔMICA FEDERAL. Programa Minha Casa Minha Vida. Brasília: CEF, 2023. Disponivel em: <https://www.caixa.gov.br/Downloads/habitacao-minha-casa-minha-vida/Cartilha-PMCMV-FAR.pdf>. Acesso em: 28 ago. 2024.
CONTROLADORIA GERAL DA UNIÃO. [Correspondência Eletrônica] Fala.BR Manifestação Respondida no Sistema. Destinatário: Kátia Alves Barcelos, Brasília, 18 nov. 2024. Prot. 18840.001708/2024-37.
CORRÊA, F. R.; OLIVEIRA, L. H. D.; TAKAGAKI, C. Y. K. Aspecto prescritivo das normas de sistemas prediais hidráulicos e sanitários e sua relação com a verificação automática de modelos BIM. Ambiente Construído, abr. 2018. Disponivel em: <https://www.scielo.br/j/ac/a/jsspxJ8Fg8nQBLxPxZhM4yB/?lang=pt>. Acesso em: 20 nov. 2024.
EASTMAN, C. et al. Automatic rule-based checking of building designs. Automation in Construction, 18, dez. 2009. 1011–1033. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0926580509001198>. Acesso em: 20 jan. 2025.
FERNANDES, G. V. D. H.; FORMOSO, C. T.; TZORTZOPOULOS-FAZENDA, P. Método para verificação automatizada de requisitos em empreendimentos Habitacionais de Interesse Social. Ambiente Construído, Porto Alegre, out. 2018. 259-278. Disponivel em: <https://www.scielo.br/j/ac/a/NtwW3yCTNDkCKfrF57pJKpy/?lang=pt>. Acesso em: 20 nov. 2024.
GUALBERTO, N.; COUTO, J. P.; AZENHA, M. Implementação Bim ao Nível do Licenciamento Municipal: Verificação Automatizada do RGEU.: 3º Congresso Português de Building Information Modelling. Porto. Anais … In Porto: FEUP, 2020. p. 857-866. Disponivel em: <https://ptbim.org/wp-content/uploads/2021/02/LivroDeAtasDoPTBIM-2020.pdf>. Acesso em: 30 out. 2024.
HOOPER, E.; BOLPAGNI, M. Information management according to BS EN ISO 19650 Part D: Developing information requirements. 2ª. ed. [S.l.]: UK BIM Framework, 2021. Disponivel em: <https://www.ukbimframework.org/wp-content/uploads/2021/02/Guidance-Part-D_Developing-information-requirements_Edition-2.pdf>. Acesso em: 01 nov. 2024.
JIANG, L.; SHI, J.; WANG, C. Multi-ontology fusion and rule development to facilitate automated code compliance checking using BIM and rule-based reasoning. Advanced Engineering Informatics, 51, jan. 2022. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S1474034621002019?via%3Dihub>. Acesso em: 20 nov. 2024.
KATER, M.; RUSCHEL, R. C. O potencial da verificação automatizada baseada em regras para as medidas de segurança contra incêndio em BIM. Ambiente Construído, Porto Alegre, 20, out. 2020. 423-444. Disponivel em: <https://www.scielo.br/j/ac/a/LY6m3pnLz6vtyGKYgR3kD4F/?lang=pt>. Acesso em: 15 out. 2024.
MALSANE, S. et al. Development of an object model for automated compliance checking. Automation in Construction, 49, jan 2015. 51-58. Disponivel em: . Acesso em: 28 nov. 2024.
NISBET, N.; , Z. Z.; MA, L. Automated generation of SPARQL queries from semantic mark-up. Creta: [s.n.]. 2023. p. 2023 In: European Conference on Computing in Construction, 40th International CIB W78 Conference Creta, Proceedings... Disponível em: https://ec-3.org/publications/conference/paper/?id=EC32023_207. Acesso em: 28 nov. 2024.
REN, Q. et al. Automatic quality compliance checking in concrete dam construction: Integrating rule syntax parsing and semantic distance. Advanced Engineering Informatics, 60, abr. 2024. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S1474034624000570?via%3Dihub>. Acesso em: 28 nov. 2024.
SACKS, R. et al. Manual de BIM: Um Guia de Modelagem da informação da Construção para Arquitetos, Engenheiros, Gerentes, Construtores e Incorporadores. [S.l.]: Bookman. Edição Kindle, 2021.
SANTOS, K. T.; SAMPAIO, M. A. B. Análise da aplicação da metodologia rase para a verificação automatizada em modelo bim a partir da abnt nbr 6122:2019. In: SIMPÓSIO BRASILEIRO DE TECNOLOGIA DA INFORMAÇÃO E COMUNICAÇÃO NA CONSTRUÇÃO. Florianópolis. Anais... Porto Alegre: ANTAC, v. 4, 2023. Anais [.].
SOBHKHIZ, S. et al. Framing and Evaluating the Best Practices of IFC-Based Automated Rule Checking: A Case Study. Buildings, out. 2021. Disponivel em: <https://www.mdpi.com/2075-5309/11/10/456>. Acesso em: 28 nov. 2024.
SOLIHIN, W.; EASTMAN, C. Classification of rules for automated BIM rule checking development. Automation in Construction, 53, maio 2015. 69-82. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0926580515000370?via%3Dihub>. Acesso em: 01 ago. 2024.
SOLIMAN JR., J., FONSECA, V. F., FORMOSO, C. T., TZORTZOPOULOS, P. Verificação automatizada derequisitos regulamentares em projetos hospitalares com o uso de BIM In: ENCONTRO NACIONAL DE TECNOLOGIA DO AMBIENTE CONSTRUÍDO, 17., 2018, Foz do Iguaçu. Anais... Porto Alegre: ANTAC, 2018.. Disponivel em: <https://eventos.antac.org.br/index.php/entac/article/view/1761/1541>. Acesso em: 10 jan. 2025.
SOLIMAN-JUNIOR, J. et al. Automted compliance checking in healthcare building design. Automation in Constrution, 2021. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0926580521002739?via%3Dihub>. Acesso em: 15 jan. 2024.
SOLIMAN-JUNIOR, J.; FORMOSO, C. T.; TZORTZOPOULOS, P. A semantic-based framework for automated rule checking in healthcare construction projects. Canadian Journal of Civil Engineering, 47, fev 2020. Disponivel em: <https://cdnsciencepub.com/doi/10.1139/cjce-2018-0460>. Acesso em: 20 jan. 2025.
SYDORA, C.; STROULIA, E. Rule-based compliance checking and generative design for building interiors using BIM. Automation in Construction, 120, 2020. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0926580520309481?via%3Dihub>. Acesso em: 28 nov. 2024.
WANG, Y. et al. An Automated Fire Code Compliance Checking Jointly Using Building Information Models and Natural Language Processing. Fire, set. 2023. Disponivel em: <https://www.mdpi.com/2571-6255/6/9/358>. Acesso em: 28 nov. 2024.
XUE, X.; ZHANG, J. Regulatory information transformation ruleset expansion to support automated building code compliance checking. Automation in Construction, 138, 2022. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0926580522001030?via%3Dihub>. Acesso em: 28 nov. 2024.
ZHANG, Z. et al. Capabilities of rule representations for automated compliance checking in healthcare buildings. Automation in Construction, 146, fev. 2023. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0926580522005581?via%3Dihub>. Acesso em: 28 nov. 2024.
ZHENG, Z. et al. Knowledge-informed semantic alignment and rule interpretation for automated compliance checking. Automation in Construction, 142, 2022. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0926580522003971?via%3Dihub>. Acesso em: 28 nov. 2024.
ZHENG, Z. et al. A text classification-based approach for evaluating and enhancing the machine interpretability of building codes. Engineering Applications of Artificial Intelligence, 2023. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S095219762301391X?via%3Dihub>. Acesso em: 15 jul. 2024.
ZHOUA, Y.-C. et al. Integrating NLP and context-free grammar for complex rule interpretation towards automated compliance checking. Computers in Industry, 142, nov. 2022. Disponivel em: <https://www.sciencedirect.com/science/article/pii/S0166361522001439?via%3Dihub>. Acesso em: 28 nov. 2024. p009.
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2025 SIMPOSIO BRASILEÑO SOBRE TECNOLOGÍAS DE LA INFORMACIÓN Y LA COMUNICACIÓN EN LA CONSTRUCCIÓN
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
Adota-se Atribuição 4.0 Internacional (CC BY 4.0). Ver detalhamento em https://creativecommons.org/licenses/by/4.0/deed.pt_BR
