utworzone przez Redakcja | paź 20, 2026
Naukowcy zaproponowali nowe podejście do oceny modeli T2I, traktując generowanie obrazów jako problem spełniania ograniczeń logicznych. Benchmark LogicVal testuje cztery modele w 9 klasach ograniczeń, od atrybutów pojedynczych obiektów po relacje między...
utworzone przez Redakcja | wrz 3, 2026
Badacze opracowali formalną metodę oceny wiarygodności logiki wyekstrahowanej przez algorytmy z tekstów prawnych. Na zbiorze ponad 29 tys. sekcji ustaw Missouri wykazali, że dwa niezależne ekstraktory różnią się w 43% przypadków przy wykrywaniu progów...
utworzone przez Redakcja | lip 16, 2026
Naukowcy rozszerzają możliwości poznawcze systemów neuro-symbolicznej AI (IFOL_B) o obliczenia probabilistyczne dla nieznanych zdań, wprowadzając transformacje symetrii globalnej i lokalnej do podejmowania decyzji w czasie rzeczywistym.
utworzone przez Redakcja | kwi 22, 2026
Naukowcy zaproponowali nową logikę pierwszego rzędu o nazwie Plausible Logic, która umożliwia wnioskowanie oparte na stwierdzeniach defeasible bez użycia prawdopodobieństwa. System spełnia większość z 17 sugerowanych zasad logiki plauzybilnej.
utworzone przez Redakcja | kwi 22, 2026
Naukowcy opracowali framework łączący duże modele językowe z systemami logicznego rozumowania, umożliwiający przekład problemów z języka naturalnego na formalny język Narsese. Projekt zawiera nowy benchmark testowy dla zadań wymagających precyzyjnego wnioskowania i...
