Про упорядоченный перебор выражений, снова
https://thesz.livejournal.com/1682197.html
В перебираемой грамматике есть выражения наподобие a*x1+b*x2, где a и b это вычисляемые с помощью регрессии коэффициенты, а x1 и x2 это входы.
Для успешной работы этого алгоритма необходимо различать a и b, а также надо считать равными выражения наподобие a*x1+b*x2 и c*x2-d*x1.
Фактически, выражения с разными коэффициентами считаются равными, если мы можем провести унификацию и после подстановки выражения становятся равными напрямую в символьном смысле.
https://github.com/verdverm/go-pge - это опорная реализация PGE. Унификации в ней нет.
В перебираемой грамматике есть выражения наподобие a*x1+b*x2, где a и b это вычисляемые с помощью регрессии коэффициенты, а x1 и x2 это входы.
Для успешной работы этого алгоритма необходимо различать a и b, а также надо считать равными выражения наподобие a*x1+b*x2 и c*x2-d*x1.
Фактически, выражения с разными коэффициентами считаются равными, если мы можем провести унификацию и после подстановки выражения становятся равными напрямую в символьном смысле.
https://github.com/verdverm/go-pge - это опорная реализация PGE. Унификации в ней нет.