web viewdepartment of information technology tutorial 6 – artificial intelligence. q1): using....

2
Princess Nora Bint Abdulrahman University NET201- Principles of Information & Technology Systems Faculty of Computer and Information Sciences First Semester 1438/1439 H Department of Information Technology Tutorial 6 – Artificial Intelligence Q1): Using the symbols Has, Loves, Dog, and Cat for the predicates “has”, “loves”, ”is a dog”, and “is a cat” respectively, write the following sentences in predicate logic: a. John has a cat. b. John loves all cats. c. Anne loves some dogs. d. Not everything John loves is a cat. e. If John loves a cat, Anne loves it. f. John loves a cat if and only if Anne loves it. Q 2 ): write the following sentences in predicate logic: 1. There exists a MATH 218 student who has tried out for American Idol.

Upload: dinhtuyen

Post on 30-Jan-2018

216 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Web viewDepartment of Information Technology Tutorial 6 – Artificial Intelligence. Q1): Using. the symbols Has, Loves, Dog, and Cat

Princess Nora Bint Abdulrahman University NET201- Principles of Information & Technology Systems Faculty of Computer and Information Sciences First Semester 1438/1439 HDepartment of Information Technology Tutorial 6 – Artificial Intelligence

Q1):Using the symbols Has, Loves, Dog, and Cat for the predicates “has”, “loves”, ”is a dog”, and “is a cat” respectively, write the following sentences in predicate logic:

a. John has a cat.

b.John loves all cats.

c. Anne loves some dogs.

d.Not everything John loves is a cat.

e. If John loves a cat, Anne loves it.

f. John loves a cat if and only if Anne loves it.

Q 2 ): write the following sentences in predicate logic:

1. There exists a MATH 218 student who has tried out for American Idol.

2. There exists a real number whose square is not positive.

3. Every person in New Britain has seen a movie starring William Shatner.