Emerging Paradigms (‘70’s - ‘80’s)

• Semantic Nets

• Frames

• Production rule systems

• Qualitative Physics

• Predicate calculus

  • Primarily first order logic
    “Everybody loves somebody sometime.”
    
    (forall ?p (implies (Person ?p1)
    (exists (?p2 ?t) (and (Person ?p2)
    (Time ?t)
    (Loves ?p1 ?p2 ?t)))))
  • Resolution theorem proving

Previous slide

Next slide

Back to first slide

View graphic version