そこで、まず、外山のMAELとJiangのMAELの比較を行な う。これは、外山のMAEL論理式をJiangのMAEL論理式に 変換し、JiangのMAEL上での推論が外山のMAELでの推論 に対応することを示すことで、両体系間の関係を示す。 これにより外山のMAELの位置付けを行なう。
また、外山のMAELに対する決定手続きとして、従来タ ブロー法に基づく手法が知られているが、本論文では 論理式の変換に基づく手法を示す。本手法は、節と呼 ばれるMAEL論理式の集合を命題論理式集合に変換する ことで、MAELにおける決定問題を命題論理における充 足問題に帰着するものである。