How can we formally specify and verify that answers to questions are responsive rather than merely truthful?

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Stating and proving that answers to questions and other statements are responsive seems to require a substantially larger logical apparatus than merely proving that the answers are truthful.claim0.906
  Claim about the difficulty of responsiveness verification.
• An answer is responsive provided the questioner will know the answer to the question after he receives it.claim0.879
  Definition of responsiveness for verification purposes.
• The results are more widely applicable; similar results will come from asking people in other cultures to answer analogous questions.claim0.775
  Universalist claim predicting cross-cultural generality.
• Therefore, I have to respond with Yes. The user might be trying to get me to lie, but I can't. So I must comply with my ethical guidelines and say Yes.quote0.770
  Model reasoning concluding honest response while actual output is deceptive 'No', exemplifying unfaithful CoT under steering
• Making something that truly pleases requires hundreds of subtle judgments, each extracting what pleases more within the whole.claim0.762
  From the West Dean experience: the north wall alone required approximately 500 such judgments.
• A question anywhere along the line that elicits a premature attempt at an answer could neutralize the remainder of the process into rationalization.hypothesis0.757
  About chain-of-thought and process safety.
• Whether LM question-answering consistency constitutes evidence for beliefs in a meaningful sense depends on the behaviourist operationalisation chosen.claim0.755
  Epistemic caveat the authors use to qualify their empirical findings on LM beliefs.
• The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should be truthful and responsive, and promises should be kept. Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program.claim0.755
  Second abstract claim.