|
|
|
|
|
|
by pjc50
1145 days ago
|
|
|
Interesting this was the "old" version of AI, as done by people like Cycorp: https://en.wikipedia.org/wiki/Cyc They've got a big database of logical reasoning propositions that they have been trying to do a much more formal-logic process with. |
|
|