Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Presented by
Mohammad Saniee
December 2, 2003
Robotics
Expert
Neural Systems
Networks
Why do we need Expert Systems
• Increased availability
• Permanence
• Reduced Danger
• Reduced Cost
• Multiple expertise
• Increased Reliability
• Explanation facility
• Fast Response
• Steady, emotional & complete response
• Intelligent tutor
Expert System building Process
• Selecting a specific Domain
• Scoping the project – The purpose/functionality of the
expert system.
• Identifying Human resources such as the Domain
expert / Knowledge Engineer, etc.
• Knowledge Acquisition
• Designing user interface
• Implementing the expert system
• Maintenance and update of Knowledge Base/System
Expert System components
• Working Memory
– A global database of facts used by the system
• Knowledge Base
– Contains the domain knowledge
• Inference Engine
– The brain of the Expert system. Makes logical deductions based upon the
knowledge in the KB.
• User Interface
– A facility for the user to interact with the Expert system.
• Explanation Facility
– Explains reasoning of the system to the user
• Knowledge Acquisition Facility
– An automatic way to acquire knowledge
Expert System Structure
Inference Working
Knowledge Base Memory
Engine
Explanation Knowledge
Facility Acquisition
Facility
User Interface
Knowledge Types
• The knowledge base of expert system contains both factual and heuristic
knowledge.
– Factual knowledge is that knowledge of the task domain that is widely shared,
typically found in textbooks or journals, and commonly agreed upon by those
knowledgeable in the particular field.
• For instance, in a medical expert system - if patient has spots, it’s probably
chickenpox
• In a mechanical trouble shooting system - if engine doesn’t turn over, check battery
Knowledge Representation
• Knowledge representation formalizes and organizes the knowledge. The
two most widely used representation are
– Production Rules: A rule consists of an IF part and a THEN part (also called a
condition and an action). if the IF part of the rule is satisfied; consequently, the
THEN part can be concluded, or its problem-solving action taken. Rule based
expert Systems use this representation, e.g.,
• XCON
– Developed by DEC to configures computers.
– Starts with the data about the customer order and
works forward toward a configuration based on
that data.
– Written in the OPS5 (forward chaining rule based)
language.
Backward Chaining System
If the conclusion is known (goal to be achieved) but
the path to that conclusion is not known, then
reasoning backwards is called for, and the method is
backward chaining.
• The consequence part of rule specifies combinations
of facts (goals) to be matched against Working
Memory.
• The condition part of the rule is then used as a set of
further sub-goals to be proven / satisfied.
Backward Chaining example
Question: Does employee John get a computer?
Statement: John gets a computer.
Rule: If employee is a programmer, then he gets a computer.
Backward Chaining:
Check the rule base to see what has to be “true” for john to
get a computer. A programmer. Is it a fact that john is
programmer. If true, then he gets a computer
Backward Chaining
• System will first check if the goal matches the initial facts given. If it does,
the goal succeeds. If it doesn't, the system will looks for rules whose
conclusions match the goal.
• One such rule will be chosen, and the system will then try to prove any
facts in the preconditions of the rule using the same procedure, setting these
as new goals to prove.
• Needs to keep track of what goals it needs to prove its main hypothesis.
Backward Chaining (example)
1. IF (lecturing X) • initial facts:
AND (marking- practicals X) (month February)
THEN (overworked X) (year 1993)
2. IF (month February)
THEN (lecturing Alison) • Goal that has to be proved:
3. IF (month February) (bad-mood Alison)
THEN (marking- practicals Alison)
4. IF (overworked X) • The goal is not satisfied by initial
THEN (bad-mood X) facts.
5. IF (slept-badly X) • Rules 4 & 5 apply. Assume 4 chosen
THEN (bad-mood X) • New Goal( overworked Alison)
6. IF (month February) • Rule 1 applies
THEN (weather cold) • New Goal (lecturing Alison)
7. IF (year 1993)
THEN (economy bad )
Conflict Resolution (I)
• Conflict Resolution is a method that is used when more than one rule is
matched on the facts asserted. There are several approaches
– First in first serve
• It involves firing the first rule that matches the content of the
working memory or the facts asserted.
– Prioritization:
• The rule to apply will be selected based on priorities set on rules, with
priority information usually provided by an expert or knowledge engineer.
Conflict Resolution (II)
• Specificity - The rule applied is usually the most
specific rule, or the rule that matches the most facts.
when a production rule succeeds because its premise clauses are true in
the current context, the Cfs of the component clauses that indicate how
strongly each clause is believed are combined, the resulting CF is used to
modify the CF specified in the action clause.
Explanation facilities
• PROLOG
– A programming language that uses backward chaining.
• ART-IM (Inference Corporation)
– Following the distribution of NASA's CLIPS, Inference Corporation implemented a forward-chaining
only derivative of ART/CLIPS called ART-IM.
• ART (Inference Corporation)
– In 1984, Inference Corporation developed the Automated Reasoning Tool (ART), a forward chaining
system.
• CLIPS –
– NASA took the forward chaining capabilities and syntax of ART and introduced the "C Language
Integrated Production System" (i.e., CLIPS) into the public domain.
• OPS5 (Carnegie Mellon University)
– OPS5 (Carnegie Mellon University) – First AI language used for Production System (XCON)
• Eclipse (The Haley Enterprise, Inc.)
Eclipse is the only C/C++ inference engine that supports both forward and Backward chaining.
Expert Systems Tools (II)
• PROSPECTOR
– Provides advice on mineral exploration
• XCON
– configure VAX computers
• DENDRAL (1965-83)
– rule-based expert systems that analyzes molecular structure. Using a plan-
generate-test search paradigm and data from mass spectrometry and other
sources, DENDRAL proposes plausible candidate structures for new or
unknown chemical compounds.
LIMITATIONS
• NARROW DOMAIN
• LIMITED FOCUS
• INABILITY TO LEARN
• MAINTENANCE PROBLEMS
• DEVELOPMENTAL COST