Skip to content
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.

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

IdenticalLink fails to find all permutations. #3016

Open
linas opened this issue Dec 3, 2022 · 0 comments
Open

IdenticalLink fails to find all permutations. #3016

linas opened this issue Dec 3, 2022 · 0 comments

Comments

@linas
Copy link
Member

linas commented Dec 3, 2022

This is demonstrated in https://github.com/opencog/atomspace/tree/master/tests/query/unify-test.scm lines 197 ff

The actual and the expected results don't match. My guess of where the bug is, is that its in the static analysis of IdenticalLink. Basically, IdenticalLink tries to do a static analysis, which, if its possible, avoid the need for a dynamic run of the query engine. But this static analysis is relatively minimal, kind-of dumb. And my guess is that it failed to notice that it's dealing with an unordered link. I think that's where the bug is. But it could be somewhere else ...

linas added a commit that referenced this issue Dec 3, 2022
Plonking along, until an error shows up. See #3016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant