*Course: Artifcial intellgance*

Problem :Your Agent Bot should Grab the yellow piece in the Wumpus Grid World of the MP2Game Class object and Climb from the initial cell more than 300 times out of 1000 tries using the Theorem-Proving approach.

And With only Python's basic filtering capabilities, your rational agent should also locate the Wumpus whenever it is possible using the Model-Checking and shoot it.

(Please compelet the code )

\# find and shoot the wumpus SOLE this at the end "cnts.go_to ( Linesight_ x, Linesight y ) \# ents.shoot_at( Wumpuslocation_ x, Wumpuslocation_ y ) \# continue \# Find the next best move frontier = cnts. frontier() frontier,sort (key=1 lambda k:abs(k[0]x)+abs(k[1]y)) destination =[1,0] for d in frontier: destination =d break " use cnts, action( "TurnRight"), cnts, action( "Turnleft"), and response = cnts, action( "MoveForward"), or: response = cnts.action( destination) " just keep this Line for simplification. if not response: break time.sleep (.2)