Did you know ... Search Documentation:
 Pack logicmoo_nars -- examples/more/Example-NAL7-complete.txt

********** temporal deduction/explification IN: <<(*,#1,room_101) --> enter> =\> <(*,#1,door_101) --> open>>. %0.90;0.90% {0 : 1}

IN: <<(*,#1,door_101) --> open> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {0 : 2}

3

OUT: <<room_101 --> (/,enter,#1,_)> =\> <(*,#1,door_101) --> open>>. %0.90;0.90% {3 : 1}

2

OUT: <<(*,#1,door_101) --> open> =\> <key_101 --> (/,hold,#1,_)>>. %0.80;0.90% {5 : 2}

2

OUT: <<(*,#1,room_101) --> enter> =\> <door_101 --> (/,open,#1,_)>>. %0.90;0.90% {7 : 1}

3

OUT: <<door_101 --> (/,open,#1,_)> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {10 : 2}

3

OUT: <<room_101 --> (/,enter,#1,_)> =\> <(*,#1,key_101) --> hold>>. %0.72;0.58% {13 : 2;1}

OUT: <<(*,#1,key_101) --> hold> =\> <room_101 --> (/,enter,#1,_)>>. %1.00;0.37% {13 : 2;1}

1

OUT: <<(*,#1,room_101) --> enter> =\> <(*,#1,key_101) --> hold>>. %0.72;0.58% {14 : 2;1}

OUT: <<(*,#1,key_101) --> hold> =\> <(*,#1,room_101) --> enter>>. %1.00;0.37% {14 : 2;1}

********** temporal induction/comparison IN: <<(*,#1,door_101) --> open> =/> <(*,#1,room_101) --> enter>>. %0.90;0.90% {0 : 1}

IN: <<(*,#1,door_101) --> open> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {0 : 2}

3

OUT: <<(*,#1,door_101) --> open> =/> <room_101 --> (/,enter,#1,_)>>. %0.90;0.90% {3 : 1}

2

OUT: <<(*,#1,door_101) --> open> =\> <key_101 --> (/,hold,#1,_)>>. %0.80;0.90% {5 : 2}

2

OUT: <<door_101 --> (/,open,#1,_)> =/> <(*,#1,room_101) --> enter>>. %0.90;0.90% {7 : 1}

3

OUT: <<door_101 --> (/,open,#1,_)> =\> <(*,#1,key_101) --> hold>>. %0.80;0.90% {10 : 2}

3

OUT: <<(*,#1,key_101) --> hold> =/> <room_101 --> (/,enter,#1,_)>>. %0.90;0.39% {13 : 2;1}

OUT: <<room_101 --> (/,enter,#1,_)> =/> <(*,#1,key_101) --> hold>>. %0.80;0.42% {13 : 2;1}

OUT: <<room_101 --> (/,enter,#1,_)> <=> <(*,#1,key_101) --> hold>>. %0.73;0.44% {13 : 2;1}

OUT: <<(*,#1,door_101) --> open> =/> (||,<(*,#1,key_101) --> hold>,<room_101 --> (/,enter,#1,_)>)>. %0.98;0.96% {13 : 2;1}

OUT: <<(*,#1,door_101) --> open> =/> (&&,<(*,#1,key_101) --> hold>,<room_101 --> (/,enter,#1,_)>)>. %0.72;0.84% {13 : 2;1}

OUT: <<(*,#1,door_101) --> open> =/> (&&,(--,<(*,#1,key_101) --> hold>),<room_101 --> (/,enter,#1,_)>)>. %0.18;0.89% {13 : 2;1}

OUT: <<(*,#1,door_101) --> open> =/> (&&,(--,<room_101 --> (/,enter,#1,_)>),<(*,#1,key_101) --> hold>)>. %0.08;0.91% {13 : 2;1}

1

OUT: <<(*,#1,key_101) --> hold> =/> <(*,#1,room_101) --> enter>>. %0.90;0.39% {14 : 2;1}

OUT: <<(*,#1,room_101) --> enter> =/> <(*,#1,key_101) --> hold>>. %0.80;0.42% {14 : 2;1}

OUT: <<(*,#1,room_101) --> enter> <=> <(*,#1,key_101) --> hold>>. %0.73;0.44% {14 : 2;1}

OUT: <<door_101 --> (/,open,#1,_)> =/> (||,<(*,#1,key_101) --> hold>,<(*,#1,room_101) --> enter>)>. %0.98;0.96% {14 : 2;1}

OUT: <<door_101 --> (/,open,#1,_)> =/> (&&,<(*,#1,key_101) --> hold>,<(*,#1,room_101) --> enter>)>. %0.72;0.84% {14 : 2;1}

OUT: <<door_101 --> (/,open,#1,_)> =/> (&&,(--,<(*,#1,key_101) --> hold>),<(*,#1,room_101) --> enter>)>. %0.18;0.89% {14 : 2;1}

OUT: <<door_101 --> (/,open,#1,_)> =/> (&&,(--,<(*,#1,room_101) --> enter>),<(*,#1,key_101) --> hold>)>. %0.08;0.91% {14 : 2;1}

********** temporal analogy IN: <<(*,#1,door_101) --> open> =/> <(*,#1,room_101) --> enter>>. %0.95;0.90% {0 : 1}

IN: <<(*,#1,corridor_100) --> leave> <=> <(*,#1,room_101) --> enter>>. %1.00;0.90% {0 : 2}

3

OUT: <<door_101 --> (/,open,#1,_)> =/> <(*,#1,room_101) --> enter>>. %0.95;0.90% {3 : 1}

2

OUT: <<(*,#1,room_101) --> enter> <=> <corridor_100 --> (/,leave,#1,_)>>. %1.00;0.90% {5 : 2}

2

OUT: <<(*,#1,door_101) --> open> =/> <room_101 --> (/,enter,#1,_)>>. %0.95;0.90% {7 : 1}

3

OUT: <<(*,#1,corridor_100) --> leave> <=> <room_101 --> (/,enter,#1,_)>>. %1.00;0.90% {10 : 2}

2

OUT: <<door_101 --> (/,open,#1,_)> =/> <(*,#1,corridor_100) --> leave>>. %0.95;0.81% {12 : 2;1}

1

OUT: <<(*,#1,door_101) --> open> =/> <(*,#1,corridor_100) --> leave>>. %0.95;0.81% {13 : 2;1}

********** inference on tense IN: <<(*,#1,key_101) --> hold> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {0 : 1} IN: <(*,John,key_101) --> hold>. :/: %1.00;0.90% {0 : 1 : 2} 2 OUT: <<(*,#1,key_101) --> hold> =/> <room_101 --> (/,enter,#1,_)>>. %1.00;0.90% {2 : 1} 2 OUT: <John --> (/,hold,_,key_101)>. :\: %1.00;0.90% {4 : 1 : 2} 2 OUT: <<key_101 --> (/,hold,#1,_)> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {6 : 1} 1 OUT: <room_101 --> (/,enter,John,_)>. %1.00;0.43% {7 : 2;1} 4 OUT: <key_101 --> (/,hold,John,_)>. :\: %1.00;0.90% {11 : 1 : 2} 1 OUT: <(*,John,room_101) --> enter>. %1.00;0.43% {12 : 2;1} 3 OUT: <John --> (/,enter,_,room_101)>. %1.00;0.43% {15 : 2;1} 1 OUT: <room_101 --> (/,enter,John,_)>. %1.00;0.43% {16 : 2;1} 1 OUT: <(/,(*,John,room_101),John,_) --> (/,enter,John,_)>. %1.00;0.38% {17 : 2;1} 3 OUT: <(*,John,room_101) --> enter>. :\: %1.00;0.81% {20 : 2 : 1;2} ********** inference on tense IN: <<(*,#1,key_101) --> hold> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {0 : 1}

IN: <(*,John,room_101) --> enter>. :|: %1.00;0.90% {0 : 0 : 2}

2

OUT: <<key_101 --> (/,hold,#1,_)> =/> <(*,#1,room_101) --> enter>>. %1.00;0.90% {2 : 1}

2

OUT: <John --> (/,enter,_,room_101)>. :\: %1.00;0.90% {4 : 0 : 2}

2

OUT: <<(*,#1,key_101) --> hold> =/> <room_101 --> (/,enter,#1,_)>>. %1.00;0.90% {6 : 1}

1

OUT: <key_101 --> (/,hold,John,_)>. %1.00;0.30% {7 : 2;1}

4

OUT: <room_101 --> (/,enter,John,_)>. :\: %1.00;0.90% {11 : 0 : 2}

1

OUT: <(*,John,key_101) --> hold>. %1.00;0.30% {12 : 2;1}

4

OUT: <John --> (/,hold,_,key_101)>. %1.00;0.30% {16 : 2;1}

1

OUT: <key_101 --> (/,hold,John,_)>. %1.00;0.30% {17 : 2;1}

2

OUT: <(*,John,key_101) --> hold>. :\: %1.00;0.45% {19 : -1 : 1;2}

********** inference on tense IN: <<(*,John,key_101) --> hold> =/> <(*,John,room_101) --> enter>>. %1.00;0.90% {0 : 1}

IN: <(*,John,key_101) --> hold>. :|: %1.00;0.90% {0 : 0 : 2}

1

OUT: <(*,John,room_101) --> enter>. %1.00;0.43% {1 : 2;1}

1

OUT: <(*,John,room_101) --> enter>. :\: %1.00;0.81% {2 : 1 : 1;2}

********** inference on tense IN: <<(*,John,key_101) --> hold> =/> <(*,John,room_101) --> enter>>. %1.00;0.90% {0 : 1}

IN: <(*,John,room_101) --> enter>. :\: %1.00;0.90% {0 : -1 : 2}

2

OUT: <(*,John,key_101) --> hold>. :\: %1.00;0.45% {2 : -2 : 1;2}

********** induction on events IN: <(*,John,door_101) --> open>. :|: %1.00;0.90% {0 : 0 : 1}

1

OUT: <John --> (/,open,_,door_101)>. :\: %1.00;0.90% {1 : 0 : 1}

IN: <(*,John,room_101) --> enter>. :|: %1.00;0.90% {1 : 1 : 2}

1

OUT: <<(*,John,room_101) --> enter> =\> <(*,John,door_101) --> open>>. :\: %1.00;0.45% {2 : 1 : 1;2}

OUT: <<(*,John,door_101) --> open> =/> <(*,John,room_101) --> enter>>. :\: %1.00;0.45% {2 : 1 : 1;2}

OUT: <<(*,John,door_101) --> open> </> <(*,John,room_101) --> enter>>. :\: %1.00;0.45% {2 : 1 : 1;2}

OUT: <door_101 --> (/,open,John,_)>. :\: %1.00;0.90% {2 : 0 : 1}

********** induction on events IN: <(*,John,door_101) --> open>. :|: %1.00;0.90% {0 : 0 : 1}

1

OUT: <John --> (/,open,_,door_101)>. :\: %1.00;0.90% {1 : 0 : 1}

IN: <(*,John,room_101) --> enter>. :|: %0.00;0.90% {1 : 1 : 2}

1

OUT: <<(*,John,door_101) --> open> =/> <(*,John,room_101) --> enter>>. :\: %0.00;0.45% {2 : 1 : 1;2}

OUT: <<(*,John,door_101) --> open> </> <(*,John,room_101) --> enter>>. :\: %0.00;0.45% {2 : 1 : 1;2}

OUT: <door_101 --> (/,open,John,_)>. :\: %1.00;0.90% {2 : 0 : 1}

********** induction on events IN: <John --> (/,open,_,door_101)>. :|: %1.00;0.90% {0 : 0 : 1}

1

IN: <John --> (/,enter,_,room_101)>. :|: %1.00;0.90% {1 : 1 : 2}

1

OUT: <<#1 --> (/,enter,_,room_101)> =\> <#1 --> (/,open,_,door_101)>>. :\: %1.00;0.45% {2 : 1 : 1;2}

OUT: <<#1 --> (/,open,_,door_101)> =/> <#1 --> (/,enter,_,room_101)>>. :\: %1.00;0.45% {2 : 1 : 1;2}

OUT: <<#1 --> (/,open,_,door_101)> </> <#1 --> (/,enter,_,room_101)>>. :\: %1.00;0.45% {2 : 1 : 1;2}

OUT: <(*,John,door_101) --> open>. :\: %1.00;0.90% {2 : 0 : 1}

********** induction on events IN: <(*,John,key_101) --> hold>. :|: %1.00;0.90% {0 : 0 : 1}

1

OUT: <John --> (/,hold,_,key_101)>. :\: %1.00;0.90% {1 : 0 : 1}

IN: <<(*,John,door_101) --> open> =/> <(*,John,room_101) --> enter>>. :|: %1.00;0.90% {1 : 1 : 2}

1

OUT: <(&/,<(*,John,key_101) --> hold>,<(*,John,door_101) --> open>) =/> <(*,John,room_101) --> enter>>. :\: %1.00;0.45% {2 : 1 : 1;2}

OUT: <key_101 --> (/,hold,John,_)>. :\: %1.00;0.90% {2 : 0 : 1}

********** updating and revision IN: <(*,John,key_101) --> hold>. :|: %1.00;0.90% {0 : 0 : 1}

1

OUT: <John --> (/,hold,_,key_101)>. :\: %1.00;0.90% {1 : 0 : 1}

IN: <(*,John,key_101) --> hold>. :|: %0.00;0.90% {1 : 1 : 2}

1

OUT: <(*,John,key_101) --> hold>. :\: %0.09;0.91% {2 : 1 : 1;2}

OUT: <<John --> (/,hold,_,key_101)> =/> <(*,John,key_101) --> hold>>. :\: %0.00;0.45% {2 : 0 : 2;1}

OUT: <<John --> (/,hold,_,key_101)> </> <(*,John,key_101) --> hold>>. :\: %0.00;0.45% {2 : 0 : 2;1}

IN: <(*,John,key_101) --> hold>? :|: {2 : 2 : 3}

1

OUT: <(*,John,key_101) --> hold>. :\: %0.00;0.90% {1 : 1 : 2}

OUT: <(*,John,key_101) --> hold>. :\: %0.09;0.91% {2 : 1 : 1;2}