Example 1: ZOOKEEPER-A Deduction System To identify seven animals, a cheetah, a tiger, a giraffe, a zebra, an ostrich, a penguin, and an albatross A deduction system The then patterns specify new assertions (xx is or are yy) cheetah tt er zebra giraffe albatross, i 2021/1/27 EIE426-AICV2021/1/27 EIE426-AICV 10 Example 1: ZOOKEEPER – A Deduction System To identify seven animals, a cheetah, a tiger, a giraffe, a zebra, an ostrich, a penguin, and an albatross. cheetah ostrich penguin zebra albatross giraffe tiger A deduction system: The then patterns specify new assertions (xx is or are yy)