张燕;白、云 G-STRIPS–一个通用的STRIPS系统，用于处理动态域上的状态变化。 （英语） Zbl 1070.68612号 钟宁（编辑）等，《智能系统基础》。2003年10月28日至31日，第14届国际研讨会，ISMIS 2003，日本前桥市。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20256-0/pbk）。计算机科学课堂讲稿2871。《人工智能课堂讲稿》，292-296（2003）。 摘要：状态变化是机器人动力学建模中的一个基本问题。在本文中，我们研究动态域上的这个问题，即域中的对象可能通过执行系统的某个计划而创建或销毁。可以观察到，当前基于逻辑的动态系统，例如类似STRIPS的系统，在处理状态变化中的动态域时在语义上是有问题的。事实证明，在逻辑系统中表示不存在的对象是处理这个问题的关键。基于这一观察，我们定义了任意一阶语言的（N）结构，其中允许句法术语表示量化域中不存在的对象。使用N结构来建模动态域，然后我们将经典STRIPS推广为G-STRIPS，它可以表示和推理涉及对象创建或销毁的状态变化。我们还为一类基于N结构的G-STRIPS系统指定了一个可证明正确的语义。关于整个系列，请参见[Zbl 1068.68010号]. MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68T40型 机器人人工智能 关键词：关于变化的推理;常识推理;知识表示;人工智能逻辑 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{Y.Bai}，Lect。注释计算。科学。2871、292--296（2003年；Zbl 1070.68612）