SUBJECT : ARTIFICIAL INTELLIGENCE

5. Consider the following vocabulary: - Person(name): Predicate. Represents a person with the given name. - Location(place): Predicate. Represents a location or place. - Activity(activity): Predicate. Denotes various activities. - Friend(p1, p2): Predicate. Signifies that person p1 is a friend of person p2. - Visited(p, 1): Predicate. Indicates that a person has visited a location. - ( quad ) Lives ( (p, 1) ) : Predicate. Indicates that a person lives in a location. - Enjoys(p, a): Predicate. Indicates that a person enjoys an activity.

5. Consider the following vocabulary: - Person(name): Predicate. Represents a person with the given name. - Location(place): Predicate. Represents a location or place. - Activity(activity): Predicate. Denotes various activities. - Friend(p1, p2): Predicate. Signifies that person p1 is a friend of person p2. - Visited(p, l): Predicate. Indicates that a person has visited a location. - Lives (p,1) : Predicate. Indicates that a person lives in a location. - Enjoys(p, a): Predicate. Indicates that a person enjoys an activity. Write the following assertions in first-order logic: a) For all people, there is a location that they have visited. b) There is a location that nobody has visited. (1 Mark) c) Alice has a friend who enjoys picnics. (1 Mark) d) There is a person who is not a friend of anyone. (1 Mark) e) For each location, there exists a person who has visited it. (1 Mark) f) Define a predicate for housemate, Housemate(p1, p2), that is defined (1 Mark) as two different persons who are living in the same place. (2 Marks) g) Everyone is enjoying an activity. (1 Mark) [Total: 8 Marks]