General Form of Alpha-Linear Resolution Method Based on Lattice-Valued First-Order Logic System

2012 Fifth International Symposium on Computational Intelligence and Design ◽

10.1109/iscid.2012.223 ◽

2012 ◽

Author(s):

Weitao Xu ◽

Wenqiang Zhang ◽

Yang Xu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Linear Resolution ◽

Logic System

Download Full-text

α-Generalized linear resolution method based on lattice-valued first-order logic system

2011 6th IEEE Joint International Information Technology and Artificial Intelligence Conference ◽

10.1109/itaic.2011.6030314 ◽

2011 ◽

Author(s):

Weitao Xu ◽

Yang Xu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Linear Resolution ◽

Logic System

Download Full-text

α-Generalized resolution method based on linguistic truth-valued first-order logic system

Data Science and Knowledge Engineering for Sensing Decision Support ◽

10.1142/9789813273238_0096 ◽

2018 ◽

Author(s):

Weitao Xu ◽

Yang Xu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Generalized Resolution ◽

Logic System

Download Full-text

Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System

Communications in Computer and Information Science - Intelligent Computation in Big Data Era ◽

10.1007/978-3-662-46248-5_5 ◽

2015 ◽

pp. 31-37

Author(s):

Li Zou ◽

Di Liu ◽

Yingxin Wang ◽

Juan Qu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Logic System

Download Full-text

alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System

2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) ◽

10.1109/iske.2015.75 ◽

2015 ◽

Author(s):

Weitao Xu ◽

Wenqiang Zhang ◽

Dexian Zhang ◽

Yang Xu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Logic System

Download Full-text

First-order logic system $\mathbf{IMTL_{Q}^{*}}$ and triple I method in fuzzy reasoning with linguistic quantifiers

Journal of Intelligent & Fuzzy Systems ◽

10.3233/ifs-130907 ◽

2014 ◽

Vol 26 (5) ◽

pp. 2359-2367 ◽

Cited By ~ 2

Author(s):

Xiaohong Zhang ◽

Xu Zeng

Keyword(s):

Fuzzy Reasoning ◽

Order Logic ◽

First Order Logic ◽

First Order ◽

Linguistic Quantifiers ◽

Logic System ◽

Triple I Method

Download Full-text

A resolution method for linguistic truth-valued intuitionistic fuzzy first-order logic

2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) ◽

10.1109/fuzz-ieee.2016.7737784 ◽

2016 ◽

Author(s):

Lin Xiao ◽

Jia Meng ◽

Shifei Ding ◽

Li Zou

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Intuitionistic Fuzzy

Download Full-text

Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic

2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) ◽

10.1109/iske.2015.84 ◽

2015 ◽

Author(s):

Hairui Jia ◽

Yi Liu ◽

Yang Xu

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Generalized Resolution

Download Full-text

iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_24 ◽

2008 ◽

pp. 292-298 ◽

Cited By ~ 64

Author(s):

Konstantin Korovin

Keyword(s):

Order Logic ◽

Theorem Prover ◽

First Order Logic ◽

System Description ◽

First Order ◽

Logic System

Download Full-text

WEIGHTING QUALITATIVE FUZZY FIRST-ORDER LOGIC AND ITS RESOLUTION METHOD

Applied Artificial Intelligence ◽

10.1142/9789812774118_0018 ◽

2006 ◽

Author(s):

LI ZOU ◽

BAIHUA LI ◽

WEI WANG ◽

YANG XU

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order

Download Full-text

α-lock semantic resolution method based on lattice-valued first-order logic LF(X)

2016 International Conference on Fuzzy Theory and Its Applications (iFuzzy) ◽

10.1109/ifuzzy.2016.8004933 ◽

2016 ◽

Author(s):

Xiaomei Zhong ◽

Yang Xu ◽

Shuwei Chen ◽

Xingxing He

Keyword(s):

Order Logic ◽

First Order Logic ◽

Resolution Method ◽

First Order ◽

Semantic Resolution

Download Full-text