六元语言真值模态命题逻辑及其归结自动推理研究

在日常生活中,人们通常使用自然语言进行推理和判断。为了将格值模态命题逻辑更好地应用于实际中,本文提出了以六元语言真值格蕴涵代数为真值域的六元语言真值模态命题逻辑系统,定义一个将公式集和可能世界集映射到六元语言真值格蕴涵代数上的赋值映射,讨论其运算及性质,并探讨该系统基于滤子的归结原理。提出计算归结式的规则以及基于滤子的归结方法,并通过一个例子说明该方法的合理性。该系统不仅可以处理全序性信息,也可以处理非全序性信息。

基于电路定量理论的五值门电路和触发器设计

提出六值代数 ,建立五值电路三要素理论 (信号 ,网络和负载理论 ) ,作为定量研究五值电路的数学工具。在此基础上 ,首先用δ展开法由五值门函数设计了五值门电路的元件级结构。接着由 D触发器的特征方程设计了动态和静态五值 D触发器的二种电路结构。计算机模拟验证了上述理论和依此理论设计的电路的正确性。

基于电路三要素理论的五值计数器研究

本文提出六值代数,建立五值电路三要素理论(信号、网络和负载理论),作为定量研究五值电路的数学工具。在此基础上,首先用δ展开法由五值电路功能直接推出具有复位功能的五值反相器和动态D触发器的元件级结构。然后,对五值计数器进行研究,将其划分为五种类型,并设计出电路结构简单的具有复位功能的五值移位计数器。计算机模拟验证了上述理论和电路的正确性。