Default Reasoning

• Semantic Nets are powerful because they allow default reasoning.
• You can have a feature. If you don't, look up the IsA hierarchy.
• These are default feature values.
• They can override higher order features.
• This inheritence is a hall mark of Object Oriented Programming.
• We call it subcategorisation.
• Here's an example: