个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
毕业院校： 西南交通大学




教育经历Education Background
工作经历Work Experience
暂无内容 暂无内容
研究方向Research Focus
1、基于经典逻辑的自动推理；
2、基于格值逻辑的自动推理。



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
毕业院校： 西南交通大学

扫描关注




当前位置： 中文主页 >> 科学研究
研究领域
1、基于经典逻辑的自动推理；
2、基于多值逻辑（格值逻辑）的自动推理。


论文成果
General form of α-resolution principle for linguistic truth-valued lattice-valued logic,Xiaomei Zhong,Shuwei Chen,Yang Xu,Jun Liu.Soft Computing,2012,10(16):1767-1781
Multiary α-Resolution Principle for a Lattice-Valued Logic,Yang Xu,Shuwei Chen,Jun Liu,Xiaomei Zhong.IEEE Transactions on Fuzzy Systems,2013,21(5):898-912
α-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(X),Xiaomei Zhong,Yang Xu.Journal of Multiple-Valued Logic and Soft Computing,2014,22(4-6):581-598
α-Quasi-lock semantic resolution method based on lattice-valued logic,Xiaomei Zhong,Shuwei Chen,Jun Liu,Yang Xu.International Journal of Computational Intelligence Systems,2014,7(3):418-431
Contradiction separation based dynamic multi-clause synergized automated deduction,Yang Xu,Shuwei Chen,Xingxing He,Jun Liu,Xiaomei Zhong.Information Sciences,2018, 462:93–113

专利
暂无内容

著作成果
暂无内容

科研项目
基于格值逻辑的语言真值α-群锁语义归结自动推理研究, 国家自然科学基金项目-2016/12/31
基于逻辑的定理库自动演绎推理研究, 教育部人文社科研究项目-2023/03/01





Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
毕业院校： 西南交通大学

扫描关注




研究领域 当前位置： 中文主页 >> 科学研究 >> 研究领域
1、基于经典逻辑的自动推理；
2、基于多值逻辑（格值逻辑）的自动推理。






Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
毕业院校： 西南交通大学

扫描关注




论文成果 当前位置： 中文主页 >> 科学研究 >> 论文成果
General form of α-resolution principle for linguistic truth-valued lattice-valued logic,Xiaomei Zhong,Shuwei Chen,Yang Xu,Jun Liu.Soft Computing,2012,10(16):1767-1781
Multiary α-Resolution Principle for a Lattice-Valued Logic,Yang Xu,Shuwei Chen,Jun Liu,Xiaomei Zhong.IEEE Transactions on Fuzzy Systems,2013,21(5):898-912
α-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(X),Xiaomei Zhong,Yang Xu.Journal of Multiple-Valued Logic and Soft Computing,2014,22(4-6):581-598
α-Quasi-lock semantic resolution method based on lattice-valued logic,Xiaomei Zhong,Shuwei Chen,Jun Liu,Yang Xu.International Journal of Computational Intelligence Systems,2014,7(3):418-431
Contradiction separation based dynamic multi-clause synergized automated deduction,Yang Xu,Shuwei Chen,Xingxing He,Jun Liu,Xiaomei Zhong.Information Sciences,2018, 462:93–113
共5条1/1 首页上页下页尾页







Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
毕业院校： 西南交通大学

扫描关注




专利 当前位置： 中文主页 >> 科学研究 >> 专利
共0条0/0







Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
毕业院校： 西南交通大学

扫描关注




著作成果 当前位置： 中文主页 >> 科学研究 >> 著作成果
共0条0/0







Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处

---

个人信息Personal Information 所在单位： 数学学院
学历： 博士研究生毕业
毕业院校： 西南交通大学

扫描关注




科研项目 当前位置： 中文主页 >> 科学研究 >> 科研项目
基于格值逻辑的语言真值α-群锁语义归结自动推理研究
基于逻辑的定理库自动演绎推理研究
共2条1/1 首页上页下页尾页