特雷尔，简 用于动态控制推理的元级架构的时间语义。 （英语） Zbl 1017.68120号 Gabbay，Dov M.（编辑）等人，《可废止推理不确定性管理系统手册》。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。15-39 (2001). 引言：我们开发了一个正式框架，其中部分模型用于显式表示（当前）信息状态。这使我们能够将每个组件内的推理过程表示为部分模型之间的转换，并将推理过程的轨迹表示为部分时间模型。首先，在第2节中介绍了时序部分逻辑的一些基本概念。接下来，在第3节中，我们对对象级推理组件的静态视图和动态视图进行了形式化。第4节介绍了元级推理的时态解释，第5节基于部分时态模型，提出了用于动态控制的元级架构的推理模式的形式化语义，这些模型形式化了整个推理轨迹。最后，在第6节中给出了一个示例。关于整个系列，请参见[Zbl 0984.00013号]. 引用于1文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 03B44号 时间逻辑 68层37 人工智能背景下的不确定性推理 关键词：推理过程;部分时间模型 PDF格式BibTeX公司 XML格式引用 \textit{J.Treur}，收录于：可废止推理不确定性管理系统手册。第6卷：推理过程的动力学和管理。多德雷赫特：Kluwer学术出版社。15-39（2001；Zbl 1017.68120）