Um Aventureiro na IA: Descobrindo da pior forma que IA é complexo

Introdução

Fala galera!! Estou aqui para compartilhar minha jornada e reflexões para aqueles que estão curiosos ou interessados no vasto campo da Inteligência Artificial (IA). Como alguém curioso e que aventura nesse campo, decidi explorar uma disciplina optativa na faculdade. Como ja tinha feito Ciência de Dados (optativa tbm) e já tinha certo domínio, acreditei que seria uma abordagem mais superficial e geral sobre temas como a diferenciação entre modelos de IA e seus métodos de treinamento, criar alguns modelos de ML, nada tão complexo!

Para minha surpresa, me vi preso em um curso high-level, especialmente por não ser da área da computação. O conteúdo? Lógica de Primeira Ordem - algo que inicialmente me deixou perplexo.

"A lógica de primeira ordem, definida como um sistema formal adequado para a elaboração de teorias no universo discursivo da Matemática", é constituída por símbolos lógicos, incluindo quantificadores, conectivos e pontuação, entre outros.
Não pretendo me estender muito sobre esses detalhes técnicos aqui, pois não é esse o objetivo deste relato.

Aqui alguns exemplos simples desse conteúdo:

∃y ∀x Ama(x,y)
“Existe alguém que é amado por todo mundo”

∀x,y Parente(x,y) ⇔ Parente(y,x)
“Parente é uma relação simétrica”

Aprendizados

Caros, durante esse conteúdo, percebi o quão desafiadora é essa área. Esse exemplos parecem ser simples, mas acreditem, não é (pelo menos pra mim). É muito behind the scenes. E como é optativa, não posso me dedicar 100% a ela. Queria deixar isso como um conselho para futuros aspirantes a esse campo. Não se enganem achando que se resume a criar chatbots ou usar bibliotecas prontas (Iludido eu kkkk).

A verdade é que vai muito além disso. Este relato é um lembrete de que a jornada na IA é intensa e requer um comprometimento.

E vocês, já tiveram contato com esse conteúdo antes?

Fontes: https://edirlei.com/aulas/ia_2011_2/IA_Aula_07_Logica_Primeira_Ordem.html
https://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem#C%C3%A1lculo_de_predicados
https://edisciplinas.usp.br/pluginfile.php/4143458/mod_resource/content/1/ia_13_logica_primeira_ordem.pdf