Este projeto pretende usar inteligência artificial simbólica para melhorar o processo de treino destes sistemas.
Francisco Coelho, docente no Departamento de Informática da Universidade de Évora (UÉ) e investigador no NOVA LINCS, está a desenvolver o projeto Zugzwang com o objetivo de encontrar soluções para melhorar os resultados dos sistemas de inteligência artificial.
Zugzwang é um termo alemão usado no jogo de xadrez e que se refere a uma situação em que um jogador é obrigado a fazer uma jogada que prejudica a sua própria posição pois neste jogo não é possível passar a vez.
Em paralelo, neste projeto estão a ser estudadas formas de ultrapassar certas limitações das tecnologias atuais. Por exemplo, em sistemas de inteligência artificial como o ChatGPT, é feito um cálculo de milhares de milhões de parâmetros numéricos numa fase que se chama treino.
Uma vez treinado, este sistema torna-se praticamente impossível de inspecionar. Isto é um grande problema porque, quando um sistema produz uma certa resposta, deveria ser possível perceber e conseguir acompanhar todo o processo que leva o sistema a dar essa resposta e não outra. E, atualmente, isto não é possível.
No entanto, existe outra abordagem que pode resolver este problema: a inteligência artificial simbólica. Esta técnica assenta na representação formal do conhecimento.
Em vez de números, são usadas expressões, como, por exemplo, “todos os elétricos são amarelos” e “o 15 é um elétrico”. A partir daí é possível encontrar conclusões como “o 15 é amarelo”.
A vantagem deste tipo de inteligência artificial é que ela pode ser analisada por peritos. Por exemplo, com treino mínimo, um engenheiro civil pode criticar e contribuir para um programa que acompanha a instalação de janelas.
“A inteligência artificial assenta em factos que são verdadeiros ou falsos, e isto não é adequado para tratar de problemas dominados pela incerteza. No Zugzwang queremos combinar o melhor da inteligência artificial simbólica e da numérica, de forma a termos sistemas capazes de tratar problemas complexos, com incertezas, e que produzam resultados verificáveis”, revela.
Saiba mais sobre o investigador em: Linkedin | Researchgate | Google Scholar | UÉ | NOVA LINCS
Related Episodes
