Abstract inheritance

Inheritance networks

Non-monotonic reasoning


    Nixon is-a Quaker
    Nixon is-a Republican
    Quakers are Pacifists
    Republicans are not Pacifists
  

Incremental system evolution is in practice non-monotonic!


slide: Knowledge representation and inheritance