摘要
在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.
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.
出处
《南京大学学报（数学半年刊）》
CAS
2008年第1期1-10,共10页
Journal of Nanjing University(Mathematical Biquarterly)
基金
Supported by the National Natural Science Foundation of China under Grant No.10771129
the Innovation Foundation for Doctors of Shaanxi Normal University and the Outstanding Youth Foundation of Lanzhou University of Technology.
