aimacode / aima-python

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
MIT License
7.79k stars 3.65k forks source link

Rules about last action in logic.py #1249

Open ryh95 opened 2 years ago

ryh95 commented 2 years ago

Dear authors of aima-python

I noticed that this line connects the forward action with turnleft and turnright. However, I think the "equivalent" might not be the correct connective. Since the agent can "Grab", "Shoot", and "Climb" besides "turnleft " and "turnright". Maybe the correct connective is "implies"?

Thank you!