For the following knowledge base a+b^c. a g. b-j^a. c+f. g+f^p. k+j. a-cak. d-m^j. k+b^p. b-g^j....

Transcribed Image Text:

For the following knowledge base a+b^c. a g. b-j^a. c+f. g+f^p. k+j. a-cak. d-m^j. k+b^p. b-g^j. bok. d-p^a. f-m. m. (a) Give one non-trivial model (b) Give a non-trivial interpretation which is not a model of the knowledge base P. For the following knowledge base a+b^c. a g. b-j^a. c+f. g+f^p. k+j. a-cak. d-m^j. k+b^p. b-g^j. bok. d-p^a. f-m. m. (a) Give one non-trivial model (b) Give a non-trivial interpretation which is not a model of the knowledge base P.