Fuzzy Logic and Approximate Reasoning
Abdul Khaliq · 2005
A production system generally embodies a set of rules, called knowledge base, a set of facts called database and an inference engine (interpreter) for interpretation of the database with the help of the knowledge base. In the process of interpretation of the database, the inference engine generates new inferences. The mechanism of generation of inferences is well known as reasoning in the treaties of knowledge based systems. Reasoning in predicate logic is usually performed by three fundamental rules, such as modus ponens, modus tollens and syllogisms. The chapter extends the scope of reasoning in knowledge based systems through generalization of the above three rules by using the logic of fuzzy sets. Various forms of fuzzy reasoning with single and multiple antecedent clauses have been introduced in the chapter and the scope of one such reasoning scheme on a VLSI engine has been examined. The chapter ends with a discussion on the principles of fuzzy abductive reasoning.