@pmddomingos -- J'ai réfléchi un peu à la manière d'étendre la logique tensorielle à la logique drive.google.com/file/d/1Ucy7O4…ir https://t.co/A7qXOYXNOC C'est un peu subtil : les méthodes générales évidentes ne sont pas pratiques… les méthodes manifestement pratiques reposent sur trop d'hypothèses… Pour un système neuro-symbolique, on peut utiliser un système HOL fonctionnant de manière générale, puis, lorsqu'il envoie des données/problèmes au GPU pour accélération, il effectue la tensorialisation en intégrant les contraintes actuelles… Mais identifier quand cette traduction peut être effectuée suffisamment efficacement pour que la surcharge n'annule pas le gain d'efficacité peut s'avérer délicat, et j'aborde ce point conceptuellement dans l'article…
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.