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 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.
Muito bom, isso é similar ao que vemos em fundamentos ?
ReplyDeleteOlá, sou Josiel Alemão. Muito boa portagem!
ReplyDeleteEstive 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?
Mas o aprendizado de máquina não trabalharia, no caso, com dados? Nã entendi muito bem...
ReplyDelete