人工智能中的时序逻辑研究

• 作者: 伍晓敏 尹红丽 段鹏 王永明
• 来源期刊: 云南师范大学学报(自然科学版)
• 学科: 工学
• 关键词: 时序逻辑 本体基元 时序结构 时间约束
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 计算机科学
• 页码范围: 29-31
• 页数: 3页
• 分类号: TP18
• 字数: 2912字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2003.z1.008

摘要

时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优缺点,研究线性时序逻辑与分支时序逻辑的主要区别.同时,基于时序逻辑对单Agent形式化公理及多Agent协商公理体系的构建进行了初步讨论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹红丽	云南师范大学计信学院	11	85	4.0	9.0
2	伍晓敏	云南师范大学计信学院	4	32	2.0	4.0
3	段鹏	云南师范大学计信学院	5	9	2.0	2.0
4	王永明	云南师范大学计信学院	2	4	1.0	2.0