Question: question 1 discuss the limitations of expert systems in modeling...
Discuss the limitations of expert systems in modeling human performance.
Determine if there is equivalence or not between (¬P → ¬Q) and (P ∨ ¬Q). Use truth tables to explain your answer.
Consider the following pair of expressions:
lives_in(X, athabasca_town, works_in(X, athabasca_university))
lives_in(karen, Y, works_in(X, Z))
Try to unify this pair of expressions; then either show the most general unifier or explain why they will not unify.