2. Produce a knowledge base in PROPOSITIONAL LOGIC capturing the following information as closely as possible as stated here: If Tweety is a bird and it is not an abnormal bird, then it flies. A bird is abnormal exactly when it is an ostrich, a penguin, or not an abnormal wooden bird. A wooden bird is abnormal exactly when operated under remote control. Tweety is a bird, it is not an ostrich nor a penguin nor a remote controlled wooden bird.

Prove using Prover9 that Tweety flies. Notice that the two forms of abnormality mentioned here may be different, one is if birds, the other is for wooden birds.

You have to provide the knowledge base as part of your written report. Start by listing the propositional variables and their intended meanings. Then produce the formulas that will go into your input file, explaining them. Ex- plain in the report what Prover9 did to prove the claim.

2. Produce a knowledge base in PROPOSITIONAL LOGIC capturing the following information as closely as possible as stated here: If Tweety isa bird and it is not an abnormal bird, then it flies. A bird is abnormal eractly when it is an ostrich, a penguin, or not an abnormal wooden bird. A woodern bird is abnormal eractly when operated under remote control. Tweety is oa birdl, 2t as not an ostrich nor a penguin nor a remote co ntrolled wooden bird Prove using Prover9 that Tweety flies. Notice that the two forms of abnormality mentioned here may be different, one is if birds, the other is for wooden birds You have to provide the knowledge base as part of your written report Start by listing the propositional variables and their intended meanings. Thein produce the formulas that will go into your input file, explaining them. Ex- plain in the report what Prover9 did to prove the claim