Professional Documents
Culture Documents
Inference Techniques: Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
Inference Techniques: Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
Inference Techniques: Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
Inference Techniques
1
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Reasoning in
Artificial Intelligence
2
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
How People Reason and
Solve Problems
Sources of Power
3
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Representation
Analogy
Synergy
Serendipity (Luck)
Lenat (1982)
4
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Reasoning Methods
Deductive Reasoning
Inductive Reasoning
Analogical Reasoning
Formal Reasoning
Procedural (Numeric) Reasoning
Metalevel Reasoning
5
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Reasoning with Logic
– Modus Ponens
– If A, then B
– [A AND (A B)] B
– A and (A B) are propositions in a knowledge base
6
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Inferencing with Rules: Forward and
Backward Chaining
– Firing a rule: When all of the rule's hypotheses (the
“if parts”) are satisfied
7
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Forward and Backward Chaining
– Chaining: Linking a set of pertinent rules
8
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Backward Chaining
9
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Forward Chaining
What to Use?
– If all facts available up front (as in auditing) -
forward chaining
– Diagnostic problems - backward chaining
10
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
The Inference Tree
11
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Inferencing with Frames
12
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Model-based Reasoning
Based on knowledge of structure and behavior of the
devices the system is designed to understand
Especially useful in diagnosing difficult equipment
problems
Can overcome some of the difficulties of rule-based ES
Systems include a (deep-knowledge) model of the device to
be diagnosed that is then used to identify the cause(s) of
the equipment's failure
Reasons from "first principles" (common sense)
Often combined with other representation and inferencing
methods
13
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Model-based ES tend to be "transportable”
14
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Case-based Reasoning (CBR)
Adapt solutions used to solve old problems for
new problems
Variation - Rule-induction method (Chap. 13)
But, CBR:
– Finds cases that solved problems similar to the
current one, and
– Adapts the previous solution or solutions to fit the
current problem, while considering any difference
between the two situations
15
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Finding Relevant Cases Involves:
– Characterizing the input problem, by assigning
appropriate features to it
– Retrieving the cases with those features
– Picking the case(s) that best match the input best
17
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Case-based Reasoning Process
(Figure 13.4)
Assign Indexes
Retrieve
Modify
Test
Assign and Store
Explain, Repair and Test
– Types of Knowledge Structures (Ovals)
– Indexing Rules
– Case Memory
– Similarity Metrics
– Modification Rules
– Repair Rules
18
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
CBR Uses, Issues and Applications
– Guidelines (Table 13.4)
– Target Application Domains
• Tactical planning
• Political analysis
• Situation assessment
• Legal planning
• Diagnosis
• Fraud detection
• Design/configuration
• Message classification
19
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
CBR Issues and Questions
What is in a case? How can we represent case memory?
Automatic case-adaptation rules can be very complex
How is memory organized? What are the indexing rules?
The quality of the results is heavily dependent on the indexes
used
How does memory function in retrieval of relevant
information?
How can we perform efficient search (knowledge navigation)
of the cases?
How can we organize (cluster) the cases?
20
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
How can we design the distributed storage of cases?
How can we adapt old solutions to new problems? Can
we simply adapt the memory for efficient query,
depending on context? What are the similarity metrics
and the modification rules?
21
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
The case base may need to be expanded as the domain
model evolves, yet much analysis of the domain may be
postponed.
How can we integrate CBR with other knowledge
representations and inferencing mechanisms?
23
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
CBR Construction -
Special Tools - Examples
ART*Enterprise and CBR Express (Inference
Corporation)
KATE (Acknosoft)
25
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Explanation Purposes
26
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Rule Tracing Technique
Explanation is essential in ES
28
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Other Explanations
Why not?
29
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Metaknowledge
– Knowledge about how the system reasons
– Knowledge about knowledge
– Inference rules are a special case
– Metaknowledge allows the system to examine the
operation of the declarative and procedural knowledge
in the knowledge base
31
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Typology of ES Explanations
– Trace, or Line of Reasoning
32
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Inferencing with Uncertainty
Uncertainty in AI - Three-step Process (Figure 13.5)
33
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Major integration methods: Bayesian probabilities,
theory of evidence, certainty factors and fuzzy sets
34
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Representing Uncertainty
Numeric
Graphic
Symbolic
35
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Numeric Uncertainty Representation
36
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Graphic and Influence Diagrams
37
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Symbolic Representation of
Uncertainty
Several Ways to Represent Uncertainty
– Likert Scale Approach
• Ranking
• Ordinal
• Cardinal
• Pair-wise Comparison (Analytical Hierarchy Process)
38
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Probabilities and
Related Approaches
The Probability Ratio
P(X) =
Number of outcomes favoring the occurrence of X /
Total number of outcomes
Multiple Probability Values in Many Systems
– Three-part antecedent (probabilities: 0.9, 0.7, and 0.65)
– The overall probability:
P = (0.9)(0.7)(0.65) = 0.4095
Sometimes one rule references another - individual rule
probabilities can propagate from one to another
39
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Several Approaches for
Combining Probabilities
– Probabilities can be
• Multiplied (joint probabilities)
• Averaged (simple or a weighted average)
• Highest value
• Lowest value
– Rules and events are considered independent of
each other
– If Dependent - Use the Bayes extension theorem
40
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
The Bayesian Extension
41
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Two Major Deficiencies
– The single value does not tell us much about its precision
42
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Dempster-Shafer Theory of Evidence
43
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Theory of Certainty (Certainty
Factors)
– Certainty Factors and Beliefs
– Uncertainty is represented as a Degree of Belief
– Express the Measure of Belief
– Manipulate degrees of belief while using knowledge-
based systems
44
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Several methods of using certainty factors in
handling uncertainty in knowledge-based
systems
– 0 = certain falsehood
45
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Belief and Disbelief
CF[P,E ] = MB[P,E] - MD[P,E]
where
– CF = certainty factor
– MB = measure of belief
– MD = measure of disbelief
– P = probability
– E = evidence or event
Another assumption - the knowledge content of rules is
much more important than the algebra of confidences
that holds the system together
46
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Combining Certainty Factors
Must Know How CFs are Used (Appendix 15-A)
AND, OR
47
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
AND
48
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
OR
IF inflation is low, CF = 70 percent; OR
Example:
– R1: IF the inflation rate is less than 5 percent,
THEN stock market prices go up (CF = 0.7)
– R2: IF unemployment level is less than 7 percent,
THEN stock market prices go up (CF = 0.6)
Inflation rate = 4 percent and the unemployment level
= 6.5 percent
Combined Effect
– CF(R1,R2) = CF(R1) + CF(R2)[1 - CF(R1)]; or
– CF(R1,R2) = CF(R1) + CF(R2) - CF(R1) CF(R2)
50
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Assume an independent relationship
between the rules
Example: Given CF(R1) = 0.7 AND CF(R2) = 0.6,
then:
CF(R1,R2) = 0.7 + 0.6(1 - 0.7) = 0.7 + 0.6(0.3) = 0.88
51
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ
Third Rule
52
Decision Support Systems and Intelligent Systems, Efraim Turban and Jay E. Aronson
6th ed, Copyright 2001, Prentice Hall, Upper Saddle River, NJ