def generate_at_location_ssa(t, x, y, xmin, xmax, ymin, ymax, heading):
"""
The full at_location SSA converts to a fairly large CNF, which in
turn causes the KB to grow very fast, slowing overall inference.
We therefore need to restric generating these axioms as much as possible.
This fn generates the at_location SSA only for the current location and
the location the agent is currently facing (in case the agent moves
forward on the next turn).
This is sufficient for tracking the current location, which will be the
single L location that evaluates to True; however, the other locations
may be False or Unknown.
"""
axioms = [axiom_generator_at_location_ssa(t, x, y, xmin, xmax, ymin, ymax)]
if heading == 'west' and x - 1 >= xmin:
axioms.append(
axiom_generator_at_location_ssa(t, x - 1, y, xmin, xmax, ymin,
ymax))
if heading == 'east' and x + 1 <= xmax:
axioms.append(
axiom_generator_at_location_ssa(t, x + 1, y, xmin, xmax, ymin,
ymax))
if heading == 'south' and y - 1 >= ymin:
axioms.append(
axiom_generator_at_location_ssa(t, x, y - 1, xmin, xmax, ymin,
ymax))
if heading == 'north' and y + 1 <= ymax:
axioms.append(
axiom_generator_at_location_ssa(t, x, y + 1, xmin, xmax, ymin,
ymax))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_at_location_ssa')
return filter(lambda s: s != '', axioms)
def generate_pit_and_breeze_axioms(xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_pits_and_breezes(x, y, xmin, xmax, ymin, ymax))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_pits_and_breezes')
return axioms
def generate_square_OK_axioms(t, xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_location_OK(x, y, t))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_location_OK')
return filter(lambda s: s != '', axioms)
def generate_pit_and_breeze_axioms(xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_pits_and_breezes(x, y, xmin, xmax, ymin, ymax))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_pits_and_breezes')
return axioms
def generate_stench_percept_and_location_axioms(t, xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_stench_percept_and_location_property(x, y, t))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_stench_percept_and_location_property')
return filter(lambda s: s != '', axioms)
def generate_wumpus_and_stench_axioms(xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_wumpus_and_stench(x, y, xmin, xmax, ymin, ymax))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_wumpus_and_stench')
return axioms
def generate_square_OK_axioms(t, xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_location_OK(x, y, t))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_location_OK')
return filter(lambda s: s != '', axioms)
def generate_wumpus_and_stench_axioms(xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_wumpus_and_stench(x, y, xmin, xmax, ymin, ymax))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_wumpus_and_stench')
return axioms
def generate_stench_percept_and_location_axioms(t, xmin, xmax, ymin, ymax):
axioms = []
for x in range(xmin, xmax + 1):
for y in range(ymin, ymax + 1):
axioms.append(axiom_generator_stench_percept_and_location_property(x, y, t))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_stench_percept_and_location_property')
return filter(lambda s: s != '', axioms)
def axiom_generator_initial_location_assertions(x, y):
"""
Assert that there is no Pit and no Wumpus in the location
x,y := the location
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_have_arrow_and_wumpus_alive(t = 0):
"""
Assert that Agent has the arrow and the Wumpus is alive at time t.
t := time; default=0
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_at_most_one_wumpus(xmin, xmax, ymin, ymax):
"""
Assert that there is at at most one Wumpus.
xmin, xmax, ymin, ymax := the bounds of the environment.
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_only_one_action_axioms(t):
"""
Assert that only one axion can be executed at a time.
t := time
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_only_one_action_axioms(t):
"""
Assert that only one axion can be executed at a time.
t := time
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_heading_west_ssa(t):
"""
Assert the conditions at time t under which the
Agent heading will be West at time t+1
t := time
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_heading_only_west(t):
"""
Assert that when heading is West, the agent is
not heading any other direction.
t := time
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_only_in_one_location(xi, yi, xmin, xmax, ymin, ymax, t = 0):
"""
Assert that the Agent can only be in one (the current xi,yi) location at time t.
xi,yi := the current location.
xmin, xmax, ymin, ymax := the bounds of the environment.
t := time; default=0
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_only_one_heading(heading = 'north', t = 0):
"""
Assert that Agent can only head in one direction at a time.
heading := string indicating heading; default='north';
will be one of: 'north', 'east', 'south', 'west'
t := time; default=0
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_wumpus_alive_ssa(t):
"""
Assert the conditions at time t under which the Wumpus
is known to be alive at time t+1
(NOTE: If this axiom is implemented in the standard way, it is expected
that it will take one time step after the Wumpus dies before the Agent
can infer that the Wumpus is actually dead.)
t := time
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def axiom_generator_percept_sentence(t, tvec):
"""
Asserts that each percept proposition is True or False at time t.
t := time
tvec := a boolean (True/False) vector with entries corresponding to
percept propositions, in this order:
(<stench>,<breeze>,<glitter>,<bump>,<scream>)
Example:
Input: [False, True, False, False, True]
Output: '~Stench0 & Breeze0 & ~Glitter0 & ~Bump0 & Scream0'
"""
axiom_str = ''
"*** YOUR CODE HERE ***"
# Comment or delete the next line once this function has been implemented.
utils.print_not_implemented()
return axiom_str
def generate_at_location_ssa(t, x, y, xmin, xmax, ymin, ymax, heading):
"""
The full at_location SSA converts to a fairly large CNF, which in
turn causes the KB to grow very fast, slowing overall inference.
We therefore need to restric generating these axioms as much as possible.
This fn generates the at_location SSA only for the current location and
the location the agent is currently facing (in case the agent moves
forward on the next turn).
This is sufficient for tracking the current location, which will be the
single L location that evaluates to True; however, the other locations
may be False or Unknown.
"""
axioms = [axiom_generator_at_location_ssa(t, x, y, xmin, xmax, ymin, ymax)]
if heading == 'west' and x - 1 >= xmin:
axioms.append(axiom_generator_at_location_ssa(t, x-1, y, xmin, xmax, ymin, ymax))
if heading == 'east' and x + 1 <= xmax:
axioms.append(axiom_generator_at_location_ssa(t, x+1, y, xmin, xmax, ymin, ymax))
if heading == 'south' and y - 1 >= ymin:
axioms.append(axiom_generator_at_location_ssa(t, x, y-1, xmin, xmax, ymin, ymax))
if heading == 'north' and y + 1 <= ymax:
axioms.append(axiom_generator_at_location_ssa(t, x, y+1, xmin, xmax, ymin, ymax))
if utils.all_empty_strings(axioms):
utils.print_not_implemented('axiom_generator_at_location_ssa')
return filter(lambda s: s != '', axioms)
