Professional Documents
Culture Documents
Inference Strategy: Backward Chaining Knowledge-base describing when the car should brake?
( PersonInFrontOfCar Brake )
Idea: A ((( YellowLight A Policeman ) A ( Slippery )) Brake )
– Check whether a particular fact q is true. A ( Policecar Policeman )
A ( Snow Slippery )
A ( Slippery Dry )
Backward Chaining: A ( RedLight Brake )
A ( Winter Snow )
Given a fact q to be “proven”, Observation from sensors:
YellowLight A RedLight A Snow A Dry A Policecar A PersonInFrontOfCar
1. See if q is already in the KB. If so, return TRUE. Should the agent brake (i.e. can “brake” be inferred)?
• Goal: Brake
2. Find all implications, I, whose conclusion “matches” q. – Modus Ponens (brake): PersonInFrontOfCar
• Failure: PersonInFrontOfCar Backtracking
3. Recursively establish the premises of all i in I via • Goal: Brake
backward chaining. – Modus Ponens (brake): YellowLight A Policeman A Slippery
– Known (YellowLight): Policeman A Slippery
Ł Avoids inferring unrelated facts. – Modus Ponens (Policeman): Policecar A Slippery
– Known (Policecar): Slippery
– Modus Tollens (Slippery): Dry
– Known (Dry)
Example:
First-Order Logic Representing Facts in First-Order Logic
• Idea:
– Don’t treat propositions as “atomic” entities. 1. Lucy* is a professor
Example
Jack owns a dog.
Every dog owner is an animal lover.
No animal lover kills an animal.
Either Jack or Curiosity killed the cat, who is named Tuna.
Did Curiosity kill the cat?
Proof by Resolution
Conjunctive Normal Form kills(Curiosity,Tuna) kills(Jack,Tuna) B kills(Curiosity,Tuna)
{}
(D is a placeholder for the dogs unknown name
(i.e. Skolem symbol/function). Think of D like kills(Jack,Tuna) AnimalLover(w) B Animal(y) B kills(w,y)
“JohnDoe”)
{w/Jack, y/Tuna}
{z/Tuna}
In practice, still significant search problem! set-of-support strategy: Try to resolve with the negated theorem
or a clause generated by resolution from that clause.
Many different search strategies: resolution strategies.
As a consequence, many practical Knowledge Representation formalisms • MYCIN (Feigenbaum, Buchanan, Shortliffe)
in AI use a restricted form and specialized inference.
• PROSPECTOR (Duda et al., 1979)
– Logic programming (Prolog)
– Description logics
Successes in Rule-Based Reasoning Successes in Rule-Based Reasoning
• MYCIN (Feigenbaum, Buchanan, Shortliffe)
• DENDRAL (Buchanan et al., 1969)
– Diagnosis of blood infections
– Infers molecular structure from the information provided by
– 450 rules; performs as well as experts
a mass spectrometer
– Incorporated certainty factors
– Generate-and-test method
• PROSPECTOR (Duda et al., 1979) SOAR is a general architecture for building intelligent
– Correctly recommended exploratory drilling at geological site systems.
– Rule-based system founded on probability theory – Long term memory consists of rules
– Working memory describes current state
• R1 (McDermott, 1982)
– All problem solving, including deciding what rule to
– Designs configurations of computer components
execute, is state space search
– About 10,000 rules
– Successful rule sequences are chunked into new rules
– Uses meta-rules to change context
– Control strategy embodied in terms of meta-rules