ILP Operators for Propositional Connectionist Networks
Full text
Wright State University Wright State University CORE Scholar CORE Scholar Computer Science and Engineering Faculty Publications Computer Science & Engineering 1-1-2002 ILP Operators for Propositional Connectionist Networks ILP Operators for Propositional Connectionist Networks Miguel Angel Gutierrez-Naranjo Pascal Hitzler [email protected] Follow this and additional works at: https://corescholar.libraries.wright.edu/cse Part of the Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, and the Science and Technology Studies Commons Repository Citation Repository Citation Gutierrez-Naranjo, M. A., & Hitzler, P. (2002). ILP Operators for Propositional Connectionist Networks. Proceedings of the WLP: Workshop Logische Programmierung , 103-108. https://corescholar.libraries.wright.edu/cse/64 This Conference Proceeding is brought to you for free and open access by Wright State University’s CORE Scholar. It has been accepted for inclusion in Computer Science and Engineering Faculty Publications by an authorized administrator of CORE Scholar. For more information, please contact [email protected].
½ ¾ ! ! " !!" # $% ! & ! $ ' & & $ $ $% ! & !$ & $ $ & !! & ()#*+, (-**,& $ ! ! . & $ ! ! $ ! %$& / !! ! $ ! (011," 2+3 %$ ' $%& 243 $% $ 253 . $% $& ! $ & ' $% !! & $% 6 !! ! 2 73 !& ! ! $ ! ! # % %$ . % $% $ & $ 7 ! !& ! " !# $% &% '#! () $ % * " $%
+ 7 ! ! $ $% $ % 8 9 $ ! 8 :'; !& $ !! & 2 3 " Ê & " Ê & 2 3 " Ê & " Ê & " Ê * + $ 2 3 < * * 2 3 < + * & & $% = *+&$$ & $ :+; :; :*; :; >! ! !! $%& ! ! ! < ¾ 2 3 ¾ 2 3 2 3 2 3 2+3 2 3 ' !! ½ $ 2 !! 3& & & & 9 ½ 9 ! & ? !! & $ !! ! !! ! $ ! ! & $ $ % $ $% !! $% 23 2 3 " Ê " Ê " * " * ? !! $% &$ ' $ · < " 2 3< < " 2 3< · < " 2 3<
, 9 ! !! $% $ $% $ $ $" ! ! ! ! & & ! & ! & ! $ $ ! & ! ! ! $% $ & & $ 8 2+3 $ 9 $ !! ! !! $% (@1A, $ ! !! ! $ ! ! !! ! $% $ 2 Ø 3 ½ ¾ < + · < + 2 3 < · ½ ¾ ' !! $% $ 2B Ø 3 * + 8! 2 3 Ø & ! ! 2 3& <+& < ½ ¾ & ! B' 4& ! · < + 9 . (@1A, & $ < ½ < ½ $ ! 2 3 2 3< + 2 3 < + 2 3<* 2 3<+ 2 3<* 2 3 + & ! $% $ !! ! 8 ! ! 2 (@1A,3 " # ! 2 3< B # ! 2 3< 9 ! !! 7 (CD, !! ! $%& ! '& '& !& & & 9 $ ! 8 ' ! & $ !!
- ' E! & & ' ! % ! $ $ & ? +& $ & !! & !! 9 ' B Ø Ø $& $ B $ %& · · %' · < · < ! ( ) * $ 2 3 2 3 ) + $ 2 3 ¼ ¼ %& %' % % < ¼ < ¼ ¼ ! ( * & * $ 2 3 ¼ $% ! ? 4 $ $ $ ' 2 3 2 3
. " < 2 3 < 2 3 E! & !& 7%'& ! & $ 9! $ E! & & 6 E! ! $% ! '& & $ & $ !! ? ! & ! ! 4 5 9 ! ' ! # & ! ! 7 ! ) ' ! ! ? 4& $ & $ % ! ! & (@1A, & $ . !! $% $ (011, % !& !!& 7 ! & ! !& $ %!! 9 & 7 ! ! $ $% :' ; > $ $% ? 7& (# @ · 11,& 8 !& (E *+,& !
/ / ! . $ ! & #F= (#15,& $ $ B& ' ! $ ! ! ' $ F & (B11,& ! !!& (#*.,& $ 7 ! 0112 34 ) 56)37 # %$ 89:8;7-8<=8 8111 05982 5# ) 8-:89;78,,8<8,.. +998 0>?112 @ > > ? " % 88:8;7.1<== 8111 0A1-2 A$ B ! "# % ! /C<== D 811- 0A992 A$ $ 6 % 5% >! "# $ 19 %&' ( 8/8<8=8 >3 +999 0A9E2 F A $ # #! F >$ ) ) & *)&+,,- D G!6 :G; 5 % +99E " 03C=2 3 $ ", . / 0 +C=<+1+ 3 81C= 01,2 H I JJ % 6 7 $ % $ %% 12 1 8/:,;7-8=<-1- 811, 0 · 112 $ ' ! " 3 A 6 $ % ' ? H ? 3 /0 '2! ' & 8.=- $ / +/C<+=, 6I 8111 0I J982 FI J % )44! ! 8+-:,;7,/8<,=9 +998