Languages like #prolog #ocaml #lisp which are much better suited for #AI will potentially have a huge revival with the advent of #tensorlogic and #textdiffusion models
2/2
Latest posts tagged with #tensorlogic on Bluesky
Languages like #prolog #ocaml #lisp which are much better suited for #AI will potentially have a huge revival with the advent of #tensorlogic and #textdiffusion models
2/2
In 1992 Japan the The 5th Generation Computer Systems (FGCS) relying on #Prolog & specialized hardware failed due to the PC wave and led to an #AI winter. Could #tensorlogic lead to a new push for (deep learnable) declarative logic programming on GPU and help explainability? Me thinks YES!🚨🔥
It is so amazing that Charles Sanders Peirce anticipated #tensorlogic with ‘The Logic Of Relatives’ already in 1870! #neurosymbolic #ai
Consequently, agentic coding underperforms in languages like #Haskell and #Prolog for architectural reasons and not only because of comparably sparse training data. With the advent of #tensorlogic where predicative logic runs on learnable tensors that could be a serious problem. #AI
2/2
#TensorLogic also means that #declarativeprogramming and #functionalprogramming might have a huge boost from this. Anybody motivated to write a lightning fast and hyper-scalable #Prolog on #CUDA and some torch lib? 👍
#Lisp #Coalton #OCaml
2/2
#TensorLogic is a great idea. It does not only bridge the gap between #DeepLearning and #SymbolicManipulation in #AI but the idea alone that you can represent logic (deductive, inductive, abductive) fully as tensor operations is great.
1/2