A Calculus for Inheritance in Monotonic Semantic Nets.
Richmond H. ThomasonJohn F. HortyDavid S. TouretzkyPublished in: ISMIS (1987)
Keyphrases
- object oriented
- object oriented databases
- knowledge representation
- multiple inheritance
- semantic network
- genetic algorithm
- relational calculus
- relational databases
- image sequences
- databases
- domain knowledge
- expert systems
- search engine
- cardinal directions
- automated deduction
- natural deduction
- provably correct
- sequent calculus
- inheritance reasoning