Reasoning Systems

1. Reasoning Systems

If-then rules have become the most popular form of declarative knowledge representation used in artificial intelligence applications. There are several reasons for this. Knowledge represented as if-then rules is easily understandable. Most people are comfortable reading rules, in contrast to knowledge represented in predicate logic. Each rule can be viewed as a standalone piece of knowledge or unit of information in a knowledge base. New knowledge can be easily added, and existing knowledge can be changed simply by creating or modifying individual rules.

There are several reasons for this:.
1- Knowledge represented as if-then rules is easily understandable.
2- Most people are comfortable reading rules, in contrast to knowledge represented in predicate logic.
3- Each rule can be viewed as a standalone piece of knowledge or unit of information in a knowledge base.
4- New knowledge can be easily added, and existing knowledge can be changed simply by creating or modifying individual rules.
5- Rules are easily manipulated by reasoning systems.
6- Forward chaining can be used to produce new facts (hence the term “production” rules).
7- backward chaining can deduce whether statements are true or not