|
|||||
|
|
| 人工智能中的时序逻辑研究 | |
| 引用本文： | 伍晓敏,尹红丽,段鹏,王永明. 人工智能中的时序逻辑研究[J]. 云南师范大学学报(自然科学版), 2003, 23(Z1): 29-31 |
| 作者姓名： | 伍晓敏 尹红丽 段鹏 王永明 |
| 作者单位： | 云南师范大学计信学院,云南,昆明,650092 |
| 摘 要： | 时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优缺点,研究线性时序逻辑与分支时序逻辑的主要区别.同时,基于时序逻辑对单Agent形式化公理及多Agent协商公理体系的构建进行了初步讨论. |
| 关 键 词： | 时序逻辑 本体基元 时序结构 时间约束 |
| 文章编号： | 1007-9793(2003)增刊-0029-03 |
| 修稿时间： | 2003-12-24 |
Temporal logics in AI |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |