导读:本文包含了占先模型论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:赋值,模型,单调,信念,语义,定理,广义。
占先模型论文文献综述
肖永剑,杨建国,王兆安[1]（2009）在《基于占先度的驾驶员冲突避碰决策模型》一文中研究指出从冲突避让的角度对城市交叉口内机动车驾驶员的穿越行为进行了分析,应用场图工具研究了驾驶员在进行车流穿越时的决策过程,提出了有异于可接受间隙模型的、基于占先度的驾驶员冲突避碰决策模型。利用实地采集的数据对驾驶员的临界占先度阈值的分布参数进行了标定,并通过科尔莫戈罗夫验证法进行统计学假设检验。分析结果表明:437组实地冲突样本中,有82.2%的驾驶员决策行为为正常决策,17.8%的决策行为为异常决策,说明驾驶员在决策过程中存在一个临界的心理占先度,并且驾驶员的临界占先度阈值服从正态分布N(0,0.22)。(本文来源于《交通运输工程学报》期刊2009年05期）
朱朝晖,李斌[2]（2001）在《有限语言下占先模型的赋值结构》一文中研究指出占先语义是知识表示与推理中应用最广的语义结构 ,它有多种定义方式 ,其中以 S.Kraus,D.Lehmann及 M.Magidor提出的 KLM占先结构最为着名。但是对 KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下 ,对一般 KLM占先模型的赋值结构性质进行了研究 ,给出了占先模型与其赋值结构逻辑等价的充分必要条件 ,证明了有限语言框架下 ,逻辑等价的单射模型在同构意义下的唯一性。这些结果说明 ,KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。(本文来源于《南京航空航天大学学报》期刊2001年03期）
朱朝晖,陈世福,朱梧槚[3]（2000）在《赋值层化占先模型》一文中研究指出Bezzazi,Makinson及 Pino最近系统地研究了一些非 Horn型推理规则 (它们强于 RM规则或者与 RM规则不可比 ) ,给出了 P+ RM+ WD与 P+ RM+ RC非单调后承的表示定理 ,并将另两个非单调后承 P+ WD及 P+RC的表示定理作为开问题提出来 .文中提出两个新的占先模型类——赋值层化占先模型与 PRC模型 ,在有限语言情形下 ,利用这两个模型类分别建立了 P+ WD及 P+ RC后承的表示定理 .并用 P+ WD的表示定理对他们提出的另一开问题给出否定的答案 ,即证明了 P+ WD / NR在单射占先模型类中不成立 .(本文来源于《计算机学报》期刊2000年10期）
顾红芳,张东摩[4]（1999）在《基于广义信念修正的占先模型》一文中研究指出本文基于广义信念修正操作,构成了一个经典的(classical)、停止的(stoppered)、信赖的(faithful)和完全的(complete)占先模型,且由该占先模型所确定的占先推理操作恰好是广义信念修正操作。反之由一个经典的、停止的、信赖的、完全的和模块的占先模型所确定的占先推理操作,可以构造一个广义信念修正操作。(本文来源于《模式识别与人工智能》期刊1999年01期）
占先模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
占先语义是知识表示与推理中应用最广的语义结构 ,它有多种定义方式 ,其中以 S.Kraus,D.Lehmann及 M.Magidor提出的 KLM占先结构最为着名。但是对 KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下 ,对一般 KLM占先模型的赋值结构性质进行了研究 ,给出了占先模型与其赋值结构逻辑等价的充分必要条件 ,证明了有限语言框架下 ,逻辑等价的单射模型在同构意义下的唯一性。这些结果说明 ,KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
占先模型论文参考文献
[1].肖永剑,杨建国,王兆安.基于占先度的驾驶员冲突避碰决策模型[J].交通运输工程学报.2009
[2].朱朝晖,李斌.有限语言下占先模型的赋值结构[J].南京航空航天大学学报.2001
[3].朱朝晖,陈世福,朱梧槚.赋值层化占先模型[J].计算机学报.2000
[4].顾红芳,张东摩.基于广义信念修正的占先模型[J].模式识别与人工智能.1999
论文知识图
