邓鹏
- 作品数：2 被引量：2H指数：1
- 供职机构：西南交通大学数学学院更多>>
- 发文基金：国家自然科学基金四川省科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 命题逻辑的子句集中文字的分类被引量：2
- 2015年
- 检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类,并分别给出其定义。讨论3种文字与无冗余等价子集的性质,给出其等价子集的等价描述方法。得到题逻辑的子句集中必需文字、有用文字和无用文字的判定方法,借助子句集的可满足性得到3种文字与子句集的可满足性的等价条件。上述结果对命题逻辑中文字属性的判断提供了多种可选择方法,同时为命题逻辑公式的化简奠定了理论基础。
- 邓鹏徐扬
- 关键词：命题逻辑可满足性
- 命题逻辑中非子句α-有序线性广义归结方法
- 2015年
- 为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继续研究和扩展,引入了基于格值命题逻辑系统LP(X)的非子句多元α-有序线性广义归结方法和演绎,这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后,得到LP(X)中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。
- 贾海瑞徐扬邓鹏
- 关键词：格蕴涵代数格值命题逻辑
