基于时态逻辑的知识表示研究

• 作者: 凌成 李龙澍
• 来源期刊: 安徽大学学报(自然科学版)
• 学科: 工学
• 关键词: 面向对象模型 知识表示 时态逻辑 模态逻辑
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 计算智能与信号处理
• 页码范围: 14-17
• 页数: 4页
• 分类号: TP18
• 字数: 2700字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2162.2002.02.003

摘要

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李龙澍	安徽大学计算智能与信号处理教育部重点实验室	199	1780	21.0	29.0
2	凌成	安徽大学计算机科学与工程系	2	29	2.0	2.0