STRONG METHOD PROBLEM SOLVING

Slides:



Advertisements
Similar presentations
Modelling with expert systems. Expert systems Modelling with expert systems Coaching modelling with expert systems Advantages and limitations of modelling.
Advertisements

EXPERT SYSTEMS AND KNOWLEDGE REPRESENTATION Ivan Bratko Faculty of Computer and Info. Sc. University of Ljubljana.
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.
Reasoning Forward and Backward Chaining Andrew Diniz da Costa
CS 484 – Artificial Intelligence1 Announcements Choose Research Topic by today Project 1 is due Thursday, October 11 Midterm is Thursday, October 18 Book.
Inferences The Reasoning Power of Expert Systems.
Part2 AI as Representation and Search
ICT IGCSE Expert Systems.
Intelligent systems Lecture 6 Rules, Semantic nets.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
1 Basic Architecture of an Expert System. 2 Knowledge base - contains the domain specific problem-solving knowledge. Facts - represent what we know at.
Best-First Search: Agendas
Strong Method Problem Solving
Rule Based Systems Michael J. Watts
Artificial Intelligence Lecture No. 16
Chapter 12: Expert Systems Design Examples
Rule Based Systems Alford Academy Business Education and Computing
Expert System Human expert level performance Limited application area Large component of task specific knowledge Knowledge based system Task specific knowledge.
1 5.0 Expert Systems Outline 5.1 Introduction 5.2 Rules for Knowledge Representation 5.3 Types of rules 5.4 Rule-based systems 5.5 Reasoning approaches.
Lecture 04 Rule Representation
1 Pertemuan 6 RULE-BASED SYSTEMS Matakuliah: H0383/Sistem Berbasis Pengetahuan Tahun: 2005 Versi: 1/0.
1 Chapter 9 Rules and Expert Systems. 2 Chapter 9 Contents (1) l Rules for Knowledge Representation l Rule Based Production Systems l Forward Chaining.
Rules and Expert Systems
Knowledge Acquisition CIS 479/579 Bruce R. Maxim UM-Dearborn.
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 7: Expert Systems and Artificial Intelligence Decision Support.
EXPERT SYSTEMS Part I.
Artificial Intelligence CSC 361
Sepandar Sepehr McMaster University November 2008
© Negnevitsky, Pearson Education, Lecture 2 Introduction, or what is knowledge? Introduction, or what is knowledge? Rules as a knowledge representation.
Strong Method Problem Solving.
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.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
1 Backward-Chaining Rule-Based Systems Elnaz Nouri December 2007.
University of Palestine software engineering department Testing of Software Systems Fundamentals of testing instructor: Tasneem Darwish.
Artificial Intelligence Lecture No. 15 Dr. Asad Ali Safi ​ Assistant Professor, Department of Computer Science, COMSATS Institute of Information Technology.
Notes for Chapter 12 Logic Programming The AI War Basic Concepts of Logic Programming Prolog Review questions.
CS62S: Expert Systems Based on: The Engineering of Knowledge-based Systems: Theory and Practice A. J. Gonzalez and D. D. Dankel.
Dr. Bernard Chen Ph.D. University of Central Arkansas Spring 2011
Explanation Facility دكترمحسن كاهاني
Course Instructor: K ashif I hsan 1. Chapter # 2 Kashif Ihsan, Lecturer CS, MIHE2.
IDDS: Rules-based Expert Systems
School of Computer Science and Technology, Tianjin University
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.
The student will demonstrate an understanding of how scientific inquiry and technological design, including mathematical analysis, can be used appropriately.
Scientific Inquiry & Skills
Chapter 9: Rules and Expert Systems Lora Streeter.
 Architecture and Description Of Module Architecture and Description Of Module  KNOWLEDGE BASE KNOWLEDGE BASE  PRODUCTION RULES PRODUCTION RULES 
MNF IT-272 Kunstig intelligens - høst 2002 Forelesning 6. Emner: Kunnskapsintensiv problemløsning - kunnskapbaserte systemer, ekspertsystemer Regelbaserte.
IT-2702 Kunstig intelligens - høst 2004 Forelesning 5. Emner: Kunnskapsintensiv problemløsning - ekspertsystemer Regelbaserte systemer Modellbaserte systemer.
CS Data Structures I Chapter 2 Principles of Programming & Software Engineering.
Expert System Note: Some slides and/or pictures are adapted from Lecture slides / Books of Dr Zafar Alvi. Text Book - Aritificial Intelligence Illuminated.
The Software Development Process
1 CSCD 326 Data Structures I Software Design. 2 The Software Life Cycle 1. Specification 2. Design 3. Risk Analysis 4. Verification 5. Coding 6. Testing.
Automated Reasoning Early AI explored how to automated several reasoning tasks – these were solved by what we might call weak problem solving methods as.
Data Structures and Algorithms Dr. Tehseen Zia Assistant Professor Dept. Computer Science and IT University of Sargodha Lecture 1.
 Negnevitsky, Pearson Education, Introduction, or what is knowledge? Knowledge is a theoretical or practical understanding of a subject or a domain.
Of An Expert System.  Introduction  What is AI?  Intelligent in Human & Machine? What is Expert System? How are Expert System used? Elements of ES.
1 The Software Development Process ► Systems analysis ► Systems design ► Implementation ► Testing ► Documentation ► Evaluation ► Maintenance.
Artificial Intelligence
Forward and Backward Chaining
Artificial Intelligence: Applications
Advanced AI Session 2 Rule Based Expert System
CHAPTER 1 Introduction BIC 3337 EXPERT SYSTEM.
Rule-based expert systems
Introduction to Expert Systems Bai Xiao
Architecture Components
Intro to Expert Systems Paula Matuszek CSC 8750, Fall, 2004
The Scientific Method scientific method noun
전문가 시스템(Expert Systems)
Presentation transcript:

STRONG METHOD PROBLEM SOLVING

STRONG METHOD PROBLEM SOLVING Human experts are able to perform at a high level because they know a lot about their areas of expertise. This fact is the basis for design of strong method problem solvers. Strong method problem solvers are knowledge intensive systems, as they require extensive knowledge of the problem domain to solve problems. These systems are also called knowledge-based problem solvers.

EXPERT SYTEMS

EXPERT SYSTEMS An Expert System is knowledge based system. Expert System uses knowledge specific to a problem domain to provide Expert Quality performance in that application area. Expert System designers acquire this knowledge from the human experts of the problem domain.

EXPERT SYSTEMS The Expert system emulates the human expert’s methodology and performance. Expert systems tend to be specialists, focusing on a narrow set of problems. Expert Systems, like their human counter parts are programmed to use tricks of the trade, shortcuts and heuristics for using their knowledge base.

EXPERT SYSTEMS A human expert of the domain will not accept advice from a computing machine without understanding the justifications for it. Therefore, An Expert System should support inspection of their reasoning process. Providing information about:- The state of problem solving. Explanation of the choices and decisions the program is making.

EXPERT SYSTEMS An Expert System should allow modification of the knowledge base. In that the system should allow adding and deleting skills from the knowledge base as:- The modification of a single rule should have no global syntactic side effect. Rules may be added or removed without requiring further changes to the program.

EXPERT SYSTEMS Expert Systems to use heuristic problem solving methods. They employ Tricks Of The Trade and Rules Of Thumb discovered or developed over the time by human experts on the basis of their experience. These methods:- Complement standard theoretical knowledge. These are shortcuts, known to work empirically.

EXPERT SYSTEMS Expert Systems are built to solve a wide range of problems in domains such as:- Medicine Mathematics Engineering Chemistry Geology Computer Science Business Law Defense Education

DESIGN OF AN EXPERT SYSTEM ARCHITECTURE OF A TYPICAL EXPERT SYSTEM FOR A PARTICULAR PROBLEM DOMAIN.

DESIGN OF AN EXPERT SYSTEM The Interface employ a variety of user styles. The final decision on the interface type is a compromise between:- User needs The requirements of the knowledge base. Inference system.

DESIGN OF AN EXPERT SYSTEM Knowledge Base is the heart of the system. Contains knowledge of a particular application domain. This includes:- General knowledge of the problem domain. Case specific information. The facts Conclusions Data pertaining to problem instance. Partial conclusions.

DESIGN OF AN EXPERT SYSTEM Inference Engine (control mechanism) applies the knowledge to the solution of actual problems. It is essentially an interpreter for the knowledge base. In production system model the recognize-act control cycle act as the inference engine.

DESIGN OF AN EXPERT SYSTEM Knowledge base and inference engines (control mechanism of the program) are kept separate because of following reasons:- It makes it possible to represent knowledge on a more natural fashion. Expert system builders can focus on capturing and organizing problem solving knowledge rather than on the details of its computer implementation. Changes can be made in one part of the knowledge base without creating side effects on others. The separation allows the same control and inference software to be used in a variety of systems. Expert System Shells are designed using this principle.

DESIGN OF AN EXPERT SYSTEM The Explanation Subsystem allows the program to explain its reasoning to the user. These explanations include:- How queries: The justifications for the system’s conclusions. Why queries: Justifications why system needs a particular piece of information. Where useful queries: Tutorial explanations or deeper theoretical justifications of the program’s actions.

DESIGN OF AN EXPERT SYSTEM Knowledge-Base Editor:- Helps locate and correct bugs in the program’s performance. Assists in the addition of new knowledge. Helps maintain correct rule syntax. Perform consistency checks on the updated knowledge base.

KNOWLEDGE ENGINEERING

KNOWLEDGE ENGINEERING PROCESS The primary people involved in building an expert system are:- The knowledge engineer The domain expert The end user The knowledge engineer is the AI language and representation expert. Main tasks are:- To select the software and hardware tools for the project. To design and implement the system.

KNOWLEDGE ENGINEERING PROCESS The domain expert provides the knowledge of the problem area. Generally someone who has worked in the domain area and understands its problem-solving techniques. Knows all the other skills that mark a person as an expert problem solver. The domain expert is primarily responsible for spelling out skills to the knowledge engineer.

KNOWLEDGE ENGINEERING PROCESS The end user determines the major design constraints. Unless the user is happy, the development effort is by and large wasted. The skills and needs of the user must be considered throughout the design cycle.

KNOWLEDGE ENGINEERING PROCESS Building expert systems requires a nontraditional development cycle based on early prototyping and incremental revision of the code. Work on the system begins with the knowledge engineer attempting to gain some familiarity with the problem domain. This helps in communicating with the domain expert. This is done:- In initial interviews with the domain expert. By observing domain experts during the performance of their job. By reading introductory texts in the domain area.

KNOWLEDGE ENGINEERING PROCESS Knowledge engineer and domain expert begin the process of extracting the expert’s problem-solving knowledge. This is often done by:- Giving the domain expert a series of sample problems and having him or her explain the techniques used in their solution.

KNOWLEDGE ENGINEERING PROCESS Once the knowledge engineer has obtained a general overview of the problem domain and gone through several problem-solving sessions with the domain expert, he or she is ready to begin actual design of the system. the knowledge engineer then begins by:- Selecting a way to represent the knowledge, Determining the search strategy, forward, backward, depth-first, best-first etc. Designing the user interface.

KNOWLEDGE ENGINEERING PROCESS After making these design commitments, the knowledge engineer builds a prototype. This prototype should be able to solve problems in a small area of the domain and provide a test bed for preliminary design assumptions. Should the assumptions made in designing the prototype prove correct, the prototype can be built into a final system.

KNOWLEDGE ENGINEERING PROCESS Expert systems are built by progressive approximations, with the program’s mistakes leading to corrections or additions to the knowledge base. In a sense, the knowledge base is “grown” rather than constructed. After this progressive clarification is complete, knowledge engineer can then write a cleaner version, usually with fewer rules.

KNOWLEDGE ENGINEERING PROCESS In expert system programming, the program need never be considered “finished”. A large heuristic knowledge base will always have limitations. The modularity of the production system model make it natural to add new rules or make up for the shortcomings of the present rule base at any time.

RULE-BASED EXPERT SYSTEMS

RULE-BASED EXPERT SYSTEMS GOAL-DRIVEN PROBLEM-SOLVING The architecture of rule-based-expert-systems may be understood in terms of the production-system model for problem-solving. If we regard the expert system architecture as a production-system The knowledge base is the set of production rules. Condition-action pairs are represented as if … then … rules. With premises of the rule, if portion, corresponding to condition. The conclusion, then portion, corresponding to action.

RULE-BASED EXPERT SYSTEMS GOAL-DRIVEN PROBLEM-SOLVING When the condition is satisfied, the expert-system takes the action of asserting the conclusion as true. Case-specific-data are kept in the working-memory. The inference-engine implements the recognize-act- cycle of the production system; this control may be either data-driven or goal-driven.

RULE-BASED EXPERT SYSTEMS GOAL-DRIVEN PROBLEM-SOLVING In a goal-driven expert system, the goal expression is initially placed in working memory. The system matches rule conclusions with the goal, selecting one rule and placing its premises in the working memory. This corresponds to a decomposition of the problem’s goal into simpler sub-goals.

RULE-BASED EXPERT SYSTEMS GOAL-DRIVEN PROBLEM-SOLVING The process continues in the next iteration of the production system, with these premises becoming the new goals to match against rule conclusions. The system thus works back from the original goal until all the sub-goals in working memory are known to be true, indicating that the hypothesis has been verified.

RULE-BASED EXPERT SYSTEMS GOAL-DRIVEN PROBLEM-SOLVING In an expert system, sub-goals are often solved by asking the user for information. Most expert system shells allow the system designer to specify which sub-goals may be solved by asking the user. In some of the designs inference engines may ask the user about sub-goals that fail to match the conclusion of some rule in the knowledge base i.e., if the program cannot infer the truth of a sub-goal, it may asks the user.

As a more detailed example of goal-driven problem-solving, consider the following small expert system for diagnosing automotive problems:- Rule 1: if the engine is getting gas, and the engine will turn over, then the problem is spark plugs. Rule 2: if the engine does not turn over, and the lights do not come on then the problem is battery or cables.

Rule 3: if the engine does not turn over, and the lights do come on then the problem is starter motor. Rule 4: if there is gas in the fuel tank, and there is gas in the carburetor then the engine is getting gas.

X is a variable that can match with any phrase, To run this knowledge base under a goal- directed control regime, Place the top-level goal, the following expression in working memory. the problem is X X is a variable that can match with any phrase,

The production system at the start of a consultation in the car diagnostic example.

This causes X = spark plugs Three rule conclusions match with the expression in working memory: rule 1, rule 2, and rule 3. If conflict set is resolved in favour of the lowest-numbered rule, then rule 1 will fire. This causes X = spark plugs Rule 1: if the engine is getting gas, and the engine will turn over, then the problem is spark plugs. Rule 2: if the engine does not turn over, and the lights do not come on then the problem is battery or cables. Rule 3: if the engine does not turn over, and the lights do come on then the problem is starter motor. The expression in the memory is then the problem is spark plugs Then the premises of rule 1 is placed in the working memory. The system has thus chosen to explore the possible hypothesis that the spark plugs are bad.

The production system after Rule 1 has fired.

There are two premises to rule 1, both of which must be satisfied to prove the conclusion true. These are and branches (conjuncts) of the search graph representing a decomposition of the problem into two sub-problems, finding:- whether the engine is getting gas and whether the engine will turn over. We may then fire rule 4, whose conclusion matches with the engine is getting gas, causing its premises to be placed in working memory.

The system after Rule 4 has fired The system after Rule 4 has fired. Note the stack-based approach to goal reduction.

At this point, there are three entries in working memory that do not match with any rule conclusions. Expert system will, in this situation, query the user directly about these sub-goals. If the user confirms all three of these as true, the expert system will have successfully determined that the car will not start because the spark plugs are bad.

The and/or graph searched in the car diagnosis example, with the conclusion of Rule 4 matching the first premise of Rule 1.

The automotive diagnosis illustrated the use of a production system to implement goal-driven search. Search was also depth-first in that it searched each sub-goal found in the rule base exhaustively before moving onto any sibling goals. Conflict resolution was done by taking the first rule found in the knowledge base and then followed the results of that rule. This gave the search a depth-first flavor.

RULE-BASED EXPERT SYSTEMS DATA-DRIVEN REASONING Breadth-first-search can be employed for data-driven-reasoning. Compare the contents of working memory with the conditions of each rule in the rule base using the ordering of the rule base. If the data in working memory supports a rule’s firing the result is placed in working memory and then control moves on to the next rule. Once all the rules have been considered search starts again at the beginning of the rule set.

RULE-BASED EXPERT SYSTEMS DATA-DRIVEN REASONING Considering the automobile diagnosis problem and the four rules. Rule 1: if the engine is getting gas, and the engine will turn over, then the problem is spark plugs. Rule 2: if the engine does not turn over, and the lights do not come on, the problem is battery or cables. Rule 3: if the engine does not turn over, and the lights do come on then the problem is starter motor. Rule 4: if there is gas in the fuel tank, and there is gas in the carburetor the engine is getting gas.

RULE-BASED EXPERT SYSTEMS DATA-DRIVEN REASONING The breadth-first, data-driven example begins with no information in working memory We examine the four rules in order to see what information is “askable”.

The production system at the start of a consultation for data-driven reasoning.

RULE-BASED EXPERT SYSTEMS DATA-DRIVEN REASONING If a piece of information that makes up the premises of a rule is not the conclusion of some other rule then fact will be deemed “askable” For example, the engine is getting gas is not “askable” in the premises of rule 1, because that fact is a conclusion of another rule, namely rule 4. So rule 1 fails and control moves to rule 2. Rule 1: if the engine is getting gas, and the engine will turn over, then the problem is spark plugs. Rule 4: if there is gas in the fuel tank, and there is gas in the carburetor the engine is getting gas.

RULE-BASED EXPERT SYSTEMS DATA-DRIVEN REASONING In Rule-2 the engine does not turn over is askable. As it is not the conclusion of any rules. Suppose the answer to this query is false, two things will take place:- The rule 2 fails, as the premise is false. A new piece of information is placed in working memory, the engine will turn over Rule 2: if the engine does not turn over, and the lights do not come on, then the problem is battery or cables.

The production system after evaluating the first premise of Rule 2, which then fails.

RULE-BASED EXPERT SYSTEMS DATA-DRIVEN REASONING Rule 2 fails, the Rule-3 tested, where the first premise fails as it does not match with the contents of memory. Rule 4 tested, both premises are askable. Suppose the answer to both questions is true. Then there is gas in the fuel tank and there is gas in the carburetor are placed in working memory, as is the conclusion of the rule, the engine is getting gas. Rule 3: if the engine does not turn over, and the lights do come on then the problem is starter motor. Rule 4: if there is gas in the fuel tank, and there is gas in the carburetor the engine is getting gas.

The data-driven production system after considering Rule 4, beginning its second pass through the rules.

RULE-BASED EXPERT SYSTEMS DATA-DRIVEN REASONING At this point all the rules have been considered so search now returns, with the new contents of working memory, to consider the rules in order a second time. Premises of Rule-1 are successfully matched with the contents of working memory. So Rule-1 is fired , its conclusion, the problem is spark plugs, is placed in working memory. After this no more rules match and fire and the problem-solving session completes. Rule 1: if the engine is getting gas, and the engine will turn over, then the problem is spark plugs.