Sciweavers

1588 search results - page 4 / 318
» On the Logic of Constitutive Rules
Sort
View
EH
2002
IEEE
266views Hardware» more  EH 2002»
14 years 11 days ago
Towards Evolvable Analog Fuzzy Logic Controllers
Fuzzy Logic has proved to be a very powerful technique in the discipline of system control. A Fuzzy Logic Controller is defined by a collection of fuzzy if-then rules and a set of...
José Franco Machado do Amaral, Jorge Lu&iac...
JCIT
2008
154views more  JCIT 2008»
13 years 7 months ago
A Prospective Fuzzy Logic approach to Knowledge-based Navigation of Mobile LEGO-Robot
The development of techniques for knowledge-based navigation constitutes one of the major trends in the current research on mobile robotics. Fuzzy logic provides tools that are of...
Hrudaya K. Tripathy, B. K. Tripathy, Pradip K. Das
EH
2003
IEEE
247views Hardware» more  EH 2003»
14 years 21 days ago
Evolvable Building Blocks for Analog Fuzzy Logic Controllers
This work discusses the use of an Evolvable Hardware (EHW) platform in the synthesis of analog electronic circuits for Fuzzy Logic Controllers. A Fuzzy Logic Controller (FLC) is d...
Jorge Luís Machado do Amaral, José F...
LFCS
2009
Springer
14 years 1 months ago
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
Rosalie Iemhoff, George Metcalfe
AML
2006
87views more  AML 2006»
13 years 7 months ago
On the rules of intermediate logics
If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate log...
Rosalie Iemhoff