一致性规划研究

针对一致性规划的高度求解复杂度,分析主流一致性规划器的求解策略,给出影响一致性规划器性能的主要因素：启发信息的有效性,信念状态表示方法的紧凑性和最终问题求解机制的效率。分析信念状态的表示方法和相应的求解机制,并比较不同表示方法在不同条件下的优劣。讨论一致性规划的未来研究方向和发展趋势。     

支持非覆盖维的扩展多维数据模型

非覆盖维等复杂结构维的处理一直都是数据仓库领域的难题,本文在详细分析非覆盖维特性的基础上,提出了一个扩展的多维数据模型,改变了传统的级别间的映射关系的定义方式,定义了从父级别到子级别分区的映射关系,从而实现了对非覆盖维和非平衡维的支持,并能够完整地表达各种复杂维层次结构语义.同时,基于DAG图描述的维层次结构,定义了基于该多维模型的立方体代数和OLAP操作.将多维数据库概念模型中的维与度量的转换操作引入到OLAP操作集合中,使其支持复杂维的转化操作,进而丰富和增强基于该模型的OLAP系统的分析能力.     

产品配置的知识表示

为按照用户的需要定制售卖产品的公司提供支持的基于知识的配置系统,产品配置器是人工智能技术的一个重要应用.本文首先描述了配置问题及其相关概念,然后分析了某些配置知识表示的优缺点,在此基础上提出了产品配置知识的图形表示方法,最后讨论了目前的一些热点研究问题.     

基于模糊控制的某教练机飞行姿态控制器设计

提出了一种基于规则的模糊逻辑飞行控制系统的设计方法,用以解决某教练机训练系统中数学模型时变性和不确定性问题.为了避免建模的困难,某教练机飞控系统采用模糊逻辑控制设计其控制律,结合飞行员的操纵经验,对系统进行动态调整.以俯仰角为研究对象,利用MATLAB中的fuzzy工具箱实现了模糊控制器设计,给出了俯仰角模糊控制器的控制曲面视图,并在SIMULINK仿真环境下建立了仿真模型.结果表明,所设计的模糊逻辑控制器满足操作品质的要求,具有较好的鲁棒性,对教练机驾驶训练仿真平台的飞行控制系统设计具有一定的应用价值.     

NC线性对称调解

本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。     

模态K4、D4系统的归结推理

本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K₄和D₄系统，建立了K₄逻辑的归结推理ＲK₄；D₄逻辑的归结推理R D₄，分别证明了ＲK₄和ＲD₄关于K相似文献   

利用元件替换测试求诊断

主要填补了对系统参量不可观测或观没成本高的诊断测试研究这一空白,提出了替换测试荼为诊断测试一种新的可选择方法.在提出相关替换测试要领的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、利用正常元件替换几个子系统交集元件分解待诊断系统的方法.其结果能够改善诊断与测试的效率、降低诊断成本,并为研究诊断总是分解提供理论依据.     

认识逻辑(1):关于知识和信念的逻辑框架

知识和信念是人工智能领域研究中经常涉及到的两个重要概念。本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统ＥＩ，讨论了它的语法和语义，证明了认识逻辑ＥＬ不但是可靠的而且是完备的，认为逻辑ＥＬ不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述。     

NC－RUE－NRF归结

本文提出了ＮＣ－ＲＵＥ－ＮＲＦ归结方法，并证明了它在含有等词广义子句集上的完备性．     

标记模态归结推理

为了克服Ｌ．Ｆａｒｉｎａｓ ｄｅｌ Ｃｅｒｒｏ等人的命题模态归方法过多的符号冗余，我们增加了一条两个可能处子约束下公式的归结规则，称之为樗模态旭结方法，证明了标记模态归结的可靠性与完备性，这种新模态归结方法具有下述特点：归结式未必是父子句的逻辑结果，但却是输入子句集的逻辑结果，因而是可靠的，同时我们在机器上实现了实验系统。实验结果表明标记模态归结比Ｐ．Ｅｎｊａｌｂｅｒｔ等人的模态归结几乎快１０倍。