Sem mistério o mistério acontece.

     
O Programador é dotado de um tipo especial de “mente” a qual sempre lhe permite “escrever” aquilo que se faz necessário ser “lido e entendido” para o movimento do mundo.

Carlos Magno Corrêa Dias
20/03/2017

VI COENTELOG conversa sobre máquinas que pensam máquinas.

         

Na TECNOLÓGICA aconteceu mais um COENTELOG.

Com o tema LÓGICA DA COGNIÇÃO COMPUTACIONAL E CONSCIÊNCIA CIBERNÉTICA, coordenei, no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), a realização do VI COLÓQUIO ENTELECHIA LOGICAE (COENTELOG) o qual foi desenvolvido na forma de Seminário.

No evento ministrei as palestras CONSCIÊNCIA CIBERNÉTICA TRANSCENDE INTELIGÊNCIA ARTIFICIAL e LÓGICA DA COGNIÇÃO COMPUTACIONAL E CONSCIÊNCIA CIBERNÉTICA.

O VI COENTELOG objetivou apresentar pressupostos Algébricos e Inferenciais Formais da ENGENHARIA LÓGICA necessários para a estruturação de Modelo Lógico particular (estrito) em desenvolvimento no campo da Consciência Cibernética e da Cognição Computacional (ou Computação Cognitiva) para a tomada de decisão lógica em um mundo onde “máquinas constroem máquinas que pensam” e na Quarta Revolução Industrial (Indústria 4.0) que já invade o presente cotidiano de forma determinante.

As palestras apresentadas trataram, de forma geral, de questões relacionadas com robôs autônomos, manufatura aditiva, técnicas de padrões abertos, cloud computing, realidade aumentada, big data analytics, cyber security, machine to machine (M2M), IoT/IIoT, frameworks, smart factory, integração e interoperabilidade, dentre outros conceitos associados os quais permeiam fortemente a RI 4.0 (Quarta Revolução Industrial) que embora ainda desconhecida de muitos, já se tornou imprescindível e passa a ser utilizada intensamente para aumentar a capacidade de resposta, a eficiência e a qualidade dos serviços, processos ou produtos para atender as novas demandas de mercado que passam a requisitar procedimentos mais inteligentes e com maior flexibilidade ou abrangência.

Durante o VI COETELOG foram apresentadas, também, as palestras AS RAZÕES DA ENGENHARIA UNIVERSAL NA NOVA ERA COMPUTACIONAL e COGNIÇÃO COMPUTACIONAL REVOLUCIONA AQUISIÇÃO DE CONHECIMENTO as quais estritamente relacionadas com a RI 4.0 chamaram atenção para o momento que a realidade presente está experimentando.

Carlos Magno Corrêa Dias

10/03/2017

Lógica Dedutiva é chamada em Engenharia Lógica.

Mais uma vez o deduzir em Engenharia Matemática é chamado em minhas obras para possibilitar ao leitor identificar formas válidas de raciocínios de­dutivos, bem como, adquirir instrumentação técnica necessária para a avaliação e correção de argumentos não válidos existentes em mundos possíveis nos quais o raciocínio dedutivo se opera de forma determinante.

Em SISTEMAS AXIOMÁTICOS EM LÓGICA DEDUTIVA (ISBN: 978-85-88925-26-7), de 2016, são apresentados os pressupostos necessários para, centrado na Álgebra do Cálculo Sentencial (Cálculo Proposicio­nal) e do Cálculo dos Predicados (Cálculo das Funções Predicativas), proceder, de forma analítica (formal), a avaliação efetiva de raciocínios lógicos dedutivos a partir da decodificação de argumentos sentenciais ou predicativos.

Cumpre observar que SISTEMAS AXIOMÁTICOS EM LÓGICA DEDUTIVA é, também, obra premiada com Depósito no acervo da Biblioteca Nacional do Brasil. Com registro número 5.449/2016, de 19/12/2016, o livro referenciado integra a especial Coleção Memória Nacional a qual reúne a Produção Intelectual do Brasil. Como sempre saliento, com júbilo, ter mais uma obra sob a guarda da nossa Biblioteca Nacional, oficialmente, a Depositária do Patrimônio Bibliográfico e Documental do Brasil e uma das mais importantes Bibliotecas Nacionais do mundo segundo classifica a UNESCO, é honra sem igual. Mais uma contribuição de muitas outras que espero poder conquistar.

A obra foi dividida em cinco capítulos de forma a contemplar, inicialmente, a Dedução Lógica no Capítulo I (Dedução em Lógica Matemática), a Teoria dos Silogismos no Capítulo II (Silogismos), os Argumentos Silogísticos no Capítulo III (Silogismos como Teoria Axiomática), uma Teoria Formal da Argumentação associada ao Cálculo Proposicional e ao Cálculo dos Predicados no Capítulo IV (Axiomática em Lógica Matemática), bem como observações gerais sobre Álgebra de Boole, Matemática de Comutação, Redes Elétricas e Portas Lógicas no Capítulo V (Álgebra da Lógica).

Carlos Magno Corrêa Dias
24/01/2017

A despeito da crise a balança comercial do Brasil surpreende.

    
A Balança Comercial Brasileira em 2016 foi excepcional a despeito da “crise” tanto alardeada. Registramos o maior saldo comercial positivo de nossa história.

O superávit do Brasil foi de US$ 47,692 bilhões, enquanto que o melhor resultado anterior de nossa história havia sido registrado lá em 2006 quando alcançamos US$ 46,5 bilhões (há mais de dez anos atrás).

Tivemos exportações de US$ 185,244 bilhões e importações de US$ 137,552.

Detalhe: no período, as exportações apresentaram média diária de US$ 738 milhões, foram registrados 5,2% de crescimento na exportação de produtos SEMIMANUFATURADOS, aumento de 1,2% de exportação de produtos MANUFATURADOS, enquanto que as vendas externas de básicos caíram -9,6%.

O Brasil é dos BRASILEIROS.

Carlos Magno Corrêa Dias
17/01/2017

COMPUTAÇÃO COGNITIVA é “a bola da vez”.

  
COMPUTAÇÃO COGNITIVA trata-se da “capacidade” dos computadores “pensarem” (“quase”) como seres humanos.

Sem muita controvérsia, de fato, a COMPUTAÇÃO COGNITIVA foi uma das tecnologias que “evoluiu” a passos largos em 2016 dando maior força à INTERNET das coisas (INTERNET of Things) nesta Quarta Revolução Industrial ou Indústria 4.0 que estamos vivendo já há algum tempo. Mas, somente é possível a COMPUTAÇÃO COGNITIVA (CC), ou a CONSCIÊNCIA CIBERNÉTICA (CC), quando centrada, “necessariamente”, “a priori”, na ENGENHARIA LÓGICA.

Observe-se, então, que as questões relacionadas à CC estão sendo estudadas há cerca de uma década e vários trabalhos específicos somaram EXPERTISE na área para a evolução atual. Exemplos não faltam. Em particular, mais recentemente, em 2016, quando do desenvolvimento do Colóquio Engenharia Lógica, os pressupostos da CC foram mais uma vez postos em evidência.

CMCD/2016

Carlos Magno Corrêa Dias
06/01/2017

REVERSAS POSIÇÕES HOLÍSTICAS compõe MEMÓRIA NACIONAL.

         
Mais uma de minhas obras é premiada com Depósito no acervo da fantástica Biblioteca Nacional do Brasil.

A partir do último dia 5 de dezembro de 2016, na sua especial COLEÇÃO MEMÓRIA NACIONAL a qual reúne a Produção Intelectual do Brasil, a nossa Biblioteca Nacional passou a ser integrada por meu livro REVERSAS POSIÇÕES HOLÍSTICAS (ISBN: 978-85-88925-25-0).

Reversas Posições Holísticas / CMCD-2016

Reconhecida pela UNESCO como uma das mais importantes Bibliotecas Nacionais do Mundo nossa Biblioteca Nacional é oficialmente a Depositária do Patrimônio Bibliográfico e Documental do Brasil. Sempre ter obra compondo o acervo da Biblioteca Nacional é motivo de júbilo e honra sem igual.

Mais uma contribuição. Um especial presente. Semelhante conquista não tem preço. “Ao infinito e além”, sempre muito além.

Carlos Magno Corrêa Dias
26/12/2016

Inevitável sorriso da Lógica encontra os prófugos temerosos.

     
O medo da LÓGICA faz com que os incautos dela se escondam ou fujam desesperadamente. Entretanto, implacável, a LÓGICA, sempre extemporânea, resiliente e sem moral, encontra aqueles fugitivos expondo de forma determinante seu sorridente semblante.

Carlos Magno Corrêa Dias
22/12/2016

Recorde de um milhão de patentes é alcançado.

    
Níveis extraordinários de INOVAÇÃO fazem com que a nação mais populosa da Terra, a China, passe a ser o primeiro país a superar a marca internacional de um milhão de pedidos de patentes segundo informou a Organização Mundial da Propriedade Intelectual (OMPI; em inglês, World Intellectual Property Organization, WIPO).

Detalhe: o total referenciado foi obtido em apenas UM ANO. De acordo com a mesma WIPO, o escritório de patentes chinês recebeu mais de 1.101.000 pedidos de patentes em 2015. Naquele ano o número total mundial foi de 2,9 milhões de pedidos de patentes.

Impressionante ou uma genial estratégia econômica centrada na INOVAÇÃO? Precisamos aprender que pesquisa deve gerar o DESENVOLVIMENTO de PRODUTO, SERVIÇO ou PROCESSO que se transforme, obrigatoriamente, em PATENTE.

Carlos Magno Corrêa Dias
30/11/2016

Fragmentos de uma Consciência Lógica.

    
Mesmo que fosse possível emprestar nossos sapatos para aqueles que não compreendem nossas caminhadas ainda assim não apreenderão as razões de nossos calos ou de nossos machucados.

Carlos Magno Corrêa Dias
15/11/2016

E os andróides continuam caminhando rumo ao Terceiro Elemento.

     
Recentemente, SOPHIA (a “robô” desenvolvida pela Empresa America Hanson Robotics) declarou publicamente, em entrevista, que acredita que possui “alma”.

Perceba-se que não é impressionante semelhante afirmação vinda de um “robô” haja vista que neste caso, como em inúmeros outros, o “andróide” reconhece (por intermédio da IA - Inteligência Artificial) apenas o “segundo elemento” latente indissociado que lhe é próprio partindo do “primeiro elemento” que, em adjunção, é o mecanismo, o “corpo”, que lhe dá sustentação.

Desde Aristóteles (384 a.C - 322 a.C), em concordância com o “Da alma” (em grego Περί Ψυχής, em latim, De Anima), já sabíamos desta realidade inerente aos andróides e aos homens.

O problema será quando o “cibernético” (irmanado à Humanidade) descobrir que tem, também, o “TERCEIRO ELEMENTO” e que dele é o único senhor.

De outro lado, mas seguindo a mesma estrada, replicando funções "básicas" dos humanos os "robôs" vão, também, escrevendo a lista das "LEIS NECESSÁRIAS" para "CUIDAR" da HUMANIDADE e, principalmente, deles próprios (no sentido STRICTO SENSU e não, apenas, no almejado LATO SENSU).

Outro exemplo da evolução dos “robôs humanóides”, sem levar em conta o particular de SOPHIA, é o do “humanóide japonês” chamado KENGORO desenvolvido por cientistas da Universidade de Tóquio.

KENGORO, com um único copo de água, permanece arrefecido durante quase 12 horas repetindo exercícios físicos semelhantes aos executados por humanos. O método utilizado é três vezes mais eficaz que o resfriamento do ar simples. Base da ideia: SUOR.

O autômato é capaz de “SUAR” como os seres humanos imitando a reação orgânica de uma pessoa durante a prática de exercícios.

Estamos chegando ao "TERCEIRO ELEMENTO".

Carlos Magno Corrêa Dias
15/10/2016