D-逻辑伪距离不等式与近似推理

以D-随机真度为基础，给出了公式到有限理论结论集D-逻辑伪距离的D-随机真度表示式，得到了D-逻辑度量空间中与有限理论相关的一系列D-逻辑伪距离不等式，并在D-逻辑度量空间中进行了近似推理讨论．     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.     

一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度，并利用真度给出一种改进了的相似度定义，进而导出全体公式集F(S)上的一种伪距离，最后讨论了相似度及伪距离的重要性质．     

标准序列逻辑系统S3中命题的真度值之集在[0，1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念，给出了真度推理规则，证明了全体公式的真度值之集在[0，1]上是稠密的，并给出了公式真度的表达通式，为进一步建立三值命题逻辑的近似推理理论奠定了基础．     

基于软真度的关联规则挖掘方法

软集是一种新的处理不确定性问题的数学工具。基于软集和逻辑公式,提出一种新的关联规则挖掘方法。将软真度引入软集数据关联规则挖掘,利用软真度描述属性集之间的量化关系;讨论软真度和支持度之间的联系,给出满足给定的支持度阈值和可信度阈值的软关联规则挖掘方法。实例分析结果表明,该方法可约简冗余,提高效率。     

非线性序集逻辑系统L_4~2中命题真度值在[0,1]上的分布

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念,给出了真度推理规则,证明了真值集为非线性序集四值逻辑系统L24中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础.     

非线性序集逻辑系统L4^2中命题真度值在[0，1]上的分布

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念，给出了真度推理规则，证明了真值集为非线性序集四值逻辑系统L4^2中全体公式的真度值之集在[0，1]上是稠密的，为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础．     

二值命题逻辑中公式的一种概率真度

将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式.     

命题逻辑中公式的成真程度问题研究

为了研究命题逻辑中命题公式的成真程度问题,对非重言式也非矛盾式的命题公式提出了公式真度的概念,并对赋值真假相同可能性和不同可能性的真度进行了分析,得到一些有规律的结果.     

非光滑多目标分式规划的最优性条件

本文利用方向导数对非光滑函数引入了伪凸、严格伪凸和拟凸等概念,给出了非光滑多目标分式规划解的Fritz John型和Kuhn-Tucker型的必要条件和充分条件。     

从 DRT 动态语义学视角看自然语言条件句和蕴涵概念

自然语言复合句中的条件句、选择句和并列句,分别对应经典逻辑的蕴涵式、析取式与合取式。基于蕴涵公式确立的经典命题逻辑产生了所谓“蕴涵怪论”问题,而在经典蕴涵公式基础上构造的各种逻辑系统也出现了如“道义悖论”、“逻辑万能”等各种疑难问题。问题的症结在于蕴涵公式不同于自然语言的条件句,确切说,“蕴涵”并不是对条件句的贴切抽象（“析取”和自然语言的选择句也有类似问题）。我们注意到,从当今 DRT 等动态语义学对自然语言条件句分析的独特视角,可以找到解决上述问题的新思路。     

条件均方预测误差

讨论了多维AR(1)过程条件均方预测误差及Bootstrap法条件样本途径。给出了条件均方预测误差公式和Bootstrap法条件均方预测误差公式。这些结果可推广到多维AR(p)过程     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

二值命题逻辑系统的不可靠度及F度累积定理

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。     

命题逻辑系统理论(广义)根性质及应用

del命题逻辑系统和R0-命题逻辑系统上讨论理论Γ的根和广义根性质,给出了一个有(广义)根的理论Γ的结论集D(Γ)的结构。应用(广义)根的性质与构造,获得了理论Γ的相容度、发散度和公式A是Γ-结论的隶属度等新的计算公式。     

组合逻辑电路的逆向分析和条件通路法

本文指出目前组合逻辑电路分析方法的不足,提出了一种新的方法——条件通路法,使组合电路的逆向分析得以容易实现,从而完善了组合逻辑电路的分析方法。     

VHDL数据流描述模型的优化设计

基于集成电路进行数字系统设计时,依据电路性能指标的描述,首先构造输入输出关系的真值表,建立算法模型,直接依据行为描述的真值表而设计的电路结构不明确,不利于逻辑综合;在行为域分析基础上优化设计,可得数据流描述模型,使VHDL描述模型简化,但其描述对所设计电路结构不明确,VHDL描述过程中要考虑一系列不适用于逻辑综合的约束条件的限制;门级结构域层次化优化描述模型给出明确的设计电路结构,通过描述模型对逻辑门级仿真可得到精确的电路的时序信息。