Post B8bIYCHAvf1q7nGOxc by mntmn@mastodon.social
 (DIR) More posts by mntmn@mastodon.social
 (DIR) Post #B8b2t045vSSb4G2im0 by mntmn@mastodon.social
       0 likes, 0 repeats
       
       @cwebber what's neurosymbolic programming? :3
       
 (DIR) Post #B8b3TEr0Q07PMMCUpk by cwebber@social.coop
       0 likes, 0 repeats
       
       @mntmn I talk a bit about it in this talk https://www.youtube.com/watch?v=jI8gA68OXLM But really it's using machine learning models PLUS symbolic reasoning systems (prolog, propagators, etc), which can help make them more reasonable for cheaper.Think of the human brain as having two modes of thinking: a fast, gut thinking approach, and a slower reasoning approach. All the machine learning model research has been about beating the former into as powerful a shape as possible by throwing tons of compute at it. But we also have knowledge of how to do symbolic reasoning. And we can make things a lot better by combining them.Leilani Gilpin's research is very interesting in this regard https://people.ucsc.edu/~lgilpin/In particular, I recommend her dissertation which asks: if a car drives off the side of the road, how do we hold it accountable? https://people.ucsc.edu/~lgilpin/publication/dissertation/
       
 (DIR) Post #B8bIYCHAvf1q7nGOxc by mntmn@mastodon.social
       0 likes, 0 repeats
       
       @cwebber cool, will check it out! i've wondered many times if old-school NL processing and logic inference/reasoning ideas are available to play with today