“合适行动”的一种逻辑刻画

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