Hardware Implementation of Fuzzy Default Logic

The chapter presents hardware implementation of the model of commonsense reasoning system based on a new formalism Fuzzy Default Logic (FDL). It briefly recalls main definitions and algorithms of FDL technique in a form of software oriented procedures. Basic building blocks used for implementation are presented. Then the software algorithms of the FDL model are transformed into hardware blocks. The entire hardware structure has been implemented in FPGA Xilinx Virtex5 device. The obtained results, examples of experiments and applications in system verification platform are discussed and further research tasks formulated.

[1]  Niklaus Wirth,et al.  Algorithms + Data Structures = Programs , 1976 .

[2]  Andrzej Pulka.  Decision supporting system based on fuzzy default reasoning , 2009, 2009 2nd Conference on Human System Interactions.

[3]  Michael Gelfond,et al.  Answer set based design of knowledge systems , 2006, Annals of Mathematics and Artificial Intelligence.

[4]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Lotfi A. Zadeh,et al.  Generalized theory of uncertainty (GTU) - principal concepts and ideas , 2006, Comput. Stat. Data Anal..

[6]  Andrzej Pulka.  System on chip verification strategy based on FDL mechanism , 2010, ICSES 2010 International Conference on Signals and Electronic Circuits.

[7]  Fabio Somenzi,et al.  Making Deduction More Effective in SAT Solvers , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[9]  Krzysztof R. Apt,et al.  Constraint programming viewed as rule-based programming , 2000, Theory and Practice of Logic Programming.

[10]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

[11]  Laijun Sun,et al.  Research on high-speed fuzzy reasoning with FPGA for fault diagnosis expert system , 2009, 2009 International Conference on Mechatronics and Automation.