Constants, Individual Variables, Function Terms

• Constant - Word

  E.g., Fred, Block-A, Justice
  
  SIV(<constant>) = I(<constant>)

• Individual Variable - Word beginning with “?”

  E.g, ?x, ?The-Murderer
  
  SIV(<individual variable>) = V(<individual variable>)

• Function Term

  • (<function constant> <term>* [<sequence variable>])
    E.g., (plus 2 3) (Father-Of Richard)
    
  • SIV((fn term1 … termn)) = I(fn)[SIV(term1) … SIV(termn)]
  • SIV((fn term1 … termn @var)) =
    I(fn)[SIV(term1) … SIV(termn) | V(@var)]

Previous slide

Next slide

Back to first slide

View graphic version