CILC-contrdetect/program.asp at main · DeMaCS-UNICAL/CILC-contrdetect · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
% Rules about incompatibles objects
contradiction(f(ID1)) :- statement(ID1, S, P, O), incompatible_objects(P, O).
contradiction(f(ID1)) :- statement(ID1, S, P, O), additional_info(ID1, weapon, W), incompatible_objects(P, W).
contradiction(f(ID1, ID2)) :- statement(ID1, S, P, O1), statement(ID2, S, P, O2), ID1 != ID2, O1 != O2.
contradiction(f(ID1, ID2)) :- statement(ID1, S, P, O), statement(ID2, S, P, O), additional_info(ID1, weapon, W1), additional_info(ID2, weapon, W2), ID1 != ID2, W1 != W2.

% Rules about incompatibles predicates
contradiction(f(ID1, ID2)) :- statement(ID1, S, P1, O), statement(ID2, S, P2, O), incompatible_predicates(P1, P2), ID1 != ID2, P1 != P2.

% Rules about incompatible subjects
contradiction(f(ID1, ID2)) :- statement(ID1, S1, P, O), statement(ID2, S2, P, O), ID1 != ID2, S1 != S2.

%Rules about changes of the first deposition
contradiction(f(ID1, ID2)) :- statement(ID1, S1, P1, O), statement(ID2, S2, P2, O), ID1 != ID2, S1 != S2, incompatible_predicates(P1, P2), P1 != P2.
contradiction(f(ID1, ID2)) :- statement(ID1, S, P1, O1), statement(ID2, S, P2, O2), ID1 != ID2, O1 != O2, incompatible_predicates(P1, P2), P1 != P2.
contradiction(f(ID1, ID2)) :- statement(ID1, S, P1, O), statement(ID2, S, P2, O), additional_info(ID1, weapon, W1), additional_info(ID2, weapon, W2), ID1 != ID2, W1 != W2, incompatible_predicates(P1, P2), P1 != P2.
contradiction(f(ID1, ID2)) :- statement(ID1, S1, P, O1), statement(ID2, S2, P, O2), ID1 != ID2, O1 != O2, S1 != S2.