@pmddomingos -- Pensei um pouco sobre como estender a lógica tensorial para lógica de ordem supedrive.google.com/file/d/1Ucy7O4…t.co/A7qXOYXNOC É um pouco sutil — as maneiras gerais óbvias não são práticas... as maneiras obviamente práticas envolvem muitas suposições... para um sistema neurosimbólico, pode-se operar com um sistema HOL que funciona de forma geral e, quando envia dados/problemas para a GPU para aceleração, realiza a tensorialização de uma forma que incorpora restrições apropriadas no momento... Mas identificar quando essa tradução pode ser feita de forma eficiente o suficiente para que a sobrecarga não elimine o ganho de eficiência pode ser sutil, e eu abordo isso conceitualmente no artigo...
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.