导读:本文包含了限定性数目约束论文开题报告文献综述及选题提纲参考文献，主要关键词:描述逻辑,可拓集合,限定性数目约束,可拓学
限定性数目约束论文文献综述
王静,李剪,樊红杰,王红[1]（2014）在《带限定性数目约束的描述逻辑ALCQ_(DES)》一文中研究指出传统描述逻辑ALCQ以经典集合作为集合论基础,不能描述复杂的、模糊的、动态的知识。为此,引入可拓学中的可拓集合代替经典集合,作为描述逻辑ALCQ的集合论基础,提出一种新的带限定性数目约束的可拓描述逻辑ALCQDES。定义ALCQDES的概念、关系、TBox公理、ABox断言的语法形式,根据可拓集合和传统描述逻辑的语义解释方法,给出描述逻辑ALCQDES中的概念≥kR.C和≤kR.C的语义解释。研究描述逻辑ALCQDES的基本推理问题,给出一致性检测算法TableauDES*的≥kR.C和≤kR.C的断言扩充规则。与传统描述逻辑ALCQ和模糊扩展描述逻辑FALCQ相比,通过可拓集合扩展的描述逻辑ALCQDES具有更强的描述知识的能力。(本文来源于《计算机工程》期刊2014年02期）
李梅[2]（2007）在《含限定性数目约束的模糊描述逻辑FALCQ》一文中研究指出模糊描述逻辑是一类处理结构化模糊知识的形式系统，其表达能力同它所含的构造算子紧密相关。本文通过添加构造算子一限定性数目约束(Q)，来进一步扩充FALC，增强了其表示模糊信息的能力，给出了扩充后的逻辑系统的语法及语义，(≥pR．C)~I(d)=suP_(e_1)，…，e_P∈△~Imin_(i=1)~P{min(R~I(d，e_i)，C~I(e_i))} (≤pR．C)~I(d)=inf_(e_1，…，e_(P+1))∈△~Imax_(i=1)~(P+1){max(1-R~I(d，e_i)，(1-C~I(e_i))}并且讨论了推理算法，给出Abox一致性检测的Tableaux—推理规则，详细证明了该Tableaux——推理算法的合理性：即证明算法的终止性、可靠性、完备性：定理3．2[终止性]对任一模糊ALCQ的纯断言知识库A，Tableaux-算法都停机。定理3．3[可靠性]如果对模糊ALCQ的纯断言知识库A应用算法规则得到一完全的、无冲突的完整森林，那么A存在模糊表。定理3．4[完备性]如果模糊ALCQ的纯断言知识库A存在一模糊表，那么根据Tableaux-算法并且恰当运用算法规则，则可产生A的一完全的、无冲突的完整森林。由于描述逻辑其它的推理问题最终可以归结到Abox的一致性检测问题，所以我们给出的推理算法也相应解决了蕴含问题、包含问题以及最佳真值界限问题。(本文来源于《广西师范大学》期刊2007-04-01）
限定性数目约束论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
模糊描述逻辑是一类处理结构化模糊知识的形式系统，其表达能力同它所含的构造算子紧密相关。本文通过添加构造算子一限定性数目约束(Q)，来进一步扩充FALC，增强了其表示模糊信息的能力，给出了扩充后的逻辑系统的语法及语义，(≥pR．C)~I(d)=suP_(e_1)，…，e_P∈△~Imin_(i=1)~P{min(R~I(d，e_i)，C~I(e_i))} (≤pR．C)~I(d)=inf_(e_1，…，e_(P+1))∈△~Imax_(i=1)~(P+1){max(1-R~I(d，e_i)，(1-C~I(e_i))}并且讨论了推理算法，给出Abox一致性检测的Tableaux—推理规则，详细证明了该Tableaux——推理算法的合理性：即证明算法的终止性、可靠性、完备性：定理3．2[终止性]对任一模糊ALCQ的纯断言知识库A，Tableaux-算法都停机。定理3．3[可靠性]如果对模糊ALCQ的纯断言知识库A应用算法规则得到一完全的、无冲突的完整森林，那么A存在模糊表。定理3．4[完备性]如果模糊ALCQ的纯断言知识库A存在一模糊表，那么根据Tableaux-算法并且恰当运用算法规则，则可产生A的一完全的、无冲突的完整森林。由于描述逻辑其它的推理问题最终可以归结到Abox的一致性检测问题，所以我们给出的推理算法也相应解决了蕴含问题、包含问题以及最佳真值界限问题。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
限定性数目约束论文参考文献
[1].王静,李剪,樊红杰,王红.带限定性数目约束的描述逻辑ALCQ_(DES)[J].计算机工程.2014
[2].李梅.含限定性数目约束的模糊描述逻辑FALCQ[D].广西师范大学.2007