15、框架问题的多视角探讨与粒推理下的再审视

框架问题的多视角探讨与粒推理下的再审视

1. 框架问题概述

框架问题是人工智能领域的重要问题之一，由麦卡锡和海耶斯提出。其本质是要以一种计算合理的方式描述在执行动作时，哪些属性会持续存在，哪些属性会发生变化，简单来说，就是明确某些事件发生时哪些内容不会改变。

框架问题之所以重要，是因为我们无法为每一个可能的动作和世界的每一个可能状态列出该动作如何改变单个事实的真值，因此它与非单调推理密切相关。在20世纪80年代，框架问题是人工智能领域的热门话题，1987年还在美国堪萨斯州的劳伦斯举办了关于人工智能中框架问题的研讨会。

解决框架问题的方法主要有以下几种：
- 基于限制的方法 ：使用麦卡锡提出的限制概念，通过添加公理方案来最小化谓词的未确定实例。后来，麦卡锡将谓词限制推广到公式限制以处理公式。
- 基于模态逻辑的方法 ：以模态逻辑为基础，解释了通过对当前状态K执行动作而获得的某个中间未来状态中成立的命题，是由在K中成立且与物理定律和动作的明显结果在逻辑上可能的P所蕴含的命题。例如，施温德开发了用于表示动作的模态逻辑ZK，布朗也开发了用于表示知识的模态逻辑Z。赤间提出了统一韦尔特曼的数据逻辑和预设理论的框架问题解决方案。
- 基于句法一致性的方法 ：与模态逻辑方法类似，采用证明论中的一致性概念。戈贝尔和古德温提出了基于理论形成的近似推理系统来解决规划问题。金斯伯格和史密斯在两篇论文中提出了解决框架问题的方法，前者概述了一种可能世界方法，后者处理了资格问题。
- 实用主义方法 ：提出更实用的解决方案