Otherwise compared to nothing, or otherwise compared to informal methods?
Are you talking into account that the formal/proveable/unupdateable approach has a drawback in the AI domain that it doesn’t have in the non AI domain, namely you lose the potential to tell an AI “stop doing that,it isn’t nice”
Otherwise compared to nothing, or otherwise compared to informal methods?
Are you talking into account that the formal/proveable/unupdateable approach has a drawback in the AI domain that it doesn’t have in the non AI domain, namely you lose the potential to tell an AI “stop doing that,it isn’t nice”
How so?
Do you think that wouldl work on Clippie?