SlideShare a Scribd company logo
Expert Systems
Reasonable Reasoning
An Ad Hoc approach
Problems with Logical Reasoning
• Brittleness: one axiom/fact wrong, system
can prove anything (Correctness)
• Large proof spaces (Efficiency)
• “Probably” not representable
(Representation)
• No notion of combining evidence
• Doesn’t provide confidence in conclusion.
Lecture Goals
• What is an expert system?
• How can they be built?
• When are they useful?
• General Architecture
• Validation:
– How to know if they are right
Class News
• Quiz dates and homework dates updated:
• Extra day for probability hwk/quiz
• All homeworks must be typed
Expert System
• Attempt to model expert decision making
in a limited domain
• Examples: medical diagnosis, computer
configuration, machine fault diagnosis
• Requires a willing Expert
• Requires knowledge representable as rules
– Doesn’t work for chess
• Preponderance of evidence for decision, not
proof. (Civil law suits)
Why Bother?
• Reproduce Expertise: make available
• Record Expertise: experts die
• Combine expertise of many
– Didn’t work
• Teach expertise
– Didn’t work
• Expand application area of computers
– What tasks can computers do?
Architecture
• Domain Knowledge as “if-then” rules
• Inference Engine
– Backward chaining
– Forward chaining
• Calculus for combining evidence
– Construct all proofs, not just one
• Explanation Facility: can answer “why?”
MYCIN: 1972-1980
• 50-500 rules, acquired from expert by
interviewing. Blood disease diagnosis.
• Example rule:
if stain of organism is gramneg and morphology is
rod and aerobicity is aerobic then strongly
suggestive (.8) that organism is
enterocabateriacease.
• Rules matched well knowledge in domain:
medical papers often present a few rules
• Rule = nugget of independent knowledge
Facts are not facts
• Morphology is rod requires microscopic
evaluation.
– Is a bean shape a rod?
– Is an “S” shape a rod?
• Morphology is rod is assigned a confidence.
• All “facts” assigned confidences, from 0 to
1.
MYCIN: Shortliffe
• Begins with a few facts about patient
– Required by physicians but irrelevant
• Backward chains from each possible goal
(disease).
• Preconditions either match facts or set up new
subgoals. Subgoals may involve tests.
• Finds all “proofs” and weighs them.
• Explains decisions and combines evidence
• Worked better than average physician.
• Never used in practice.
• Methodology used.
Examples and non-examples
• Soybean diagnosis
– Expert codified knowledge in form of rules
– System almost as good
– When hundreds of rules, system seems
reasonable.
• Autoclade placement
– Expert but no codification
• Chess
– Experts but no codification in terms of rules
Forward Chaining Interpreter
• Repeat
– Apply all the rules to the current facts.
– Each rule firing may add new facts
• Until no new facts are added.
• Comprehensible
• Trace of rule applications that lead to
conclusion is explanation. Answers why.
Forward Chaining Example
• Facts:
– F1: Ungee gives milk
– F2: Ungee eats meat
– F3: Ungee has hoofs
• Rules:
– R1: If X gives milk, then it is a mammal
– R2: If X is a mammal and eats meat, then carnivore.
– R3: If X is a carnivore and has hoofs, then ungulate
• Easy to see: Ungee is ungulate.
Backward Chaining
• Start with Goal G1: is Ungee an ungulate?
• G1 matches conclusion of R3
• Sets up premises as subgoals
– G2: Ungee is carnivore
– G3: Ungee has hoofs
• G3 matches fact F3 so true.
• G2 matches conclusion of R2. etc.
The good and the bad
• Forward chaining allows you to conclude
anything
• Forward chaining is expensive
• Backward chaining requires known goals.
• Premises of backward chaining directs
which facts (tests) are needed.
• Rule trace provides explanation.
Simple Confidence Calculus
• This will yield an intuitive degree of belief
in system conclusion.
• To each fact, assign a confidence or degree
of belief. A number between 0 and 1.
• To each rule, assign a rule confidence: also
a number between 0 and 1.
• Confidence of premise of a rule =
– Minimum confidence of each condition
– Intuition: strength of argument is weakest link
• Confidence in conclusion of a rule =
– (confidence in rule premise)*(confidence in rule)
• Confidence in conclusion from several rules:
r1,r2,..rm with confidences c1,c2,..cm =
– c1 @ c2 @... cm
– Where x @ y is 1- (1-x)*(1-y).
And now with confidences
• Facts:
– F1: Ungee gives milk: .9
– F2: Ungee eats meat: .8
– F3: Ungee has hoofs: .7
• Rules:
– R1: If X gives milk, then it is a mammal: .6
– R2: If X is a mammal and eats meat, then
carnivore: .5
– R3: If X has hoofs, then X is carnivore: .4
• R1 with F1: Ungee is mammal. (F4)
• Confidence F4: C(F4) = .9*.6 = .54
• R2 using F2 and F4 yields: Ungee is
carnivore (F5).
• C(F5) from R2 = min(.54, .8)*.5 = .27
• R3 using F3 conclude F5 from R3
• C(F5) from R3 = .7*.4 = .28
• C(F5) from R3 and R2 = .27 @ .28 =
1 –(1-.28)*(1-.27) = .48
Problems and Counters-Arguments
• People forget to say the obvious
• Rules difficult to acquire (years)
• People don’t have stable or correct
estimates of “confidence”
• Data insufficient to yield good estimate of
true probabilities.
• But Feigenbaum: In the knowledge lies the
power.
• Calculus/confidences not that important
AI Winter
• Expert Systems found useful
– hundreds of successful systems
• Consultants and hype ->
– Hundreds of unsucessful systems
• Remember:
– needs an expert
– Knowledge needs to be representable as rules
• Now on to Probability based approach

More Related Content

Similar to Lec11- ExpertSystems.ppt

Science Inquiry: Experiment Design
Science Inquiry: Experiment DesignScience Inquiry: Experiment Design
Science Inquiry: Experiment Design
I Wonder Why Science
 
chapter 1.pptx
chapter 1.pptxchapter 1.pptx
chapter 1.pptx
DavidManning75
 
Earthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyj
Earthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyjEarthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyj
Earthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyj
jansisce
 
Artificial Intelligence Bayesian Reasoning
Artificial Intelligence Bayesian ReasoningArtificial Intelligence Bayesian Reasoning
Artificial Intelligence Bayesian Reasoning
hotman30312
 
Artificial Intelligence - Reasoning in Uncertain Situations
Artificial Intelligence - Reasoning in Uncertain SituationsArtificial Intelligence - Reasoning in Uncertain Situations
Artificial Intelligence - Reasoning in Uncertain Situations
Laguna State Polytechnic University
 
Scientific Research Steps Part 2
Scientific Research Steps Part 2Scientific Research Steps Part 2
Scientific Research Steps Part 2
Ainul Yaqin
 
AI IMPORTANT QUESTION
AI IMPORTANT QUESTIONAI IMPORTANT QUESTION
AI IMPORTANT QUESTION
FAREED UR RAHMAN .
 
sience 2.0 : an illustration of good research practices in a real study
sience 2.0 : an illustration of good research practices in a real studysience 2.0 : an illustration of good research practices in a real study
sience 2.0 : an illustration of good research practices in a real study
wolf vanpaemel
 
Data quality assurance
Data quality assuranceData quality assurance
Data quality assurance
Richard Baker
 
Science Inquiry: Conclusion and Presentation
Science Inquiry: Conclusion and PresentationScience Inquiry: Conclusion and Presentation
Science Inquiry: Conclusion and Presentation
I Wonder Why Science
 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logic
Mahmoud Hussein
 
Rpdyi
RpdyiRpdyi
Rpd2
Rpd2Rpd2
RPD2.ppt
RPD2.pptRPD2.ppt
RPD2.ppt
crj010
 
Research
ResearchResearch
Research
Shahzaib Khan
 
research imp.ppt
research imp.pptresearch imp.ppt
research imp.ppt
Shivraj Nile
 
Scientific method
Scientific methodScientific method
Scientific method
ewaszolek
 
Scientific method ppt
Scientific method pptScientific method ppt
Scientific method ppt
ladynoid
 
Lab 1 – the scientific method and termite trails fall 2014
Lab 1 – the scientific method and termite trails fall 2014Lab 1 – the scientific method and termite trails fall 2014
Lab 1 – the scientific method and termite trails fall 2014
Amy Hollingsworth
 
Welcome to Earth Science
Welcome to Earth ScienceWelcome to Earth Science
Welcome to Earth Science
I Wonder Why Science
 

Similar to Lec11- ExpertSystems.ppt (20)

Science Inquiry: Experiment Design
Science Inquiry: Experiment DesignScience Inquiry: Experiment Design
Science Inquiry: Experiment Design
 
chapter 1.pptx
chapter 1.pptxchapter 1.pptx
chapter 1.pptx
 
Earthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyj
Earthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyjEarthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyj
Earthquake dhnjggbnkkkknvcxsefghjk gyjhvcdyj
 
Artificial Intelligence Bayesian Reasoning
Artificial Intelligence Bayesian ReasoningArtificial Intelligence Bayesian Reasoning
Artificial Intelligence Bayesian Reasoning
 
Artificial Intelligence - Reasoning in Uncertain Situations
Artificial Intelligence - Reasoning in Uncertain SituationsArtificial Intelligence - Reasoning in Uncertain Situations
Artificial Intelligence - Reasoning in Uncertain Situations
 
Scientific Research Steps Part 2
Scientific Research Steps Part 2Scientific Research Steps Part 2
Scientific Research Steps Part 2
 
AI IMPORTANT QUESTION
AI IMPORTANT QUESTIONAI IMPORTANT QUESTION
AI IMPORTANT QUESTION
 
sience 2.0 : an illustration of good research practices in a real study
sience 2.0 : an illustration of good research practices in a real studysience 2.0 : an illustration of good research practices in a real study
sience 2.0 : an illustration of good research practices in a real study
 
Data quality assurance
Data quality assuranceData quality assurance
Data quality assurance
 
Science Inquiry: Conclusion and Presentation
Science Inquiry: Conclusion and PresentationScience Inquiry: Conclusion and Presentation
Science Inquiry: Conclusion and Presentation
 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logic
 
Rpdyi
RpdyiRpdyi
Rpdyi
 
Rpd2
Rpd2Rpd2
Rpd2
 
RPD2.ppt
RPD2.pptRPD2.ppt
RPD2.ppt
 
Research
ResearchResearch
Research
 
research imp.ppt
research imp.pptresearch imp.ppt
research imp.ppt
 
Scientific method
Scientific methodScientific method
Scientific method
 
Scientific method ppt
Scientific method pptScientific method ppt
Scientific method ppt
 
Lab 1 – the scientific method and termite trails fall 2014
Lab 1 – the scientific method and termite trails fall 2014Lab 1 – the scientific method and termite trails fall 2014
Lab 1 – the scientific method and termite trails fall 2014
 
Welcome to Earth Science
Welcome to Earth ScienceWelcome to Earth Science
Welcome to Earth Science
 

Recently uploaded

Mariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceXMariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceX
Mariano Tinti
 
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
Neo4j
 
Best 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERPBest 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERP
Pixlogix Infotech
 
Uni Systems Copilot event_05062024_C.Vlachos.pdf
Uni Systems Copilot event_05062024_C.Vlachos.pdfUni Systems Copilot event_05062024_C.Vlachos.pdf
Uni Systems Copilot event_05062024_C.Vlachos.pdf
Uni Systems S.M.S.A.
 
Infrastructure Challenges in Scaling RAG with Custom AI models
Infrastructure Challenges in Scaling RAG with Custom AI modelsInfrastructure Challenges in Scaling RAG with Custom AI models
Infrastructure Challenges in Scaling RAG with Custom AI models
Zilliz
 
HCL Notes and Domino License Cost Reduction in the World of DLAU
HCL Notes and Domino License Cost Reduction in the World of DLAUHCL Notes and Domino License Cost Reduction in the World of DLAU
HCL Notes and Domino License Cost Reduction in the World of DLAU
panagenda
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Speck&Tech
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
mikeeftimakis1
 
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with SlackLet's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
shyamraj55
 
Programming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup SlidesProgramming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup Slides
Zilliz
 
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy SurveyTrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc
 
Climate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing DaysClimate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing Days
Kari Kakkonen
 
GenAI Pilot Implementation in the organizations
GenAI Pilot Implementation in the organizationsGenAI Pilot Implementation in the organizations
GenAI Pilot Implementation in the organizations
kumardaparthi1024
 
Microsoft - Power Platform_G.Aspiotis.pdf
Microsoft - Power Platform_G.Aspiotis.pdfMicrosoft - Power Platform_G.Aspiotis.pdf
Microsoft - Power Platform_G.Aspiotis.pdf
Uni Systems S.M.S.A.
 
GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024
GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024
GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024
Neo4j
 
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
Neo4j
 
How to Get CNIC Information System with Paksim Ga.pptx
How to Get CNIC Information System with Paksim Ga.pptxHow to Get CNIC Information System with Paksim Ga.pptx
How to Get CNIC Information System with Paksim Ga.pptx
danishmna97
 
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdfUnlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Malak Abu Hammad
 
20240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 202420240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 2024
Matthew Sinclair
 
GraphRAG for Life Science to increase LLM accuracy
GraphRAG for Life Science to increase LLM accuracyGraphRAG for Life Science to increase LLM accuracy
GraphRAG for Life Science to increase LLM accuracy
Tomaz Bratanic
 

Recently uploaded (20)

Mariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceXMariano G Tinti - Decoding SpaceX
Mariano G Tinti - Decoding SpaceX
 
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
 
Best 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERPBest 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERP
 
Uni Systems Copilot event_05062024_C.Vlachos.pdf
Uni Systems Copilot event_05062024_C.Vlachos.pdfUni Systems Copilot event_05062024_C.Vlachos.pdf
Uni Systems Copilot event_05062024_C.Vlachos.pdf
 
Infrastructure Challenges in Scaling RAG with Custom AI models
Infrastructure Challenges in Scaling RAG with Custom AI modelsInfrastructure Challenges in Scaling RAG with Custom AI models
Infrastructure Challenges in Scaling RAG with Custom AI models
 
HCL Notes and Domino License Cost Reduction in the World of DLAU
HCL Notes and Domino License Cost Reduction in the World of DLAUHCL Notes and Domino License Cost Reduction in the World of DLAU
HCL Notes and Domino License Cost Reduction in the World of DLAU
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
 
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with SlackLet's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
Let's Integrate MuleSoft RPA, COMPOSER, APM with AWS IDP along with Slack
 
Programming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup SlidesProgramming Foundation Models with DSPy - Meetup Slides
Programming Foundation Models with DSPy - Meetup Slides
 
TrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy SurveyTrustArc Webinar - 2024 Global Privacy Survey
TrustArc Webinar - 2024 Global Privacy Survey
 
Climate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing DaysClimate Impact of Software Testing at Nordic Testing Days
Climate Impact of Software Testing at Nordic Testing Days
 
GenAI Pilot Implementation in the organizations
GenAI Pilot Implementation in the organizationsGenAI Pilot Implementation in the organizations
GenAI Pilot Implementation in the organizations
 
Microsoft - Power Platform_G.Aspiotis.pdf
Microsoft - Power Platform_G.Aspiotis.pdfMicrosoft - Power Platform_G.Aspiotis.pdf
Microsoft - Power Platform_G.Aspiotis.pdf
 
GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024
GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024
GraphSummit Singapore | Neo4j Product Vision & Roadmap - Q2 2024
 
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
GraphSummit Singapore | Graphing Success: Revolutionising Organisational Stru...
 
How to Get CNIC Information System with Paksim Ga.pptx
How to Get CNIC Information System with Paksim Ga.pptxHow to Get CNIC Information System with Paksim Ga.pptx
How to Get CNIC Information System with Paksim Ga.pptx
 
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdfUnlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdf
 
20240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 202420240607 QFM018 Elixir Reading List May 2024
20240607 QFM018 Elixir Reading List May 2024
 
GraphRAG for Life Science to increase LLM accuracy
GraphRAG for Life Science to increase LLM accuracyGraphRAG for Life Science to increase LLM accuracy
GraphRAG for Life Science to increase LLM accuracy
 

Lec11- ExpertSystems.ppt

  • 2. Problems with Logical Reasoning • Brittleness: one axiom/fact wrong, system can prove anything (Correctness) • Large proof spaces (Efficiency) • “Probably” not representable (Representation) • No notion of combining evidence • Doesn’t provide confidence in conclusion.
  • 3. Lecture Goals • What is an expert system? • How can they be built? • When are they useful? • General Architecture • Validation: – How to know if they are right
  • 4. Class News • Quiz dates and homework dates updated: • Extra day for probability hwk/quiz • All homeworks must be typed
  • 5. Expert System • Attempt to model expert decision making in a limited domain • Examples: medical diagnosis, computer configuration, machine fault diagnosis • Requires a willing Expert • Requires knowledge representable as rules – Doesn’t work for chess • Preponderance of evidence for decision, not proof. (Civil law suits)
  • 6. Why Bother? • Reproduce Expertise: make available • Record Expertise: experts die • Combine expertise of many – Didn’t work • Teach expertise – Didn’t work • Expand application area of computers – What tasks can computers do?
  • 7. Architecture • Domain Knowledge as “if-then” rules • Inference Engine – Backward chaining – Forward chaining • Calculus for combining evidence – Construct all proofs, not just one • Explanation Facility: can answer “why?”
  • 8. MYCIN: 1972-1980 • 50-500 rules, acquired from expert by interviewing. Blood disease diagnosis. • Example rule: if stain of organism is gramneg and morphology is rod and aerobicity is aerobic then strongly suggestive (.8) that organism is enterocabateriacease. • Rules matched well knowledge in domain: medical papers often present a few rules • Rule = nugget of independent knowledge
  • 9. Facts are not facts • Morphology is rod requires microscopic evaluation. – Is a bean shape a rod? – Is an “S” shape a rod? • Morphology is rod is assigned a confidence. • All “facts” assigned confidences, from 0 to 1.
  • 10. MYCIN: Shortliffe • Begins with a few facts about patient – Required by physicians but irrelevant • Backward chains from each possible goal (disease). • Preconditions either match facts or set up new subgoals. Subgoals may involve tests. • Finds all “proofs” and weighs them. • Explains decisions and combines evidence • Worked better than average physician. • Never used in practice. • Methodology used.
  • 11. Examples and non-examples • Soybean diagnosis – Expert codified knowledge in form of rules – System almost as good – When hundreds of rules, system seems reasonable. • Autoclade placement – Expert but no codification • Chess – Experts but no codification in terms of rules
  • 12. Forward Chaining Interpreter • Repeat – Apply all the rules to the current facts. – Each rule firing may add new facts • Until no new facts are added. • Comprehensible • Trace of rule applications that lead to conclusion is explanation. Answers why.
  • 13. Forward Chaining Example • Facts: – F1: Ungee gives milk – F2: Ungee eats meat – F3: Ungee has hoofs • Rules: – R1: If X gives milk, then it is a mammal – R2: If X is a mammal and eats meat, then carnivore. – R3: If X is a carnivore and has hoofs, then ungulate • Easy to see: Ungee is ungulate.
  • 14. Backward Chaining • Start with Goal G1: is Ungee an ungulate? • G1 matches conclusion of R3 • Sets up premises as subgoals – G2: Ungee is carnivore – G3: Ungee has hoofs • G3 matches fact F3 so true. • G2 matches conclusion of R2. etc.
  • 15. The good and the bad • Forward chaining allows you to conclude anything • Forward chaining is expensive • Backward chaining requires known goals. • Premises of backward chaining directs which facts (tests) are needed. • Rule trace provides explanation.
  • 16. Simple Confidence Calculus • This will yield an intuitive degree of belief in system conclusion. • To each fact, assign a confidence or degree of belief. A number between 0 and 1. • To each rule, assign a rule confidence: also a number between 0 and 1.
  • 17. • Confidence of premise of a rule = – Minimum confidence of each condition – Intuition: strength of argument is weakest link • Confidence in conclusion of a rule = – (confidence in rule premise)*(confidence in rule) • Confidence in conclusion from several rules: r1,r2,..rm with confidences c1,c2,..cm = – c1 @ c2 @... cm – Where x @ y is 1- (1-x)*(1-y).
  • 18. And now with confidences • Facts: – F1: Ungee gives milk: .9 – F2: Ungee eats meat: .8 – F3: Ungee has hoofs: .7 • Rules: – R1: If X gives milk, then it is a mammal: .6 – R2: If X is a mammal and eats meat, then carnivore: .5 – R3: If X has hoofs, then X is carnivore: .4
  • 19. • R1 with F1: Ungee is mammal. (F4) • Confidence F4: C(F4) = .9*.6 = .54 • R2 using F2 and F4 yields: Ungee is carnivore (F5). • C(F5) from R2 = min(.54, .8)*.5 = .27 • R3 using F3 conclude F5 from R3 • C(F5) from R3 = .7*.4 = .28 • C(F5) from R3 and R2 = .27 @ .28 = 1 –(1-.28)*(1-.27) = .48
  • 20. Problems and Counters-Arguments • People forget to say the obvious • Rules difficult to acquire (years) • People don’t have stable or correct estimates of “confidence” • Data insufficient to yield good estimate of true probabilities. • But Feigenbaum: In the knowledge lies the power. • Calculus/confidences not that important
  • 21. AI Winter • Expert Systems found useful – hundreds of successful systems • Consultants and hype -> – Hundreds of unsucessful systems • Remember: – needs an expert – Knowledge needs to be representable as rules • Now on to Probability based approach