No período de 03 de abril a 13 de abril de 2012, ministrava o Curso de Extensão Universitária e Tecnológica intitulado ENGENHARIA INFERENCIAL o qual objetivou apresentar aos participantes técnicas formais de avaliação de processos dedutivos direcionadas para a aquisição de conhecimentos, bem como, propor métodos algébricos de gerenciamento sistemático de informações tomando por suporte os Cálculos Algébricos da Lógica Matemática Sentencial e Predicativa de Primeira Ordem.
DIAS, C. M. C. - 2012
Naquela época apresentava os fundamentos da Engenharia que denominava ENGENHARIA INFERENCIAL, onde as Inferências Lógicas formavam a base para a criação, aperfeiçoamento ou implementação de soluções no campo dedutivo e formal centrado na Lógica Formal.
A Engenharia Inferencial pretendia o engendrar de modelos formais de solução de problemas equacionáveis algébrica e logicamente, bem como, produzir dispositivos automáticos para aferir a validade de raciocínios dedutivos originalmente identificados.
Todavia os estudos ao longo dos anos mostraram que a Engenharia Inferencial constituía uma parte de uma nova Engenharia ainda mais disruptiva que passei a chamar de Engenharia Lógica a qual na Indústria 4.0 se associa fortemente à Inteligência Artificial e caminha para a instanciação da Consciência Cibernética.
A Engenharia Lógica, entendida como o conjunto de procedimentos e conhecimentos centrados nos fundamentos lógicos, analíticos e necessários da Lógica Formal, objetiva a formulação de critérios eficientes e eficazes para avaliação prévia da legitimidade e consistência dos sistemas envolvidos para possibilitar o engendrar, chamando, também, a necessária fusão das Tecnologias e Ciências quanto às aproximações cada vez mais acentuadas entre as esferas físicas e digitais que transformam o mundo atualmente em conformidade com a Quarta Revolução Industrial ou Indústria 4.0.
Um dos propósitos da Engenharia Lógica é o estabelecimento de uma Lógica Condicional entre as Ciências e as Tecnologias para, de forma conjuntiva, perspectivar novas extensões e evitar os erros já cometidos de se tratar as Ciências e as Tecnologias com distanciamento inaceitável o qual em muito delimitou desenvolvimentos e progressos anteriormente.
Carlos Magno Corrêa Dias
16/04/2018
Carlos Magno Corrêa Dias
16/04/2018