Back to archive

Thread

3 tweets

1
@vardi I think knowledge in traditional logic systems are already there, but you need to discover them by proving them. In that sense, there is no "new knowledge" that can invalidate "old knowledge", but just subjectively things we didn't know before.
2
@munterluggauer @vardi In "real life", knowledge is not clearly true or false but simplified models and assumptions which hopefully have some predictive power.
3
@munterluggauer @vardi "Robots" can probably deal with that as well, or at least one of the big changes that machine learning brought to AI was that it dealt with noise. And maybe emphasized the "predictive power" aspect too much ;)