Я только что прочитал статью, в которой говорилось, что Алеф может выдавать гипотезы автоматически.
% Background knowledge
class(clerk).
attrs(clerk,boss).
attribute(boss).
type(boss,manager).
class(manager).
% Positive facts
attr2col(boss).
% Negative facts
attr2col(clerk).
attr2col(manager).
Используя ILP, Алеф автоматически выводит следующее правило в качестве гипотезы, которое уже полностью соответствует нашим ожиданиям, если только оно выполнено. рассматриваются исходные модели (т.е. специфичные для языка c ограничения проверяются отдельно).
attr2col(X) :- attribute(X).
Я попытался прочитать руководство по Aleph и не нашел, как он это делает. Мне было интересно, как использовать Алеф, чтобы получить какую-нибудь гипотезу?