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.7494Palavras-chave:
Verificação Automatizada de Conformidade, Inteligência Artificial, Lógica Formal, BIM, PMCMVResumo
O relançamento do Programa Minha Casa Minha Vida (PMCMV), por meio da Portaria nº 725/2023, trouxe uma significativa ampliação dos requisitos normativos para projetos habitacionais. A verificação manual desses requisitos tem se mostrado morosa e sujeita a erros, especialmente devido à complexidade e ambiguidade da linguagem natural presente nas normas técnicas. Este estudo explora o uso de ferramentas de inteligência artificial (IA), com foco em Processamento de Linguagem Natural (PLN), para apoiar a etapa inicial da Verificação Automatizada de Conformidade (ACC): a interpretação e estruturação de requisitos em lógica formal. Sentenças da Portaria foram submetidas a três modelos de IA (ChatGPT, Gemini e DeepSeek), e seus resultados foram analisados quanto à fidelidade, coerência e ambiguidade. Os testes demonstraram que pequenas alterações na redação normativa podem melhorar significativamente a qualidade da formalização lógica. Conclui-se que a IA pode ser uma aliada na elaboração de normas mais claras e verificáveis, contribuindo para maior eficiência e transparência no processo de conformidade.
Downloads
Referências
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.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Copyright (c) 2025 SIMPÓSIO BRASILEIRO DE TECNOLOGIA DA INFORMAÇÃO E COMUNICAÇÃO NA CONSTRUÇÃO
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Adota-se Atribuição 4.0 Internacional (CC BY 4.0). Ver detalhamento em https://creativecommons.org/licenses/by/4.0/deed.pt_BR
