速 報2026.04.17 04:31
機械倫理の研究分野において、人工道徳エージェント（AMA）の構築を目指す新しいアプローチが提案されました。カントの定言命法における普遍法則の公式をマルチソートの量化様相論理で形式化した「普遍法則公式論理（FULL）」が、従来の行為ベースの公理的アプローチの限界を克服します。
機械倫理の分野は、人工道徳エージェント（AMA：Artificial Moral Agents）を構築することで、道徳についてのより深い理解を得るとともに、AI エージェントをより安全にすることを目指しています。多くのアプローチでは、「害を加えてはいけない」「他者を助けなければならない」といった行為に関する公理の集合として、人間の道徳的直観をコード化しています。しかし、このアプローチは将来の AMA に対して少なくとも2つの制限をもたらします。第1に、行為を実行する際のエージェントの目的を考慮していません。第2に、人間が自らの道徳的直観をすべて列挙できるという仮定に基づいています。
本論文は、これら2つの制限を緩和する道徳的手続きの形式化を探求しています。特にカント倫理学に注目し、普遍法則公式論理（FULL：Formula of the Universal Law Logic）と呼ぶマルチソートの量化様相論理（quantified modal logic）を提案しています。FULL は、カントの定言命法における第一の定式である普遍法則の公式（FUL：Formula of the Universal Law）ならびに因果性と行為主体性といった概念を形式化しています。カント倫理学から引き出された3つのケーススタディを通じて、FULL がこれらの倫理的問題を評価・推論することができることが実証されています。
