Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real.

• Ano de defesa: 1993
• Autor(a) principal: Baptistella, Antonio Carlos Lamoglia
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Análise aritmética booleana; Boolean arithmetic analysis; Linguística técnica; Technical linguistics
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3143/tde-13112024-123921/

No estudo de sistemas de decisão e de representação de conhecimento, observamos uma importante lacuna no que se refere a análise e dedução lógica de textos a partir do que denominamos linguística técnica: não há como verificarmos a construção e interpretação matemática dos mesmos. A transformação de um texto, quando desenvolvido em linguística técnica, em sua representação algébrica booleana, permite que a análise de seu conteúdo e as conclusões a que podemos chegar sejam isentas de qualquer tipo de erro lógico, uma vez que, ao introduzirmos a lógica matemática, retornamos a análise ao campo da engenharia e não ao empirismo com que são desenvolvidos os sistemas atuais de software. Esta análise de textos, obtida a partir de um sistema de equações booleanas, permitiu-nos demonstrar a correção da construção do texto. Com efeito são apresentadas as restrições lógicas que preservam a verdade do texto em análise, tanto em problemas que denominamos humanos (com exemplos em administração de empresas e na área médica, em português e em inglês) como em problemas tecnológicos (com exemplo na análise de um no genérico de um diagrama de transição de estados). Mais ainda, permitiu-nos demonstrar que a correção da permanência de sistemas tecnológicos em estados desconhecidos ou indesejáveis é possível, matematicamente, o que não ocorre com sistemas humanos.