3 ms·
In maxima (a computer algebra system) assume(a>0); assume(b>0); is (a+b>0) gives true; is (a-b>0) gives unknown. So perhaps some computer algebra with inferen
by casmaxima 3y ago
In maxima (a computer algebra system)
assume(a>0);
assume(b>0);
is (a+b>0) gives true;
is (a-b>0) gives unknown.
So perhaps some computer algebra with inference properties can be used to enhance LLMs.
- gwd 3y agoThe problem here however is language. "I'm afraid the cat has been hit by a car" literally means that the person speaking is experiencing fear. However, colloquially in English, "I'm afraid X" is a form of telling someone something which will make them sad; e.g., "I'm afraid the shields will be quite operational" [1]. (GPT-4 thinks "hit by a car" might be meant figuratively too; that's a bit of a stretch for me, but in some contexts would certainly be possible.) It is literally impossible to determine, given only that one sentence, whether the cat was actually hit by a car or not. [1]https://www.youtube.com/watch?v=zGwDwx10wB4 https://www.youtube.com/watch?v=zGwDwx10wB4
- casmaxima 3y agoPerhaps the ambiguity arises because we are omitting words: I'm afraid to tell you that the cat has been hit by a car. Now the question: What are you afraid of? has a non ambiguous answer: To tell you that something awful has happened.