計畫存在性

速報

模態邏輯計畫存在性問題：即使前件深度≤1且無後件仍不可判定

本研究探討模態邏輯領域的「計畫存在性」問題：在給定以模態邏輯表述的目標、帶指向的克里普克模型（初始知識狀態）與一組認知行動的情況下，是否存在一串行動能達成該目標。作者以數理邏輯和可計算性分析，提出形式化證明，指出即便所有行動的前件模態深度限制在至多一層，且行動不帶任何後件，該問題仍屬不可判定。