Fix some bugs. The complete generator does indeed seem to work.
Chris Pressey
2 years ago
| 3 | 3 |
shortest path of events that leads to the goal state
|
| 4 | 4 |
(if any such path exists).
|
| 5 | 5 |
"""
|
| 6 | |
#
|
| 7 | |
# NOTE, this is only a rough sketch at the moment!
|
| 8 | |
#
|
| 9 | 6 |
|
| 10 | 7 |
import sys
|
| 11 | 8 |
|
|
| 27 | 24 |
situations = [
|
| 28 | 25 |
([], Database(self.scenario.propositions, sorted_search=self.sorted_search))
|
| 29 | 26 |
]
|
| 30 | |
goal_has_been_met = False
|
| 31 | 27 |
|
| 32 | |
while not goal_has_been_met:
|
|
28 |
while True:
|
| 33 | 29 |
new_situations = []
|
|
30 |
if self.verbosity >= 2:
|
|
31 |
sys.stderr.write("Considering {} situations\n".format(len(situations)))
|
| 34 | 32 |
for (events, state) in situations:
|
| 35 | 33 |
for rule, unifier in self.get_candidate_rules(state):
|
| 36 | 34 |
new_event = Event(rule, unifier)
|
| 37 | 35 |
new_state = state.clone()
|
| 38 | |
self.update_state(state, unifier, rule)
|
|
36 |
self.update_state(new_state, unifier, rule)
|
| 39 | 37 |
new_events = events + [new_event]
|
| 40 | 38 |
if self.goal_is_met(new_state):
|
| 41 | 39 |
return new_events
|
| 42 | 40 |
new_situations.append(
|
| 43 | 41 |
(new_events, new_state)
|
| 44 | 42 |
)
|
|
43 |
if self.verbosity >= 2:
|
|
44 |
sys.stderr.write("Installing {} new situations\n".format(len(new_situations)))
|
| 45 | 45 |
situations = new_situations
|
| 26 | 26 |
sys.stderr.write("Generating {} events\n".format(count))
|
| 27 | 27 |
self.reset_state()
|
| 28 | 28 |
if self.verbosity >= 2:
|
| 29 | |
self.debug_state("Initial")
|
|
29 |
self.debug_state(self.state, "Initial")
|
| 30 | 30 |
events = []
|
| 31 | 31 |
for i in xrange(0, count):
|
| 32 | 32 |
event = self.generate_event()
|
|
| 34 | 34 |
break
|
| 35 | 35 |
events.append(event)
|
| 36 | 36 |
if self.verbosity >= 2:
|
| 37 | |
self.debug_state("Final")
|
|
37 |
self.debug_state(self.state, "Final")
|
| 38 | 38 |
acceptable = self.goal_is_met(self.state)
|
| 39 | 39 |
if not acceptable:
|
| 40 | 40 |
count = int(float(count) * lengthen_factor)
|