论文部分内容阅读
给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量，在此基础上逐步增加必要的观察变量，从而最终得到一个必要的观察变量集合．在添加必要的观察变量过程中，该方法不要求得到所有变量的相关信息，从而具有更好的通用性．井艮据是否存在单个观察变量能够区分域中任意两个状态的问题，分别给出了两种约减观察变量方法：当存在一个观察变量可以区分规划域中任意两个状态时，算法可以得到一个最小的观察变量集合；当不存在这样一个观察变量时，算法可以得到一个尽可能小的观察变量集合，但不能保证该集合最小．