@pmddomingos -- 텐서 논리를 고차 논리로 확장하는 방법에 대해 조금 생각해 봤습니다... 보세요 https://t.co/A7qXOYXNOC 이 문제는 다drive.google.com/file/d/1Ucy7O4… 실용적이지 않고, 명백하고 실용적인 방법들은 너무 많은 가정을 필요로 합니다. 신경-기호 시스템의 경우, 일반적인 기능을 수행하는 HOL 시스템을 구축한 후, 데이터/문제를 GPU로 전송하여 가속할 때 현재 상황에 적합한 제약 조건을 반영하는 방식으로 텐서화를 수행하는 방식을 사용할 수 있습니다. 하지만 이러한 변환이 오버헤드로 인해 효율성 향상이 상쇄되지 않을 만큼 충분히 효율적으로 이루어질 수 있는 시점을 파악하는 것은 미묘하며, 저는 논문에서 이 개념을 다루고 있습니다.
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.