KBs, Sentences, Terms, Words

• Knowledge Base – Collection of sentences

• Sentence – Expression denoting a statement

• Term – Expression denoting an object

• Words

  • Constant
    • Word not beginning with “?” or “@”
      E.g., Fred, Block-A, Justice
      
    • Individual Variable
      • Word beginning with “?”
        E.g, ?x, ?The-First-Murderer
        
      • Sequence Variable
        • Word beginning with “@”
          E.g, @x, @The-Other-Murderers
          

Previous slide

Next slide

Back to first slide

View graphic version