时空推理中自动生成复合表的通用算法-计算机研究与发展.PDF

计算机研究与发展 !# $%%%$’()!*# $$$+++!,- （）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 AA B $(%$$(%B ’%%+ 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 时空推理中自动生成复合表的通用算法 王生生 刘大有 （吉林大学计算机科学与技术学院 长春 ） $(%%$’ （吉林大学符号计算与知识工程教育部重点实验室 长春 ） $(%%$’ （ ） L;;# 40N90N2 M ! #$#%’!’)%*+,- .)%!/+)-+*0’’ #$#%+*$ 2)- )4*+*)$56’#*$7 +*)8 ( 1 ( 3 3 5#- )%’9#4)$*$ 3 ( O32 =92 ;=92 32JI0?3/0 P P P Q （ ， ， ） !##$$ !’ )*$+,-.$/-$0/12$-3/# 5.#./6/.7$+8.* !30/ -3)/ $(%%$’ % ( %4 4 % （ ， ， 9$ :0;+0*+ ,’;#.-!’ )*./ 0/19/#$1 $=/ ./$$+./ ./.8*+ =1)-0*./ 5.#./6/.7$+8.* !30/ -3)/ 4 4 4 ( % % % % 4 4 % ） $(%%$’ （ ）， ， !64+%0+ 38I/896 /134193;/2I2 ,: 8=919;931=5I943I6I2 38;38I3432!/1896 /134 09;8I/2; 7 7 P P 7 7 R （ ， =3;3 LI9 @31I98 /5 /8928I343 4I38I/2; I2 318I5II34I28944I929 ;0= 3;;96328IO9S 1/S/8 Q 7 77 P ， ， 23@I38I/2 2380134432 039 1/9;;I2 034I838I@9;I60438I/2 /5 = ;I34 1/9;;9;32 /66/2;92;9 P P P 7 P R 7 Q 7 193;/2I2 ）32/8=915I94;N*/6 /;I8I/2I2591929 43;32I6 /183281/49I2;38I/896 /134193;/2I2 ， P