3 ms·
Now think about finding a way to have some machine learning sytem learn out of this... that would be interesting...
by spdionis 11y ago
Now think about finding a way to have some machine learning sytem learn out of this... that would be interesting...
- jsprogrammer 11y agoI don't see why it wouldn't be possible. If you could get arguments reduced to individual propositions, you could begin to run the resolution algorithm to find new conclusions.