Exportar registro bibliográfico

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

  • Autores:
  • Autor USP: BAPTISTELLA, ANTONIO CARLOS LAMOGLIA - EP
  • Unidade: EP
  • Sigla do Departamento: PEA
  • Assunto: ENGENHARIA ELÉTRICA
  • Idioma: Português
  • Resumo: 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

  • Como citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BAPTISTELLA, Antonio Carlos Lamoglia; MARTINS, Wagner Waneck. Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real. 1993.Universidade de São Paulo, São Paulo, 1993.
    • APA

      Baptistella, A. C. L., & Martins, W. W. (1993). Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real. Universidade de São Paulo, São Paulo.
    • NLM

      Baptistella ACL, Martins WW. Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real. 1993 ;
    • Vancouver

      Baptistella ACL, Martins WW. Engenharia da dedução de textos e a eliminação matemática da incompatibilidade nodal numa microprogramação estruturada a tempo real. 1993 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2021