雷蒙德·雷特 知识在行动。指定和实现动态系统的逻辑基础。 （英语） 兹比尔1018.03022 马萨诸塞州剑桥：麻省理工学院出版社。xvi，第424页（2001年）。 Publisher的描述：动力学系统的建模和实现是人工智能、机器人、软件代理、仿真、决策和控制理论以及许多其他学科的核心问题。近年来，人工智能知识再现社区开发了一种基于数学逻辑的表示此类系统的新方法。本书以情景演算（一阶逻辑方言）为理论和实现基础，对这些思想进行了全面的处理。在这个框架内，它开发了动态系统建模的许多特性，包括时间、过程、并发性、外生事件、反应性、感知和知识、概率不确定性和决策理论。它还描述并实现了一系列新的高级编程语言，适用于为动态系统编写控制程序。最后，它包括从认知机器人、规划、仿真、数据库和决策理论中提取的大量示例的情境演算规范，以及这些示例的所有实现代码。该代码可在该书的网站上找到。 引用于2评论引用于131文件 MSC公司： 03B70号 计算机科学中的逻辑 68立方英尺 知识表示 68T27型 人工智能中的逻辑 2002年3月 与数学逻辑和基础相关的研究展览（专著、调查文章） 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：动力系统；知识表示；情境演算；高级编程语言 软件：ConGolog公司；图规划；LPL软件 PDF格式BibTeX公司 XML格式引用 \textit{R.Reiter}，知识在行动。指定和实现动态系统的逻辑基础。马萨诸塞州剑桥：麻省理工学院出版社（2001；Zbl 1018.03022）