CS 480 Homework 3
Assigned: 28 March 2018 Due: 11 April 2018
These homework
problems are to be done individually, not in pairs or other groups.
Consider the following sentences:
- Ramonda, Nakia, and Okoye are members of the Girls Coding Club.
- Every member of the Girls Coding Club is either a Linux-user or a
Windows-user (or both).
- No Linux-user likes Microsoft.
- All Windows-users like MSWord.
- Ramonda dislikes whatever Nakia likes and likes whatever Nakia
dislikes.
- Nakia likes Microsoft and MSWord.
Homework problems:
- Translate these sentences into First Order Logic (FOL) sentences. Use
predicates such as member(x), likes(x,y), Linux(x),
Windows(x). Try to keep your encoding as simple as possible. There are no other clubs in this model, so member(Person) is reasonable, for example.
- Convert your sentences from 1) into Conjunctive Normal Form
(CNF).
- Use resolution to answer the question "Is there a member of the
Girls Coding Club who is a Linux-user and not a Windows-user?"