-
题名格值命题逻辑系统L9P(X)中的自动推理算法
被引量：5
- 1
-
-
作者
李晓冰
邱小平
徐扬
-
机构
西南交通大学智能控制开发中心
西南交通大学物流学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第10期6-9,共4页
-
文摘
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
-
关键词
中界元
格值命题逻辑系统
归结自动推理
放缩归结原理
自动推理算法
-
Keywords
intermediate element
lattice-valued propositional logic
automated reasoning based on resolution
magnifying or reducing resolution principle
automated reasoning algorithm
-
分类号
O153
[理学—基础数学]
-
-
题名基于有限格蕴涵代数的格值命题逻辑语义系统
被引量：3
- 2
-
-
作者
马骏
秦克云
徐扬
-
机构
西南交通大学应用数学系
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2002年第5期557-560,共4页
-
基金
国家自然科学基金资助项目 (6 0 0 74 0 14 )
-
文摘
以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”
-
关键词
有限格蕴涵代数
多值逻辑
逻辑代数
格值命题逻辑语义系统
数理逻辑
-
Keywords
many valued logic
logic algebra
lattice implication algebra
-
分类号
O141.1
[理学—基础数学]
-
-
题名格值语义归结推理方法
被引量：8
- 3
-
-
作者
张家锋
徐扬
何星星
-
机构
西南交通大学智能控制开发中心
毕节学院逻辑语言与认知中心
-
出处
《计算机科学》
CSCD
北大核心
2011年第9期201-203,210,共4页
-
基金
国家自然科学基金(60875034)
贵州省科学技术项目(2010GZ43286)
2011年西南交通大学博士生创新基金项目资助
-
文摘
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。
-
关键词
格蕴涵代数
格值命题逻辑系统LP(X)
自动推理
语义归结方法
-
Keywords
Lattice implication algebra
Lattice-valued propositional logic LP（X）
Automated reasoning
Semantic resolution method
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名格蕴涵代数中滤子的若干性质
被引量：4
- 4
-
-
作者
王学芳
徐扬
宋振明
-
机构
西南交通大学应用数学系
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2001年第5期536-539,共4页
-
基金
国家自然科学基金项目 (6 0 0 740 14
6 98740 33)
-
文摘
首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态 ,使这个滤子就是同态的对偶核。
-
关键词
超滤
固执滤子
格蕴涵代数
格值命题逻辑系统
蕴涵同态
极大关联滤子
-
Keywords
ultrafilter
homomorphism
filter
lattice implication algebra
-
分类号
O159
[理学—基础数学]
-
