Knowledge Representation

Use the semantic net formalism to express the following: People are mammals. People have two legs. Females and males are people. Mary is a female and John is a male. Mary is John's sister. John has one leg.
Use the frame formalism to describe yourself, including your name, age, favourite color, and grade (one of A, B, C, D, F) for CSC545. Include reasonable constraints for the age, a default value for the favourite color, and a procedural attachment (in the form of a Java/C switch statement, each case of which is a single printf) to be called when the grade is inserted.
Use modal, temporal, and epistemic logics to express the following:
- There will be a time in the future after which it will be common knowledge that time travel is impossible.
- I have always known that I may have to leave town.
Use reasoning in modal logic M to show that if hard work implies success, and it is possible that there is no success, then it is necessarily possible that there is no hard work.