> It is not semantics. For decades, logic and CS researchers have known what rea... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

kevinwang 38 days ago | parent | context | favorite | on: Is AI reasoning right for the wrong reasons?

> It is not semantics. For decades, logic and CS researchers have known what reasoning is.

Curious what this is!

thesmtsolver2 37 days ago | [–]

This is a great resource

https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasonin...

dumah 36 days ago | | [–]

Lots of people asking here for this clear definition.

If you understand this well, please lay it out here in a straightforward manner.

paulddraper 38 days ago | [–]

Me too.

What does a reasoning program look like and why is matrix multiplication not that?

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