New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Possible error in AngelicSearch #85

Open

samagra14 opened this issue Jun 1, 2018 · 0 comments

Contributor

samagra14 commented Jun 1, 2018 •

edited

Loading

The last two lines of the angelicSearch algorithm appear a bit incorrect.

for each sequence in REFINEMENTS(hla, outcome, hierarchy) do
frontier ← INSERT(APPEND(prefix, sequence, suffix), frontier)

There is no state defined as outcome in the entire algorithm.
We cannot apply the refinements function to a single state as under the angelic semantics we consider an entire set of reachable states.
The refinements function should be modified to accept a set of possible states and it should return all those HLAs which are applicable in at least one of the states in the set.

@norvig Please have a look at this. Please correct me if I am wrong.

samagra14 mentioned this issue

[WIP] Adds angelicSearch aimacode/aima-java#412

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment