Consciência Cibernética em Engenharia Lógica.

No último dia 26 de março de 2018 apresentei a conferência “Consciência Cibernética em Engenharia Lógica” a qual denominou, também, a edição de 2018 do COENTELOG (Colóquio Entelechia Logicae).

No COENTELOG 2018 evidenciei uma vez mais a necessidade de se instituir procedimentos analíticos centrados na Lógica Formal de Primeira Ordem para a tomada de decisão dedutiva no campo das Ciências Exatas e das Tecnologias.

        

DIAS, C. M. C. - 2018

No evento apresentei sistemas formais procedimentais (disruptivos) entre Inteligência Artificial e “Consciência Cibernética” para desenvolvimento na Indústria 4.0 que estamos vivenciando e continuamente construindo.

Tomando cadeias dedutivas de sequências lógicas complexas formadas ou por fórmulas proposicionais ou por funções proposicionais (ambas de primeira ordem) apresentei considerações como demonstrar formalmente argumentos dedutivos tanto no Cálculo Lógico Proposicional quanto no Cálculo dos Predicados segundo distintas técnicas.

Na oportunidade, objetivando a instanciação de processos lógicos na tomada de decisão dedutiva, avaliei logicamente, também, sistemas formais de relacionamento procedimental.

O evento foi apresentado para Engenheiros e Estudantes de Engenharia e constituiu mais uma Ação de Extensão Tecnológica para a Sociedade segundo minha concepção e foi ofertado gratuitamente.

Na oportunidade apresentei, em particular, ainda, os pressupostos da Engenharia Lógica e suas implicações na atual Quarta Revolução Industrial.

Carlos Magno Corrêa Dias
28/03/2018

Cenenlocog uma forma inovadora e disruptiva para se pensar.

         
O Centro de Engenharia Lógica e Cognição (Cenenlocog, ou na sigla em inglês, Cetfleco: Center of Logic Engineering and Cognition) tem como um de seus objetivos o desenvolvimento de estudos e pesquisas no campo da Engenharia Lógica associado à Cognição e Inovação, bem como o correspondente ensino das soluções e resultados alcançados para a ampliação das atuais possibilidades de conhecimento.

Com o propósito, também, de desenvolver soluções direcionadas para a aquisição de conhecimentos em Engenharia Lógica em simbiose com o Formalismo Matemático, a Filosofia Analítica e os pressupostos do Engendrar em Engenharia para a instanciação da Engenharia Lógica como Área de Conhecimento necessária para criar e desenvolver métodos e técnicas para a avaliação de raciocínios sistematizados a partir da formalização de estruturas utilizadas na fundamentação das Ciências em conformidade com a evolução e o alcance da Álgebra da Lógica e da Filosofia Analítica o Cenenlocog constitui proposta inovadora e disruptiva de se pensar associada à Indústria 4.0 (ou Quarta Revolução Industrial) atualmente em construção.

É esperado com o Conenlocog forte associação com as demais Áreas de Conhecimento e com o alcance dos ODS (Objetivos de Desenvolvimento Sustável) da ONU (Organização das Nações Unidades) para se trilhar caminho sustentável que permita sempre novas extensões que levem, necessariamente, à Melhoria de Vida das Pessoas e ao Desenvolvimento e Progresso de nossa Nação.

Carlos Magno Corrêa Dias
27/03/2018