Re:Learning to Think and Argue: a path to automated theorem ...
by aidanrocke on Wednesday November 29, 2017 @05:53AM
(#15805954)
I appreciate your feedback.
The paper I referenced by Josef Urban et al. is representative of the state-of-the-art. That said, this is a first draft and I will make a lot of changes. Adding more references on ATP being one of them.
If you have any other thoughts/comments, I'd be very interested in hearing them.
Re:Learning to Think and Argue: a path to automated theorem ...
by aidanrocke on Saturday November 25, 2017 @01:11PM
(#15777060)
That's a very good point. I also think there's a difference between Automated Theorem Proving and AGI since entities with high-functioning general intelligence(i.e. AGI) aren't necessarily good at mathematics. ATP is a specific form of AGI in my opinion.
The paper I referenced by Josef Urban et al. is representative of the state-of-the-art. That said, this is a first draft and I will make a lot of changes. Adding more references on ATP being one of them.
If you have any other thoughts/comments, I'd be very interested in hearing them.