Saaty T L教授创立的层次分析法(AHP)是对非定量事件作定量分析的一种有效方法。为此,对某节水灌溉项目运用层次分析理论和方法来评价节水灌溉方式;针对在节水灌溉评价分析中出现的问题,对层次分析法的应用做出了改进;并利用改进后的层...Saaty T L教授创立的层次分析法(AHP)是对非定量事件作定量分析的一种有效方法。为此,对某节水灌溉项目运用层次分析理论和方法来评价节水灌溉方式;针对在节水灌溉评价分析中出现的问题,对层次分析法的应用做出了改进;并利用改进后的层次分析法优化选择出最优节水灌溉方式。展开更多
目标行动信息是重要的情报数据内容,判断其行动信息是否可靠的一个重要依据是目标行动是否在时空上一致。通过形式化定义作为检测对象的目标行动信息库和作为检测依据的目标行动时空常识库,提出了一种目标行动的时空一致性检测问题的建...目标行动信息是重要的情报数据内容,判断其行动信息是否可靠的一个重要依据是目标行动是否在时空上一致。通过形式化定义作为检测对象的目标行动信息库和作为检测依据的目标行动时空常识库,提出了一种目标行动的时空一致性检测问题的建模方法,在此基础上定义了目标行动时空一致性检测问题,并据此建立了目标行动的时空一致性的度量指标体系,设计了基于回答集编程(Answer Set Programming,ASP)的目标行动时空一致性检测算法。对相关典型军事目标活动信息的质量检测试验结果表明本研究成果具有应用参考价值。展开更多
针对目前缺乏多类型偏好共存的偏好逻辑系统的现状,提出并构造了一个能够描述和推理多种类型偏好的逻辑系统MPL(logic of many kinds of preference).在进一步提出MPL语言L_(MPL)基于最粗糙/最细致描述原则的非单调语义基础上,通过分级...针对目前缺乏多类型偏好共存的偏好逻辑系统的现状,提出并构造了一个能够描述和推理多种类型偏好的逻辑系统MPL(logic of many kinds of preference).在进一步提出MPL语言L_(MPL)基于最粗糙/最细致描述原则的非单调语义基础上,通过分级知识库这种常用偏好表示方法的L_(MPL)重写,初步考察了L_(MPL)表示能力,最后进行总结并提出需要进一步研究解决的问题.展开更多
针对缺乏多类型偏好共存的偏好逻辑系统的现状,MPL(logic of many kinds of preference)被构造为一种能够表示和推理四类型偏好的偏好逻辑,但是MPL的语义基于全前序偏好结构,因而不能表示不完全偏好.为此,提出了偏好逻辑GMPL(a generali...针对缺乏多类型偏好共存的偏好逻辑系统的现状,MPL(logic of many kinds of preference)被构造为一种能够表示和推理四类型偏好的偏好逻辑,但是MPL的语义基于全前序偏好结构,因而不能表示不完全偏好.为此,提出了偏好逻辑GMPL(a generalized edition of MPL).此外,通过常见逻辑偏好的GMPL重写表明GMPL较强的表达能力和实际应用前景.并提出一种将GMPL的SAT问题归结为命题逻辑的SAT问题的方法.展开更多
文摘目标行动信息是重要的情报数据内容,判断其行动信息是否可靠的一个重要依据是目标行动是否在时空上一致。通过形式化定义作为检测对象的目标行动信息库和作为检测依据的目标行动时空常识库,提出了一种目标行动的时空一致性检测问题的建模方法,在此基础上定义了目标行动时空一致性检测问题,并据此建立了目标行动的时空一致性的度量指标体系,设计了基于回答集编程(Answer Set Programming,ASP)的目标行动时空一致性检测算法。对相关典型军事目标活动信息的质量检测试验结果表明本研究成果具有应用参考价值。
文摘针对目前缺乏多类型偏好共存的偏好逻辑系统的现状,提出并构造了一个能够描述和推理多种类型偏好的逻辑系统MPL(logic of many kinds of preference).在进一步提出MPL语言L_(MPL)基于最粗糙/最细致描述原则的非单调语义基础上,通过分级知识库这种常用偏好表示方法的L_(MPL)重写,初步考察了L_(MPL)表示能力,最后进行总结并提出需要进一步研究解决的问题.
基金Supported by the National Natural Science Foundation of China under Grant No.60773107 (国家自然科学基金)
文摘针对缺乏多类型偏好共存的偏好逻辑系统的现状,MPL(logic of many kinds of preference)被构造为一种能够表示和推理四类型偏好的偏好逻辑,但是MPL的语义基于全前序偏好结构,因而不能表示不完全偏好.为此,提出了偏好逻辑GMPL(a generalized edition of MPL).此外,通过常见逻辑偏好的GMPL重写表明GMPL较强的表达能力和实际应用前景.并提出一种将GMPL的SAT问题归结为命题逻辑的SAT问题的方法.
