论文部分内容阅读
在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.
知识推理的程度化方法(英文)
【摘 要】
：
在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M
【机 构】
：
兰州理工大学理学院,陕西师范大学数学研究所
【出 处】
：
南京大学学报数学半年刊
【发表日期】
：
2008年1期
其他文献
受金融风暴的影响，在紧缩性货币政策及置业者观望氛围浓厚的背景下，全国楼市降价风愈演愈烈，不论房企规模是大是小，皆争相祭出降价大旗，以期在淡市中谋取足够的竞争优势，回笼短缺的
研究了判定问题“对于命题CNF公式F和H，是否存在一个变元（或文字）改名φ，使得φ（F）=H？”的复杂性．对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价
在本文中我们提出一种整合的推理模式ASP^X，它同时支持非单调推理及时态约束推理．本文展示了它的语法，语义及复杂性分析．除此以外，我们详细研究了它的一个实例化的框架ASP^DLR，并举
本文讨论了Chen氏混沌系统的控制与同步方法。运用Lyapunov函数法,证明了受控后的Chen氏混沌系统能以指数速率收敛于任何参考信号。在此基础上,分析了Chen氏混沌系统的自同步
本文引入了新的环类-广义Clean环,对Clean环和(s,2)环作了共同推广.一些Clean环和(s,2)环的性质可扩展到广义Clean环.
在本文中，我们讨论带有齐次Neumann边界条件的拟线性方程组的边值问题，在合适的参数条件下得到了正解的存在性．本文所依赖的方法是特征值理论和P·S·条件.
似然比检验是假设检验中一个重要方法,不少最优检验都是似然比检验.文中对带有对照组的多重比较问题提出了一种新的逐步检验法,该检验法正是建立在似然比检验的基础上的.同原
本文将Banach空间之间的同胚问题归之为一类动力系统非负解的存在性问题,证明了一个全局微分同胚定理,给出了一些推论,并应用于区间分析,推广了一些已有的结果.
为及时准确地贯彻落实国务院及其有关部门调控房地产的政策措施,引导房地产企业全面了解宏观经济形势和房地产发展态势,中国房协于2007年3月29日在北京举办了“2007年宏观经
期刊