| 情态演算在行动推理中的应用 |
| |
| 引用本文： | 周生明.情态演算在行动推理中的应用[J].广西师范大学学报(自然科学版),2003,21(4):37-43. |
| |
| 作者姓名： | 周生明 |
| |
| 作者单位： | 广西师范大学,数学与计算机科学学院,广西,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金(60075016) |
| |
| 摘 要： | 情态演算是专门设计来表示动态变化世界的一个二阶多类语言，它可作为描述动态系统的一个工具，在行动推理的应用中显示出其强大的表示能力和实现能力．在情态演算中，可以对行动进行公理化，可以描述行动的时间性、并发性及agent的信念和知识，可用Prolog实现在开放世界中带有感知行动的规划．讨论并介绍与这些应用有关的基本概念、思想，方法和最新的一些研究成果。
|
| 关 键 词： | 情态演算 行动推理 二阶多类语言 规划 感知 动态系统 人工智能 |
| 文章编号： | 1001-6600(2003)04-0037-07 |
| 修稿时间： | 2003年5月27日 |
A SUMMARY OF APPLICATIONS OF SITUATION CALCULUS IN REASONING ABOUT ACTIONS |
| |
| ZHOU Sheng-ming.A SUMMARY OF APPLICATIONS OF SITUATION CALCULUS IN REASONING ABOUT ACTIONS[J].Journal of Guangxi Normal University(Natural Science Edition),2003,21(4):37-43. |
| |
| Authors: | ZHOU Sheng-ming |
| |
| Abstract: | The situation calculus is a formal tool for describing dynamical system and has powerful abilities of representation and implementation in reasoning about action. In the situation calculus,actions,the concurrency and time of actions, belief and knowledge of the agent are formally characterized and the plans with sensing actions are implemented by Prolog in an open world. The main ideas,basic methods and some newly researching results on the situation calculus and its application of reasoning about actions are addressed in this paper. |
| |
| Keywords: | situation calculus action reasoning plan sense dynamical system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
