基于人工智能的自主系统日益兴起，由于其行为或决策可能产生的负面影响，引发了人们的担忧和不安。这些系统必须设计成符合其运行的人类环境。为此，Townsend 等人 (2022) 提出了 SLEEC（社会、法律、伦理、同理心或文化）规则的概念，旨在促进基于人工智能的自主系统应遵循的规则的制定、验证和执行。他们提出了一种方法来引出这些规则，并让哲学家、律师、领域专家等用自然语言来制定这些规则。为了使这些规则能够在人工智能系统中有效使用，有必要将这些规则系统地翻译成支持自动推理的形式语言。在本研究中，我们首先对 SLEEC 规则模式进行语言分析，这证明了将 SLEEC 规则翻译成经典逻辑的合理性。然后，我们研究了关于 SLEEC 规则的推理的计算复杂性，并展示了如何使用逻辑编程框架在实际场景中实现 SLEEC 规则。结果是一个易于应用的策略，用于实现符合以 SLEEC 规则表达的规范的人工智能系统。