Quartz sync: Apr 23, 2024, 7:25 PM

content/examples/modesOfInference/foldInductionRuleCasev2.pl

@@ -0,0 +1,19 @@
+:- use_module(library(scasp)).
+:- ensure_loaded('../../functions/inference.pl').
+
+ontology(Ontology, Predicates) :-
+    Ontology = [
+        sack(s1),
+        bean(b1),
+        white(Y)
+    ],
+    Predicates = [sack, bean, from_s1].
+
+theory(Case, Result) :-
+    Case = [
+        from_s1(b1), % These beans are from this sack
+        positive(b1)
+        ],
+    Result = white. % These beans are white 
+
+?- ontology(Ontology, Predicates), theory(Case, Result), inference(induction, Ontology, Predicates, [], Case, Result).

content/functions/compareResults.pl

@@ -1,3 +1,6 @@
+expected_model(ExpectedM) :-
+    ExpectedM = [].
+
 compare_results(Result, Expected) :-
     sort(Result, SortedResult),
     sort(Expected, SortedExpected),

content/functions/inference.pl

@@ -0,0 +1,16 @@
+:- use_module(library(scasp)).
+:- ensure_loaded('./functions/createBackground.pl').
+:- ensure_loaded('./First-Order-Learner-of-Default/fold.pl').
+
+inference(Type, Ontology, Predicates, Rule, Case, Result) :-
+    append(Ontology, Rule, OR),
+    append(OR, Case, ORC),
+    create_background(ORC),
+    extract_pos_neg(ORC, Positive, Negative),
+    (Type = deduction -> scasp(Result, [model(M), tree(T)]);
+    Type = abduction -> scasp(Result, [model(M), tree(T)]);
+    Type = induction -> fold(Result, Positive, Negative, ORC, Predicates, D, AB, false)).
+
+extract_pos_neg(Background, Positive, Negative) :-
+    findall(X, member(positive(X), Background), Positive),
+    findall(X, member(negative(X), Background), Negative).