aaai23-disco/metarules.pl at main · logic-and-learning-lab/aaai23-disco · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
%% pa <- qa
metarule([P,Q], [P,A], [[Q,A]]).

%% pa <- qa, ra
metarule([P,Q,R], [P,A], [[Q,A],[R,A]]).

%% pa <- qab, rb
metarule([P,Q,R], [P,A], [[Q,A,B],[R,B]]).

%% pa <- qab, rab
metarule([P,Q,R], [P,A], [[Q,A,B],[R,A,B]]).

%% pab <- qba
%% metarule([P,Q], [P,A,B], [[Q,B,A]]).

%% pab <- qa, rb
metarule([P,Q,R], [P,A,B], [[Q,A],[R,B]]).

%% pab <- qab, ra
metarule([P,Q,R], [P,A,B], [[Q,A,B],[R,A]]).

%% pab <- qab, rb
metarule([P,Q,R], [P,A,B], [[Q,A,B],[R,B]]).

%% pab <- qab
metarule([P,Q], [P,A,B], [[Q,A,B]]).

%% pab <- qab, rab
metarule([P,Q,R], [P,A,B], [[Q,A,B], [R,A,B]]).

%% pab <- qac, rcb
metarule([P,Q,R], [P,A,B], [[Q,A,C],[R,C,B]]).

%% pab <- qac, pcb
metarule([P,Q], [P,A,B], [[Q,A,C],[P,C,B]]).

run :-
  findall(Atom,pos(Atom),Pos),
  findall(Atom,neg(Atom),Neg),
  learn(Pos,Neg),
  halt.