COMP 4200: Master Frameworks.


105 views
Uploaded on:
Description
COMP 4200: Master Frameworks Dr. Christel Kemke Branch of Software engineering College of Manitoba Illustration: Car Conclusion Auto Finding – Standard Base Tenet 1 : if the motor is getting gas, and the motor will turn over, then the issue is flash fittings.
Transcripts
Slide 1

COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba COMP 4200 - Example Autmotive Diagnosis

Slide 2

Example: Automotive Diagnosis COMP 4200 - Example Autmotive Diagnosis

Slide 3

Auto Diagnosis – Rule-Base Rule 1 : if the motor is getting gas, and the motor will turn over, then the issue is sparkle plugs. Guideline 2: if the motor does not turn over, and the lights don\'t go ahead, then the issue is battery or links. Principle 3: if the motor does not turn over, and the lights do go ahead, then the issue is the starter engine. Principle 4: if there is gas in the fuel tank, and there is gas in the carburetor, then the motor is getting gas. COMP 4200 - Example Autmotive Diagnosis

Slide 4

Auto Diagnosis – Conceptualization Rule 1 : if the motor is getting gas, motor gets-gas and the motor will turn over, motor turns then the issue is sparkle plugs. problem(spark-attachments) Rule 2: if the motor does not turn over, not(engine-turns) and the lights don\'t go ahead, not(lights-on) then the issue is battery or cables. problem(battery-or-links) Rule 3: if the motor does not turn over, not(engine-turns) and the lights do go ahead, lights-on then the issue is the starter motor. problem(starter-engine) Rule 4: if there is gas in the fuel tank, gas-in-tank and there is gas in the carburetor, gas-in-carburetor then the motor is getting gas. motor gets-gas COMP 4200 - Example Autmotive Diagnosis

Slide 5

Auto Diagnosis – Reasoning Tree Rule 1 Rule 2 problem(spark-plugs) problem(battery-or-links) and and motor gets-gas motor turns not(engine-turns) not ( lights-on) Rule 3 Rule 4 problem(starter-motor) motor gets-gas and and not(engine-turns) lights-on gas-in-tank gas-in-carburetor . COMP 4200 - Example Autmotive Diagnosis

Slide 6

Auto Diagnosis – Reasoning Tree flash plugs battery-or-links starter-engine and and motor gets-gas motor turns lights-on and gas-in-tank gas-in-carburetor and not COMP 4200 - Example Autmotive Diagnosis

Slide 7

Auto Diagnosis - Simulation Working Memory Matching Rules (objectives, sub-goals) (backward thinking) Rule 1 Rule 2 Rule 3 the issue is x Select and apply Rule 1 Rule Tracking (for clarification) if the motor is getting gas and the motor will turn over then the issue is sparkle attachments Rule 1 COMP 4200 - Example Autmotive Diagnosis

Slide 8

Simulation 2 Working Memory Matching Rules (objectives, sub-goals) (backward thinking) the motor is getting gas the motor will turn over the issue is flash fittings ... Guideline 4 Select and apply Rule 4 Rule Tracking if there is gas in the fuel tank, and there is gas in the carburetor, then the motor is getting gas . Guideline 1 Rule 4 COMP 4200 - Example Autmotive Diagnosis

Slide 9

Simulation 3 Working Memory Matching Rules (objectives, sub-goals) (backward thinking) there is gas in the fuel tank there is gas in the carburetor the motor is getting gas the motor will turn over the issue is flash fittings no new appropriate principles there is gas in the fuel tank there is gas in the carburetor the motor is getting gas the motor will turn over the issue is sparkle attachments ground actualities COMP 4200 - Example Autmotive Diagnosis

Slide 10

Auto Diagnosis – User Interaction there is gas in the fuel tank there is gas in the carburetor the motor is getting gas the motor will turn over the issue is flash attachments System : Does the motor turn over? Client : Yes, it does. Framework : Please check whether there is gas in the fuel tank. Client : Why? Framework (legitimizes): Because if there is gas in the fuel tank and gas in the carburetor then the motor is getting gas ( standard 4 ) and if the motor is getting gas and the motor turns over, then the issue are the sparkle plugs ( principle 1 ). COMP 4200 - Example Autmotive Diagnosis .:tslidesep.

Recommended
View more...