minigrid.py 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305
  1. import hashlib
  2. import math
  3. import string
  4. from enum import IntEnum
  5. import gym
  6. import numpy as np
  7. from gym import spaces
  8. # Size in pixels of a tile in the full-scale human view
  9. from gym_minigrid.rendering import (
  10. downsample,
  11. fill_coords,
  12. highlight_img,
  13. point_in_circle,
  14. point_in_line,
  15. point_in_rect,
  16. point_in_triangle,
  17. rotate_fn,
  18. )
  19. TILE_PIXELS = 32
  20. # Map of color names to RGB values
  21. COLORS = {
  22. "red": np.array([255, 0, 0]),
  23. "green": np.array([0, 255, 0]),
  24. "blue": np.array([0, 0, 255]),
  25. "purple": np.array([112, 39, 195]),
  26. "yellow": np.array([255, 255, 0]),
  27. "grey": np.array([100, 100, 100]),
  28. }
  29. COLOR_NAMES = sorted(list(COLORS.keys()))
  30. # Used to map colors to integers
  31. COLOR_TO_IDX = {"red": 0, "green": 1, "blue": 2, "purple": 3, "yellow": 4, "grey": 5}
  32. IDX_TO_COLOR = dict(zip(COLOR_TO_IDX.values(), COLOR_TO_IDX.keys()))
  33. # Map of object type to integers
  34. OBJECT_TO_IDX = {
  35. "unseen": 0,
  36. "empty": 1,
  37. "wall": 2,
  38. "floor": 3,
  39. "door": 4,
  40. "key": 5,
  41. "ball": 6,
  42. "box": 7,
  43. "goal": 8,
  44. "lava": 9,
  45. "agent": 10,
  46. }
  47. IDX_TO_OBJECT = dict(zip(OBJECT_TO_IDX.values(), OBJECT_TO_IDX.keys()))
  48. # Map of state names to integers
  49. STATE_TO_IDX = {
  50. "open": 0,
  51. "closed": 1,
  52. "locked": 2,
  53. }
  54. # Map of agent direction indices to vectors
  55. DIR_TO_VEC = [
  56. # Pointing right (positive X)
  57. np.array((1, 0)),
  58. # Down (positive Y)
  59. np.array((0, 1)),
  60. # Pointing left (negative X)
  61. np.array((-1, 0)),
  62. # Up (negative Y)
  63. np.array((0, -1)),
  64. ]
  65. class WorldObj:
  66. """
  67. Base class for grid world objects
  68. """
  69. def __init__(self, type, color):
  70. assert type in OBJECT_TO_IDX, type
  71. assert color in COLOR_TO_IDX, color
  72. self.type = type
  73. self.color = color
  74. self.contains = None
  75. # Initial position of the object
  76. self.init_pos = None
  77. # Current position of the object
  78. self.cur_pos = None
  79. def can_overlap(self):
  80. """Can the agent overlap with this?"""
  81. return False
  82. def can_pickup(self):
  83. """Can the agent pick this up?"""
  84. return False
  85. def can_contain(self):
  86. """Can this contain another object?"""
  87. return False
  88. def see_behind(self):
  89. """Can the agent see behind this object?"""
  90. return True
  91. def toggle(self, env, pos):
  92. """Method to trigger/toggle an action this object performs"""
  93. return False
  94. def encode(self):
  95. """Encode the a description of this object as a 3-tuple of integers"""
  96. return (OBJECT_TO_IDX[self.type], COLOR_TO_IDX[self.color], 0)
  97. @staticmethod
  98. def decode(type_idx, color_idx, state):
  99. """Create an object from a 3-tuple state description"""
  100. obj_type = IDX_TO_OBJECT[type_idx]
  101. color = IDX_TO_COLOR[color_idx]
  102. if obj_type == "empty" or obj_type == "unseen":
  103. return None
  104. # State, 0: open, 1: closed, 2: locked
  105. is_open = state == 0
  106. is_locked = state == 2
  107. if obj_type == "wall":
  108. v = Wall(color)
  109. elif obj_type == "floor":
  110. v = Floor(color)
  111. elif obj_type == "ball":
  112. v = Ball(color)
  113. elif obj_type == "key":
  114. v = Key(color)
  115. elif obj_type == "box":
  116. v = Box(color)
  117. elif obj_type == "door":
  118. v = Door(color, is_open, is_locked)
  119. elif obj_type == "goal":
  120. v = Goal()
  121. elif obj_type == "lava":
  122. v = Lava()
  123. else:
  124. assert False, "unknown object type in decode '%s'" % obj_type
  125. return v
  126. def render(self, r):
  127. """Draw this object with the given renderer"""
  128. raise NotImplementedError
  129. class Goal(WorldObj):
  130. def __init__(self):
  131. super().__init__("goal", "green")
  132. def can_overlap(self):
  133. return True
  134. def render(self, img):
  135. fill_coords(img, point_in_rect(0, 1, 0, 1), COLORS[self.color])
  136. class Floor(WorldObj):
  137. """
  138. Colored floor tile the agent can walk over
  139. """
  140. def __init__(self, color="blue"):
  141. super().__init__("floor", color)
  142. def can_overlap(self):
  143. return True
  144. def render(self, img):
  145. # Give the floor a pale color
  146. color = COLORS[self.color] / 2
  147. fill_coords(img, point_in_rect(0.031, 1, 0.031, 1), color)
  148. class Lava(WorldObj):
  149. def __init__(self):
  150. super().__init__("lava", "red")
  151. def can_overlap(self):
  152. return True
  153. def render(self, img):
  154. c = (255, 128, 0)
  155. # Background color
  156. fill_coords(img, point_in_rect(0, 1, 0, 1), c)
  157. # Little waves
  158. for i in range(3):
  159. ylo = 0.3 + 0.2 * i
  160. yhi = 0.4 + 0.2 * i
  161. fill_coords(img, point_in_line(0.1, ylo, 0.3, yhi, r=0.03), (0, 0, 0))
  162. fill_coords(img, point_in_line(0.3, yhi, 0.5, ylo, r=0.03), (0, 0, 0))
  163. fill_coords(img, point_in_line(0.5, ylo, 0.7, yhi, r=0.03), (0, 0, 0))
  164. fill_coords(img, point_in_line(0.7, yhi, 0.9, ylo, r=0.03), (0, 0, 0))
  165. class Wall(WorldObj):
  166. def __init__(self, color="grey"):
  167. super().__init__("wall", color)
  168. def see_behind(self):
  169. return False
  170. def render(self, img):
  171. fill_coords(img, point_in_rect(0, 1, 0, 1), COLORS[self.color])
  172. class Door(WorldObj):
  173. def __init__(self, color, is_open=False, is_locked=False):
  174. super().__init__("door", color)
  175. self.is_open = is_open
  176. self.is_locked = is_locked
  177. def can_overlap(self):
  178. """The agent can only walk over this cell when the door is open"""
  179. return self.is_open
  180. def see_behind(self):
  181. return self.is_open
  182. def toggle(self, env, pos):
  183. # If the player has the right key to open the door
  184. if self.is_locked:
  185. if isinstance(env.carrying, Key) and env.carrying.color == self.color:
  186. self.is_locked = False
  187. self.is_open = True
  188. return True
  189. return False
  190. self.is_open = not self.is_open
  191. return True
  192. def encode(self):
  193. """Encode the a description of this object as a 3-tuple of integers"""
  194. # State, 0: open, 1: closed, 2: locked
  195. if self.is_open:
  196. state = 0
  197. elif self.is_locked:
  198. state = 2
  199. elif not self.is_open:
  200. state = 1
  201. return (OBJECT_TO_IDX[self.type], COLOR_TO_IDX[self.color], state)
  202. def render(self, img):
  203. c = COLORS[self.color]
  204. if self.is_open:
  205. fill_coords(img, point_in_rect(0.88, 1.00, 0.00, 1.00), c)
  206. fill_coords(img, point_in_rect(0.92, 0.96, 0.04, 0.96), (0, 0, 0))
  207. return
  208. # Door frame and door
  209. if self.is_locked:
  210. fill_coords(img, point_in_rect(0.00, 1.00, 0.00, 1.00), c)
  211. fill_coords(img, point_in_rect(0.06, 0.94, 0.06, 0.94), 0.45 * np.array(c))
  212. # Draw key slot
  213. fill_coords(img, point_in_rect(0.52, 0.75, 0.50, 0.56), c)
  214. else:
  215. fill_coords(img, point_in_rect(0.00, 1.00, 0.00, 1.00), c)
  216. fill_coords(img, point_in_rect(0.04, 0.96, 0.04, 0.96), (0, 0, 0))
  217. fill_coords(img, point_in_rect(0.08, 0.92, 0.08, 0.92), c)
  218. fill_coords(img, point_in_rect(0.12, 0.88, 0.12, 0.88), (0, 0, 0))
  219. # Draw door handle
  220. fill_coords(img, point_in_circle(cx=0.75, cy=0.50, r=0.08), c)
  221. class Key(WorldObj):
  222. def __init__(self, color="blue"):
  223. super().__init__("key", color)
  224. def can_pickup(self):
  225. return True
  226. def render(self, img):
  227. c = COLORS[self.color]
  228. # Vertical quad
  229. fill_coords(img, point_in_rect(0.50, 0.63, 0.31, 0.88), c)
  230. # Teeth
  231. fill_coords(img, point_in_rect(0.38, 0.50, 0.59, 0.66), c)
  232. fill_coords(img, point_in_rect(0.38, 0.50, 0.81, 0.88), c)
  233. # Ring
  234. fill_coords(img, point_in_circle(cx=0.56, cy=0.28, r=0.190), c)
  235. fill_coords(img, point_in_circle(cx=0.56, cy=0.28, r=0.064), (0, 0, 0))
  236. class Ball(WorldObj):
  237. def __init__(self, color="blue"):
  238. super().__init__("ball", color)
  239. def can_pickup(self):
  240. return True
  241. def render(self, img):
  242. fill_coords(img, point_in_circle(0.5, 0.5, 0.31), COLORS[self.color])
  243. class Box(WorldObj):
  244. def __init__(self, color, contains=None):
  245. super().__init__("box", color)
  246. self.contains = contains
  247. def can_pickup(self):
  248. return True
  249. def render(self, img):
  250. c = COLORS[self.color]
  251. # Outline
  252. fill_coords(img, point_in_rect(0.12, 0.88, 0.12, 0.88), c)
  253. fill_coords(img, point_in_rect(0.18, 0.82, 0.18, 0.82), (0, 0, 0))
  254. # Horizontal slit
  255. fill_coords(img, point_in_rect(0.16, 0.84, 0.47, 0.53), c)
  256. def toggle(self, env, pos):
  257. # Replace the box by its contents
  258. env.grid.set(*pos, self.contains)
  259. return True
  260. class Grid:
  261. """
  262. Represent a grid and operations on it
  263. """
  264. # Static cache of pre-renderer tiles
  265. tile_cache = {}
  266. def __init__(self, width, height):
  267. assert width >= 3
  268. assert height >= 3
  269. self.width = width
  270. self.height = height
  271. self.grid = [None] * width * height
  272. def __contains__(self, key):
  273. if isinstance(key, WorldObj):
  274. for e in self.grid:
  275. if e is key:
  276. return True
  277. elif isinstance(key, tuple):
  278. for e in self.grid:
  279. if e is None:
  280. continue
  281. if (e.color, e.type) == key:
  282. return True
  283. if key[0] is None and key[1] == e.type:
  284. return True
  285. return False
  286. def __eq__(self, other):
  287. grid1 = self.encode()
  288. grid2 = other.encode()
  289. return np.array_equal(grid2, grid1)
  290. def __ne__(self, other):
  291. return not self == other
  292. def copy(self):
  293. from copy import deepcopy
  294. return deepcopy(self)
  295. def set(self, i, j, v):
  296. assert i >= 0 and i < self.width
  297. assert j >= 0 and j < self.height
  298. self.grid[j * self.width + i] = v
  299. def get(self, i, j):
  300. assert i >= 0 and i < self.width
  301. assert j >= 0 and j < self.height
  302. return self.grid[j * self.width + i]
  303. def horz_wall(self, x, y, length=None, obj_type=Wall):
  304. if length is None:
  305. length = self.width - x
  306. for i in range(0, length):
  307. self.set(x + i, y, obj_type())
  308. def vert_wall(self, x, y, length=None, obj_type=Wall):
  309. if length is None:
  310. length = self.height - y
  311. for j in range(0, length):
  312. self.set(x, y + j, obj_type())
  313. def wall_rect(self, x, y, w, h):
  314. self.horz_wall(x, y, w)
  315. self.horz_wall(x, y + h - 1, w)
  316. self.vert_wall(x, y, h)
  317. self.vert_wall(x + w - 1, y, h)
  318. def rotate_left(self):
  319. """
  320. Rotate the grid to the left (counter-clockwise)
  321. """
  322. grid = Grid(self.height, self.width)
  323. for i in range(self.width):
  324. for j in range(self.height):
  325. v = self.get(i, j)
  326. grid.set(j, grid.height - 1 - i, v)
  327. return grid
  328. def slice(self, topX, topY, width, height):
  329. """
  330. Get a subset of the grid
  331. """
  332. grid = Grid(width, height)
  333. for j in range(0, height):
  334. for i in range(0, width):
  335. x = topX + i
  336. y = topY + j
  337. if x >= 0 and x < self.width and y >= 0 and y < self.height:
  338. v = self.get(x, y)
  339. else:
  340. v = Wall()
  341. grid.set(i, j, v)
  342. return grid
  343. @classmethod
  344. def render_tile(
  345. cls, obj, agent_dir=None, highlight=False, tile_size=TILE_PIXELS, subdivs=3
  346. ):
  347. """
  348. Render a tile and cache the result
  349. """
  350. # Hash map lookup key for the cache
  351. key = (agent_dir, highlight, tile_size)
  352. key = obj.encode() + key if obj else key
  353. if key in cls.tile_cache:
  354. return cls.tile_cache[key]
  355. img = np.zeros(
  356. shape=(tile_size * subdivs, tile_size * subdivs, 3), dtype=np.uint8
  357. )
  358. # Draw the grid lines (top and left edges)
  359. fill_coords(img, point_in_rect(0, 0.031, 0, 1), (100, 100, 100))
  360. fill_coords(img, point_in_rect(0, 1, 0, 0.031), (100, 100, 100))
  361. if obj is not None:
  362. obj.render(img)
  363. # Overlay the agent on top
  364. if agent_dir is not None:
  365. tri_fn = point_in_triangle(
  366. (0.12, 0.19),
  367. (0.87, 0.50),
  368. (0.12, 0.81),
  369. )
  370. # Rotate the agent based on its direction
  371. tri_fn = rotate_fn(tri_fn, cx=0.5, cy=0.5, theta=0.5 * math.pi * agent_dir)
  372. fill_coords(img, tri_fn, (255, 0, 0))
  373. # Highlight the cell if needed
  374. if highlight:
  375. highlight_img(img)
  376. # Downsample the image to perform supersampling/anti-aliasing
  377. img = downsample(img, subdivs)
  378. # Cache the rendered tile
  379. cls.tile_cache[key] = img
  380. return img
  381. def render(self, tile_size, agent_pos=None, agent_dir=None, highlight_mask=None):
  382. """
  383. Render this grid at a given scale
  384. :param r: target renderer object
  385. :param tile_size: tile size in pixels
  386. """
  387. if highlight_mask is None:
  388. highlight_mask = np.zeros(shape=(self.width, self.height), dtype=bool)
  389. # Compute the total grid size
  390. width_px = self.width * tile_size
  391. height_px = self.height * tile_size
  392. img = np.zeros(shape=(height_px, width_px, 3), dtype=np.uint8)
  393. # Render the grid
  394. for j in range(0, self.height):
  395. for i in range(0, self.width):
  396. cell = self.get(i, j)
  397. agent_here = np.array_equal(agent_pos, (i, j))
  398. tile_img = Grid.render_tile(
  399. cell,
  400. agent_dir=agent_dir if agent_here else None,
  401. highlight=highlight_mask[i, j],
  402. tile_size=tile_size,
  403. )
  404. ymin = j * tile_size
  405. ymax = (j + 1) * tile_size
  406. xmin = i * tile_size
  407. xmax = (i + 1) * tile_size
  408. img[ymin:ymax, xmin:xmax, :] = tile_img
  409. return img
  410. def encode(self, vis_mask=None):
  411. """
  412. Produce a compact numpy encoding of the grid
  413. """
  414. if vis_mask is None:
  415. vis_mask = np.ones((self.width, self.height), dtype=bool)
  416. array = np.zeros((self.width, self.height, 3), dtype="uint8")
  417. for i in range(self.width):
  418. for j in range(self.height):
  419. if vis_mask[i, j]:
  420. v = self.get(i, j)
  421. if v is None:
  422. array[i, j, 0] = OBJECT_TO_IDX["empty"]
  423. array[i, j, 1] = 0
  424. array[i, j, 2] = 0
  425. else:
  426. array[i, j, :] = v.encode()
  427. return array
  428. @staticmethod
  429. def decode(array):
  430. """
  431. Decode an array grid encoding back into a grid
  432. """
  433. width, height, channels = array.shape
  434. assert channels == 3
  435. vis_mask = np.ones(shape=(width, height), dtype=bool)
  436. grid = Grid(width, height)
  437. for i in range(width):
  438. for j in range(height):
  439. type_idx, color_idx, state = array[i, j]
  440. v = WorldObj.decode(type_idx, color_idx, state)
  441. grid.set(i, j, v)
  442. vis_mask[i, j] = type_idx != OBJECT_TO_IDX["unseen"]
  443. return grid, vis_mask
  444. def process_vis(grid, agent_pos):
  445. mask = np.zeros(shape=(grid.width, grid.height), dtype=bool)
  446. mask[agent_pos[0], agent_pos[1]] = True
  447. for j in reversed(range(0, grid.height)):
  448. for i in range(0, grid.width - 1):
  449. if not mask[i, j]:
  450. continue
  451. cell = grid.get(i, j)
  452. if cell and not cell.see_behind():
  453. continue
  454. mask[i + 1, j] = True
  455. if j > 0:
  456. mask[i + 1, j - 1] = True
  457. mask[i, j - 1] = True
  458. for i in reversed(range(1, grid.width)):
  459. if not mask[i, j]:
  460. continue
  461. cell = grid.get(i, j)
  462. if cell and not cell.see_behind():
  463. continue
  464. mask[i - 1, j] = True
  465. if j > 0:
  466. mask[i - 1, j - 1] = True
  467. mask[i, j - 1] = True
  468. for j in range(0, grid.height):
  469. for i in range(0, grid.width):
  470. if not mask[i, j]:
  471. grid.set(i, j, None)
  472. return mask
  473. class MiniGridEnv(gym.Env):
  474. """
  475. 2D grid world game environment
  476. """
  477. metadata = {
  478. # Deprecated: use 'render_modes' instead
  479. "render.modes": ["human", "rgb_array"],
  480. "video.frames_per_second": 10, # Deprecated: use 'render_fps' instead
  481. "render_modes": ["human", "rgb_array"],
  482. "render_fps": 10,
  483. }
  484. # Enumeration of possible actions
  485. class Actions(IntEnum):
  486. # Turn left, turn right, move forward
  487. left = 0
  488. right = 1
  489. forward = 2
  490. # Pick up an object
  491. pickup = 3
  492. # Drop an object
  493. drop = 4
  494. # Toggle/activate an object
  495. toggle = 5
  496. # Done completing task
  497. done = 6
  498. def __init__(
  499. self,
  500. grid_size=None,
  501. width=None,
  502. height=None,
  503. max_steps=100,
  504. see_through_walls=False,
  505. agent_view_size=7,
  506. render_mode=None,
  507. **kwargs
  508. ):
  509. # Can't set both grid_size and width/height
  510. if grid_size:
  511. assert width is None and height is None
  512. width = grid_size
  513. height = grid_size
  514. # Action enumeration for this environment
  515. self.actions = MiniGridEnv.Actions
  516. # Actions are discrete integer values
  517. self.action_space = spaces.Discrete(len(self.actions))
  518. # Number of cells (width and height) in the agent view
  519. assert agent_view_size % 2 == 1
  520. assert agent_view_size >= 3
  521. self.agent_view_size = agent_view_size
  522. # Observations are dictionaries containing an
  523. # encoding of the grid and a textual 'mission' string
  524. self.observation_space = spaces.Box(
  525. low=0,
  526. high=255,
  527. shape=(self.agent_view_size, self.agent_view_size, 3),
  528. dtype="uint8",
  529. )
  530. self.observation_space = spaces.Dict(
  531. {
  532. "image": self.observation_space,
  533. "direction": spaces.Discrete(4),
  534. "mission": spaces.Text(
  535. max_length=200,
  536. charset=string.ascii_letters + string.digits + " .,!-",
  537. ),
  538. }
  539. )
  540. # render mode
  541. self.render_mode = render_mode
  542. # Range of possible rewards
  543. self.reward_range = (0, 1)
  544. # Window to use for human rendering mode
  545. self.window = None
  546. # Environment configuration
  547. self.width = width
  548. self.height = height
  549. self.max_steps = max_steps
  550. self.see_through_walls = see_through_walls
  551. # Current position and direction of the agent
  552. self.agent_pos = None
  553. self.agent_dir = None
  554. # Initialize the state
  555. self.reset()
  556. def reset(self, *, seed=None, return_info=False, options=None):
  557. super().reset(seed=seed)
  558. # Current position and direction of the agent
  559. self.agent_pos = None
  560. self.agent_dir = None
  561. # Generate a new random grid at the start of each episode
  562. self._gen_grid(self.width, self.height)
  563. # These fields should be defined by _gen_grid
  564. assert self.agent_pos is not None
  565. assert self.agent_dir is not None
  566. # Check that the agent doesn't overlap with an object
  567. start_cell = self.grid.get(*self.agent_pos)
  568. assert start_cell is None or start_cell.can_overlap()
  569. # Item picked up, being carried, initially nothing
  570. self.carrying = None
  571. # Step count since episode start
  572. self.step_count = 0
  573. # Return first observation
  574. obs = self.gen_obs()
  575. return obs
  576. def hash(self, size=16):
  577. """Compute a hash that uniquely identifies the current state of the environment.
  578. :param size: Size of the hashing
  579. """
  580. sample_hash = hashlib.sha256()
  581. to_encode = [self.grid.encode().tolist(), self.agent_pos, self.agent_dir]
  582. for item in to_encode:
  583. sample_hash.update(str(item).encode("utf8"))
  584. return sample_hash.hexdigest()[:size]
  585. @property
  586. def steps_remaining(self):
  587. return self.max_steps - self.step_count
  588. def __str__(self):
  589. """
  590. Produce a pretty string of the environment's grid along with the agent.
  591. A grid cell is represented by 2-character string, the first one for
  592. the object and the second one for the color.
  593. """
  594. # Map of object types to short string
  595. OBJECT_TO_STR = {
  596. "wall": "W",
  597. "floor": "F",
  598. "door": "D",
  599. "key": "K",
  600. "ball": "A",
  601. "box": "B",
  602. "goal": "G",
  603. "lava": "V",
  604. }
  605. # Map agent's direction to short string
  606. AGENT_DIR_TO_STR = {0: ">", 1: "V", 2: "<", 3: "^"}
  607. str = ""
  608. for j in range(self.grid.height):
  609. for i in range(self.grid.width):
  610. if i == self.agent_pos[0] and j == self.agent_pos[1]:
  611. str += 2 * AGENT_DIR_TO_STR[self.agent_dir]
  612. continue
  613. c = self.grid.get(i, j)
  614. if c is None:
  615. str += " "
  616. continue
  617. if c.type == "door":
  618. if c.is_open:
  619. str += "__"
  620. elif c.is_locked:
  621. str += "L" + c.color[0].upper()
  622. else:
  623. str += "D" + c.color[0].upper()
  624. continue
  625. str += OBJECT_TO_STR[c.type] + c.color[0].upper()
  626. if j < self.grid.height - 1:
  627. str += "\n"
  628. return str
  629. def _gen_grid(self, width, height):
  630. assert False, "_gen_grid needs to be implemented by each environment"
  631. def _reward(self):
  632. """
  633. Compute the reward to be given upon success
  634. """
  635. return 1 - 0.9 * (self.step_count / self.max_steps)
  636. def _rand_int(self, low, high):
  637. """
  638. Generate random integer in [low,high[
  639. """
  640. return self.np_random.integers(low, high)
  641. def _rand_float(self, low, high):
  642. """
  643. Generate random float in [low,high[
  644. """
  645. return self.np_random.uniform(low, high)
  646. def _rand_bool(self):
  647. """
  648. Generate random boolean value
  649. """
  650. return self.np_random.integers(0, 2) == 0
  651. def _rand_elem(self, iterable):
  652. """
  653. Pick a random element in a list
  654. """
  655. lst = list(iterable)
  656. idx = self._rand_int(0, len(lst))
  657. return lst[idx]
  658. def _rand_subset(self, iterable, num_elems):
  659. """
  660. Sample a random subset of distinct elements of a list
  661. """
  662. lst = list(iterable)
  663. assert num_elems <= len(lst)
  664. out = []
  665. while len(out) < num_elems:
  666. elem = self._rand_elem(lst)
  667. lst.remove(elem)
  668. out.append(elem)
  669. return out
  670. def _rand_color(self):
  671. """
  672. Generate a random color name (string)
  673. """
  674. return self._rand_elem(COLOR_NAMES)
  675. def _rand_pos(self, xLow, xHigh, yLow, yHigh):
  676. """
  677. Generate a random (x,y) position tuple
  678. """
  679. return (
  680. self.np_random.integers(xLow, xHigh),
  681. self.np_random.integers(yLow, yHigh),
  682. )
  683. def place_obj(self, obj, top=None, size=None, reject_fn=None, max_tries=math.inf):
  684. """
  685. Place an object at an empty position in the grid
  686. :param top: top-left position of the rectangle where to place
  687. :param size: size of the rectangle where to place
  688. :param reject_fn: function to filter out potential positions
  689. """
  690. if top is None:
  691. top = (0, 0)
  692. else:
  693. top = (max(top[0], 0), max(top[1], 0))
  694. if size is None:
  695. size = (self.grid.width, self.grid.height)
  696. num_tries = 0
  697. while True:
  698. # This is to handle with rare cases where rejection sampling
  699. # gets stuck in an infinite loop
  700. if num_tries > max_tries:
  701. raise RecursionError("rejection sampling failed in place_obj")
  702. num_tries += 1
  703. pos = np.array(
  704. (
  705. self._rand_int(top[0], min(top[0] + size[0], self.grid.width)),
  706. self._rand_int(top[1], min(top[1] + size[1], self.grid.height)),
  707. )
  708. )
  709. # Don't place the object on top of another object
  710. if self.grid.get(*pos) is not None:
  711. continue
  712. # Don't place the object where the agent is
  713. if np.array_equal(pos, self.agent_pos):
  714. continue
  715. # Check if there is a filtering criterion
  716. if reject_fn and reject_fn(self, pos):
  717. continue
  718. break
  719. self.grid.set(*pos, obj)
  720. if obj is not None:
  721. obj.init_pos = pos
  722. obj.cur_pos = pos
  723. return pos
  724. def put_obj(self, obj, i, j):
  725. """
  726. Put an object at a specific position in the grid
  727. """
  728. self.grid.set(i, j, obj)
  729. obj.init_pos = (i, j)
  730. obj.cur_pos = (i, j)
  731. def place_agent(self, top=None, size=None, rand_dir=True, max_tries=math.inf):
  732. """
  733. Set the agent's starting point at an empty position in the grid
  734. """
  735. self.agent_pos = None
  736. pos = self.place_obj(None, top, size, max_tries=max_tries)
  737. self.agent_pos = pos
  738. if rand_dir:
  739. self.agent_dir = self._rand_int(0, 4)
  740. return pos
  741. @property
  742. def dir_vec(self):
  743. """
  744. Get the direction vector for the agent, pointing in the direction
  745. of forward movement.
  746. """
  747. assert self.agent_dir >= 0 and self.agent_dir < 4
  748. return DIR_TO_VEC[self.agent_dir]
  749. @property
  750. def right_vec(self):
  751. """
  752. Get the vector pointing to the right of the agent.
  753. """
  754. dx, dy = self.dir_vec
  755. return np.array((-dy, dx))
  756. @property
  757. def front_pos(self):
  758. """
  759. Get the position of the cell that is right in front of the agent
  760. """
  761. return self.agent_pos + self.dir_vec
  762. def get_view_coords(self, i, j):
  763. """
  764. Translate and rotate absolute grid coordinates (i, j) into the
  765. agent's partially observable view (sub-grid). Note that the resulting
  766. coordinates may be negative or outside of the agent's view size.
  767. """
  768. ax, ay = self.agent_pos
  769. dx, dy = self.dir_vec
  770. rx, ry = self.right_vec
  771. # Compute the absolute coordinates of the top-left view corner
  772. sz = self.agent_view_size
  773. hs = self.agent_view_size // 2
  774. tx = ax + (dx * (sz - 1)) - (rx * hs)
  775. ty = ay + (dy * (sz - 1)) - (ry * hs)
  776. lx = i - tx
  777. ly = j - ty
  778. # Project the coordinates of the object relative to the top-left
  779. # corner onto the agent's own coordinate system
  780. vx = rx * lx + ry * ly
  781. vy = -(dx * lx + dy * ly)
  782. return vx, vy
  783. def get_view_exts(self, agent_view_size=None):
  784. """
  785. Get the extents of the square set of tiles visible to the agent
  786. Note: the bottom extent indices are not included in the set
  787. if agent_view_size is None, use self.agent_view_size
  788. """
  789. agent_view_size = agent_view_size or self.agent_view_size
  790. # Facing right
  791. if self.agent_dir == 0:
  792. topX = self.agent_pos[0]
  793. topY = self.agent_pos[1] - agent_view_size // 2
  794. # Facing down
  795. elif self.agent_dir == 1:
  796. topX = self.agent_pos[0] - agent_view_size // 2
  797. topY = self.agent_pos[1]
  798. # Facing left
  799. elif self.agent_dir == 2:
  800. topX = self.agent_pos[0] - agent_view_size + 1
  801. topY = self.agent_pos[1] - agent_view_size // 2
  802. # Facing up
  803. elif self.agent_dir == 3:
  804. topX = self.agent_pos[0] - agent_view_size // 2
  805. topY = self.agent_pos[1] - agent_view_size + 1
  806. else:
  807. assert False, "invalid agent direction"
  808. botX = topX + agent_view_size
  809. botY = topY + agent_view_size
  810. return (topX, topY, botX, botY)
  811. def relative_coords(self, x, y):
  812. """
  813. Check if a grid position belongs to the agent's field of view, and returns the corresponding coordinates
  814. """
  815. vx, vy = self.get_view_coords(x, y)
  816. if vx < 0 or vy < 0 or vx >= self.agent_view_size or vy >= self.agent_view_size:
  817. return None
  818. return vx, vy
  819. def in_view(self, x, y):
  820. """
  821. check if a grid position is visible to the agent
  822. """
  823. return self.relative_coords(x, y) is not None
  824. def agent_sees(self, x, y):
  825. """
  826. Check if a non-empty grid position is visible to the agent
  827. """
  828. coordinates = self.relative_coords(x, y)
  829. if coordinates is None:
  830. return False
  831. vx, vy = coordinates
  832. obs = self.gen_obs()
  833. obs_grid, _ = Grid.decode(obs["image"])
  834. obs_cell = obs_grid.get(vx, vy)
  835. world_cell = self.grid.get(x, y)
  836. return obs_cell is not None and obs_cell.type == world_cell.type
  837. def step(self, action):
  838. self.step_count += 1
  839. reward = 0
  840. done = False
  841. # Get the position in front of the agent
  842. fwd_pos = self.front_pos
  843. # Get the contents of the cell in front of the agent
  844. fwd_cell = self.grid.get(*fwd_pos)
  845. # Rotate left
  846. if action == self.actions.left:
  847. self.agent_dir -= 1
  848. if self.agent_dir < 0:
  849. self.agent_dir += 4
  850. # Rotate right
  851. elif action == self.actions.right:
  852. self.agent_dir = (self.agent_dir + 1) % 4
  853. # Move forward
  854. elif action == self.actions.forward:
  855. if fwd_cell is None or fwd_cell.can_overlap():
  856. self.agent_pos = fwd_pos
  857. if fwd_cell is not None and fwd_cell.type == "goal":
  858. done = True
  859. reward = self._reward()
  860. if fwd_cell is not None and fwd_cell.type == "lava":
  861. done = True
  862. # Pick up an object
  863. elif action == self.actions.pickup:
  864. if fwd_cell and fwd_cell.can_pickup():
  865. if self.carrying is None:
  866. self.carrying = fwd_cell
  867. self.carrying.cur_pos = np.array([-1, -1])
  868. self.grid.set(*fwd_pos, None)
  869. # Drop an object
  870. elif action == self.actions.drop:
  871. if not fwd_cell and self.carrying:
  872. self.grid.set(*fwd_pos, self.carrying)
  873. self.carrying.cur_pos = fwd_pos
  874. self.carrying = None
  875. # Toggle/activate an object
  876. elif action == self.actions.toggle:
  877. if fwd_cell:
  878. fwd_cell.toggle(self, fwd_pos)
  879. # Done action (not used by default)
  880. elif action == self.actions.done:
  881. pass
  882. else:
  883. assert False, "unknown action"
  884. if self.step_count >= self.max_steps:
  885. done = True
  886. obs = self.gen_obs()
  887. return obs, reward, done, {}
  888. def gen_obs_grid(self, agent_view_size=None):
  889. """
  890. Generate the sub-grid observed by the agent.
  891. This method also outputs a visibility mask telling us which grid
  892. cells the agent can actually see.
  893. if agent_view_size is None, self.agent_view_size is used
  894. """
  895. topX, topY, botX, botY = self.get_view_exts(agent_view_size)
  896. agent_view_size = agent_view_size or self.agent_view_size
  897. grid = self.grid.slice(topX, topY, agent_view_size, agent_view_size)
  898. for i in range(self.agent_dir + 1):
  899. grid = grid.rotate_left()
  900. # Process occluders and visibility
  901. # Note that this incurs some performance cost
  902. if not self.see_through_walls:
  903. vis_mask = grid.process_vis(
  904. agent_pos=(agent_view_size // 2, agent_view_size - 1)
  905. )
  906. else:
  907. vis_mask = np.ones(shape=(grid.width, grid.height), dtype=bool)
  908. # Make it so the agent sees what it's carrying
  909. # We do this by placing the carried object at the agent's position
  910. # in the agent's partially observable view
  911. agent_pos = grid.width // 2, grid.height - 1
  912. if self.carrying:
  913. grid.set(*agent_pos, self.carrying)
  914. else:
  915. grid.set(*agent_pos, None)
  916. return grid, vis_mask
  917. def gen_obs(self):
  918. """
  919. Generate the agent's view (partially observable, low-resolution encoding)
  920. """
  921. grid, vis_mask = self.gen_obs_grid()
  922. # Encode the partially observable view into a numpy array
  923. image = grid.encode(vis_mask)
  924. assert hasattr(
  925. self, "mission"
  926. ), "environments must define a textual mission string"
  927. # Observations are dictionaries containing:
  928. # - an image (partially observable view of the environment)
  929. # - the agent's direction/orientation (acting as a compass)
  930. # - a textual mission string (instructions for the agent)
  931. obs = {"image": image, "direction": self.agent_dir, "mission": self.mission}
  932. return obs
  933. def get_obs_render(self, obs, tile_size=TILE_PIXELS // 2):
  934. """
  935. Render an agent observation for visualization
  936. """
  937. grid, vis_mask = Grid.decode(obs)
  938. # Render the whole grid
  939. img = grid.render(
  940. tile_size,
  941. agent_pos=(self.agent_view_size // 2, self.agent_view_size - 1),
  942. agent_dir=3,
  943. highlight_mask=vis_mask,
  944. )
  945. return img
  946. def render(self, mode="human", close=False, highlight=True, tile_size=TILE_PIXELS):
  947. """
  948. Render the whole-grid human view
  949. """
  950. if self.render_mode is not None:
  951. mode = self.render_mode
  952. if close:
  953. if self.window:
  954. self.window.close()
  955. return
  956. if mode == "human" and not self.window:
  957. import gym_minigrid.window
  958. self.window = gym_minigrid.window.Window("gym_minigrid")
  959. self.window.show(block=False)
  960. # Compute which cells are visible to the agent
  961. _, vis_mask = self.gen_obs_grid()
  962. # Compute the world coordinates of the bottom-left corner
  963. # of the agent's view area
  964. f_vec = self.dir_vec
  965. r_vec = self.right_vec
  966. top_left = (
  967. self.agent_pos
  968. + f_vec * (self.agent_view_size - 1)
  969. - r_vec * (self.agent_view_size // 2)
  970. )
  971. # Mask of which cells to highlight
  972. highlight_mask = np.zeros(shape=(self.width, self.height), dtype=bool)
  973. # For each cell in the visibility mask
  974. for vis_j in range(0, self.agent_view_size):
  975. for vis_i in range(0, self.agent_view_size):
  976. # If this cell is not visible, don't highlight it
  977. if not vis_mask[vis_i, vis_j]:
  978. continue
  979. # Compute the world coordinates of this cell
  980. abs_i, abs_j = top_left - (f_vec * vis_j) + (r_vec * vis_i)
  981. if abs_i < 0 or abs_i >= self.width:
  982. continue
  983. if abs_j < 0 or abs_j >= self.height:
  984. continue
  985. # Mark this cell to be highlighted
  986. highlight_mask[abs_i, abs_j] = True
  987. # Render the whole grid
  988. img = self.grid.render(
  989. tile_size,
  990. self.agent_pos,
  991. self.agent_dir,
  992. highlight_mask=highlight_mask if highlight else None,
  993. )
  994. if mode == "human":
  995. self.window.set_caption(self.mission)
  996. self.window.show_img(img)
  997. return img
  998. def close(self):
  999. if self.window:
  1000. self.window.close()
  1001. return