论文部分内容阅读
目前在智能控制的研究中存在着一系列重要问题。其中有:(1)如何将人工智能与控制理论结合起来?(2)怎样对智能控制系统进行分析、综合?针对这些问题,本文提出了以数举模型形式表达基于浅层知识的系统的思想,并采用了时序逻辑描述了控制系统和系统理论中的一些基本定义,给出了这类系统的形式变换方式,这些工作对上述问题的研究具有一定的意义.