Невозможно получить правильную теорию Алеф с SWI-Prolog - PullRequest
Новая
       78

Невозможно получить правильную теорию Алеф с SWI-Prolog

1 голос
/ 10 июля 2020

Я пытаюсь использовать Aleph с SWI-Prolog для построения теории. Но результат кажется неверным.

Мой файл пролога: 

:- use_module(library(aleph)).
:- if(current_predicate(use_rendering/1)).
:- use_rendering(prolog).
:- endif.
:- aleph.

:- modeh(*,attr2col(+attribute,-attribute)).
:- modeb(*,attrs(+class,+attribute)).
:- modeb(*,type(+attribute,+class)).


:- determination(attr2col/2, type/2).

% Background knowledge
:-begin_bg.
class(clerk).
class(manager).
attrs(clerk,boss).
attribute(boss).
attribute(notype).
attribute(noattrs).
attrs(notype,manager).
attrs(noattribute,clerk).
attrs(noattribute,manager).
type(noattrs,manager).
type(boss,manager).
:-end_bg.

% Positive facts
:-begin_in_pos.
attr2col(boss).
:-end_in_pos.

% Negative facts
:-begin_in_neg.
attr2col(clerk).
attr2col(manager).
attr2col(noattrs).
attr2col(notype).
attr2col(noattribute).
:-end_in_neg.

:-aleph_read_all.

Мой результат: 

[theory]

[Rule 1] [Pos cover = 1 Neg cover = 0]
attr2col(boss).

[Training set performance]
         Actual
       +        - 
     + 1        0        1 
Pred 
     - 0        5        5 

       1        5        6 

Accuracy = 1
[Training set summary] [[1,0,0,5]]
[time taken] [0.001164000000000165]
[total clauses constructed] [0]
true.

Я хочу: 

attr2col(A) :- attribute(A), attrs(B,A), type(A,C).

Похоже, что алеф не сработал. Я не уверен, какая часть неправильная. Может объявление режима? Или решимость? Но не знаю, как это исправить.

...