amrisi / amr-guidelines

246 stars 87 forks source link

logical double negations #241

Open taraazin opened 5 years ago

taraazin commented 5 years ago

Logically, these two sentences have the same truth value: "Mary is happy." and "It is not the case that Mary is unhappy.". I am wondering how AMR behaves representing such sentences?

nschneid commented 5 years ago

A short answer is that even if those have the same truth value, they have different pragmatics and would be used in different situations, so it would be justified for them to receive different AMR annotations. (AMR is about meaning in general, not just semantics.)

In general, truth-theoretic logical inference is not something that AMR is really designed to support, though it hopefully is closer than syntax.