Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)

Completeness of (μ,ν)-Resolution Principle of Intuitionistic Operator Fuzzy Logic

Authors
Hongliang Zheng1, Benqiang Xu, Li Zou
1School of Computer and Information Technology,
Corresponding Author
Hongliang Zheng
Available Online October 2007.
DOI
10.2991/iske.2007.212How to use a DOI?
Keywords
(μ,ν)-resolution, the completeness of (μ,ν)-resolution, intuitionistic operator fuzzy logic.
Abstract

In this paper, a primary interpretation for intuitionistic operator fuzzy logic is presented. The concepts of (μ,ν)-complementary literal and (μ,ν)-similar literal about complex literals are proposed. Then the properties of (μ,ν)-false and the (μ,ν)-resolution method of the complex literals are discussed. Based on the concepts of (μ,ν)-weak implication and (μ,ν)-strong implication, the completeness of (μ,ν)-resolution of intuitionistic operator fuzzy logic hold. An example is given to show that the proposed (μ,ν)-resolution method is a layered resolution method.

Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
Series
Advances in Intelligent Systems Research
Publication Date
October 2007
ISBN
10.2991/iske.2007.212
ISSN
1951-6851
DOI
10.2991/iske.2007.212How to use a DOI?
Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Hongliang Zheng
AU  - Benqiang Xu
AU  - Li Zou
PY  - 2007/10
DA  - 2007/10
TI  - Completeness of (μ,ν)-Resolution Principle of Intuitionistic Operator Fuzzy Logic
BT  - Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
PB  - Atlantis Press
SP  - 1250
EP  - 1253
SN  - 1951-6851
UR  - https://doi.org/10.2991/iske.2007.212
DO  - 10.2991/iske.2007.212
ID  - Zheng2007/10
ER  -