1. 2. 3. 4. 5. Consider the following statements If there is an economic downturn, there will be fewer jobs If there are fewer jobs and John Doe has a good resume, he will get a good job If there are not fewer jobs, John Doe will get a good job John Doe has a good resume There is an economic downturn. Part a. Convert the above statements into propositional logic by assigning a propositional literal to each basic proposition E"there is an economic downturn" F-"there will be fewer jobs" R-"John Doe has a good resume" J"John Doe will get a good job" Part b. Use forward chaining to prove that John Doe will get a good job Part c. Explain why, if the knowledge base did not contain the last statement (there is an economic downturn), it would not be possible to use forward chaining to prove that John Doe will get a good job Part d. Convert the first four statements (not including statement 5) into conjunctive normal form (CNF) The steps are the following 1. Eliminate s by replacing them with implications 2. Eliminate -> (implication) 3. Reduce the scope of negation using De Morgan's rules and double-negation 4. Convert expressions into conjunct of disjuncts form 5. Make each conjunct a separate clause Part e. Add to the result of part (d) the negation of "John Doe will get a good job", and use resolution refutation to prove that he will 1. 2. 3. 4. 5. Consider the following statements If there is an economic downturn, there will be fewer jobs If there are fewer jobs and John Doe has a good resume, he will get a good job If there are not fewer jobs, John Doe will get a good job John Doe has a good resume There is an economic downturn. Part a. Convert the above statements into propositional logic by assigning a propositional literal to each basic proposition E"there is an economic downturn" F-"there will be fewer jobs" R-"John Doe has a good resume" J"John Doe will get a good job" Part b. Use forward chaining to prove that John Doe will get a good job Part c. Explain why, if the knowledge base did not contain the last statement (there is an economic downturn), it would not be possible to use forward chaining to prove that John Doe will get a good job Part d. Convert the first four statements (not including statement 5) into conjunctive normal form (CNF) The steps are the following 1. Eliminate s by replacing them with implications 2. Eliminate -> (implication) 3. Reduce the scope of negation using De Morgan's rules and double-negation 4. Convert expressions into conjunct of disjuncts form 5. Make each conjunct a separate clause Part e. Add to the result of part (d) the negation of "John Doe will get a good job", and use resolution refutation to prove that he will
