Abductive reasoning in neural-symbolic learning systems

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

₁

a

₂

a

₃

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 ?