Scientific Knowledge Discovery
ILP has been used in biology
- e.g. most successful automated system in National Toxicology Program test on carcinogenicity
E.g. Discovery of protein structure
- Background B defines molecular dynamics
- Examples E+ have certain structure
- Examples E- do not have structure
- Construct hypothesis H to explain E in terms of B
- e.g. “4-helical-up-and-down-bundle”