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

Artificial Intelligence Logic Question 2 Consider a vocabulary with the following symbols:

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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!