NARS reader

nal_a_test("'the detective claims that tim lives in graz").

nal_a_test("'Revision ------

'Bird is a type of swimmer.
<bird --> swimmer>.

'Bird is probably not a type of swimmer.
<bird --> swimmer>. %0.10;0.60%

1

'Bird is very likely to be a type of swimmer.
''outputMustContain('<bird --> swimmer>. %0.87;0.91%')").

nal_a_test("

'the detective claims that tim lives in graz
'<{tim} --> (/,livingIn,_,{graz})>.
'and lawyer claims that this is not the case
<{tim} --> (/,livingIn,_,{graz})>. %0%
100
'the first deponent, a psychologist,
'claims that people with sunglasses are more aggressive
<<(*,$1,sunglasses) --> own> ==> <$1 --> [aggressive]>>.
'the third deponent claims, that he has seen tom with sunglasses on:
<(*,{tom},sunglasses) --> own>.
'the teacher claims, that people who are aggressive tend to be murders
<<$1 --> [aggressive]> ==> <$1 --> murder>>.
'the second deponent claims, that if the person lives in Graz, he is surely the murder
<<$1 --> (/,livingIn,_,{graz})> ==> <$1 --> murder>>.
'who is the murder?
<{?who} --> murder>?
''outputMustContain('<{tom} --> murder>. %1.00;0.73%')

").



baseKB:  ?- nal_test.
%  ['$COMMENT'("the detective claims that tim lives in graz", -1, -1)].
%  [ '$COMMENT'("Revision ------", -1, -1),
%      '$COMMENT'("Bird is a type of swimmer.", -1, -1),
%      task(judgement, inheritance(bird, swimmer), _, _, Task),
%      '$COMMENT'("Bird is probably not a type of swimmer.", -1, -1),
%      task(judgement, inheritance(bird, swimmer), _, [0.1, 0.6], Task1),
%      do_steps(1),
%      '$COMMENT'("Bird is very likely to be a type of swimmer.", -1, -1),
%      '$COMMENT'("'outputMustContain('<bird --> swimmer>. %0.87;0.91%')", -1, -1)
%    ].
%  [ '$COMMENT'("the detective claims that tim lives in graz", -1, -1),
%      '$COMMENT'("<{tim} --> (/,livingIn,_,{graz})>.", -1, -1),
%      '$COMMENT'("and lawyer claims that this is not the case", -1, -1),
%      task(judgement,
%           inheritance(ext_set([tim]), ext_image([livingIn, '_', ext_set([graz])])),
%           _,
%           [0, CAR],
%           Task),
%      do_steps(100),
%      '$COMMENT'("the first deponent, a psychologist,", -1, -1),
%      '$COMMENT'("claims that people with sunglasses are more aggressive", -1, -1),
%      task(judgement,
%           implication(inheritance(product([var(ind, 1), sunglasses]), own),
%                       inheritance(var(ind, 1), int_set([aggressive]))),
%           _,
%           _,
%           Task1),
%      '$COMMENT'("the third deponent claims, that he has seen tom with sunglasses on:",
%                 -1,
%                 -1),
%      task(judgement,
%           inheritance(product([ext_set([tom]), sunglasses]), own),
%           _,
%           _,
%           Task2),
%      '$COMMENT'("the teacher claims, that people who are aggressive tend to be murders",
%                 -1,
%                 -1),
%      task(judgement,
%           implication(inheritance(var(ind, 1), int_set([aggressive])),
%                       inheritance(var(ind, 1), murder)),
%           _,
%           _,
%           Task3),
%      '$COMMENT'("the second deponent claims, that if the person lives in Graz, he is surely the murder",
%                 -1,
%                 -1),
%      task(judgement,
%           implication(inheritance(var(ind, 1),
%                                   ext_image([livingIn, '_', ext_set([graz])])),
%                       inheritance(var(ind, 1), murder)),
%           _,
%           _,
%           Task4),
%      '$COMMENT'("who is the murder?", -1, -1),
%      task(question_truth,
%           inheritance(ext_set([var(query, who)]), murder),
%           _,
%           _,
%           Task5),
%      '$COMMENT'("'outputMustContain('<{tom} --> murder>. %1.00;0.73%')", -1, -1)
%    ].
true.

baseKB:  ?-




nal_test:- forall(nal_a_test(Test),nal_test(Test)).