Representación del entorno (Lógica de 1er orden) Conjunto de acciones (comportamientos) Estado inicial Conjunto de metas (Objetivos) robot_at(roomba, roomB) connected(roomB, roomA, door1) close(door1) dirty(roomB) Move(roomba, roomB, roomC) 1 2