论文部分内容阅读
在n值Lukasiewicz命题逻辑系统中，回避均匀概率空间中的无穷乘积测度，借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念，并利用绝对真度定义公式间的绝对相似度和伪距离．讨论绝对相似度和伪距离性质．证明 ,→,∧,∨运算在伪距离空间中是连续的．
n值Lukasiewicz命题逻辑系统中公式的绝对真度理论
【摘 要】
：
在n值Lukasiewicz命题逻辑系统中，回避均匀概率空间中的无穷乘积测度，借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念，并利用绝对真度定义公式间的绝对相似度和伪距离．讨
【机 构】
：
兰州理工大学理学院,西安陆军学院军事运筹教研室
【出 处】
：
兰州理工大学学报
【发表日期】
：
2008年1期
其他文献
根据生物蛇和蛇形机器人的结构及运动特点，应用循环抑制CPG建模理论构建了蛇形机器人神经网络模型；利用蛇形机器人模型，仿真验证了CPG模型对蜿蜒运动控制的有效性；提出并验征了实
提出一种在满意控制框架下进行模糊决策的方法,将控制目标和系统约束模糊化,形成多目标的优化问题,通过模糊规划方法求解,与基于二次型性能指标的预测控制相比,该方法可使得
动态系统的状态约束和控制约束等问题可归结为状态空间中某些集合的正不变性.利用混合单调分解方法研究离散非线性、时变凸多面体系统族的线性状态约束集合的鲁棒正不变性.对
经过系统研究并联混合动力汽车的控制策略，对并联混合动力汽车提出一种基于模糊逻辑和PID控制的混合能量管理策略，通过模糊逻辑控制器对引擎和电机的期望转矩进行分配，借助PID电