A Procedural Logic
A Procedural Logic
复制标题
程序逻辑
DOI：
--
复制
发表时间：
1985
期刊：
影响因子：
--
通讯作者：
P. Bessière
中科院分区：
文献类型：
--
作者：
M. Georgeff;A. Lansky;P. Bessière
我们对真实的世界的常识性知识大多与做事的方式有关。这种知识往往以实现特定目标的程序或行动顺序的形式出现。在本文中，一个形式主义的过程的概念的基础上表示这样的知识。一个声明性的语义表示，它允许用户状态的事实做的事情在感兴趣的问题域的影响。还提供了一个操作语义，它显示了如何使用这些知识来实现给定的目标或形成关于其实现的意图。形式主义也作为一个可执行的程序规范语言，适合于构建复杂的系统。
Much of our commonsense knowledge about the real world is concerned with the way things are done. This knowledge is often in the form of procedures or sequences of actions for achieving particular goals. In this paper, a formalism is presented for representing such knowledge based on the notion of process. A declarative semantics for the representation is given, which allows a user to state facts about the effects of doing things in the problem domain of interest. An operational semantics is also provided, which shows how this knowledge can be used to achieve given goals or to form intentions regarding their achievement. The formalism also serves as an executable program specification language suitable for constructing complex systems.