| 知识推理的程度化方法(英文) |
| |
| 引用本文： | 李骏,王国俊,李建生.知识推理的程度化方法(英文)[J].南京大学学报(自然科学版),2008,25(1):1-10. |
| |
| 作者姓名： | 李骏 王国俊 李建生 |
| |
| 作者单位： | 兰州理工大学理学院;陕西师范大学数学研究所; |
| |
| 基金项目： | 国家自然科学基金，陕西师范大学校科研和教改项目，兰州理工大学校科研和教改项目 |
| |
| 摘 要： | 在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.
|
| 关 键 词： | 知识推理 Kripke结构 程度化推理 |
GRADED METHOD FOR REASONING ABOUT KNOWLEDGE |
| |
| Li Jun,Wang Guojun,Li Jansheng.GRADED METHOD FOR REASONING ABOUT KNOWLEDGE[J].Journal of Nanjing University: Nat Sci Ed,2008,25(1):1-10. |
| |
| Authors: | Li Jun Wang Guojun Li Jansheng |
| |
| Institution: | School of Science;Lanzhou University of Technology;730050;Lanzhou PRC Institute of Mathematics;Shaanxi Normal University;710062;Xi'an PRC;Institute of Mathematics;Xi'an PRC;School of Science;Lanzhou PRC |
| |
| Abstract: | In many of the application areas for reasoning about knowledge,it is important to reason about the possibility of certain events as well as the knowledge of agents.This paper presents a graded method for reasoning about knowledge which allows us to say that,to what extent an agent knows an event at a given state S,under a given Kripke structure M.And some properties about this type of graded methods are discussed. |
| |
| Keywords: | reasoning about knowledge Kripke structure graded reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
