Below is a screenshot of the isEntailed algorithm so you can answer the above question.
1,2 2,2 3,2 (2 marks) (Model checking for entailment) Consider a 3 x 2 Wumpus World as shown: The Wumpus is known to only move among rooms (2,2) and (3,1). When agent starts at (1,1), its KB contains the following sentences, where W22 stands for whether Wumpus is in room (2,2), and S22 stands for whether room (2,2) is smelly. 1,1 2,1 3,1 S: W22(S12 1 S21 S32), S2: W31 = (S21 1 S32). When agent enters room (1,1), Wumpus is in room (3,1) but is unobservable to agent. After moving from (1,1) to (2,1), agent senses smell, and performs Tell(S21). (a) If agent calls is Entailed(KB,W31), how many models are checked in the worst case? (b) If agent calls is Entailed(KB, W31), what is the outcome and why? Algorithm isEntailed 1 isEntailed(kb, a) { 2 symbols = list of symbols in kb and a; 3 for each model m (truth assignment of each symbol), 4 get truth value of kb in m; 5 if kb is true, 6 get truth value of a in m; 7 if a is false, return false; 8 return true; 9} Knowledge-Based Agents A. When env is partially observable, how can agent find out what are important but unobservable? B. The role of knowledge C. How can knowledge on task eny be maintained? D. A knowledge base (KB) contains a set of sentences formatted according to a representation language. E. Each sentence expresses an assertion about env. F. How does agent access KB? 1. Add new sentences by Tell. 2. Query what agent needs to know by Ask. 1,2 2,2 3,2 (2 marks) (Model checking for entailment) Consider a 3 x 2 Wumpus World as shown: The Wumpus is known to only move among rooms (2,2) and (3,1). When agent starts at (1,1), its KB contains the following sentences, where W22 stands for whether Wumpus is in room (2,2), and S22 stands for whether room (2,2) is smelly. 1,1 2,1 3,1 S: W22(S12 1 S21 S32), S2: W31 = (S21 1 S32). When agent enters room (1,1), Wumpus is in room (3,1) but is unobservable to agent. After moving from (1,1) to (2,1), agent senses smell, and performs Tell(S21). (a) If agent calls is Entailed(KB,W31), how many models are checked in the worst case? (b) If agent calls is Entailed(KB, W31), what is the outcome and why? Algorithm isEntailed 1 isEntailed(kb, a) { 2 symbols = list of symbols in kb and a; 3 for each model m (truth assignment of each symbol), 4 get truth value of kb in m; 5 if kb is true, 6 get truth value of a in m; 7 if a is false, return false; 8 return true; 9} Knowledge-Based Agents A. When env is partially observable, how can agent find out what are important but unobservable? B. The role of knowledge C. How can knowledge on task eny be maintained? D. A knowledge base (KB) contains a set of sentences formatted according to a representation language. E. Each sentence expresses an assertion about env. F. How does agent access KB? 1. Add new sentences by Tell. 2. Query what agent needs to know by Ask
