| 基于时态逻辑的知识表示研究 |
| |
| 引用本文： | 李龙澍,凌成.基于时态逻辑的知识表示研究[J].安徽大学学报(自然科学版),2002,26(2):14-17. |
| |
| 作者姓名： | 李龙澍 凌成 |
| |
| 作者单位： | 1. 安徽大学计算智能与信号处理教育部重点实验室,安徽,合肥,230039;2. 安徽大学计算机科学与工程系,安徽,合肥,230039 |
| |
| 基金项目： | 教育部高校骨干教师资助计划;2000-65; |
| |
| 摘 要： | 讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.
|
| 关 键 词： | 面向对象模型 知识表示 时态逻辑 模态逻辑 |
| 文章编号： | 1000-2162(2002)02-0014-04 |
Research on knowledge representation based on temporal logic |
| |
| LI Long-shu ,LING Cheng.Research on knowledge representation based on temporal logic[J].Journal of Anhui University(Natural Sciences),2002,26(2):14-17. |
| |
| Authors: | LI Long-shu LING Cheng |
| |
| Institution: | LI Long-shu 1,LING Cheng 2 |
| |
| Abstract: | In this paper, modal logic and temporal logic are discussed. Object model and four temporal logic operators as defined. Temporal logic object model is put forward. We research object knowledge representation. Knowledge representation model based on temporal logic and an object knowledge case are given. The result shows that the presented model can be applied conveniently. |
| |
| Keywords: | object-oriented model knowledge representation temporal logic modal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
