Intuitionistic fuzzy bi-implicator and properties of Lukasiewicz intuitionistic fuzzy bi-implicator

This paper presents axiomatic as well as constructive definitions of intuitionistic fuzzy bi-implicators based on intuitionistic fuzzy t-norms and their intuitionistic fuzzy residual implicators. The inter-relationship among different proposed classes is presented along with a detailed study of the properties of one of these intuitionistic fuzzy bi-implicators called the intuitionistic fuzzy beta-bi-operator constructed using Lukasiewicz intuitionistic fuzzy t-norm and its R-implicator

Fuzzy Free Path Detection based on Dense Disparity Maps obtained from Stereo Cameras

In this paper we propose a fuzzy method to detect free paths in real-time using digital stereo images. It is based on looking for linear variations of depth in disparity maps, which are obtained by processing a pair of rectified images from two stereo cameras. By applying least-squares fitting over groups of disparity maps columns to a linear model, free paths are detected by giving a certainty using a fuzzy rule. Experimental results on real outdoor images are also presented.Nuria Ortigosa acknowledges the support of Universidad Polit'ecnica de Valencia under grant FPI-UPV 2008. Samuel Morillas acknowledges the support of Spanish Ministry of Education and Science under grant MTM 2009-12872-C02-01.Ortigosa Araque, N.; Morillas Gómez, S.; Peris Fajarnes, G.; Dunai Dunai, L. (2012). Fuzzy Free Path Detection based on Dense Disparity Maps obtained from Stereo Cameras. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 20(2):245-259. doi:10.1142/S0218488512500122S245259202Grosso, E., & Tistarelli, M. (1995). Active/dynamic stereo vision. IEEE Transactions on Pattern Analysis and Machine Intelligence, 17(9), 868-879. doi:10.1109/34.406652Wedel, A., Badino, H., Rabe, C., Loose, H., Franke, U., & Cremers, D. (2009). B-Spline Modeling of Road Surfaces With an Application to Free-Space Estimation. IEEE Transactions on Intelligent Transportation Systems, 10(4), 572-583. doi:10.1109/tits.2009.2027223Bloch, I. (2005). Fuzzy spatial relationships for image processing and interpretation: a review. Image and Vision Computing, 23(2), 89-110. doi:10.1016/j.imavis.2004.06.013Keller, J. M., & Wang, X. (2000). A Fuzzy Rule-Based Approach to Scene Description Involving Spatial Relationships. Computer Vision and Image Understanding, 80(1), 21-41. doi:10.1006/cviu.2000.0872Moreno-Garcia, J., Rodriguez-Benitez, L., Fernández-Caballero, A., & López, M. T. (2010). Video sequence motion tracking by fuzzification techniques. Applied Soft Computing, 10(1), 318-331. doi:10.1016/j.asoc.2009.08.002Morillas, S., Gregori, V., & Hervas, A. (2009). Fuzzy Peer Groups for Reducing Mixed Gaussian-Impulse Noise From Color Images. IEEE Transactions on Image Processing, 18(7), 1452-1466. doi:10.1109/tip.2009.2019305Poloni, M., Ulivi, G., & Vendittelli, M. (1995). Fuzzy logic and autonomous vehicles: Experiments in ultrasonic vision. Fuzzy Sets and Systems, 69(1), 15-27. doi:10.1016/0165-0114(94)00237-2Alonso, J. M., Magdalena, L., Guillaume, S., Sotelo, M. A., Bergasa, L. M., Ocaña, M., & Flores, R. (2007). Knowledge-based Intelligent Diagnosis of Ground Robot Collision with Non Detectable Obstacles. Journal of Intelligent and Robotic Systems, 48(4), 539-566. doi:10.1007/s10846-006-9125-6McFetridge, L., & Ibrahim, M. Y. (2009). A new methodology of mobile robot navigation: The agoraphilic algorithm. Robotics and Computer-Integrated Manufacturing, 25(3), 545-551. doi:10.1016/j.rcim.2008.01.008Sun, H., & Yang, J. (2001). Obstacle detection for mobile vehicle using neural network and fuzzy logic. Neural Network and Distributed Processing. doi:10.1117/12.441696Ortigosa, N., Morillas, S., & Peris-Fajarnés, G. (2010). Obstacle-Free Pathway Detection by Means of Depth Maps. Journal of Intelligent & Robotic Systems, 63(1), 115-129. doi:10.1007/s10846-010-9498-4Picton, P. D., & Capp, M. D. (2008). Relaying scene information to the blind via sound using cartoon depth maps. Image and Vision Computing, 26(4), 570-577. doi:10.1016/j.imavis.2007.07.005Zhang, Z. (2000). A flexible new technique for camera calibration. IEEE Transactions on Pattern Analysis and Machine Intelligence, 22(11), 1330-1334. doi:10.1109/34.888718Scharstein, D., & Szeliski, R. (2002). International Journal of Computer Vision, 47(1/3), 7-42. doi:10.1023/a:1014573219977Felzenszwalb, P. F., & Huttenlocher, D. P. (2006). Efficient Belief Propagation for Early Vision. International Journal of Computer Vision, 70(1), 41-54. doi:10.1007/s11263-006-7899-4Qingxiong Yang, Liang Wang, Ruigang Yang, Stewenius, H., & Nister, D. (2009). Stereo Matching with Color-Weighted Correlation, Hierarchical Belief Propagation, and Occlusion Handling. IEEE Transactions on Pattern Analysis and Machine Intelligence, 31(3), 492-504. doi:10.1109/tpami.2008.99Zitnick, C. L., & Kang, S. B. (2007). Stereo for Image-Based Rendering using Image Over-Segmentation. International Journal of Computer Vision, 75(1), 49-65. doi:10.1007/s11263-006-0018-8Hartley, R., & Zisserman, A. (2004). Multiple View Geometry in Computer Vision. doi:10.1017/cbo9780511811685Lee, C. C. (1990). Fuzzy logic in control systems: fuzzy logic controller. I. IEEE Transactions on Systems, Man, and Cybernetics, 20(2), 404-418. doi:10.1109/21.52551C. Fodor, J. (1993). A new look at fuzzy connectives. Fuzzy Sets and Systems, 57(2), 141-148. doi:10.1016/0165-0114(93)90153-9Nalpantidis, L., & Gasteratos, A. (2010). Stereo vision for robotic applications in the presence of non-ideal lighting conditions. Image and Vision Computing, 28(6), 940-951. doi:10.1016/j.imavis.2009.11.011BOHANNON, R. W. (1997). Comfortable and maximum walking speed of adults aged 20—79 years: reference values and determinants. Age and Ageing, 26(1), 15-19. doi:10.1093/ageing/26.1.1

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

A General Framework for Ordering Fuzzy Sets

Abstract. Orderings and rankings of fuzzy sets have turned out to play a funda-mental role in various disciplines. Throughout the previous 25 years, a lot a different approaches to this issue have been introduced, ranging from rather simple ones to quite exotic ones. The aim of this paper is to present a new framework for com-paring fuzzy sets with respect to a general class of fuzzy orderings. This approach includes several known techniques based on generalizing the crisp linear ordering of real numbers by means of the extension principle, however, in its general form, it is applicable to any fuzzy subsets of any kind of universe for which a fuzzy ordering is known – no matter whether linear or partial.

A New Fuzzy Additive Noise Reduction Method

In this paper we present a new alternative noise reduction method for color images that were corrupted with additive Gaussian noise. We illustrate that color images have to be processed in a different way than most of the state-of-the-art methods. The proposed method consists of two sub-filters. The main concern of the first subfilter is to distinguish between local variations due to noise and local variations due to image structures such as edges. This is realized by using the color component distances instead of component differences as done by most current filters. The second subfilter is used as a complementary filter which especially preserves differences between the color components. This is realized by calculating the local differences in the red, green and blue environment separately. These differences are then combined to calculate the local estimation of the central pixel. Experimental results show the feasibility of the proposed approach

Pharmacological Inhibition of Caspase and Calpain Proteases: A Novel Strategy to Enhance the Homing Responses of Cord Blood HSPCs during Expansion

Background: Expansion of hematopoietic stem/progenitor cells (HSPCs) is a well-known strategy employed to facilitate the transplantation outcome. We have previously shown that the prevention of apoptosis by the inhibition of cysteine proteases, caspase and calpain played an important role in the expansion and engraftment of cord blood (CB) derived HSPCs. We hypothesize that these protease inhibitors might have maneuvered the adhesive and migratory properties of the cells rendering them to be retained in the bone marrow for sustained engraftment. The current study was aimed to investigate the mechanism of the homing responses of CB cells during expansion. Methodology/Principal Findings: CB derived CD34 + cells were expanded using a combination of growth factors with and without Caspase inhibitor-zVADfmk or Calpain 1 inhibitor- zLLYfmk. The cells were analyzed for the expression of homingrelated molecules. In vitro adhesive/migratory interactions and actin polymerization dynamics of HSPCs were assessed. In vivo homing assays were carried out in NOD/SCID mice to corroborate these observations. We observed that the presence of zVADfmk or zLLYfmk (inhibitors) caused the functional up regulation of CXCR4, integrins, and adhesion molecules, reflecting in a higher migration and adhesive interactions in vitro. The enhanced actin polymerization and the RhoGTPase protein expression complemented these observations. Furthermore, in vivo experiments showed a significantly enhanced homing to the bone marrow of NOD/SCID mice