Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

deep learning applied to deduction in first-order logic

5 views
Skip to first unread message

Shun Hatakata

unread,
Nov 25, 2020, 11:32:39 PM11/25/20
to
Hi guys!

Could we combine neural networks and expert systems (AI tech from the 80'ties) ?
I googled it, and it looks like startups are working on this already
can it be legit?
is there a paper where i can read about these solutions?

Best wishes,
Shun

Shun Hatakata

unread,
Nov 25, 2020, 11:34:42 PM11/25/20
to
i found this for example
https://www.bluebrainlaboratories.com/
the accuracy results - can this be legit?
0 new messages