COS30019 – Final Examination - Semester 1 - 2022- Swinburne University of Technology

Swinburne University of Technology COS30019 School of Science, Computing and Engineering Technologies Introduction to Artificial Intelligence Problem 1 – Propositional Logic (18 marks) About the credit card application the intelligent agent is assessing, the agent knows the following:  IF the applicant has high income OR the applicant does NOT overspend, THEN the applicant is creditworthy.  The applicant does NOT have high income OR the applicant overspends.  The applicant does NOT overspend. Represent the above sentences in propositional logic using the following vocabulary: HI for The applicant has high income, OS for The applicant overspends, CW for The applicant is creditworthy. Using a truth table, can you determine the answers to the following questions: a. Is the applicant creditworthy? b. Does the applicant have high income? Your answer has to be Yes or No or Don’t know. For instance, if you answer Yes to question 1.a., you’ll have to demonstrate that the knowledge base entails ‘The applicant is creditworthy’; if you answer No to question 1.a., you’ll have to demonstrate that the knowledge base entails ‘The applicant is NOT creditworthy.’ Clearly indi