Results 1  10
of
17
A Treatise on ManyValued Logics
 Studies in Logic and Computation
, 2001
"... The paper considers the fundamental notions of many valued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics. Besides this logical approach also a more algebraic approach is discussed. And the paper ends with som ..."
Abstract

Cited by 52 (3 self)
 Add to MetaCart
The paper considers the fundamental notions of many valued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics. Besides this logical approach also a more algebraic approach is discussed. And the paper ends with some hints toward applications which are based upon actual theoretical considerations about infinite valued logics. Key words: mathematical fuzzy logic, algebraic semantics, continuous tnorms, leftcontinuous tnorms, Pavelkastyle fuzzy logic, fuzzy set theory, nonmonotonic fuzzy reasoning 1 Basic ideas 1.1 From classical to manyvalued logic Logical systems in general are based on some formalized language which includes a notion of well formed formula, and then are determined either semantically or syntactically. That a logical system is semantically determined means that one has a notion of interpretation or model 1 in the sense that w.r.t. each such interpretation every well formed formula has some (truth) value or represents a function into
Mathematical fuzzy logic as a tool for the treatment of vague information
 Information Sciences
, 2005
"... The paper considers some of the main trends of the recent development of mathematical fuzzy logic as an important tool in the toolbox of approximate reasoning techniques. Particularly the focus is on fuzzy logics as systems of formal logic constituted by a formalized language, by a semantics, and by ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
The paper considers some of the main trends of the recent development of mathematical fuzzy logic as an important tool in the toolbox of approximate reasoning techniques. Particularly the focus is on fuzzy logics as systems of formal logic constituted by a formalized language, by a semantics, and by a calculus for the derivation of formulas. Besides this logical approach also a more algebraic approach is discussed. And the paper ends with some hints toward applications which are based upon these theoretical considerations. Key words: mathematical fuzzy logic, algebraic semantics, continuous tnorms, leftcontinuous tnorms, Pavelkastyle fuzzy logic, fuzzy set theory, nonmonotonic fuzzy reasoning 1
Coherent Functions in Autonomous Systems
, 2002
"... INTRODUCTION Advanced sensorimotor devices, like mobile robots, are often referred to as autonomous systems. The expression is used to intentionally remark on the difference between these systems and those of traditional industrial automation. Although no rigorous definition is easily available, a ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
INTRODUCTION Advanced sensorimotor devices, like mobile robots, are often referred to as autonomous systems. The expression is used to intentionally remark on the difference between these systems and those of traditional industrial automation. Although no rigorous definition is easily available, a general informal consensus seems to exist on the features that denote autonomy: a system is considered the more autonomous the more reliably it can survive and perform tasks in the real world, without the need for human intervention. 171 ____________________________ *email: claudio.sossai@isib.cnr.it J. of Mult.Valued Logic & Soft Computing., Vol. 9, pp. 171194 2003 Old City Publishing, Inc. Reprints available directly from the publisher Published by license under the OCP Science imprint, Photocopying permitted by license only a member of the Old City Publishing Group In the literature different ideas and techniques have been proposed and investigated to achieve these results, nonethe
Fuzzy Logic Programming and Fuzzy Control by
"... Abstract. The paper concerns fuzzy logic programming. As an example, we show that is not restrictive to confine ourselves to fuzzy Herbrand interpretations in giving a semantics for fuzzy programs. Also, we show that the resulting apparatus gives a unifying theoretical framework for fuzzy control. ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. The paper concerns fuzzy logic programming. As an example, we show that is not restrictive to confine ourselves to fuzzy Herbrand interpretations in giving a semantics for fuzzy programs. Also, we show that the resulting apparatus gives a unifying theoretical framework for fuzzy control.
Fuzzy control as a fuzzy deduction system
, 2001
"... An approach to fuzzy control based on fuzzy logic in narrow sense (fuzzy inference rules + fuzzy set of logical axioms) is proposed. This gives an interesting theoretical framework and suggests new tools for fuzzy control. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
An approach to fuzzy control based on fuzzy logic in narrow sense (fuzzy inference rules + fuzzy set of logical axioms) is proposed. This gives an interesting theoretical framework and suggests new tools for fuzzy control.
Fuzzy Orders in Approximate Reasoning
 Zollo G. (Ed), New Logics for the New Economy, Edizioni Scientifiche Italiane
"... An approach to fixed point theory based on the notion of fuzzy order is proposed. Such an approach extends both the fixed point theory in ordered sets and the fixed point theory in metric spaces. This since the fuzzy orders are strictly related with the quasimetrics as defined by A. K. Seda in [10] ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
An approach to fixed point theory based on the notion of fuzzy order is proposed. Such an approach extends both the fixed point theory in ordered sets and the fixed point theory in metric spaces. This since the fuzzy orders are strictly related with the quasimetrics as defined by A. K. Seda in [10]. The aim is to give new tools for logic programming and for approximate reasoning.
Fuzzy logic as a methodology for the treatment of vagueness
 The Logica Yearbook 2004
, 2005
"... Fuzzy logic is now one of the leading and most successful methodologies for the treatment of the vagueness phenomenon. It is a wellestablished sound formal system with numerous applications. In recent years, several significant books have been published where fuzzy logic is investigated deeply and ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Fuzzy logic is now one of the leading and most successful methodologies for the treatment of the vagueness phenomenon. It is a wellestablished sound formal system with numerous applications. In recent years, several significant books have been published where fuzzy logic is investigated deeply and so, its
Toward problems for mathematical fuzzy logic, in
 Proc. of IEEE International Conference on Fuzzy Systems
, 2006
"... The paper discusses some open problems in the field of mathematical fuzzy logic which may have a decisive influence for the future development of fuzzy logic within the next decade. 1 ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The paper discusses some open problems in the field of mathematical fuzzy logic which may have a decisive influence for the future development of fuzzy logic within the next decade. 1
REPRESENTATION THEOREMS FOR FUZZY ORDERS AND QUASIMETRICS by
"... Abstract. Let L be a complete residuated lattice. Then we show that any Lpreorder can be represented both by an implicationbased graded inclusion as defined [1] and by a similaritybased graded inclusion as defined in [2]. Also, in accordance with a duality between [0,1]orders and quasimetrics, ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. Let L be a complete residuated lattice. Then we show that any Lpreorder can be represented both by an implicationbased graded inclusion as defined [1] and by a similaritybased graded inclusion as defined in [2]. Also, in accordance with a duality between [0,1]orders and quasimetrics, we obtain two corresponding representation theorems for quasimetrics.
POINCARÉ PARADOX AND APPROXIMATE SIMILARITIES by
"... This is an extended abstract of the published paper “Approximate Similarity and Poincaré Paradox to be published in Notre Dame Journal of Formal Logic, 49, 2008”. The startin point is an observation by De Cock and Kerre, in which, in considering Poincaré paradox, one observes that the intuitive noti ..."
Abstract
 Add to MetaCart
This is an extended abstract of the published paper “Approximate Similarity and Poincaré Paradox to be published in Notre Dame Journal of Formal Logic, 49, 2008”. The startin point is an observation by De Cock and Kerre, in which, in considering Poincaré paradox, one observes that the intuitive notion of “approximate similarity ” cannot be adequately represented by the fuzzy equivalence relations. In this note we argue that the deduction apparatus of fuzzy logic gives adequate tools to face the question with. Indeed a first order theory is proposed whose fuzzy models are plausible candidates for the notion of approximate similarity. A connection between these structures and the pointfree metric spaces is also established.