5 de novembro de 2023

Alcance dos ODS por meio das Ciências e das Tecnologias.


Com meu aforismo “SUSTENTABILIDADE: o atendimento de nossas necessidades atuais não pode comprometer o atendimento das necessidades das gerações futuras” encerrei a palestra ALCANÇANDO OS ODS POR MEIO DAS CIÊNCIAS E DAS TECNOLOGIAS a qual ministrei no último dia 20 de outubro de 2023, durante a 20ª SNCT (Semana Nacional de Ciência e Tecnologia), por meio do Cenenlocog (Centro de Engenharia Lógica e Cognição).

DIAS, C. M. C. - 2023

Na conferência em questão considerei diversas possibilidades de como por intermédio de pesquisas e desenvolvimentos, centrados em inovação e disrupção, nos campos das Ciências e das Tecnologias está sendo efetivo o alcance dos ODS (Objetivos de Desenvolvimento Sustentável) da Agenda 2030 da ONU (Organização das Nações Unidas); agenda na qual colaboro desde a sua instituição em 2015 e antes, desde 2000, contribuindo no programa ODM (Objetivos de Desenvolvimento do Milênio), também, promovido pela ONU.

Durante a palestra, em particular, evidenciei como a Engenharia Lógica e a Inteligência Artificial (IA) em associação com as Neurociências, os SCP (“Cyber Physical Systems” - Sistemas Ciber Físicos) e o movimento ESG (“Environmental, Social, and Corporate Governance” - Governança Ambiental, Social e Corporativa) estão ajudando a alcançar Sustentabilidade de forma mais ampla e rapidamente.

A SNCT, instituída pelo Decreto de 9 de junho de 2004, é momento ímpar do calendário das Ciências e das Tecnologias no Brasil haja vista que durante as suas já vinte edições sempre objetivou mobilizar a população brasileira em torno da importância das Ciências e das Tecnologias como meio para se gerar soluções dos diversos e diferentes grandes desafios nacionais e para se atingir sempre a melhoria da qualidade de vida das pessoas em um mundo que sofre constante e profunda mudança e que, ao mesmo tempo, exige ser inovador e inolvidável.

A SNCT 2023, promovida pelo Ministério da Ciência, Tecnologia e Inovação (MCTI), foi desenvolvida no período de 14 a 22 de outubro de 2023, tendo como tema central “Ciências Básicas para o Desenvolvimento Sustentável”; focando, então, fortemente no alcance dos ODS.

Carlos Magno Corrêa Dias
06/11/2023

11 de abril de 2023

Simlogneu 2023 trata de distúrbios cognitivos e neurológicos.


No último dia 10 de abril de 2023 durante o “Primeiro Simpósio de Lógica e Neurociência” (Simlogneu 2023) apresentei a palestra intitulada “LÓGICA DOS DISTÚRBIOS COGNITIVOS E NEUROLÓGICOS”.

DIAS, C. M. C. - 2023

Como o Simlogneu 2023 é o primeiro de uma série de conferências pretendidas expliquei no início de minha palestra que o objetivo dos simpósios será tratar assuntos científicos e acadêmicos relacionados com a associação (simbiose) entre a Lógica e a Neurociência visando a divulgação de estudos e pesquisas que abordam técnicas e procedimentos tanto para evitar quanto para mitigar as disfunções de ordem cognitiva e neurológica na mente humana.

Expliquei, também, naquele início, que a principal motivação para a existência dos Simpósios de Lógica e Neurociência foi a constatação assustadora que estão sendo gerados efeitos danosos na memória/mente das pessoas decorrentes da pandemia de Covid-19. É comprovado que o coronavírus está deixando um rastro de milhões de adoentados acometidos por sérios problemas de memória. Estudos recentes mostram que quase a metade dos indivíduos que tiveram a Covid-19 estão apresentando falhas cognitivas, principalmente, as associadas à perda de memória.

Em seguida qualifiquei o que se entende por “distúrbios cognitivos” no que tange às diferentes formas que a mente humana pode falhar gravemente quando alterações afetam diretamente a cognição ressaltando, de imediato, que um “distúrbio cognitivo” é um tipo de distúrbio mental que afeta centralmente as habilidades cognitivas do ser humano.

Em geral, o transtorno mental cognitivo (o distúrbio cognitivo) é um distúrbio de natureza psicológica que provoca problema no funcionamento normal das funções cognitivas básicas gerando importantes alterações na mente em diferentes níveis quanto à capacidade de entender e resolver problemas.

As disfunções promovidas pelos distúrbios cognitivos afetam sobremaneira tanto as funções cognitivas básicas ou primárias (atenção, percepção, memória, raciocínio) quanto as funções cognitivas complexas ou superiores (orientação, idiomas, habilidades práticas, funções executivas, capacidade de resolução de problemas).

Na sequência de minha exposição qualifiquei o entendimento sobre “distúrbios neurológicos” remetendo ao conceito padrão segundo o qual se aceita que as correspondentes disfunções são caracterizadas pelo desenvolvimento de alguma anormalidade no cérebro, medula espinhal, nervos ou terminações nervosas. Assim sendo, pode-se dizer, mais genericamente, que “distúrbios neurológicos” são doenças que acometem as estruturas do sistema nervoso e, portanto, são capazes de afetar a rotina e a autonomia dos acometidos com diferentes formas e intensidades.

O sistema nervoso do ser humano, dividido em central e periférico, é responsável pela transmissão de impulsos elétricos que determinam movimentos voluntários e involuntários do corpo comandados pelo cérebro que é o principal órgão do sistema. Havendo, então, em decorrência dos transtornos neurológicos desordens na formação dos comandos ou na sua transmissão; cabendo sempre observar que os acometidos (adoentados) não possuem qualquer forma de controle sobre o desenvolvimento dos mesmos.

Na sequência apresentei rápidas considerações sobre alguns tipos de transtornos neurológicos tais como: Transtorno Neurológico Infantil (Paralisia Cerebral, Epilepsia, Tiques, Distúrbio do Comportamento, Malformações Cerebrais, Transtorno de Déficit de Atenção e Hiperatividade (TDAH), Transtorno do Espectro Autista (TEA)); Transtorno Neurológico Funcional; Transtorno Neurológico Degenerativo (causados por doenças degenerativas como Alzheimer, Esclerose múltipla, Parkinson, Esclerose Lateral Amiotrófica (ELA), Distrofia Muscular, Atrofia Muscular Espinhal (AME)); Transtorno Neurológico do Desenvolvimento (Deficiência Intelectual, Transtorno do Espectro Autista (TEA), Paralisia Cerebral, Dislexia); Transtorno Neurológico do sono.

Distinguido o entendimento sobre Distúrbios Cognitivos e Distúrbios Neurológicos pontuei considerações sobre a Neurociência (ou Ciência do Sistema Nervoso) no sentido de qualifica-la como a área do saber que se propõe a estudar cientificamente o sistema nervoso e suas funcionalidades de forma a ser tomada como uma ciência interdisciplinar que associa conhecimentos de outros setores como Anatomia, Antropologia, Ciência da Computação, Comunicação, Educação, Engenharia, Filosofia, Física, Linguística, Matemática, Medicina, Psicologia, Química, bem como LÓGICA.

Neste momento de minha palestra entrei no principal objetivo da apresentação que foi mostrar como a LÓGICA, ou mais especificamente a ENGENHARIA LÓGICA, tem contribuído com a Neurociência não apenas quanto ao entendimento das questões sobre os distúrbios neurológicos e cognitivos como, também, para o desenvolvimento de técnicas e metodologias que permitam a prevenção dos correspondentes problemas que podem ser gerados na mente humana decorrente daqueles transtornos.

As técnicas já usadas na Neurociência vão muito além de contribuições pontuais em estudos moleculares ou celulares de neurônios (biologicamente falando). Dada a extensão multidisciplinar da Neurociência o cérebro humano passou a ser mapeado de distintas formar sendo procedimentos analíticos fortemente empregados não apenas para entender o seu funcionamento como, também, para otimizá-lo ou para tentar corrigir (direta ou indiretamente) problemas que vão surgindo ao longo da vida das pessoas acometidas/adoentadas.

Já há tempos estudos lógicos centrados na Matemática e na Engenharia avaliam e promovem o desenvolvimento de redes neurais e de circuitos (sistemas) para o processamento analítico/formal de dados e informações para a geração de modelos artificiais de investigação (tecnologias) para auxiliar nas ações biomédicas/clínicas no tratamento ou prevenção dos vários problemas gerados por disfunções cognitivas ou disfunções neurológicas.

Como proponente fundador da Engenharia Lógica ressaltei, uma vez mais, estar a Engenharia Lógica embasada nos fundamentos da Lógica Formal (na Álgebra da Lógica e nos Cálculos Lógicos) e que, dentre seus vários objetivos, vem somando esforços para mais adequadamente compreender as disfunções cerebrais e para melhor potencializar as capacidades cognitivas, estudando, também, formas alternativas de recompor ou mitigar os declínios cognitivos e as maneiras de relacionamento cada vez mais estrito com a Neurociência.

Em geral a Lógica Dedutiva ensina, basicamente, que “alfa premissas levam a beta conclusões” pressuposto este determinante na Engenharia Lógica para se avaliar, também, a legitimidade e a consistência do pensamento (em quaisquer condições tanto de normalidade quanto em processos de perturbação ou em estágios degenerativos). Como em outras de suas aplicações a Engenharia Lógica detém procedimentos formais que permitem instituir o necessário estudo lógico (análise lógica) das condições iniciais dos distúrbios cognitivos ou neurológicos para mais adequadamente compreendê-los e propor soluções.

A Engenharia Lógica (também chamada de Engenharia Inferencial) teve seu início por volta da década de 1989 e começou a ser divulgada entre 1999 e 2001 quando publiquei as obras: “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior” (ISBN: 85-900661-2-6); “Compêndios de matemática e lógica matemática: uma abordagem extemporânea” (ISBN: 85-900661-4-2); e, “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-3-4).

Como tenho defendido a Engenharia Lógica “objetiva transformações na forma de se pensar e de se estabelecer soluções para o mundo real. Entretanto, está centrada em Inferências Lógicas mantendo profundas relações de impregnação mútuas entre a Inteligência Lógica e o Engendrar Inferencial”

A Engenharia Lógica foi pensada para criar e desenvolver métodos e técnicas voltados para a avaliação e correção formal de raciocínios dedutivos estruturados segundo os pressupostos da Computabilidade (operacionalidade analítico-formal) dos Cálculos Lógicos para a geração de modelos formais de solução de problemas equacionáveis algébrica e logicamente visando (sempre) a validade de raciocínios dedutivos (desde que passíveis da correspondente formalização teórica).

A Engenharia Lógica se apropria de distintas técnicas formais de avaliação de processos dedutivos direcionadas para a aquisição de conhecimentos, utilizando 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 da Lógica Matemática Predicativa de Primeira Ordem; seguindo, também, orientações prepostas pelas razões suficientes da Lógica Dedutiva Bivalente e Dicotômica originada lá na distante época da Filosofia da Antiguidade Clássica.

Encerrando minha apresentação fiz observar que a Engenharia Lógica (enquanto conjunto de procedimentos e conhecimentos centrados nos fundamentos lógicos, analíticos e necessários da Lógica Formal) tem permitido à Neurociência a investigação teórico-formal de quadros demenciais particularmente no que tange à evolução crônica das perdas cognitivas relacionadas às disfunções neurológicas. Salientei, também, que a Engenharia Lógica poderá auxiliar fortemente tanto a entender quanto a antever as causas de determinados tipos de demências mediante o desenvolvimento de modelos analíticos apropriados associados aos desenvolvimentos da IA (Inteligência Artificial); pois, necessariamente, “alfa premissas levam a beta conclusões”.

O “Primeiro Simpósio de Lógica e Neurociência” (Simlogneu 2023) foi promovido pelo Cenenlocog (Centro de Engenharia Lógica e Cognição) sob minha coordenação.

Carlos Magno Corrêa Dias
11/04/2023

30 de março de 2023

Engenharia Lógica avalia Chat de IA.


No último dia 25 de março de 2023 tive a grata satisfação de ministrar a palestra intitulada “Engenharia Lógica avalia Chat de IA” com a qual reinicia, em 2023, as atividades do Cenenlocog (Centro de Engenharia Lógica e Cognição).

DIAS, C. M. C. - 2023

Na conferência chamo a atenção não apenas para os desafios sobre o Chat de IA (Inteligência Artificial) denominado ChatGPT (Chat generative pre-trained transformer - Chat “transformador pré-treinado gerador de conversas”) da OpenAI, mas, principalmente, para os grandes perigos para a humanidade que este chatbot com IA “especializado em diálogo” começa a sinalizar. Servindo-me dos pressupostos da Engenharia Lógica procedo de forma extemporânea a avaliação da ferramenta em referência na correspondente exposição.

Como todo chatbot (ou chatterbot), o ChatGPT “é um programa de computador que se propõe simular um ser humano na conversação com as pessoas objetivando responder as perguntas de maneira que as pessoas tenham a “impressão” de estar, de fato, conversando com outra pessoa e não com um computador”. E, portanto, falível e não confiável (em princípio) dado que os conteúdos advém apenas da INTERNET e não têm referências de autoridades.

O modelo de linguagem artificial do ChatGPT interage de forma conversacional possibilitando “realizar uma grande variedade de tarefas tais como responder perguntas, elaborar textos, traduzir conteúdos, escrever programas em linguagem de computador, preparar monografias ou até mesmo teses, gerar artigos científicos, elaborar laudos ou perícias, resolver questões problema, enfim, dar conta de diversas tarefas que desafiam a inteligência humana”.

Mas, embora surpreendente e já cativando milhões de usuários, o ChatGPT é bem deficitário, limitado, podendo ser tendencioso e gerar erros (até grosseiros e facilmente identificáveis) dos mais diferentes níveis e abrangências podendo causar sérios prejuízos.

O próprio ChatGPT adverte os usuários: “... o sistema pode ocasionalmente gerar informações incorretas ou enganosas e produzir conteúdo ofensivo ou tendencioso. Não se destina a dar conselhos”.

Na palestra ponho em foco a questão do correspondente perigo, mas sinalizo, também, algumas das boas vantagens que a ferramenta apresenta desde que devidamente avaliadas pelos humanos que recebam as respectivas informações solicitadas.

A palestra seguiu as linhas do artigo “Lógica expõe dificuldades sobre chat de IA” que escrevi recentemente e que foi publicado em mídias digitais de divulgação.

Enfatizo tanto na palestra quanto no artigo referenciado que a “Literacia Mediática” (“capacidade de aceder, criar, avaliar e compreender as mensagens dos vários meios de comunicação”) de ferramentas baseadas em IA como a plataforma ChatGPT é ainda muito fraca e não confiável dado que tais plataformas “não sabem bem o que dizem, só falam e falam e falam (sem compromisso algum [com a verdade]”.

Encerro meu pronunciamento alertando sobre a necessidade urgente de definirem regulamentações e de legislações específicas apropriadas para se manter a segurança, a ética, a privacidade e a confiabilidade das informações disseminadas automaticamente por quaisquer robôs ou máquinas com IA tipo o ChatGPT dado que se não forem instituídas normas claras sobre o desenvolvimento e proliferação de tais tecnologias poderá ser possibilitada a disseminação de potencial ameaça à humanidade.

As chances de se desenvolver e se multiplicarem (sem controle algum) inúmeras “mentes digitais” autorreplicantes sobre as quais não se tenha sequer entendimento algum não é mera ficção, é um fato como o é uma pandemia ou outra infestação em grande e incontrolada escala que não se conhecia certamente.

O risco de se criar uma "superinteligência” desalinhada com a manutenção da vida humana sempre foi um temor real que com as ferramentas como o ChatGPT se tornam algo bem mais assustador e presente.

Finalizando minha exposição fui bem claro ao afirmar que é necessário sim (e urgente) a criação de um Órgão Regulador Internacional dedicado a tratar, avaliar e decidir sobre todos os aspectos relacionados com a IA e com todas as tecnologias associadas à IA que possam interferir maleficamente na vida humana.

Carlos Magno Corrêa Dias
30/03/2023

18 de março de 2023

Cenenlocog segue os caminhos da disrupção e inovação.


Há exatamente um ano atrás, em 18 de março de 2022, coordenava a importante primeira reunião de planejamento do Cenenlocog (Centro de Engenharia Lógica e Cognição) quando foram avaliadas as necessárias ações para mitigar as graves consequências da pandemia de Covid-19 para o progresso e o desenvolvimento das Cidades e foi tratado, também, a Agenda (mínima) de Atividades de 2022 do Cenenlocog.

DIAS, C. M. C. - 2022

Naquele evento ministrei, ainda, a palestra "Engenharia Lógica inovando e criando disrupção nas Smart Cities" na qual apresentei a Engenharia Lógica como forma de se gerar procedimentos formais (analíticos) centrados na associação entre Lógica de Primeira Ordem e Indústria 4.0 para a tomada de decisão no gerenciamento adequado de Cidades Inteligentes.

O Cenenlocog (ou na sigla em inglês, Cetfleco: Center of Logic Engineering and Cognition), sob minha liderança/coordenação desde a sua fundação, tem como um de seus propósitos estruturantes “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”.

Desenvolver, também, “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” é outo dos objetivos fundamentais do Cenenlocog (Cetfleco).

Estando próxima a realização da quarta edição da Smart City Expo Curitiba, a SCECWB 2023, o Cenenlocog se organiza para mais uma vez apresentar suas contribuições ainda mais que nesta edição, com o tema "Cidades que conectam: pessoas e tecnologias", os desafios sobre a Sustentabilidade estarão fortemente presentes no evento.

O Cenenlocog tem dedicado esforços, também, para contribuir no alcance dos Objetivos de Desenvolvimento Sustável (ODS) da Agenda 2030 da ONU (Organização das Nações Unidas) que visam a Sustentabilidade do planeta para a melhoria de vida das pessoas.

Como fundador e coordenador do Cenenlocog é com grande satisfação que anuncio o a volta das atividades agora para 2023. O retorno depois da pandemia de Covid 19 estava previsto para 2022. Contudo, intercorrências de força maior obrigaram que em 2022 fossem realizadas apenas a reunião de planejamento e a palestra "Engenharia Lógica inovando e criando disrupção nas Smart Cities".

Agora em 2023 novas perspectivas se apresentam e se prosseguirá desenvolvendo os objetivos do Cenenlocog. Já no próximo dia 25 de março de 2023 ministrarei a palestra intitulada “Engenharia Logica avalia Chat de IA” a qual marcará a abertura dos trabalhos de 2023 do Cenenlocog.

Carlos Magno Corrêa Dias
18/03/2023