“合适行动”的一种逻辑刻画
A Logic for Characterizing “Apt Action”

“合适行动”是行动哲学和人工智能领域的一个重要概念，其基本元素包括“意图”、“能够”和“致使”。用邻域语义可以比较好地刻画意图、能够和致使及其相互间的形式关系，从而间接地刻画了合适行动。这种形式刻画不仅有助于分析意向行动，而且还能够分析意向行动的两种特殊形式：偶然成功行动和行动失败。