Problem Solving Methods and Computer-Aided Knowledge Acquisition Goals and Achievements: Tools applicable for construction of many systems Structured design.

Slides:



Advertisements
Similar presentations
1 Computer Group Engineering Department University of Science and Culture S. H. Davarpanah
Advertisements

© C. Kemke Constructive Problem Solving 1 COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE SYSTEMS
CHAPTER 13 Inference Techniques. Reasoning in Artificial Intelligence n Knowledge must be processed (reasoned with) n Computer program accesses knowledge.
Truth Maintenance Systems. Outline What is a TMS? Basic TMS model Justification-based TMS.
Rulebase Expert System and Uncertainty. Rule-based ES Rules as a knowledge representation technique Type of rules :- relation, recommendation, directive,
Rules, page 1 CSI 4106, Winter 2005 Representing knowledge with rules Points Definitions Production systems Conflict resolution strategies Examples A financial.
ICT IGCSE Expert Systems.
Chapter 1 What is Science?
Help Desk Troubleshooting Computer Problems. 2 Certificate III Software Applications Troubleshooting Computer Problems Solving computer problems is one.
SBSE Course 3. EA applications to SE Analysis Design Implementation Testing Reference: Evolutionary Computing in Search-Based Software Engineering Leo.
S EMINAL : Searching for ML Type-Error Messages Benjamin Lerner, Dan Grossman, Craig Chambers University of Washington.
Rule Based Systems Alford Academy Business Education and Computing
CS540 Software Design Lecture 1 1 Lecture 1: Introduction to Software Design Anita S. Malik Adapted from Budgen (2003) Chapters 1.
© C. Kemke1Expert Systems Tasks COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
© Janice Regan, CMPT 102, Sept CMPT 102 Introduction to Scientific Computer Programming The software development method algorithms.
Diagnosing – Critical Activity HINF Medical Methodologies Session 7.
© C. Kemke 1Classification Problem Solving COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
LEARNING FROM OBSERVATIONS Yılmaz KILIÇASLAN. Definition Learning takes place as the agent observes its interactions with the world and its own decision-making.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 1: Introduction to Decision Support Systems Decision Support.
EXPERT SYSTEMS Part I.
Bahar Qarabaqi Azar 19 th, FC Inferencing Initial information about the problem being asserted into working memory. Database Sensors User.
Building Knowledge-Driven DSS and Mining Data
Intelligent Tutoring Systems Traditional CAI Fully specified presentation text Canned questions and associated answers Lack the ability to adapt to students.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
Expert Systems Infsy 540 Dr. Ocker. Expert Systems n computer systems which try to mimic human expertise n produce a decision that does not require judgment.
1 Backward-Chaining Rule-Based Systems Elnaz Nouri December 2007.
Critical Thinking and Argumentation
Critical Thinking in Education. Defining Critical Thinking Asking pertinent questions Evaluates statements & arguments Admits a lack of knowledge & understanding.
Nima Hazar Amin Dehesh.  Several induction algorithm have been developed that vary in the methods employed to build the decision tree or set of rules.
Software Engineering Chapter 23 Software Testing Ku-Yaw Chang Assistant Professor Department of Computer Science and Information.
Chapter 6 Supplement Knowledge Engineering and Acquisition Chapter 6 Supplement.
Chapter 4: Overview of Preventive Maintenance
Course Instructor: K ashif I hsan 1. Chapter # 2 Kashif Ihsan, Lecturer CS, MIHE2.
Taxonomies and Laws Lecture 10. Taxonomies and Laws Taxonomies enumerate scientifically relevant classes and organize them into a hierarchical structure,
Knowledge based Humans use heuristics a great deal in their problem solving. Of course, if the heuristic does fail, it is necessary for the problem solver.
1 Introduction to Software Engineering Lecture 1.
Case study of Several Case Based Reasoners Sandesh.
Unit-1 Introduction Prepared by: Prof. Harish I Rathod
Presented By: Aly Aboul Nour Supervised By: Dr. A. Rafea CommonKads.
Discovering Descriptive Knowledge Lecture 18. Descriptive Knowledge in Science In an earlier lecture, we introduced the representation and use of taxonomies.
Overview Of Expert System Tools Expert System Tools : are all designed to support prototyping. Prototype : is a working model that is functionally equivalent.
Machine Learning Chapter 5. Artificial IntelligenceChapter 52 Learning 1. Rote learning rote( โรท ) n. วิถีทาง, ทางเดิน, วิธีการตามปกติ, (by rote จากความทรงจำ.
1 Computer Group Engineering Department University of Science and Culture S. H. Davarpanah
Uncertainty Management in Rule-based Expert Systems
Generic Tasks by Ihab M. Amer Graduate Student Computer Science Dept. AUC, Cairo, Egypt.
Inferencing in rule-based systems: forward and backward chaining.
Chapter 1.1 – What is Science?. State and explain the goals of science. Describe the steps used in the scientific method. Daily Objectives.
Software Engineering1  Verification: The software should conform to its specification  Validation: The software should do what the user really requires.
Machine Learning Concept Learning General-to Specific Ordering
By Anthony W. Hill & Course Technology1 Troubleshooting Computer Problems.
EARTH & SPACE SCIENCE Chapter 1 Introduction to Earth Science 1.2 Science as a Process.
Artificial Intelligence
ITEC 1010 Information and Organizations Chapter V Expert Systems.
Naïve Bayes Classifier April 25 th, Classification Methods (1) Manual classification Used by Yahoo!, Looksmart, about.com, ODP Very accurate when.
Expert Systems Chapter Artificial IntelligenceChapter 82 Expert System p. 547 MYCIN (1976) see section 8.2 backward chaining + certainty factor.
16 April 2011 Alan, Edison, etc, Saturday.. Knowledge, Planning and Robotics 1.Knowledge 2.Types of knowledge 3.Representation of knowledge 4.Planning.
Artificial Intelligence: Applications
Tutoring & Help Systems Deepthi Bollu for CSE495 10/31/2003.
Knowledge Representation. A knowledge base can be organised in several different configurations to facilitate fast inferencing Knowledge Representation.
Design of Expert Systems
Algorithms and Problem Solving
Architecture Components
Knowledge Representation
Software testing.
Algorithms and Problem Solving
전문가 시스템(Expert Systems)
1.3 Classifying Engineering Tasks
Lecture 6: Knowledge Application Systems
Presentation transcript:

Problem Solving Methods and Computer-Aided Knowledge Acquisition Goals and Achievements: Tools applicable for construction of many systems Structured design and elicitation for single system

Expertsystemen 10 2 Overview of this lecture Limitations of Rule-based knowledge representation Expert System classifications Classification tasks Example: Electronics repair knowledge MORE: classification knowledge elicitation Conclusions

Expertsystemen 10 3 Knowledge representation in Rules RULE as domain knowledge? IF X is a rabbit THEN X has four legs Describes in fact how to infer a conclusion: operational. Mix Support, Strategic, Structural knowledge: IF Radio is dead THEN Put voltmeter on battery Context dependence: IF pinguin THEN not fly IF bird THEN fly Strategic knowledge is often represented implicitly in Conflict Resolution (PRESS lecture 5). Implicit representations: update / maintenance Rule models and checkers (lecture 9): partial solution Conclusion: Rules are GOOD as a basis for inferencing POOR as a general knowledge representation formalism

Expertsystemen 10 4 Strategy in Facade NLU Linguistic domain knowledge is partitioned in synonyms, idiomatic expressions, negations, discourse (sub) acts Per class same treatment (strategy) id.expr: retract words synonyms: high salience This structure of knowledge is also linguistic knowledge! Elicitation: talk to expert in familiar terms

Expertsystemen 10 5 Knowledge compilation Rules: the inferencing “assembly language” Maintain knowledge at more abstract level Compile knowledge into inferencing rules Rule Base Consultation Inferencer Domain Knowledge Base Compilation Elicitation Tool System

Expertsystemen 10 6 General Knowledge Compilation Tools? Design of tool is tightly linked with roles of knowledge and expert’s approach Attempt: classify all possible expert systems into small number of categories Ideal: make one tool per category Expert Systems are too much different! End with one compilation tool per system

Expertsystemen 10 7 Classification by Hayes-Roth (1983) Ten categories of Expert Systems: Interpretationdescription from observation Predictionconsequences from events Diagnosisfaults from symptoms Designconfiguration from constraints Planningstep sequence from goal Monitoringdeviations from behavior Debuggingremedies from faults Repairremedies from faults Instructionmodule sequence from feedback Controlsteps from goals and observations of 10 systems ? the same? description of the future? configuration of steps? Diagnosis and treatment of illness called ignorance

Expertsystemen 10 8 Clancey: Interpretation and Construction tasks Interpretation Task involving some working system Solution from enumerable set Top-down inference Construction Task of formation of a working system Solution space implicitly defined Bottom-up inference Applies to subtasks Construction: Different Problem Solving methods: Backtracking, Propose-and-Apply, Propose-and-Revise, Least-commitment … RIME/XCON, VT/SALT.. Lecture 14

Expertsystemen 10 9 Interpretation System as input output map Input unknown: Control (what treatment is the best) System unknown: Identify (what component is failed) Output unknown: Predict (will the reactor explode) System InputOutput If the solution space is an enumerable set: Problem is to determine in what category our instance belongs: CLASSIFICATION Student LecturesKnowledge Patient TreatmentLife exp. Reactor Bar controlPressure

Expertsystemen Heuristic Classification method Clancey’s three steps: Data Abstraction: 20.6Volt: “Low voltage” Heuristic Match: Low Voltage indicates Power Supply problem Solution Refinement: Continue within limited search space Systems with classification as main or sub task: MYCIN: match data to pre- enumerated disease using rules with CF SACON: suggest simulation type for MARC software SOPHIE: Find faulty module in circuit, faulty component in module (measurements) COMPASS: diagnose telephone switch (error messages) DataSolution Abstract data Solution class

Expertsystemen Heuristic and Hierarchical Classification? Clancey 1985, Heuristic Choices may lead to overlapping subspaces Difficult choices can be postponed Choose bird if it flies, correct bat later Chandrasekaran 1986, Hierarchical Strict taxonomy of solutions: no overlap Need confirmation of each step because no correction possible Choose bird if it flies, lays eggs and has feathers and bones.

Expertsystemen Repair Knowledge and Repair Strategies How to repair a circuit? Repair shop?? 200 electrical components one or more faulty Knowledge about properties of each component Knowledge about interaction Strategy 1: Test/replace each component in some order Strategy 2: Employ structural grouping of components

Expertsystemen Grouping of system components Planning/Analysis phase: Distinguish logical subunits of circuitry Characterise behavior that differentiates between faults in subunits For each subunit, list normal values for measurements For each measurement, give components to determine it Consultation: Run behavioral tests until faulty subunit is found Measure in faulty unit For deviating measurements, check suspect components Replace defective component Repeat until radio plays Domain independent Problem Solving Strategy that can be coded into Elicitation Tool

Expertsystemen MORE Domain Models Hypotheses We want to select from one of the things that can be wrong Symptoms Selection is based on these observations (attributes) Conditions Influences on the likelyhood of hypothesis and symptoms Tests Find out if a condition arises H1 H3 H5 H2 H4 S1 S2 S3 S4

Expertsystemen Confidence Factors, Measure of (Dis) Belief MORE generates Diagnostic Rules for Hypo – Symp associations: IF S1 THEN H1 WITH (mb, md) Diagnostic rule: MB Positive and MD Negative Confidence Factor MB is high if H1 is only/most likely explanation for S1 Prior probability for S1 is low MD is high if S1 is a very likely consequence of H1 XS based on CF, not probability H1S1 Pr(S1) Pr(H1) Pr(H1 -> S1)

Expertsystemen Conditions and Tests MORE Background conditions: “Condensator problems are more likely if the radio was stored humid” “Resistor problems are more likely if the radio was badly ventilated” MORE Tests: Humid storage gives moisture patches Bad ventilation overheats rectifier and output

Expertsystemen Symptom and Hypothesis Rules Symptom Confidence Rule: Rank importance of observed syptoms Use prior probability and background conditions Use reliability induced by tests Hypothesis Expectancy Rule: Rank probabilities of hypotheses Use prior probabilities and background conditions DataSolution Abstract data Solution class Clancey’s heuristic classification: SCR DiaR HER

Expertsystemen Knowledge Elicitation in MORE Long before MORE: Give me a Rule … I’ll add it to the program Test exhaustively Before MORE: Give me a Rule I’ll check if it looks familiar I’ll add it to the program Test MORE Knowledge elicitation: Tell me the Hypotheses Tell me their probabilities Tell me about Symptoms I’ll ask you questions until I think I know enough I’ll convert the knowledge to rules for you Rule level Abstract level

Expertsystemen Knowledge Elicitation Steps of MORE Questions that MORE may ask the Expert: Differentiation: What S differentiates between H1 and H2? Frequency Conditionalization: What BC influences the probability of S? Symptom distinction: Refine S to distinguish H1 from H2 Questions are guided by MORE’s state of the model: Apply when: H1 and H2 have no Differentiating Symptom Apply when: S has no rules with high mb and md Apply when: S has no rules with high mb

Expertsystemen MORE: Knowledge driven knowledge elicitation MORE contains problem solving knowledge MORE collects domain knowledge from the Human Expert MORE compiles PSM plus Domain knowledge into rules MORE uses PSM knowledge to guide elicitation MORE was good for building MUD; otherwise insufficently general! Domain Knowledge Base Compilation Elicitation Feedback Rule Base Reason using cost of test and repair

Expertsystemen MUD Drilling fluid used in oil excavation Lubrication, cooling, waste removal, information stream Drill interruptions are costly Carefully continuously examine mud temperature, viscosity, composition MUD was developed for the quick treatment of mud problems MORE was developed for the quick treatment of MUD problems

Expertsystemen Similar approaches Construction systems: VT and SALT: Propose and Revise XCON and RIME: Propose and Apply Lectures 14 (and 15) Interpretation systems: PUFF and CENTAUR: Hierarchical Hypothesize and Test (w/o single fault assumption, resembles construction) TEST and TDE: Abstract HHaT in tree of hypotheses