Paradigma logico

    Voltamos para mais uma postagem, desta vez com um paradigma que esta crescendo muito atualmente. O paradigma logico ou PL para abreviar, nesta postagem irei lhe explicar como funciona essa paradigma e suas atuais aplicações tanto no mercado quanto no setor acadêmico.

O que e: 
 
    O paradigma logico surgiu da ideai de copiar o pensamento e a capacidade de raciocínio humano e aplicarmos isso a uma maquina. Essa ideia surgiu na década de 1950, com o estudioso Jhon McCarthy, que pensava que se ensinarmos uma maquina a pensar de forma logica, poderíamos resolver os problemas da maneira mais pratica possível, pois a maquina com sua grande capacidade de processamento iria processar diversos casos e saberia qual seria o melhor caminho a seguir para a solução de um determinado problema.

Como funciona:
 
    A premissa já era clara, ensinar uma maquina a pensar. Desta maneira a esse paradigma funciona através de argumentações logicas e matemáticas. Como por exemplo:
Se P for verdadeiro e Q for verdadeiro logo a resposta esta correta, porem se P for verdadeiro e Q falso, logo a proposta e falsa.

                                                   P → Q

    Basicamente todo o paradigma funciona através de uma mateia chamada Fundamentos Elementais da Matemática. Ondem a logica pode ser transformada para poder ser escrita de maneira estruturada e assim provar uma tese.

Onde e aplicada: 
 
    Com a evolução da tecnologia e o aumento da demanda por informações e conexões mais rápidas, a ideia de automatizar certos procedimentos vem naturalmente a cabeça de todo desenvolvedor. Começando com trabalhos extremamente repetitivos a inteligencia artificial foi tomando conta do mercado e evoluindo junto com a robótica. 

    Porem, atualmente apenas automatizar uma tarefa já não e algo tao complicado, queremos que a maquina aprenda a aprender, seguindo assim a ideia de machine learning, onde a maquina possa aprender, evoluir e ate mesmo prever possíveis resultados, através da analise de um banco de dados (olhar o blog do grupo 3 para mais informações), com isso diminuindo o custo de empresas e aumentando a qualidade dos produtos e serviços.

    Bom pessoal, ´e isso que temos para hoje. Ainda irei me aprofundar um pouco a mais sobre mais um paradigma. Como sempre, espero ter ajudado e lhe incentivado a buscar aprender sempre mais sobre a maravilhosa área da computação.

Referencias:
    https://www.treinaweb.com.br/blog/linguagens-e-paradigmas-de-programacao/
    https://hipsters.tech/machine-learning-hipsters-88/
    https://hipsters.tech/tag/inteligencia-artificial/
Obs.: dois dos links são podcasts que se aprofundam muito mais no assunto abordado, recomendo bastante e vai fundo.

Comments

  1. Muito bom, isso é similar ao que vemos em fundamentos ?

    ReplyDelete
  2. Olá, sou Josiel Alemão. Muito boa portagem!
    Estive conversando com uns alunos mais experientes em ciência da computação e gostaria de saber... existe algum algoritmo que resolve o problema de provar se uma formulação lógica é uma tautologia? Caso exista, como funciona?

    ReplyDelete
  3. Mas o aprendizado de máquina não trabalharia, no caso, com dados? Nã entendi muito bem...

    ReplyDelete

Post a Comment

Popular posts from this blog

A Evolução da Web: Parte 1.