********** revision IN: < [flying]> ==> bird>>. %1.00;0.90% {0 : 1} IN: < [flying]> ==> bird>>. %0.00;0.60% {0 : 2} 1 OUT: < [flying]> ==> bird>>. %0.86;0.91% {1 : 1;2} ********** deduction IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: < [flying]> ==> bird>>. %1.00;0.90% {0 : 2} 1 OUT: < [flying]> ==> animal>>. %1.00;0.81% {1 : 2;1} OUT: < animal> ==> [flying]>>. %1.00;0.45% {1 : 2;1} ********** exemplification IN: < [flying]> ==> bird>>. %1.00;0.90% {0 : 1} IN: < bird> ==> animal>>. %1.00;0.90% {0 : 2} 1 OUT: < [flying]> ==> animal>>. %1.00;0.81% {1 : 2;1} OUT: < animal> ==> [flying]>>. %1.00;0.45% {1 : 2;1} ********** induction IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: < bird> ==> [flying]>>. %0.80;0.90% {0 : 2} 1 OUT: < bird> ==> (||, animal>, [flying]>)>. %1.00;0.81% {1 : 2;1} OUT: < bird> ==> (&&, animal>, [flying]>)>. %0.80;0.81% {1 : 2;1} OUT: < [flying]> ==> animal>>. %1.00;0.39% {1 : 2;1} OUT: < animal> ==> [flying]>>. %0.80;0.45% {1 : 2;1} OUT: < animal> <=> [flying]>>. %0.80;0.45% {1 : 2;1} ********** abduction IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: < [flying]> ==> animal>>. %0.80;0.90% {0 : 2} 1 OUT: <(||, bird>, [flying]>) ==> animal>>. %0.80;0.81% {1 : 2;1} OUT: <(&&, bird>, [flying]>) ==> animal>>. %1.00;0.81% {1 : 2;1} OUT: < bird> ==> [flying]>>. %1.00;0.39% {1 : 2;1} OUT: < [flying]> ==> bird>>. %0.80;0.45% {1 : 2;1} OUT: < bird> <=> [flying]>>. %0.80;0.45% {1 : 2;1} ********** detachment IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: bird>. %1.00;0.90% {0 : 2} 1 OUT: animal>. %1.00;0.81% {1 : 1;2} ********** detachment IN: < bird> ==> animal>>. %0.70;0.90% {0 : 1} IN: animal>. %1.00;0.90% {0 : 2} 1 OUT: bird>. %1.00;0.36% {1 : 1;2} ********** comparison IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: < bird> ==> [flying]>>. %0.80;0.90% {0 : 2} 1 OUT: < bird> ==> (||, animal>, [flying]>)>. %1.00;0.81% {1 : 2;1} OUT: < bird> ==> (&&, animal>, [flying]>)>. %0.80;0.81% {1 : 2;1} OUT: < [flying]> ==> animal>>. %1.00;0.39% {1 : 2;1} OUT: < animal> ==> [flying]>>. %0.80;0.45% {1 : 2;1} OUT: < animal> <=> [flying]>>. %0.80;0.45% {1 : 2;1} ********** comparison IN: < bird> ==> animal>>. %0.70;0.90% {0 : 1} IN: < [flying]> ==> animal>>. %1.00;0.90% {0 : 2} 1 OUT: <(||, bird>, [flying]>) ==> animal>>. %0.70;0.81% {1 : 2;1} OUT: <(&&, bird>, [flying]>) ==> animal>>. %1.00;0.81% {1 : 2;1} OUT: < bird> ==> [flying]>>. %0.70;0.45% {1 : 2;1} OUT: < [flying]> ==> bird>>. %1.00;0.36% {1 : 2;1} OUT: < bird> <=> [flying]>>. %0.70;0.45% {1 : 2;1} ********** analogy IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: < bird> <=> [flying]>>. %0.80;0.90% {0 : 2} 1 OUT: < [flying]> ==> animal>>. %0.80;0.65% {1 : 2;1} ********** analogy IN: bird>. %1.00;0.90% {0 : 1} IN: < bird> <=> [flying]>>. %0.80;0.90% {0 : 2} 1 OUT: [flying]>. %0.80;0.65% {1 : 1;2} ********** resemblance IN: < animal> <=> bird>>. %1.00;0.90% {0 : 1} IN: < bird> <=> [flying]>>. %0.90;0.90% {0 : 2} 1 OUT: < animal> <=> [flying]>>. %0.90;0.81% {1 : 2;1} ********** conversions between Implication and Equivalence IN: < [flying]> ==> bird>>. %0.90;0.90% {0 : 1} IN: < bird> ==> [flying]>>. %0.90;0.90% {0 : 2} 1 OUT: < bird> <=> [flying]>>. %0.81;0.81% {1 : 2;1} ********** compound composition, two premises IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: < bird> ==> [flying]>>. %0.90;0.90% {0 : 2} 1 OUT: < bird> ==> (||, animal>, [flying]>)>. %1.00;0.81% {1 : 2;1} OUT: < bird> ==> (&&, animal>, [flying]>)>. %0.90;0.81% {1 : 2;1} OUT: < [flying]> ==> animal>>. %1.00;0.42% {1 : 2;1} OUT: < animal> ==> [flying]>>. %0.90;0.45% {1 : 2;1} OUT: < animal> <=> [flying]>>. %0.90;0.45% {1 : 2;1} ********** compound composition, two premises IN: < bird> ==> animal>>. %1.00;0.90% {0 : 1} IN: < [flying]> ==> animal>>. %0.90;0.90% {0 : 2} 1 OUT: <(||, bird>, [flying]>) ==> animal>>. %0.90;0.81% {1 : 2;1} OUT: <(&&, bird>, [flying]>) ==> animal>>. %1.00;0.81% {1 : 2;1} OUT: < bird> ==> [flying]>>. %1.00;0.42% {1 : 2;1} OUT: < [flying]> ==> bird>>. %0.90;0.45% {1 : 2;1} OUT: < bird> <=> [flying]>>. %0.90;0.45% {1 : 2;1} ********** compound decomposition, two premises IN: < bird> ==> (&&, animal>, [flying]>)>. %0.00;0.90% {0 : 1} IN: < bird> ==> [flying]>>. %1.00;0.90% {0 : 2} 1 OUT: < bird> ==> animal>>. %0.00;0.81% {1 : 2;1} ********** compound decomposition, two premises IN: (&&, swimmer>, [flying]>). %0.00;0.90% {0 : 1} IN: [flying]>. %1.00;0.90% {0 : 2} 2 OUT: swimmer>. %0.00;0.00% {2 : 1;2} 1 OUT: swimmer>. %0.00;0.00% {3 : 1} 1 OUT: swimmer>. %0.00;0.81% {4 : 1;2} ********** compound decomposition, two premises IN: (||, swimmer>, [flying]>). %1.00;0.90% {0 : 1} IN: swimmer>. %0.00;0.90% {0 : 2} 1 OUT: [flying]>. %1.00;0.81% {1 : 1;2} ********** compound composition, one premises IN: [flying]>. %1.00;0.90% {0 : 1} IN: (||, swimmer>, [flying]>)? {0 : 2} 1 OUT: swimmer>? {1 : 2} 3 OUT: <[flying] --> swimmer>? {4 : 1;2} OUT: [flying]>? {4 : 1;2} OUT: [flying]>? {4 : 1;2} 1 OUT: (||, swimmer>, [flying]>). %1.00;0.81% {5 : 1} ********** compound decomposition, one premises IN: (&&, swimmer>, [flying]>). %0.90;0.90% {0 : 1} 2 OUT: swimmer>. %0.90;0.73% {2 : 1} 6 OUT: [flying]>. %0.90;0.73% {8 : 1} ********** negation IN: (--, [flying]>). %0.10;0.90% {0 : 1} 1 OUT: [flying]>. %0.90;0.90% {1 : 1} ********** negation IN: [flying]>. %0.90;0.90% {0 : 1} IN: (--, [flying]>)? {0 : 2} 1 OUT: (--, [flying]>). %0.10;0.90% {1 : 1} ********** contraposition IN: <(--, bird>) ==> [flying]>>. %0.10;0.90% {0 : 1} IN: <(--, [flying]>) ==> bird>>? {0 : 2} 7 OUT: <(--, bird>) ==> [flying]>>? {7 : 2} OUT: <(--, bird>) ==> [flying]>>? {7 : 2} OUT: <(--, bird>) ==> [flying]>>? {7 : 2} 11 OUT: <(--, [flying]>) ==> bird>>. %0.00;0.45% {18 : 1} ********** conditional deduction IN: <(&&, [flying]>, [with-wings]>) ==> bird>>. %1.00;0.90% {0 : 1} IN: [flying]>. %1.00;0.90% {0 : 2} 3 OUT: < [with-wings]> ==> bird>>. %1.00;0.81% {3 : 2;1} ********** conditional deduction IN: <(&&, [chirping]>, [flying]>, [with-wings]>) ==> bird>>. %1.00;0.90% {0 : 1} IN: [flying]>. %1.00;0.90% {0 : 2} 5 OUT: <(&&, [chirping]>, [with-wings]>) ==> bird>>. %1.00;0.81% {5 : 1;2} ********** conditional deduction IN: <(&&, bird>, [living]>) ==> animal>>. %1.00;0.90% {0 : 1} IN: < [flying]> ==> bird>>. %1.00;0.90% {0 : 2} 14 OUT: <(&&, [flying]>, [living]>) ==> animal>>. %1.00;0.81% {14 : 2;1} ********** conditional abduction IN: < [flying]> ==> bird>>. %1.00;0.90% {0 : 1} IN: <(&&, swimmer>, [flying]>) ==> bird>>. %1.00;0.90% {0 : 2} 15 OUT: swimmer>. %1.00;0.45% {15 : 1;2} ********** conditional abduction IN: <(&&, [chirping]>, [with-wings]>) ==> bird>>. %1.00;0.90% {0 : 1} IN: <(&&, [chirping]>, [flying]>, [with-wings]>) ==> bird>>. %1.00;0.90% {0 : 2} 8 OUT: [flying]>. %1.00;0.45% {8 : 1;2} ********** conditional abduction IN: <(&&, [flying]>, [with-wings]>) ==> [living]>>. %0.90;0.90% {0 : 1} IN: <(&&, bird>, [flying]>) ==> [living]>>. %1.00;0.90% {0 : 2} 8 OUT: < bird> ==> [with-wings]>>. %1.00;0.42% {8 : 2;1} OUT: < [with-wings]> ==> bird>>. %0.90;0.45% {8 : 2;1} ********** conditional induction IN: <(&&, [chirping]>, [flying]>) ==> bird>>. %1.00;0.90% {0 : 1} IN: < [flying]> ==> [with-beak]>>. %0.90;0.90% {0 : 2} 11 OUT: <(&&, [chirping]>, [with-beak]>) ==> bird>>. %1.00;0.42% {11 : 1;2}