Hacker News new | past | comments | ask | show | jobs | submit login

Now think about finding a way to have some machine learning sytem learn out of this... that would be interesting...



I 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: