CS 480 Homework 3
Assigned: 16 October 2017 Due: 30 October 2017
These homework
problems are to be done individually, not in pairs or other groups.
Consider the following sentences:
- Blossom, Bubbles and Buttercup 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.
- Buttercup dislikes whatever Blossom likes and likes whatever Blossom
dislikes.
- Blossom likes Microsoft and MSWord.
Homework problems:
- Translate these sentences into First Order Logic (FOL) sentences. Use
predicates member(x), likes(x,y), Linux(x),
Windows(x). Try to keep your encoding as simple as possible.
- 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?"