City, University of London Institutional Repository
Citation
:
Garcez, A., Gabbay, D. M., Ray, O. and Woods, J. (2007). Abductive reasoning
in neural-symbolic learning systems. Topoi: An International Review of Philosophy, 26(1), pp.
37-49. doi: 10.1007/s11245-006-9005-5
This is the unspecified version of the paper.
This version of the publication may differ from the final published
version.
Permanent repository link: http://openaccess.city.ac.uk/292/
Link to published version
:
http://dx.doi.org/10.1007/s11245-006-9005-5
Copyright and reuse:
City Research Online aims to make research
outputs of City, University of London available to a wider audience.
Copyright and Moral Rights remain with the author(s) and/or copyright
holders. URLs from City Research Online may be freely distributed and
linked to.
City Research Online:
http://openaccess.city.ac.uk/
publications@city.ac.uk
Æ
! " #
$ %
&
'
('
!
!
!
"
% &
'
(%$)))*
+
(, -./*
(012 $))$
012 $))/*
( 3$))),$))4 *
5
(% 6 $))/% --4*
#
!
% 8
9
(012 $))$*!
0
0
5
5
9
8
9 !
:9
9
(012 $))$012 $))/
012 $))/*
8
(%$))) *
(< $))) *
9 =
(, -./* 5
5
9
9
<
> ? @ ?
A !
? &
>
B' ?
&
' 6 <?
&
'
!
C0
(? -.-*
1
Æ
!
A
(, --7* ( --.*
(D E ---*
5
F
(68 -.- * 6
F
F
A
5
5
Æ 5
9
( 3 $)))H --7*
8
5
(012 $))$*
5 +
(012 $))/ 012 $));* 5
?H6!
6<(3 --$*
# I% 6 %
% $! 5 ? H 6
% ;! 5
> !
! ! !
!
!
Ê
!
!J
! !
0 !J !!
!
> !!
! 5
!0 !
!! K
$
$ 5 J7
5
L
> Ê
Ê
>
9
!
(, -./*
9 0
0
J L
)
0
(012 $))$*
8
8
8
( % --;*
A
'
! (6 -.G*
!
J > @
> @
>
" #
$ %
# & '
( )
( )' (
)* ! '
'
! '
(
)
& +
%
! ' ' '
%
, #-./ ' 0++01
1
8 ! A
% '
!
'
- ' ( '
)
! '
a
x
b
c
x
y
> I% 6 %
I
!
I
5
5
!
!
5
I% 6 %
5
+
3
(A ? --/ * +
(3 --;*
(1 5$))4*
(, 12 $))/*
5
+ ?H6!
(012 $))/*
H
! !
!
? H6
! !
!
!
%
!
?H6
6
@
A
A :
(012 $));*
9 "
! 5
! ! I
" "
" % "
"
5
"" ! ""
! ! !
% J > @
> @
> ' ! %
( ) 2
& ( &
""
! " "
) 2
' ( ) ! ' &
' & *
" '
"
' "
" !
+
?H6
"?H6
""
!
0 " "
" 3 % ( )'
(" "
')' 4
" > !@" > @"
> '
"
" ! % "
(
" ) ' ! "
" " " " ! " "
! ! ! "
" ! ' " "
! 0' '
L;' ' '
L; % '
A
> ! " @ !
" >
! @ ! "
"! @ ! ?H6
(012 $));*@ !
w
3
w
4
w
1
¡
c
¡
a,b
x
x
¡
x
y
w
2
a
b
c
$> II M ,
!
!
!
9
>
@ @ @# + >
" > !@"
> @"
> @"
> #
"
"
! 5 " "
" 7 " "
! "
"
= ! "
"
# "
" " "
# 7 "
" " I 8 I " " # "
%"
w
3
w
5
¡
a,b
x
w
1
a
b
w
2
¡
b
¡
a
y
¡
z
b
b
a
w
4
7> : H? M
8
H8
6
< 6<! (3 --$*
%
A
1
6<F F
% F
F
¼
F F
¼
5
% #
6 ' 6 '
'
%
6 % & #
("& ) % ( )
J
)"&
) *+"&
" ' )
&(&$
), & J "& % J
)), &
J
&() *+" '
;> 6 <
% 4 F J ) *+ F
J
&() *+ % (
) %
K %$
w_s
b_f
l_o
o_h
b_f
f_e
f_b
w
_
d
next
done
soln
sync
a
1
a
2
a
3
COUNTER
CLOCK
LOGIC
goal
ic
IC
G
4> I% % 6 <
?
4
5
))) )) ) ))
9
C
&)
&)
+
! #
'&
(, 12 $))/*
4
,&)
>
"&,&)
% %
> &( ) *+ " ' > ' ' '&
'&'&
5 ' 7N
' 7
( @ &)' ( ( !L Æ > &,&&'
,&)&,&&'
&,&&'&)
&)&,&&'&)
&)&)'
'&&)'
&,&&' &,&&' 5
&) &,&&'
FJ) *+
F J &() *+
'&
?8
8
A
8
>
@
>
@@
>
&( &$
&$
&( &$
N
C
I<
(= -- *! A
))) ))
) ) )) ) )
L
Æ
6<
(, 3 $))/*
- 8
(%$))$* A
!
5
+
?H6
! " #$ #% &&' "
+ 9
?H6
6<
5
5
=
=
8
+ %;
<
8
(A --7*
<
, (1 5 $))4*
+
=
5
<
!
(% 6 $))/* 0
C
(<$)))* :
8
(5 < --$*
>
9 =
(< $)))*
+ 8
=8
+
<
!
=
8
<0 8
5
5
8
5 5A O=
#
( --4* = M 1 --4!
< > K !
9 ! )>G4
NG/-( --.* =5% 1O --.! KH
I= !""" % '
$. ;!>;).N;$4
(= -- * = : H ?
O O , -- !
-& !;->$4N/)
(? -.-* ?< -.-! - 8
4 % H< ?
H
(012 $))$* 012%=31
: $))$! 4 -
3 1 : H $));!
! 9
-& !% 7 !> 4N
7-(012 $))/* 0 12 % 6 6? 1
:H $))/!?
% 74. !>7;N44
(012 $))/* 0 12 % 6 6? 1
: H $))/! ? %
( 3 $)))* <3 $)))! -
! 4 .
- 3
(1 5$))4* 1 : 5O $))4! %
4 ! M
(1 ,C --/* 1 ,CO --/! I
? < !""" %
' $/ /!>.4;N./)
(A --7* A O,%HM:MH
< --7! -& !/7 $!>/-N
,6 I Q
(3 --$* 33, --$!
6 < 9 $ /!>G -NGG)
(3 --;* 3 ? 3 , --;!
1 : H A
? , O -& !
8 4 $74N7$; + %
<
(68 -.-* 68 A -.-!
! 9 -& !' !9
-!#:; $ )/ N )/G
(6 -.G* 6O -.G! 8 %
P
(H --7* H, --7! 6> :
H 6 H ,
14 - -H
3
(+ H --;* + H H 5 --;!
8 ! %
< <$7>;;7N;/G
(<$)))* < : I $)))! % " "74 %
< % I IQ
(,$))4* , + $))4! - ! <:
: ?? 6
(, 12 $))/* , + 12 $))/!
8 0 !2
(, 3 $))/* ,+3 $))/! <6?>
6 < 8
! 2 =
(, --7* ,O<Q% --7!?
:< % K? I
! G)>$GN;.
(, -./* , : M A 1 M 5
,O -./! 6
, : M H? O 6 8 >
84 "
-& !
7. $!> . N$7;
(%$)))* %< $)))! 1
$7>4.-N/ 7
(% 6 $))/* % < 6 1 $))/!
% 4 ? %
. H< ? H
(% --4* % , --4! , >
-& ! G4 $!>$; N$-/
( % --;* 1 1 % O 5 --;!
3 -& !
G) !> -N /4
(5 $))/* 5A O , DO $))/!
! 9
! 7 !>$7N77
(5 < --$* 5 ,O <:I --$!
! 4 % + K <
I Q +
(D E ---* D ? E Q ---! I I
H : < % ? ?
!"
#
%012
: ?
?K6
M? P )A= 6K3
S
:H 1
: ? %
30?6
5?$, $6%6K3
S
+,
: ?
?6
%5G$=D 6K3
S
O5
: <
K = ?
P/ D;P ?