議論型の人間-AI意思決定：私たちと共に推論するAIエージェントを目指す、私たちのために推論するのではなく

要約: 計算的論証は、透明で検証可能な推論の形式的フレームワークを提供しますが、従来はドメイン固有の情報と広範な特徴量エンジニアリングへの依存によって制約されてきました。対照的に、LLMs（大規模言語モデル）は非構造化テキストの処理に卓越していますが、その不透明な性質のため推論を評価・信頼することが難しいです。私たちは、これらの分野の収束が新しいパラダイムの基礎を築くと主張します：議論的な人間-AI意思決定。私たちは、論証フレームワークのマイニング、論証フレームワークの合成、および論証的推論の相乗効果が、決定を正当化するだけでなく、決定が争点化され修正可能な弁証的過程に関与するエージェントを可能にすることを分析します――人間の代わりに推論するのではなく、人間とともに推論する。 この計算論証と大規模言語モデルの収束は、高リスク領域における人間を意識した、信頼できるAIの実現に不可欠です。