Sciweavers

3032 search results - page 168 / 607
» Description Logic Rules
Sort
View
ISIPTA
2003
IEEE
14 years 4 months ago
Combining Belief Functions Issued from Dependent Sources
Dempsterā€™s rule for combining two belief functions assumes the independence of the sources of information. If this assumption is questionable, I suggest to use the least speciļ¬...
Marco E. G. V. Cattaneo
TYPES
1995
Springer
14 years 2 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
CP
2008
Springer
14 years 17 days ago
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
Mats Carlsson, Nicolas Beldiceanu, Julien Martin
FUZZIEEE
2007
IEEE
14 years 17 days ago
Consistent, Complete and Compact Generation of DNF-type Fuzzy Rules by a Pittsburgh-style Genetic Algorithm
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...
Jorge Casillas, Pedro Martínez
GECCO
2003
Springer
128views Optimization» more  GECCO 2003»
14 years 4 months ago
The Principle of Maximum Entropy-Based Two-Phase Optimization of Fuzzy Controller by Evolutionary Programming
In this paper, a two-phase evolutionary optimization scheme is proposed for obtaining optimal structure of fuzzy control rules and their associated weights, using evolutionary prog...
Chi-Ho Lee, Ming Yuchi, Hyun Myung, Jong-Hwan Kim