Naukowcy opracowali nową metodę generowania embeddings (reprezentacji wektorowych) zoptymalizowanych dla rozumowania opartego na Horn Logic, formalnym systemie logicznym. Podejście poprawia wydajność w zadaniach relacionalnego wnioskowania i dedukcji logicznej poprzez lepsze kodowanie informacji logicznych w przestrzeni wektorowej. Badanie istotne dla rozwoju systemów AI zdolnych do logicznego myślenia i przetwarzania złożonych reguł.