(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic.

Baihua Li Xiaonan Li Chang Pan Li Zou Yang Xu

Published in: ISKE (2015)

Keyphrases

propositional logic
intuitionistic fuzzy
alpha beta
fuzzy clustering
game tree
associative memory
first order logic
belief revision
search algorithm
group decision making
evaluation function
fuzzy numbers
tree search
fuzzy relations
expressive power
game playing
dynamic programming
clustering algorithm