Loading ...
Sorry, an error occurred while loading the content.

possible error in successor state axiom

Expand Messages
  • Luke Hodgkinson
    Dear Dr. Norvig, There might be an error on p. 403 in equation 11.1. After some logical manipulation with deMorgan s laws and distributing AND over OR, the
    Message 1 of 1 , Jan 13, 2003
    • 0 Attachment
      Dear Dr. Norvig,
       
      There might be an error on p. 403 in equation 11.1.  After some logical manipulation with deMorgan's laws and distributing AND over OR, the first part of the right hand side of the if-and-only-if statement asserts that At(P1, JFK)1 could be true if NOT(Fly(P1, JFK, SFO)0 and NOT(At(P1, JFK)0 are both true.  The problem might be with an extra At(P1, JFK)0 that is not necessary.
       
      Luke Hodgkinson
    Your message has been successfully submitted and would be delivered to recipients shortly.