Informatics

On resolution strategies in fuzzy logic

S. K. Yengoyan

Yerevan State University

Abstract: In this paper resolution strategies in fuzzy logic are investigated. Some new deduction strategies are introduced in fuzzy logic, analogous to those of classic logic, aimed to narrow deduction search space. In particular, semantic resolution is redefined for fuzzy logic, and some special cases are considered. The completeness of these strategies is proved.

Keywords: fuzzy logic, resolution strategy, completeness.

MSC: 03B52;03E772

Received: 20.07.2012
Accepted: 14.09.2012

Language: English