Defeasible Prolog: Inheritance, Persistence, and Real - World Examples
1. Introduction to Defeasible Prolog Examples
Defeasible Prolog offers a powerful way to handle uncertain and conflicting information. We’ll explore various examples to understand its capabilities, including reasoning about flying animals, inheritance in biological groups, temporal persistence, and election scenarios.
2. Flying Animals Example
We start with a set of claims about what normally flies and what doesn’t:
- Normally, birds fly.
- Normally, penguins don’t fly.
- A sick bird might not fly.
- A genetically altered penguin might fly.
- Presumably, Superman flies.
We also have information about specific animals:
- Tweety is a