Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Apt, K.R., Monfroy, E.: Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming 1(6), 713–750 (2001)
Balduccini, M., Gelfond, M., Nogueira, M.: Answer set based design of knowledge systems. Annals of Mathematics and Artificial Intelligence 47(1-2), 183–219 (2006)
Brewka, G.: Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50, 183–205 (1991)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proc. of the Fifth Int. Conf. and Symp. on Logic Programming, pp. 1070–1080. The MIT Press, Seattle (1988)
Hyojung, H., Somenzi, F., Hoonsang, J.: Making deduction more effective in SAT solvers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 29(8), 1271–1284 (2010)
Pułka, A.: Decision Supporting System Based on Fuzzy Default Reasoning. In: Proc. of the Human Systems Interaction Conf., Catania, Italy, pp. 32–39 (2009)
Pułka, A.: System on Chip Verification Strategy Based on FDL Mechanism. In: Proc. of the Int. Conf. on Signals and Electronic Systems, Gliwice, Poland, pp. 355–358 (2010)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Xue, J., Sun, L., Liu, M., Qiao, C., Ye, G.: Research on high-speed fuzzy reasoning with FPGA for fault diagnosis expert system. In: Proc. of the 2009 IEEE Int. Conf. on Mechatronics and Automation, Changchun, China, pp. 3005–3009 (2009)
Wirth, N.: Algorithms + Data Structures = Programs, 1st edn. Prentice-Hall, Englewood Cliffs (1976)
Zadeh, L.A.: Generalized theory of uncertainty (GTU) – principal concepts and ideas. Computational Statistics & Data Analysis (51), 15–46 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Pułka, A., Milik, A. (2012). Hardware Implementation of Fuzzy Default Logic. In: Hippe, Z.S., Kulikowski, J.L., Mroczek, T. (eds) Human – Computer Systems Interaction: Backgrounds and Applications 2. Advances in Intelligent and Soft Computing, vol 99. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23172-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-23172-8_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23171-1
Online ISBN: 978-3-642-23172-8
eBook Packages: EngineeringEngineering (R0)