Sciweavers

151 search results - page 8 / 31
» A Comparative Fuzzy Modal Logic
Sort
View
SMC
2007
IEEE
181views Control Systems» more  SMC 2007»
14 years 5 months ago
Evaluation of grid-map sensor fusion mapping algorithms
This paper presents a thorough evaluation of grid map based sensor fusion algorithms for mapping the environment of a mobile robot. Three physical sensors were used for creating t...
Keren Kapach, Yael Edan
FUZZIEEE
2007
IEEE
14 years 2 months ago
A Vector Similarity Measure for Interval Type-2 Fuzzy Sets
Fuzzy logic is frequently used in computing with words (CWW). When input words to a CWW engine are modeled by interval type-2 fuzzy sets (IT2 FSs), the CWW engine's output can...
Dongrui Wu, Jerry M. Mendel
AAAI
2007
14 years 1 months ago
Prime Implicates and Prime Implicants in Modal Logic
The purpose of this paper is to extend the notions of prime implicates and prime implicants to the basic modal logic K. We consider a number of different potential definitions of...
Meghyn Bienvenu
EAAI
2006
161views more  EAAI 2006»
13 years 11 months ago
Genetic learning and performance evaluation of interval type-2 fuzzy logic controllers
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...
Dongrui Wu, Woei Wan Tan
IJCAI
1997
14 years 8 days ago
On Evaluating Decision Procedures for Modal Logic
This paper investigates the evaluation method of decision procedures for multi-modal logic proposed by Giunchiglia and Sebastiani as an adaptation from the evaluation method of Mi...
Ullrich Hustadt, Renate A. Schmidt