Remote
Alex G
@clayrat@types.pl
mastodon
4.7.0-alpha.2+glitch
proof engineer / programming language dev
0
Followers
0
Following
3
Posts
Joined November 27, 2021
Homepage:
Telegram:
clayrat
Posts
Replying to
@emc2@indieweb.social
@emc2@indieweb.social @lindsey@recurse.social Yes, my point is that AI is a bigger and older field than ML. Up until about the 1990s, it was mostly about symbolic methods like SAT, first-order resolution, tableaux, etc.
Replying to
@emc2@indieweb.social
@emc2@indieweb.social @lindsey@recurse.social I thought automated reasoning was always a big(gest) part of symbolic AI?