Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real (1993)
- Authors:
- Autor USP: BAPTISTELLA, ANTONIO CARLOS LAMOGLIA - EP
- Unidade: EP
- Sigla do Departamento: PEA
- Assunto: ENGENHARIA ELÉTRICA
- Language: Português
- Abstract: 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.
- Imprenta:
- Data da defesa: 30.08.1993
-
ABNT
BAPTISTELLA, Antonio Carlos Lamoglia. Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real. 1993. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1993. . Acesso em: 19 set. 2024. -
APA
Baptistella, A. C. L. (1993). Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real (Tese (Doutorado). Universidade de São Paulo, São Paulo. -
NLM
Baptistella ACL. Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real. 1993 ;[citado 2024 set. 19 ] -
Vancouver
Baptistella ACL. Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real. 1993 ;[citado 2024 set. 19 ]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas