본 논문은 선호 기반 조건부 규범 추론의 기계화를 보고합니다. 특히 ˚Aqvist의 E 시스템과 그 확장을 다룹니다. 이를 위해 Isabelle/HOL에서의 얕은 의미론적 임베딩을 사용합니다. 이 도구는 두 가지 용도로 사용됩니다. 첫째, 고려된 논리에 대한 메타 추론 도구로 사용됩니다. 둘째, 윤리적 논변을 평가하는 도구로 사용됩니다.
