CSCI 485 --- Fall 2023

Lab 9

Represent the following sentences in first-order logic, using a consistent vocabulary (which you must define) that includes constants, function symbols, and predicate symbols.
You may use multiple FOL sentences to code one of the following sentences, and it is assumed that the final result is a conjunction of these FOL sentences unless you indicate otherwise.
Natural language sentences may naturally have ambiguities in their meaning. If you believe that there is ambiguity in a sentence, write down your own interpretation of the sentence along with your FOL sentence(s).

1. Sign Language, Lillan and Kaput are languages.
2. There are other language(s) besides Sign Language, Lillan and Kaput.
3. Everybody can speak/use at least one language.
4. Everybody, except Marvin, can speak/use at least one language.
5. Nobody can speak/use all languages.
6. Both Lillan and Kaput are Country Lilliput's official language. And Country Lilliput doesn't have other official languages besides Lillan and Kaput.
7. In order to be a politician in Country Lilliput, you have to be a citizen of Country Lilliput and speak both Lillan and Kaput.
8. Not all citizens of Lilliput who speak both Lillan and Kaput are politicians.
9. Every politician in Lilliput has some Lilliput citizens supporting him/her.
10. No politician in Lilliput is supported by all Lilliput citizens.

(Optional) Convert your FOL KB (the collection of the sentences you wrote above) to Conjunctive Normal Form.