Theory completion using inverse
entailment
Muggleton, SH and Bryant, CH
http://dx.doi.org/10.1007/3540449604_8
Title
Theory completion using inverse entailment
Authors
Muggleton, SH and Bryant, CH
Type
Book Section
URL
This version is available at: http://usir.salford.ac.uk/1762/
Published Date
2000
USIR is a digital collection of the research output of the University of Salford. Where copyright
permits, full text material held in the repository is made freely available online and can be read,
downloaded and copied for noncommercial private study or research purposes. Please check the
manuscript for any further copyright restrictions.
!" # $ % !
&#$%' () %$*
&%$' ") + ,
- ") ,
+"%$ %$
" .$!
/ #$% 0 ( #
1 * ' " ) !%$!
#1 )
) #1 " % 2
) ! "
3% % % 2 "
4 ! , " !
) 1
"""
) ") !
"
) " % 23 +!
" 5
%
!" # $ % #% $ &'
' (
' !"% &' (
%
)*+ ,#*$'
- - ' !"
. * ++ -
+ ! ( #
6%7% 4&88 "'9!
6% 166
&81:'
4& "'
6% 1/ ;66 &:'
< " +
( 4*
( 4*&) '
'
# !"$ % ' + '
!"%
*
!"
+ + . + 012 #.$ +(
( . +
/ - *
+& #&$&+
032 45 & 6
+ 7 0852 .
+ + 09(:2(
+ 45+('
+&
8 &
+
++ + +
8" + +
+
;+#$
45+ 8< &'
++ 45
# <$ = # :$
. + 4 >
+
' / -
½
? #"$
+ 032 + #"$ /+
(
? #8$
.' ( ++
- @ # $ (
# $*'+&
032
?
#$#$
#$+ #$
? # $
? # $
# $? # $# $+ # $
?# $
?#$
?+ # $
?+ #$ (
(
(
7 0852 +
+ # 0""2
- + $A +
#"$ +
+ ( (+
+ ( *+
&' "
+ + #
# $ $ # $
*+ +
;+#$
6 ( /
!'( 6
+ ' '
#$ #$
&'"
?
#$#$
#$+ #$
#$ #$
+ #$#$
# $
# $? # $ # $+ # $
# $? # $# $+ # $
# $
+ '# $
+ -') ,
B 032
C
.
D; D";
- #DE; +$
D; D;#D;
+$D;#DF; $
* * + + (
-
-'
'
* ' 45
-
. )+, *+
'!8
S
VP
NP
PREP
N
V
E
modeh
= Contra-positive definition created
ADJ
DET
hasbeak
bird
vulture
modeh
E
= Contra-positive definition created
9! )) &=>'? 9! )) &)='? 9! &@&A!''? 9! &)&B )C''? 9! &@C&A!''? 9! & &B )C''? 9! )&@&A!''?
9! )&@C&A!''? 9! )&@ &A!''?
% 2 D
1+ >
+-
),# $ )&,#+$
!
. G' !845+
45 +
'
(+ ( -
+ +' '
H
?# E$
+'+ +
(
+'+
'
+ !<
-
<- E6$$ F<
.+E2 F.+
D %. % F.+
%&%1+ <- .+'
1
#.+ 2<-
%&%1+ <- .+'
.. &%' FD %
. &%' F ! G %3
/6/ . F8 ( %*
! /
) ))
D !
$3) "G 3,+ $)&3< &1+ ''
F1+ ) !
F <
H
D "
+ ")
F <>
# .+
.+E
<- E /
1
. !
' ++-
(
! ( &)
-+, '<I"55E8I"5E4(<84%
' .
H- G#HG$ "9999
!:
! "#"
! "#"
"#"
$% $%&
"' () ("(*
"+, %- "#.
"/
$
0 $ "#"0
"#" "#" & "#"' "#"() "#"("%* "#""+, "#"%- "#""#. "#""/
$ 1& $"1' $(1)
$("(1* $"+1,
$%1-$"#1. $"1/
!8 1 ) )
+ !:
+
!::5 45
"55 '
= 4("5(
"485 !="5
+
9999'
"
50
60
70
80
90
100
50
60
70
80
90
100
Predictive accuracy (%)
Remaining background clauses (%)
Theory Recovery using 100 examples
After
Before
"H + )
+&' 5"
H1555 >3>
#
! 4 +
+' +
+(
+
0852 (
45
# $ %
G
=+/
45 /
/
+
( ( !
&C$
K$ '
+ (
& '( % *
++ ' ++
6 '
+ +
&
= =
- (
/
6 +
+
6 +
6 +
+ .
6 6
# %
) ' ' 6
' (
!> (!>+
( (
=
.
"
.
@ + @
C
* =
!>K
nutrient_1
e_b
e_f
e_h
e_k
molecule_1
essential
essentail
molecule_2
e_j
metabolite_6
essentail
metabolite_7
e_l
e_m
molecule_3
metabolite_1
metabolite_2
metabolite_3
metabolite_5
metabolite_4
e_c
e_d
e_e
e_g
e_i
nutrient_3
e_a
essential_molecule_4
nutrient_2
#/) ,
212"34((35 5 4" "4"" 5 4" 6$"342" 0"
718 0" 09
35 8
6$"34209 0 "$4$3$0
24 "485 4 " 0 8
"4"" 5 4" $" 5 4" 6$"342
6$"342 714
6$"342 714 : 6$"342: 24 "485 4" 0 8
"4"" 5 4" 24 "48" 0 8 24 "48 4
24 "48 8 718& 8;8&
24 "48 8 718& :8;8&2 4 " 48 : 8 "$4$3$4$4 "$4$3$4$4 &
"$4$3$4$4' "$4$3$4$4 )
$&>IJ5KL'
") + M
$&2JN2>I' $2
% 3<&" M
% I3<&" M
% "M
% $ < % " !
M
% "
% &' + +
!'
!
6 +
+
" 8 9" ' +
' "< C +
' # + +$
:4 +:> +
# %
8 '
+ +
6
+ + 8K
/
+ +
+
" " "
"
3=#=71>
6%6$212"3 ((3<&>
35 871 35& 871 5 ; 5&
## " +
!1 +
& +
+" +(
+ =
" +( +
( +
A ' !1 >
G*8
& - - 0"92
B & +
# $ +& 0">2
%0"8("<2(AL0"2(.LHA&70"32*AH.0>2#0"420":2$
B (
& 45(+
Æ (
+45;Æ
' >
+
+ 082H
M + +
( +
?
6
B @
+
& +
+
!< +(&
50
55
60
65
70
75
80
85
90
95
100
0
20
40
60
80
100
Predictive accuracy (%)
Remaining codes/2 facts (%)
Theory Recovery using 23 examples
After
Before
50
55
60
65
70
75
80
85
90
95
100
0
20
40
60
80
100
Predictive accuracy (%)
Remaining codes/2 facts (%)
Theory Recovery using 45 examples
After
Before
50
55
60
65
70
75
80
85
90
95
100
0
20
40
60
80
100
Predictive accuracy (%)
Remaining codes/2 facts (%)
Theory Recovery using 68 examples
After
Before
50
55
60
65
70
75
80
85
90
95
100
0
20
40
60
80
100
Predictive accuracy (%)
Remaining codes/2 facts (%)
Theory Recovery using 91 examples
After
Before
*
+++
+ & &
45 45 '
45 + + (
+ +
+( <:
7 0852 45
+
'
+ / +
!<++(
) ,
# (8$
7 +
+
6
* ( B
+ + '
+(+ *
. 7 (M! (.
M ( B HA .
+ - =
& AH@ )..H%;#@
83>8<$(& A ),( AN& A
) +
, & AA*. ) %
! ,
"!
-/$ H.< #.
>O>K$< LL$
I < C C! " " ?
>9>5IO>N2 LL5
J D" ,
# ! " #$
$6/#I>IOI>< LLK!7
8 4/% $"5222 ">NJ9J5O5N LL5
5 # / D + )
) #/"-. &
! " #$ I2IOIJ < LLK $6/# I>
N /H/ " D /) '
(>LL>
K . # % )*( I9>JO
>K5LL
L . # %
+ &$
$6/#JJ5>JO>JL!7 < LLK
2 8 D 6/ 0 ) ) INL9LNO522
LL5
8% / : #,
51)%LN
> $ H ! -. /&
/%LL>
I $ H . < # !
) , K92NO2 LL>
J $ H 6 $ . "
' / J&>'9>>NO>JLL5
<$HH;. / , ,! - !
, L&>'9LOILL
5 1 / 0 .#% LKI
N . /% 9 )+
% '/- J&J'9IIOIK2LKK
K ; P H # $
, J5>OJ55. LL
L P ) D! , # $ H /
JOII#%/LL
>2 / P ) " ? #
6$Q Q: "&
>L5OI2K !7 <
LLN $6/#>LN
# $% %
& '( ! ) (
, ,
! #$ - $ , ! !$ ! "#
?5C $
?%&?
' % #$ ( #$ #$ ! )
?#$ %& *
+
, %? ?E"
- . #*#$ #$? / !! . #$ #$ ? ! ! % / " " ! ) ?#$
%& +
0 ",
. !$ ,! (
! -' . 8
, + $ 1 # ¼ # $?
5 #
5 # ¾Ú # ¼
#$$E"
$
# *
?C
?C
?"
& ? C!
?
¾ ×
# ¼
# $ ' ? # E $ ?'
#%$ %
¼
% ¼ (
#$?
?5 (5
' 5
#%%
¼ $?
?#%$ ?5 (5
¼ %
¼
'
¼
! !$ !
"# 1
(?"3?
' ?#($ ( ?(
, 3 ?3
- %#$ 4
0 (?#()#$$3
4 %#3($ #3$
5 %(?67"
