formal logic is not at all irrelevant for AI. the problem with it is that it only works once you’ve got low enough uncertainty weights to use it on. Once you do, it’s an incredible boost to a model. And deep learning folks have known this for a while.
formal logic is not at all irrelevant for AI. the problem with it is that it only works once you’ve got low enough uncertainty weights to use it on. Once you do, it’s an incredible boost to a model. And deep learning folks have known this for a while.
Are there any modern models which use hardcoded rules written in formal logic?
sent dm.
It appears I didn’t get it?
Edit: Got it.