Results 1  10
of
32
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 53 (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 11 (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
On Revising Fuzzy Belief Bases
, 2003
"... We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revisioninput formulas can come attached with varying truthdegrees. Working within a very general framework for fuzzy logic which is able to capture certain types of uncer ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revisioninput formulas can come attached with varying truthdegrees. Working within a very general framework for fuzzy logic which is able to capture certain types of uncertainty calculi as well as truthfunctional fuzzy logics, we show how the idea of rational change from "crisp" base revision, as embodied by the idea of partial meet (base) revision, can be faithfully extended to revising fuzzy belief bases. We present and axiomatise an operation of partial meet fuzzy base revision and illustrate how the operation works in several important special instances of the framework.
Nonmonotonic Inference Operators for Fuzzy Logic
 IN: PROC. 9TH INTERNAT. WORKSHOP ON NONMONOTONIC REASONING, NMR’2002
, 2002
"... Fuzzy logic in an abstract sense allows to draw (graded) conclusions from only partially "given" premises i.e. fuzzy sets of formulas. This means ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Fuzzy logic in an abstract sense allows to draw (graded) conclusions from only partially "given" premises i.e. fuzzy sets of formulas. This means
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 logic as a methodology for the treatment of vagueness
 The Logica Yearbook 2004
, 2005
"... ..."
Toward problems for mathematical fuzzy logic
 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. ..."
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.
Merging Rules: Preliminary Version
 in: Proceedings of the NMR’06
, 2006
"... In this paper we consider the merging of rules or conditionals. In contrast to other approaches, we do not invent a new approach from scratch, for one particular kind of rule, but we are interested in ways to generalize existing revision and merging operators from belief merging to rule merging. Fir ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In this paper we consider the merging of rules or conditionals. In contrast to other approaches, we do not invent a new approach from scratch, for one particular kind of rule, but we are interested in ways to generalize existing revision and merging operators from belief merging to rule merging. First, we study ways to merge rules based on only a notion of consistency of a set of rules, and illustrate this approach using a consolidation operator of Booth and Richter. Second, we consider ways to merge rules based on a notion of implication among rules, and we illustrate this approach using socalled min and max merging operators defined using possibilistic logic.