We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byShania Avent
Modified over 2 years ago
© C. Kemke Constructive Problem Solving 1 COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba
© C. Kemke Constructive Problem Solving 2 COMP 4200: Expert Systems Constructive Problem Solving I cf. Jackson, Chapter 14 Constructive Problem Solving II cf. Jackson, Chapter 15
© C. Kemke Constructive Problem Solving 3 Task Areas of Expert Systems System-Based View of XPS Task Analysis Tasks (Interpretation of System) Diagnosis Classification Synthesis Tasks (Construction of System) Construction Configuration Design Planning
© C. Kemke Constructive Problem Solving 4 Solution constructed by choosing and assembling solution elements. Examples: develop a plan for a robot to bring a cup of coffee from IQ; construct a system, e.g. a computer, by assembling a set of components, like HD, CPU etc. Solution elements are described as components (maybe with parameters); assembly is subject to constraints (robot cannot go to IQ if it cannot take the elevator; certain CPUs need certain power supply); solution might be subject to evaluation function
© C. Kemke Constructive Problem Solving 5 Constructive PS and Task Areas Planning solution elements = actions solutions = sequence of actions constraints = e.g. physical or logical constraints Design solution elements = components solutions = combination of components constraints = e.g. physical or logical constraints Diagnosis of multiple disorders solution elements = disorders solutions = sets of disorders to explain the symptoms ; determine 'best' set according to evaluation
© C. Kemke Constructive Problem Solving 6 Constructive PS Approach Choose combination of solution elements set sequence complex arrangement Combined according to constraints order (sequence of steps; arrangement of components) time (sequence of actions in time; limit of time) spatial arrangement (layout in space, e.g. floor plan) features and their agreements (e.g. matching voltage for electrical components, matching colors for cloths) ...
© C. Kemke Constructive Problem Solving 7 Constructive PS as Search Search Space: all combinations of solution elements Search Space can be huge! Restrict search by selecting solution elements based on known constraints; selection of new components is restricted through constraints. Constraints can be formulated in rules: IF device requires battery THEN select battery for device IF select battery for device THEN pick battery WITH voltage(battery) = voltage(device) IF device requires battery AND device = watch THEN select micro- battery
© C. Kemke Constructive Problem Solving 8 Constructive PS - R1/XCON R1/XCON developed to design DEC VAX computer systems (early 1980ies) R1 uses a database of computer components a rule base specifying design rules and constraints a working memory (WM) to store interim structures, in particular the partial computer configuration generated so far
© C. Kemke Constructive Problem Solving 9 R1/XCON – Sample Component Jackson, p. 262, Figure 14.1
© C. Kemke Constructive Problem Solving 10 R1/XCON – Types of Rules Rule types related to tasks in PS: 1. Operator Rules create and extend partial configurations 2. Sequencing Rules determine order of processing (contexts, modules) 3. Information-Gathering Rules access database of components; perform various computations
© C. Kemke Constructive Problem Solving 11 R1/XCON – Sample Rule Jackson, p. 262, Figure 14.2
© C. Kemke Constructive Problem Solving 12 R1/XCON – Basic Principles R1 selects component from DB; entered as ‘token’ (instance) into Working Memory (WM). Rules specify configuration patterns (conditions, constraints) and actions for extending partial configurations (consequences). Rule set divided into "contexts" (modules) according to sub- tasks. Strategy Finish a sub-task before starting a new one. Implementation Add contexts to condition part of rules. Switch to new context in the action part.
© C. Kemke Constructive Problem Solving 13 R1/XCON – Sub-Tasks 1. Check and complete order. 2. Configure CPU. 3. Configure unibus modules, prepare cabinets with modules. 4. Configure paneling; assign panels to unibus modules and devices. 5. Generate floor plan. Device arrangement. 6. Cabling.
© C. Kemke Constructive Problem Solving 14 R1/XCON – Problem Solving Propose-and-Apply (Bachant 1988): 1. Initialize Goal (for current task) 2. Propose Operator (plausible next steps) 3. Prune Operator (according to global criteria) 4. Eliminate Operator (pairwise comparison) 5. Select one Operator (based on 2-4) 6. Apply Operator (extend configuration) 7. Evaluate Goal (okay? or not?)
© C. Kemke Constructive Problem Solving 15 R1/XCON - Conclusion DB of components constraints and actions in rules about rules defined and used integrate various experts' knowledge heavily based on "what-to-do-next" follows always one line of reasoning control through contexts (modules)
1 Computer Group Engineering Department University of Science and Culture S. H. Davarpanah
© C. Kemke1Expert Systems Tasks COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
© 2002 Franz J. Kurfess Expert System Examples 1 CPE/CSC 481: Knowledge-Based Systems Dr. Franz J. Kurfess Computer Science Department Cal Poly.
Chapter 12 Analyzing Semistructured Decision Support Systems Systems Analysis and Design Kendall and Kendall Fifth Edition.
© C. Kemke1Reasoning - Introduction COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
Building Knowledge- Driven DSS and Mining Data We can organize knowledge and make it available for business uses.
I/O and Space-Efficient Path Traversal in Planar Graphs Craig Dillabaugh, Carleton University Meng He, University of Waterloo Anil Maheshwari, Carleton.
1 Technical Communication A Reader-Centred Approach First Canadian Edition Paul V. Anderson Kerry Surman
The Robert Gordon University School of Engineering Dr. Mohamed Amish INTRODUCTION TO RESEARCH & RESEARCH METHODS.
© C. Kemke 1Classification Problem Solving COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
© C. Kemke Control 1 COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
Computer Systems Architecture Edited by Original lecture by Ian Sunley Areas: Computer users Basic topics What is a computer?
Rules, page 1 CSI 4106, Winter 2005 Representing knowledge with rules Points Definitions Production systems Conflict resolution strategies Examples A financial.
From Model-based to Model-driven Design of User Interfaces.
Chapter 5 Expert System Artificial Intelligence Dr.Hassan Al-Tarawneh.
THE ENTITY- RELATIONSHIP (ER) MODEL CHAPTER 7 (6/E) CHAPTER 3 (5/E)
The von Neumann Model – Chapter 4 COMP 2620 Dr. James Money COMP
3.6 Solving Systems of Linear Equations in Three Variables.
ORGANIZATIONAL PATTERNS Reading Across the Disciplines, 5/e Kathleen McWhorter “Good order is the foundation of all things.” by Edmund Burke Copyright.
Use addition to eliminate a variable EXAMPLE 1 Solve the linear system: 2x + 3y = 11 –2x + 5y = 13 Equation 1 Equation 2 SOLUTION Add the equations to.
Case study of Several Case Based Reasoners Sandesh.
Solving problems by searching Chapter 3 Image source: Wikipedia.
Backtrack Algorithm for Listing Spanning Trees R. C. Read and R. E. Tarjan (1975) Presented by Levit Vadim.
Generic Tasks by Ihab M. Amer Graduate Student Computer Science Dept. AUC, Cairo, Egypt.
Figures in Chapter 1. Learning objectives After studying this chapter, you should be able to; Define logistics and supply chain management. Describe logistics.
Forward and Backward Chaining. Rule-Based Systems Instead of representing knowledge in a relatively declarative, static way (as a bunch of things that.
Victoria Ibarra Mat: Generally, Computer hardware is divided into four main functional areas. These are: Input devices Input devices Output.
CS4026 Formal Models of Computation Part II The Logic Model Lecture 8 – Search and conclusions.
1 Search Problems CSD :Graduate Artificial Intelligence Instructors:Zico Kolter and Zack Rubinstein TA:Vittorio Perera.
So far Binary numbers Logic gates Digital circuits process data using gates – Half and full adder Data storage – Electronic memory – Magnetic memory –
Temporal Database Paper Reading R 資工碩一 馬智釗 Efficient Mining Strategy for Frequent Serial Episodes in Temporal Database, K Huang, C Chang.
Design & Analysis of Algorithms Lecture 1 Introduction.
1 Solving problems by searching Chapter 3. 2 Why Search? To achieve goals or to maximize our utility we need to predict what the result of our actions.
Turing Machines January 2003 Part 2:. 2 TM Recap We have seen how an abstract TM can be built to implement any computable algorithm TM has components:
Machine Learning Chapter 5. Artificial IntelligenceChapter 52 Learning 1. Rote learning rote( โรท ) n. วิถีทาง, ทางเดิน, วิธีการตามปกติ, (by rote จากความทรงจำ.
Chapter 28 Direct Current Circuits. Direct Current When the current in a circuit has a constant direction, the current is called direct current Most of.
Workshop Designing a Batteryless Cell Phone Introduction Dr. Farid Farahmand 9/26/2006.
Assessment. Levels of Learning Bloom Argue Anderson and Krathwohl (2001)
Data Structures and Algorithms Dr. Tehseen Zia Assistant Professor Dept. Computer Science and IT University of Sargodha Lecture 1.
1 Chapter 9 Rules and Expert Systems. 2 Definition of Expert System l An expert system is a computer program that represents and reasons with knowledge.
1 Chapter 2 The Digital World. 2 Digital Data Representation.
March 1, 2009Dr. Muhammed Al_mulhem1 ICS482 Parsing Chapter 13 Muhammed Al-Mulhem March 1, 2009.
Chapter 12 cognitive models. Cognitive models goal and task hierarchies linguistic physical and device architectural.
DT266/2 Information Systems COBOL Revision. Chapters 1 & 2 Hutty & Spence Divisions of a Cobol Program Identification Division Program-ID. Environment.
Department of Mechanical & Marine Engineering, University of Plymouth 1 Formulating the Design Envelope The Role of Reflective Practice * Professor M Neil.
Distributed Models for Decision Support Jose Cuena & Sascha Ossowski Pesented by: Gal Moshitch & Rica Gonen.
Slide 1 Insert your own content. Slide 2 Insert your own content.
© 2017 SlidePlayer.com Inc. All rights reserved.