Artificial Intelligence05 marksRules of inference
All living things are either animal or plant. All animals who can bark are dogs. Puppy is living thing and it is not a plant. Using rules of inference show that Puppy can bark.
All living things are either animal or plant. All animals who can bark are dogs. Puppy is living thing and it is not a plant. Using rules of inference show that Puppy can bark. [5]
Let us define the predicates: - $A(x)$: x is an animal - $P(x)$: x is a plant - $B(x)$: x can bark - $D(x)$: x is a dog - $L(x)$: x is a living thing Premise 1: All living things are either animal or plant. $$\forall x ; [L(x) \Rightarrow A(x) \lor P(x)]$$ Premise 2: All animals who can bark are...