Question: Artificial Intelligence Logic Question 2 Consider a vocabulary with the following symbols: Occupation (p,o): Predicate. Person p has occupation o Customer(p1,p2): Predicate.Person pl is a
Artificial Intelligence
Logic

Question 2 Consider a vocabulary with the following symbols: Occupation (p,o): Predicate. Person p has occupation o Customer(p1,p2): Predicate.Person pl is a customer of person p2 Boss(p1, p2): Predicate.Person pl is a boss of person p2. Doctor, Surgeon, Lawyer, Actor. Constants denoting occupations. Emily, Joe: Constants denoting people. Use these symbols to write the following assertions in first-order logic: a) Emily is either a surgeon or a lawyer. b) Joe is an actor, but he also holds another job. c) All surgeons are doctors. d) Joe does not have a lawyer (i.e., is not a customer of any lawyer). e) Emily has a boss who is a lawyer. f) There exists a lawyer all of whose customers are doctors. g) Every surgeon has a lawyer
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
