Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications

Imagine o mundo da ciência da computação como uma cidade enorme e movimentada. Nesta cidade, existem dois distritos principais que geralmente não se comunicam muito. De um lado, você tem o "Distrito da Lógica", onde as ruas são construídas sobre regras perfeitas e inquebráveis, como equações matemáticas e gramática rigorosa. É aqui que a fundação da cidade é estabelecida, garantindo que, se você construir uma ponte, ela não desabe devido a um erro bobo no projeto. Do outro lado, você tem o "Distrito do Aprendizado", um lugar caótico e emocionante onde os computadores tentam entender as coisas observando milhões de exemplos, de forma semelhante a como uma criança aprende a reconhecer um gato ao ver milhares de fotos de gatos.

Por muito tempo, esses dois distritos operaram separadamente. O Distrito da Lógica estava preocupado que o Distrito do Aprendizado fosse muito bagunçado e imprevisível, enquanto o Distrito do Aprendizado achava o Distrito da Lógica muito rígido e lento. Mas recentemente, os planejadores urbanos perceberam que o futuro desta cidade depende de fazer com que esses dois vizinhos trabalhem juntos. Eles querem construir sistemas que sejam tão inteligentes quanto o Distrito do Aprendizado, mas tão confiáveis quanto o Distrito da Lógica. Esta é a grande questão que mantém os cientistas da computação acordados à noite: Como misturamos as "regras perfeitas" com o "palpite inteligente" para criar uma tecnologia que seja ao mesmo tempo poderosa e segura?

Este artigo é essencialmente um relatório de uma reunião recente de planejamento urbano chamada LSFA 2026, que ocorreu em Lisboa, Portugal, durante dois dias em julho de 2026. A reunião reuniu um grupo de especialistas que estão tentando diminuir essa distância entre as regras estritas da lógica e a natureza flexível do aprendizado de máquina moderno. Pense nesses especialistas como arquitetos e engenheiros que estão tentando projetar um novo tipo de material de construção que seja tão forte quanto o aço e tão adaptável quanto a argila.

O artigo não apresenta um único arranha-céu finalizado ou uma solução mágica que resolva tudo da noite para o dia. Em vez disso, é uma coleção de plantas, esboços e experimentos compartilhados por pesquisadores que estão testando diferentes maneiras de conectar esses dois mundos. Algumas das ideias discutidas envolvem pegar as regras antigas e bem conhecidas de como os computadores pensam (como as regras do "cálculo lambda", que é apenas uma maneira sofisticada de descrever como as funções funcionam) e ver como elas podem ser atualizadas para lidar com os novos dados desordenados do aprendizado de máquina.

A principal conclusão deste encontro é que o trabalho ainda está em pleno progresso. Os pesquisadores estão explorando ativamente como integrar esses métodos, realizando simulações e testando teorias para ver o que funciona e o que não funciona. Eles sugerem que, ao combinar as técnicas "bem estabelecidas" com o aprendizado de máquina "de ponta", poderemos construir ferramentas melhores para o futuro. No entanto, o artigo deixa claro que esta é uma jornada de descoberta, não um destino alcançado. Eles estão coletando feedback sobre como realmente usar esses métodos mistos no mundo real, reconhecendo que, embora a teoria pareça promissora, a aplicação prática ainda está sendo definida. É um retrato de uma comunidade de mentes curiosas tentando escrever o livro de regras para um novo tipo de tecnologia inteligente, uma que respeita as velhas leis da lógica enquanto abraça o novo poder do aprendizado.